runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3714353-1338188897/watcher-3714353-1338188897 -o /tmp/evaluation-result-3714353-1338188897/solver-3714353-1338188897 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714353-1338188897.wbo 1976351914 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 20858
/proc/meminfo: memFree=29220104/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[startup+0.0660039 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 20858
/proc/meminfo: memFree=29220104/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100313 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 20858
/proc/meminfo: memFree=29220104/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300276 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 20858
/proc/meminfo: memFree=29220104/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700328 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 20858
/proc/meminfo: memFree=29220104/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 20860
/proc/meminfo: memFree=29086112/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=166464 CPUtime=1.49 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) R 20858 20858 14387 0 -1 4202496 5362 0 0 0 144 5 0 0 20 0 1 0 285018222 170459136 33440 33554432000 4194304 5990268 140733249929872 140733249925752 4547889 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20859/statm: 41616 33440 145 439 0 41173 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175612
[startup+3.10032 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 20860
/proc/meminfo: memFree=29085360/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=166464 CPUtime=3.09 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) R 20858 20858 14387 0 -1 4202496 5362 0 0 0 304 5 0 0 20 0 1 0 285018222 170459136 33440 33554432000 4194304 5990268 140733249929872 140733249925752 4481586 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20859/statm: 41616 33440 145 439 0 41173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 175612
[startup+6.30037 s]
/proc/loadavg: 2.10 2.03 2.01 3/181 20862
/proc/meminfo: memFree=28612180/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=166464 CPUtime=4.27 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 5826 0 0 0 412 15 0 0 20 0 1 0 285018222 170459136 34984 33554432000 4194304 5990268 140733249929872 140733249923024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20859/statm: 41616 34984 153 439 0 41173 0
[pid=20861] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20861/stat : 20861 (cp2_pre.sh) S 20859 20858 14387 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 285018650 9367552 277 33554432000 4194304 5064252 140734762612816 140734762611520 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20861/statm: 2287 277 234 213 0 72 0
[pid=20862] ppid=20861 vsize=597916 CPUtime=2 cores=0,2,4,6
/proc/20862/stat : 20862 (coprocessor) R 20861 20858 14387 0 -1 4202496 56415 0 0 0 186 14 0 0 20 0 1 0 285018650 612265984 130492 33554432000 4194304 6586260 140736833610640 140736833606952 5511711 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/20862/statm: 149479 130493 164 584 0 148891 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 782676
[startup+12.7004 s]
/proc/loadavg: 2.09 2.03 2.01 3/181 20862
/proc/meminfo: memFree=28305664/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=166464 CPUtime=4.27 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 5826 0 0 0 412 15 0 0 20 0 1 0 285018222 170459136 34984 33554432000 4194304 5990268 140733249929872 140733249923024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20859/statm: 41616 34984 153 439 0 41173 0
[pid=20861] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20861/stat : 20861 (cp2_pre.sh) S 20859 20858 14387 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 285018650 9367552 277 33554432000 4194304 5064252 140734762612816 140734762611520 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20861/statm: 2287 277 234 213 0 72 0
[pid=20862] ppid=20861 vsize=730296 CPUtime=8.4 cores=0,2,4,6
/proc/20862/stat : 20862 (coprocessor) R 20861 20858 14387 0 -1 4202496 73829 0 0 0 819 21 0 0 20 0 1 0 285018650 747823104 179077 33554432000 4194304 6586260 140736833610640 140736833605960 5599454 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/20862/statm: 182574 179077 190 584 0 181986 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915056
[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 2.01 3/181 20875
/proc/meminfo: memFree=29049684/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=166464 CPUtime=24.54 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 5834 75752 0 0 412 15 1991 36 20 0 1 0 285018222 170459136 34985 33554432000 4194304 5990268 140733249929872 140733249924112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20859/statm: 41616 34985 154 439 0 41173 0
[pid=20874] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20874/stat : 20874 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285020679 9367552 266 33554432000 4194304 5064252 140736067996704 140736067995616 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20874/statm: 2287 266 226 213 0 72 0
[pid=20875] ppid=20874 vsize=327608 CPUtime=0.92 cores=0,2,4,6
/proc/20875/stat : 20875 (glucose) R 20874 20858 14387 0 -1 4202496 52476 0 0 0 81 11 0 0 20 0 1 0 285020679 335470592 71829 33554432000 4194304 5208918 140737242620800 140737242618744 4229228 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20875/statm: 81902 71829 95 248 0 81651 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 512368
[startup+51.1003 s]
/proc/loadavg: 2.16 2.06 2.01 3/181 20967
/proc/meminfo: memFree=28808988/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=314428 CPUtime=33.43 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 9304 138530 0 0 585 276 2419 63 20 0 1 0 285018222 321974272 58837 33554432000 4194304 5990268 140733249929872 140733249921312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 95 0 0
/proc/20859/statm: 78607 58837 165 439 0 78164 0
[pid=20905] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20905/stat : 20905 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285021663 9367552 266 33554432000 4194304 5064252 140735078908800 140735078907712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20905/statm: 2287 266 226 213 0 72 0
[pid=20906] ppid=20905 vsize=519804 CPUtime=16.67 cores=0,2,4,6
/proc/20906/stat : 20906 (glucose) R 20905 20858 14387 0 -1 4202496 77505 0 0 0 1645 22 0 0 20 0 1 0 285021663 532279296 110243 33554432000 4194304 5208918 140737063309776 140737063307448 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20906/statm: 129951 110243 103 248 0 129700 0
Current children cumulated CPU time (s) 50.1
Current children cumulated vsize (KiB) 852528
[startup+102.306 s]
/proc/loadavg: 2.07 2.05 2.01 3/181 20967
/proc/meminfo: memFree=28807536/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=314428 CPUtime=33.43 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 9304 138530 0 0 585 276 2419 63 20 0 1 0 285018222 321974272 58837 33554432000 4194304 5990268 140733249929872 140733249921312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 95 0 0
/proc/20859/statm: 78607 58837 165 439 0 78164 0
[pid=20905] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20905/stat : 20905 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285021663 9367552 266 33554432000 4194304 5064252 140735078908800 140735078907712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20905/statm: 2287 266 226 213 0 72 0
[pid=20906] ppid=20905 vsize=519960 CPUtime=67.87 cores=0,2,4,6
/proc/20906/stat : 20906 (glucose) R 20905 20858 14387 0 -1 4202496 77524 0 0 0 6765 22 0 0 20 0 1 0 285021663 532439040 110773 33554432000 4194304 5208918 140737063309776 140737063307448 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20906/statm: 129990 110773 103 248 0 129739 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 852684
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 20970
/proc/meminfo: memFree=28804984/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=314428 CPUtime=33.43 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 9304 138530 0 0 585 276 2419 63 20 0 1 0 285018222 321974272 58837 33554432000 4194304 5990268 140733249929872 140733249921312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 95 0 0
/proc/20859/statm: 78607 58837 165 439 0 78164 0
[pid=20905] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20905/stat : 20905 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285021663 9367552 266 33554432000 4194304 5064252 140735078908800 140735078907712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20905/statm: 2287 266 226 213 0 72 0
[pid=20906] ppid=20905 vsize=519960 CPUtime=127.85 cores=0,2,4,6
/proc/20906/stat : 20906 (glucose) R 20905 20858 14387 0 -1 4202496 77526 0 0 0 12763 22 0 0 20 0 1 0 285021663 532439040 111286 33554432000 4194304 5208918 140737063309776 140737063307448 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20906/statm: 129990 111286 103 248 0 129739 0
Current children cumulated CPU time (s) 161.28
Current children cumulated vsize (KiB) 852684
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 20970
/proc/meminfo: memFree=28802696/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20987
/proc/meminfo: memFree=28787496/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=314428 CPUtime=33.43 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 9304 138530 0 0 585 276 2419 63 20 0 1 0 285018222 321974272 58837 33554432000 4194304 5990268 140733249929872 140733249921312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 95 0 0
/proc/20859/statm: 78607 58837 165 439 0 78164 0
[pid=20905] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20905/stat : 20905 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285021663 9367552 266 33554432000 4194304 5064252 140735078908800 140735078907712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20905/statm: 2287 266 226 213 0 72 0
[pid=20906] ppid=20905 vsize=570208 CPUtime=1387.66 cores=0,2,4,6
/proc/20906/stat : 20906 (glucose) R 20905 20858 14387 0 -1 4202496 78083 0 0 0 138743 23 0 0 20 0 1 0 285021663 583892992 117021 33554432000 4194304 5208918 140737063309776 140737063307448 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20906/statm: 142552 117021 103 248 0 142301 0
Current children cumulated CPU time (s) 1421.09
Current children cumulated vsize (KiB) 902932
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20988
/proc/meminfo: memFree=28781104/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=314428 CPUtime=33.43 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 9304 138530 0 0 585 276 2419 63 20 0 1 0 285018222 321974272 58837 33554432000 4194304 5990268 140733249929872 140733249921312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 95 0 0
/proc/20859/statm: 78607 58837 165 439 0 78164 0
[pid=20905] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20905/stat : 20905 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285021663 9367552 266 33554432000 4194304 5064252 140735078908800 140735078907712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20905/statm: 2287 266 226 213 0 72 0
[pid=20906] ppid=20905 vsize=570208 CPUtime=1447.65 cores=0,2,4,6
/proc/20906/stat : 20906 (glucose) R 20905 20858 14387 0 -1 4202496 78084 0 0 0 144742 23 0 0 20 0 1 0 285021663 583892992 117533 33554432000 4194304 5208918 140737063309776 140737063307448 4211792 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20906/statm: 142552 117533 103 248 0 142301 0
Current children cumulated CPU time (s) 1481.08
Current children cumulated vsize (KiB) 902932
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20988
/proc/meminfo: memFree=28776884/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=314428 CPUtime=33.43 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 9304 138530 0 0 585 276 2419 63 20 0 1 0 285018222 321974272 58837 33554432000 4194304 5990268 140733249929872 140733249921312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 95 0 0
/proc/20859/statm: 78607 58837 165 439 0 78164 0
[pid=20905] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20905/stat : 20905 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285021663 9367552 266 33554432000 4194304 5064252 140735078908800 140735078907712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20905/statm: 2287 266 226 213 0 72 0
[pid=20906] ppid=20905 vsize=570208 CPUtime=1507.64 cores=0,2,4,6
/proc/20906/stat : 20906 (glucose) R 20905 20858 14387 0 -1 4202496 78084 0 0 0 150741 23 0 0 20 0 1 0 285021663 583892992 117533 33554432000 4194304 5208918 140737063309776 140737063307448 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20906/statm: 142552 117533 103 248 0 142301 0
Current children cumulated CPU time (s) 1541.07
Current children cumulated vsize (KiB) 902932
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20988
/proc/meminfo: memFree=28787344/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=314428 CPUtime=33.43 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 9304 138530 0 0 585 276 2419 63 20 0 1 0 285018222 321974272 58837 33554432000 4194304 5990268 140733249929872 140733249921312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 95 0 0
/proc/20859/statm: 78607 58837 165 439 0 78164 0
[pid=20905] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20905/stat : 20905 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285021663 9367552 266 33554432000 4194304 5064252 140735078908800 140735078907712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20905/statm: 2287 266 226 213 0 72 0
[pid=20906] ppid=20905 vsize=570208 CPUtime=1567.63 cores=0,2,4,6
/proc/20906/stat : 20906 (glucose) R 20905 20858 14387 0 -1 4202496 78085 0 0 0 156740 23 0 0 20 0 1 0 285021663 583892992 118045 33554432000 4194304 5208918 140737063309776 140737063307448 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20906/statm: 142552 118045 103 248 0 142301 0
Current children cumulated CPU time (s) 1601.06
Current children cumulated vsize (KiB) 902932
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20988
/proc/meminfo: memFree=28785048/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=314428 CPUtime=33.43 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 9304 138530 0 0 585 276 2419 63 20 0 1 0 285018222 321974272 58837 33554432000 4194304 5990268 140733249929872 140733249921312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 95 0 0
/proc/20859/statm: 78607 58837 165 439 0 78164 0
[pid=20905] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20905/stat : 20905 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285021663 9367552 266 33554432000 4194304 5064252 140735078908800 140735078907712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20905/statm: 2287 266 226 213 0 72 0
[pid=20906] ppid=20905 vsize=570208 CPUtime=1627.62 cores=0,2,4,6
/proc/20906/stat : 20906 (glucose) R 20905 20858 14387 0 -1 4202496 78085 0 0 0 162739 23 0 0 20 0 1 0 285021663 583892992 118045 33554432000 4194304 5208918 140737063309776 140737063307448 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20906/statm: 142552 118045 103 248 0 142301 0
Current children cumulated CPU time (s) 1661.05
Current children cumulated vsize (KiB) 902932
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 20995
/proc/meminfo: memFree=28820376/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=314428 CPUtime=33.43 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 9304 138530 0 0 585 276 2419 63 20 0 1 0 285018222 321974272 58837 33554432000 4194304 5990268 140733249929872 140733249921312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 95 0 0
/proc/20859/statm: 78607 58837 165 439 0 78164 0
[pid=20905] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20905/stat : 20905 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285021663 9367552 266 33554432000 4194304 5064252 140735078908800 140735078907712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20905/statm: 2287 266 226 213 0 72 0
[pid=20906] ppid=20905 vsize=570208 CPUtime=1687.62 cores=0,2,4,6
/proc/20906/stat : 20906 (glucose) R 20905 20858 14387 0 -1 4202496 78086 0 0 0 168738 24 0 0 20 0 1 0 285021663 583892992 118557 33554432000 4194304 5208918 140737063309776 140737063307448 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20906/statm: 142552 118557 103 248 0 142301 0
Current children cumulated CPU time (s) 1721.05
Current children cumulated vsize (KiB) 902932
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 20997
/proc/meminfo: memFree=28817948/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=314428 CPUtime=33.43 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 9304 138530 0 0 585 276 2419 63 20 0 1 0 285018222 321974272 58837 33554432000 4194304 5990268 140733249929872 140733249921312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 95 0 0
/proc/20859/statm: 78607 58837 165 439 0 78164 0
[pid=20905] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20905/stat : 20905 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285021663 9367552 266 33554432000 4194304 5064252 140735078908800 140735078907712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20905/statm: 2287 266 226 213 0 72 0
[pid=20906] ppid=20905 vsize=570208 CPUtime=1747.61 cores=0,2,4,6
/proc/20906/stat : 20906 (glucose) R 20905 20858 14387 0 -1 4202496 78087 0 0 0 174737 24 0 0 20 0 1 0 285021663 583892992 118558 33554432000 4194304 5208918 140737063309776 140737063307448 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20906/statm: 142552 118558 103 248 0 142301 0
Current children cumulated CPU time (s) 1781.04
Current children cumulated vsize (KiB) 902932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 20997
/proc/meminfo: memFree=28817708/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=314428 CPUtime=33.43 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 9304 138530 0 0 585 276 2419 63 20 0 1 0 285018222 321974272 58837 33554432000 4194304 5990268 140733249929872 140733249921312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 95 0 0
/proc/20859/statm: 78607 58837 165 439 0 78164 0
[pid=20905] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20905/stat : 20905 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285021663 9367552 266 33554432000 4194304 5064252 140735078908800 140735078907712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20905/statm: 2287 266 226 213 0 72 0
[pid=20906] ppid=20905 vsize=570208 CPUtime=1766.61 cores=0,2,4,6
/proc/20906/stat : 20906 (glucose) R 20905 20858 14387 0 -1 4202496 78087 0 0 0 176637 24 0 0 20 0 1 0 285021663 583892992 118558 33554432000 4194304 5208918 140737063309776 140737063307448 4211620 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20906/statm: 142552 118558 103 248 0 142301 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 902932
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 20997
/proc/meminfo: memFree=28817708/32873844 swapFree=7112/7112
[pid=20858] ppid=20856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20858/stat : 20858 (npSolver-wbo-I.) S 20856 20858 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285018222 9367552 275 33554432000 4194304 5064252 140736278210096 140736278209008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20858/statm: 2287 275 233 213 0 72 0
[pid=20859] ppid=20858 vsize=314428 CPUtime=33.43 cores=0,2,4,6
/proc/20859/stat : 20859 (npSolver-wbo) S 20858 20858 14387 0 -1 4202496 9304 138530 0 0 585 276 2419 63 20 0 1 0 285018222 321974272 58837 33554432000 4194304 5990268 140733249929872 140733249921312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 95 0 0
/proc/20859/statm: 78607 58837 165 439 0 78164 0
[pid=20905] ppid=20859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20905/stat : 20905 (satsolver.sh) S 20859 20858 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285021663 9367552 266 33554432000 4194304 5064252 140735078908800 140735078907712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20905/statm: 2287 266 226 213 0 72 0
[pid=20906] ppid=20905 vsize=570208 CPUtime=1766.61 cores=0,2,4,6
/proc/20906/stat : 20906 (glucose) R 20905 20858 14387 0 -1 4202496 78087 0 0 0 176637 24 0 0 20 0 1 0 285021663 583892992 118558 33554432000 4194304 5208918 140737063309776 140737063307448 4211620 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20906/statm: 142552 118558 103 248 0 142301 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 902932
Child status: 0
Real time (s): 1801.31
CPU time (s): 1800.08
CPU user time (s): 1796.42
CPU system time (s): 3.65444
CPU usage (%): 99.9315
Max. virtual memory (cumulated for all children) (KiB): 978044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.42
system time used= 3.65444
maximum resident set size= 746956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226911
page faults= 0
swaps= 0
block input operations= 0
block output operations= 586136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2402
involuntary context switches= 2069
runsolver used 6.40702 second user time and 19.754 second system time
The end