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-3699154-1338083815/watcher-3699154-1338083815 -o /tmp/evaluation-result-3699154-1338083815/solver-3699154-1338083815 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699154-1338083815.opb 1996573062 HOME HOME
running on 4 cores: 1,3,5,7
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.00 2.02 2.00 3/178 6267
/proc/meminfo: memFree=30332724/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[startup+0.084381 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 6267
/proc/meminfo: memFree=30332724/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100296 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 6267
/proc/meminfo: memFree=30332724/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300271 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 6267
/proc/meminfo: memFree=30332724/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700239 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 6267
/proc/meminfo: memFree=30332724/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 6269
/proc/meminfo: memFree=30297596/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=73312 CPUtime=1.48 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) R 6267 6267 1127 0 -1 4202496 4897 0 0 0 146 2 0 0 20 0 1 0 274510065 75071488 12899 33554432000 4194304 5992684 140733872078752 140733872074872 4523474 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6268/statm: 18328 12899 146 440 0 17884 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 82460
[startup+3.10027 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 6269
/proc/meminfo: memFree=30262524/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=138848 CPUtime=3.08 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) R 6267 6267 1127 0 -1 4202496 5474 0 0 0 304 4 0 0 20 0 1 0 274510065 142180352 26219 33554432000 4194304 5992684 140733872078752 140733872074488 4571317 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6268/statm: 34712 26219 146 440 0 34268 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 147996
[startup+6.30043 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 6271
/proc/meminfo: memFree=29937100/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=285668 CPUtime=4.83 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 10704 0 0 0 440 43 0 0 20 0 1 0 274510065 292524032 44121 33554432000 4194304 5992684 140733872078752 140733872073200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6268/statm: 71417 44121 164 440 0 70973 0
[pid=6270] ppid=6268 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6270/stat : 6270 (cp2_pre.sh) S 6268 6267 1127 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274510549 9367552 276 33554432000 4194304 5064252 140735257575728 140735257574432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6270/statm: 2287 276 234 213 0 72 0
[pid=6271] ppid=6270 vsize=160044 CPUtime=1.44 cores=1,3,5,7
/proc/6271/stat : 6271 (coprocessor) R 6270 6267 1127 0 -1 4202496 26631 0 0 0 136 8 0 0 20 0 1 0 274510550 163885056 37935 33554432000 4194304 6586260 140736669385584 140736669382344 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/6271/statm: 40011 37935 137 584 0 39423 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 464008
[startup+12.7004 s]
/proc/loadavg: 2.08 2.03 2.01 3/182 6271
/proc/meminfo: memFree=29387148/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=285668 CPUtime=4.83 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 10704 0 0 0 440 43 0 0 20 0 1 0 274510065 292524032 44121 33554432000 4194304 5992684 140733872078752 140733872073200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6268/statm: 71417 44121 164 440 0 70973 0
[pid=6270] ppid=6268 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6270/stat : 6270 (cp2_pre.sh) S 6268 6267 1127 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274510549 9367552 276 33554432000 4194304 5064252 140735257575728 140735257574432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6270/statm: 2287 276 234 213 0 72 0
[pid=6271] ppid=6270 vsize=608404 CPUtime=7.84 cores=1,3,5,7
/proc/6271/stat : 6271 (coprocessor) R 6270 6267 1127 0 -1 4202496 99372 0 0 0 753 31 0 0 20 0 1 0 274510550 623005696 150699 33554432000 4194304 6586260 140736669385584 140736669381336 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/6271/statm: 152101 150699 195 584 0 151513 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 912368
[startup+25.5003 s]
/proc/loadavg: 2.14 2.05 2.01 3/181 6273
/proc/meminfo: memFree=29574776/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=296816 CPUtime=23.16 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) R 6267 6267 1127 0 -1 4202496 13085 100274 0 0 557 535 1163 61 20 0 1 0 274510065 303939584 46917 33554432000 4194304 5992684 140733872078752 140733872072936 5179696 0 0 4096 0 0 0 0 17 5 0 0 24 0 0
/proc/6268/statm: 74204 46917 173 440 0 73760 0
[pid=6273] ppid=6268 vsize=313980 CPUtime=1.82 cores=1,3,5,7
/proc/6273/stat : 6273 (glucosInc) S 6268 6267 1127 0 -1 4202496 46353 0 0 0 167 15 0 0 20 0 1 0 274511799 321515520 74657 33554432000 4194304 5654031 140734827964272 140734827962584 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6273/statm: 78495 74657 146 357 0 78135 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 619944
[startup+51.1004 s]
/proc/loadavg: 2.46 2.12 2.03 3/181 6276
/proc/meminfo: memFree=27930780/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1613816 CPUtime=16.22 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 182030 0 0 0 1550 72 0 0 20 0 1 0 274513552 1652547584 345485 33554432000 4194304 5654031 140736909363520 140736909361304 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6276/statm: 403454 345485 140 357 0 403094 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 1942332
[startup+102.307 s]
/proc/loadavg: 2.20 2.10 2.03 3/181 6276
/proc/meminfo: memFree=27910052/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1614080 CPUtime=67.41 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 182100 0 0 0 6669 72 0 0 20 0 1 0 274513552 1652817920 345555 33554432000 4194304 5654031 140736909363520 140736909361304 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6276/statm: 403520 345555 140 357 0 403160 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 1942596
[startup+162.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/181 6277
/proc/meminfo: memFree=27839816/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1635164 CPUtime=127.39 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 185994 0 0 0 12666 73 0 0 20 0 1 0 274513552 1674407936 351493 33554432000 4194304 5654031 140736909363520 140736909351336 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6276/statm: 408791 351493 142 357 0 408431 0
Current children cumulated CPU time (s) 161.73
Current children cumulated vsize (KiB) 1963680
[startup+222.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/182 6280
/proc/meminfo: memFree=27844572/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1636484 CPUtime=187.38 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 186331 0 0 0 18665 73 0 0 20 0 1 0 274513552 1675759616 351830 33554432000 4194304 5654031 140736909363520 140736909361304 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6276/statm: 409121 351830 142 357 0 408761 0
Current children cumulated CPU time (s) 221.72
Current children cumulated vsize (KiB) 1965000
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27108276/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1665896 CPUtime=1327.19 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 193915 0 0 0 132641 78 0 0 20 0 1 0 274513552 1705877504 361217 33554432000 4194304 5654031 140736909363520 140736909351336 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6276/statm: 416474 361217 142 357 0 416114 0
Current children cumulated CPU time (s) 1361.53
Current children cumulated vsize (KiB) 1994412
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6435
/proc/meminfo: memFree=27101588/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1668424 CPUtime=1387.19 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 194570 0 0 0 138641 78 0 0 20 0 1 0 274513552 1708466176 362383 33554432000 4194304 5654031 140736909363520 140736909351336 4232386 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6276/statm: 417106 362383 142 357 0 416746 0
Current children cumulated CPU time (s) 1421.53
Current children cumulated vsize (KiB) 1996940
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 6435
/proc/meminfo: memFree=27093532/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1672400 CPUtime=1447.17 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 195573 0 0 0 144638 79 0 0 20 0 1 0 274513552 1712537600 363897 33554432000 4194304 5654031 140736909363520 140736909351336 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6276/statm: 418100 363897 142 357 0 417740 0
Current children cumulated CPU time (s) 1481.51
Current children cumulated vsize (KiB) 2000916
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 6435
/proc/meminfo: memFree=27089788/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1676140 CPUtime=1507.16 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 196532 0 0 0 150637 79 0 0 20 0 1 0 274513552 1716367360 364856 33554432000 4194304 5654031 140736909363520 140736909361304 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6276/statm: 419035 364856 142 357 0 418675 0
Current children cumulated CPU time (s) 1541.5
Current children cumulated vsize (KiB) 2004656
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6435
/proc/meminfo: memFree=27085944/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1677744 CPUtime=1567.15 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 196944 0 0 0 156636 79 0 0 20 0 1 0 274513552 1718009856 365779 33554432000 4194304 5654031 140736909363520 140736909361304 4215121 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6276/statm: 419436 365779 142 357 0 419076 0
Current children cumulated CPU time (s) 1601.49
Current children cumulated vsize (KiB) 2006260
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6435
/proc/meminfo: memFree=27083340/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1679064 CPUtime=1627.15 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 197253 0 0 0 162635 80 0 0 20 0 1 0 274513552 1719361536 366088 33554432000 4194304 5654031 140736909363520 140736909351336 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6276/statm: 419766 366088 142 357 0 419406 0
Current children cumulated CPU time (s) 1661.49
Current children cumulated vsize (KiB) 2007580
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 6436
/proc/meminfo: memFree=27079796/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1680280 CPUtime=1687.13 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 197572 0 0 0 168633 80 0 0 20 0 1 0 274513552 1720606720 366918 33554432000 4194304 5654031 140736909363520 140736909351336 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6276/statm: 420070 366918 142 357 0 419710 0
Current children cumulated CPU time (s) 1721.47
Current children cumulated vsize (KiB) 2008796
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 6436
/proc/meminfo: memFree=27072728/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1685964 CPUtime=1747.13 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 199206 0 0 0 174632 81 0 0 20 0 1 0 274513552 1726427136 368552 33554432000 4194304 5654031 140736909363520 140736909361304 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6276/statm: 421491 368552 142 357 0 421131 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 2014480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 6436
/proc/meminfo: memFree=27070432/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1686228 CPUtime=1765.73 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 199274 0 0 0 176492 81 0 0 20 0 1 0 274513552 1726697472 368620 33554432000 4194304 5654031 140736909363520 140736909361208 4209096 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6276/statm: 421557 368620 142 357 0 421197 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2014744
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 6436
/proc/meminfo: memFree=27070432/32873844 swapFree=7108/7108
[pid=6267] ppid=6265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (npSolver-pbo-I.) S 6265 6267 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274510065 9367552 275 33554432000 4194304 5064252 140735397186880 140735397185792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6267/statm: 2287 275 233 213 0 72 0
[pid=6268] ppid=6267 vsize=319368 CPUtime=34.34 cores=1,3,5,7
/proc/6268/stat : 6268 (npSolver-pbo) S 6267 6267 1127 0 -1 4202496 35718 147668 0 0 1317 654 1331 132 20 0 1 0 274510065 327032832 52599 33554432000 4194304 5992684 140733872078752 140733872063656 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 27 0 0
/proc/6268/statm: 79842 52599 185 440 0 79398 0
[pid=6276] ppid=6268 vsize=1686228 CPUtime=1765.73 cores=1,3,5,7
/proc/6276/stat : 6276 (glucosInc) R 6268 6267 1127 0 -1 4202496 199274 0 0 0 176492 81 0 0 20 0 1 0 274513552 1726697472 368620 33554432000 4194304 5654031 140736909363520 140736909361208 4209096 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6276/statm: 421557 368620 142 357 0 421197 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2014744
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6267 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.92
CPU time (s): 1800.07
CPU user time (s): 1791.4
CPU system time (s): 8.67
CPU usage (%): 99.953
Max. virtual memory (cumulated for all children) (KiB): 2495216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 3.73243 second user time and 11.5122 second system time
The end