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-3697506-1338049261/watcher-3697506-1338049261 -o /tmp/evaluation-result-3697506-1338049261/solver-3697506-1338049261 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697506-1338049261.opb 2031426595 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: 4.27 3.45 2.53 3/178 14140
/proc/meminfo: memFree=28828620/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[startup+0.0106959 s]
/proc/loadavg: 4.27 3.45 2.53 3/178 14140
/proc/meminfo: memFree=28828620/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100208 s]
/proc/loadavg: 4.27 3.45 2.53 3/178 14140
/proc/meminfo: memFree=28828620/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300145 s]
/proc/loadavg: 4.27 3.45 2.53 3/178 14140
/proc/meminfo: memFree=28828620/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700244 s]
/proc/loadavg: 4.27 3.45 2.53 3/178 14140
/proc/meminfo: memFree=28828620/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 4.27 3.45 2.53 3/182 14144
/proc/meminfo: memFree=28747236/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=13056 CPUtime=0.17 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 2529 0 0 0 15 2 0 0 20 0 1 0 271051541 13369344 2171 33554432000 4194304 5992684 140734163858960 140734163853408 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14141/statm: 3264 2171 163 440 0 2820 0
[pid=14143] ppid=14141 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14143/stat : 14143 (cp2_pre.sh) S 14141 14140 9598 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271051559 9367552 277 33554432000 4194304 5064252 140735096237808 140735096236512 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14143/statm: 2287 277 234 213 0 72 0
[pid=14144] ppid=14143 vsize=51536 CPUtime=1.3 cores=1,3,5,7
/proc/14144/stat : 14144 (coprocessor) R 14143 14140 9598 0 -1 4202496 11152 0 0 0 129 1 0 0 20 0 1 0 271051559 52772864 12129 33554432000 4194304 6586260 140733964075584 140733964071064 4676827 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/14144/statm: 12884 12129 190 584 0 12296 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 82888
[startup+3.10027 s]
/proc/loadavg: 4.09 3.43 2.52 3/182 14144
/proc/meminfo: memFree=28726384/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=13056 CPUtime=2.97 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 2545 12431 0 0 15 2 277 3 20 0 1 0 271051541 13369344 2176 33554432000 4194304 5992684 140734163858960 140734163845224 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14141/statm: 3264 2176 166 440 0 2820 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 22204
[startup+6.30033 s]
/proc/loadavg: 4.09 3.43 2.52 3/181 14149
/proc/meminfo: memFree=28412068/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=29904 CPUtime=4.89 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 9977 18626 0 0 134 52 297 6 20 0 1 0 271051541 30621696 6376 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 7476 6376 184 440 0 7032 0
[pid=14149] ppid=14141 vsize=211424 CPUtime=1.2 cores=1,3,5,7
/proc/14149/stat : 14149 (glucosInc) R 14141 14140 9598 0 -1 4202496 39503 0 0 0 111 9 0 0 20 0 1 0 271052049 216498176 49119 33554432000 4194304 5654031 140734049895152 140734049892936 4214650 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14149/statm: 52856 49119 132 357 0 52496 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 250476
[startup+12.7003 s]
/proc/loadavg: 3.77 3.38 2.52 3/181 14151
/proc/meminfo: memFree=27747292/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26872 CPUtime=8.34 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 17919 59490 0 0 249 66 499 20 20 0 1 0 271051541 27516928 5650 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6718 5650 184 440 0 6274 0
[pid=14151] ppid=14141 vsize=215712 CPUtime=4.15 cores=1,3,5,7
/proc/14151/stat : 14151 (glucosInc) R 14141 14140 9598 0 -1 4202496 41465 0 0 0 407 8 0 0 20 0 1 0 271052394 220889088 51119 33554432000 4194304 5654031 140737139601248 140737139598936 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14151/statm: 53928 51119 141 357 0 53568 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 251732
[startup+25.5004 s]
/proc/loadavg: 3.49 3.34 2.51 3/181 14153
/proc/meminfo: memFree=26602380/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26880 CPUtime=16.22 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 26374 101542 0 0 364 81 1145 32 20 0 1 0 271051541 27525120 5652 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6720 5652 184 440 0 6276 0
[pid=14153] ppid=14141 vsize=246852 CPUtime=9.07 cores=1,3,5,7
/proc/14153/stat : 14153 (glucosInc) R 14141 14140 9598 0 -1 4202496 41701 0 0 0 897 10 0 0 20 0 1 0 271053182 252776448 52733 33554432000 4194304 5654031 140735784007232 140735784005320 4232925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14153/statm: 61713 52733 141 357 0 61353 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 282880
[startup+51.1004 s]
/proc/loadavg: 2.98 3.23 2.50 3/181 14153
/proc/meminfo: memFree=24034496/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26880 CPUtime=16.22 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 26374 101542 0 0 364 81 1145 32 20 0 1 0 271051541 27525120 5652 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6720 5652 184 440 0 6276 0
[pid=14153] ppid=14141 vsize=246852 CPUtime=34.66 cores=1,3,5,7
/proc/14153/stat : 14153 (glucosInc) R 14141 14140 9598 0 -1 4202496 41715 0 0 0 3456 10 0 0 20 0 1 0 271053182 252776448 54789 33554432000 4194304 5654031 140735784007232 140735784005320 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14153/statm: 61713 54789 141 357 0 61353 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 282880
[startup+102.307 s]
/proc/loadavg: 2.48 3.05 2.48 3/180 14154
/proc/meminfo: memFree=20257040/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26880 CPUtime=16.22 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 26374 101542 0 0 364 81 1145 32 20 0 1 0 271051541 27525120 5652 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6720 5652 184 440 0 6276 0
[pid=14153] ppid=14141 vsize=248236 CPUtime=85.86 cores=1,3,5,7
/proc/14153/stat : 14153 (glucosInc) R 14141 14140 9598 0 -1 4202496 42393 0 0 0 8575 11 0 0 20 0 1 0 271053182 254193664 59559 33554432000 4194304 5654031 140735784007232 140735784004840 4216213 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14153/statm: 62059 59559 141 357 0 61699 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 284264
[startup+162.3 s]
/proc/loadavg: 2.19 2.87 2.44 3/180 14154
/proc/meminfo: memFree=17833976/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26880 CPUtime=16.22 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 26374 101542 0 0 364 81 1145 32 20 0 1 0 271051541 27525120 5652 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6720 5652 184 440 0 6276 0
[pid=14153] ppid=14141 vsize=248236 CPUtime=145.84 cores=1,3,5,7
/proc/14153/stat : 14153 (glucosInc) R 14141 14140 9598 0 -1 4202496 43012 0 0 0 14571 13 0 0 20 0 1 0 271053182 254193664 57382 33554432000 4194304 5654031 140735784007232 140735784005256 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14153/statm: 62059 57382 141 357 0 61699 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 284264
[startup+222.3 s]
/proc/loadavg: 2.06 2.70 2.41 3/180 14154
/proc/meminfo: memFree=15499112/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26880 CPUtime=16.22 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 26374 101542 0 0 364 81 1145 32 20 0 1 0 271051541 27525120 5652 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6720 5652 184 440 0 6276 0
[pid=14153] ppid=14141 vsize=298324 CPUtime=205.83 cores=1,3,5,7
/proc/14153/stat : 14153 (glucosInc) R 14141 14140 9598 0 -1 4202496 43838 0 0 0 20569 14 0 0 20 0 1 0 271053182 305483776 64339 33554432000 4194304 5654031 140735784007232 140735784005320 4218835 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14153/statm: 74581 64339 141 357 0 74221 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 334352
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.07 2.04 2.13 3/181 14440
/proc/meminfo: memFree=27492616/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26868 CPUtime=1345.45 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 77093 372164 0 0 1054 169 133165 157 20 0 1 0 271051541 27512832 5649 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/14141/statm: 6717 5649 184 440 0 6273 0
[pid=14440] ppid=14141 vsize=246280 CPUtime=15.85 cores=1,3,5,7
/proc/14440/stat : 14440 (glucosInc) R 14141 14140 9598 0 -1 4202496 41716 0 0 0 1576 9 0 0 20 0 1 0 271186184 252190720 54025 33554432000 4194304 5654031 140734192875712 140734192873400 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14440/statm: 61570 54025 141 357 0 61210 0
Current children cumulated CPU time (s) 1361.3
Current children cumulated vsize (KiB) 282296
[startup+1422.31 s]
/proc/loadavg: 2.07 2.05 2.12 3/181 14452
/proc/meminfo: memFree=27480984/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26876 CPUtime=1394.32 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 94001 456282 0 0 1283 200 137764 185 20 0 1 0 271051541 27521024 5651 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6719 5651 184 440 0 6275 0
[pid=14446] ppid=14141 vsize=295792 CPUtime=27 cores=1,3,5,7
/proc/14446/stat : 14446 (glucosInc) R 14141 14140 9598 0 -1 4202496 41631 0 0 0 2690 10 0 0 20 0 1 0 271191068 302891008 58968 33554432000 4194304 5654031 140733463017488 140733463015576 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14446/statm: 73948 58968 141 357 0 73588 0
Current children cumulated CPU time (s) 1421.32
Current children cumulated vsize (KiB) 331816
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.11 3/180 14454
/proc/meminfo: memFree=27453152/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26876 CPUtime=1394.32 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 94001 456282 0 0 1283 200 137764 185 20 0 1 0 271051541 27521024 5651 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6719 5651 184 440 0 6275 0
[pid=14446] ppid=14141 vsize=297424 CPUtime=86.98 cores=1,3,5,7
/proc/14446/stat : 14446 (glucosInc) R 14141 14140 9598 0 -1 4202496 42529 0 0 0 8685 13 0 0 20 0 1 0 271191068 304562176 64580 33554432000 4194304 5654031 140733463017488 140733463015176 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14446/statm: 74356 64580 141 357 0 73996 0
Current children cumulated CPU time (s) 1481.3
Current children cumulated vsize (KiB) 333448
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.10 3/181 14457
/proc/meminfo: memFree=27359276/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26876 CPUtime=1394.32 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 94001 456282 0 0 1283 200 137764 185 20 0 1 0 271051541 27521024 5651 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6719 5651 184 440 0 6275 0
[pid=14446] ppid=14141 vsize=378812 CPUtime=146.98 cores=1,3,5,7
/proc/14446/stat : 14446 (glucosInc) R 14141 14140 9598 0 -1 4202496 43275 0 0 0 14682 16 0 0 20 0 1 0 271191068 387903488 88627 33554432000 4194304 5654031 140733463017488 140733463015576 4216213 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14446/statm: 94703 88627 141 357 0 94343 0
Current children cumulated CPU time (s) 1541.3
Current children cumulated vsize (KiB) 414836
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.09 3/181 14460
/proc/meminfo: memFree=27424848/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26876 CPUtime=1394.32 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 94001 456282 0 0 1283 200 137764 185 20 0 1 0 271051541 27521024 5651 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6719 5651 184 440 0 6275 0
[pid=14446] ppid=14141 vsize=297424 CPUtime=206.96 cores=1,3,5,7
/proc/14446/stat : 14446 (glucosInc) R 14141 14140 9598 0 -1 4202496 44015 0 0 0 20678 18 0 0 20 0 1 0 271191068 304562176 71911 33554432000 4194304 5654031 140733463017488 140733463015576 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14446/statm: 74356 71911 141 357 0 73996 0
Current children cumulated CPU time (s) 1601.28
Current children cumulated vsize (KiB) 333448
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/181 14462
/proc/meminfo: memFree=27479512/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26876 CPUtime=1394.32 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 94001 456282 0 0 1283 200 137764 185 20 0 1 0 271051541 27521024 5651 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6719 5651 184 440 0 6275 0
[pid=14446] ppid=14141 vsize=247336 CPUtime=266.96 cores=1,3,5,7
/proc/14446/stat : 14446 (glucosInc) R 14141 14140 9598 0 -1 4202496 44475 0 0 0 26674 22 0 0 20 0 1 0 271191068 253272064 54916 33554432000 4194304 5654031 140733463017488 140733463015512 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14446/statm: 61834 54916 142 357 0 61474 0
Current children cumulated CPU time (s) 1661.28
Current children cumulated vsize (KiB) 283360
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/181 14464
/proc/meminfo: memFree=27447760/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26876 CPUtime=1394.32 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 94001 456282 0 0 1283 200 137764 185 20 0 1 0 271051541 27521024 5651 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6719 5651 184 440 0 6275 0
[pid=14446] ppid=14141 vsize=298804 CPUtime=326.95 cores=1,3,5,7
/proc/14446/stat : 14446 (glucosInc) R 14141 14140 9598 0 -1 4202496 45085 0 0 0 32672 23 0 0 20 0 1 0 271191068 305975296 64213 33554432000 4194304 5654031 140733463017488 140733463015576 4232784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14446/statm: 74701 64213 142 357 0 74341 0
Current children cumulated CPU time (s) 1721.27
Current children cumulated vsize (KiB) 334828
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/182 14469
/proc/meminfo: memFree=27469776/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26876 CPUtime=1394.32 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 94001 456282 0 0 1283 200 137764 185 20 0 1 0 271051541 27521024 5651 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6719 5651 184 440 0 6275 0
[pid=14446] ppid=14141 vsize=249580 CPUtime=386.94 cores=1,3,5,7
/proc/14446/stat : 14446 (glucosInc) R 14141 14140 9598 0 -1 4202496 46045 0 0 0 38668 26 0 0 20 0 1 0 271191068 255569920 58474 33554432000 4194304 5654031 140733463017488 140733463015176 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14446/statm: 62395 58474 142 357 0 62035 0
Current children cumulated CPU time (s) 1781.26
Current children cumulated vsize (KiB) 285604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.07 3/181 14469
/proc/meminfo: memFree=27443312/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26876 CPUtime=1394.32 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 94001 456282 0 0 1283 200 137764 185 20 0 1 0 271051541 27521024 5651 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6719 5651 184 440 0 6275 0
[pid=14446] ppid=14141 vsize=299668 CPUtime=405.74 cores=1,3,5,7
/proc/14446/stat : 14446 (glucosInc) R 14141 14140 9598 0 -1 4202496 46389 0 0 0 40547 27 0 0 20 0 1 0 271191068 306860032 63928 33554432000 4194304 5654031 140733463017488 140733463015576 4215188 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14446/statm: 74917 63928 142 357 0 74557 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 335692
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.07 3/181 14469
/proc/meminfo: memFree=27443312/32873648 swapFree=7104/7104
[pid=14140] ppid=14138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14140/stat : 14140 (npSolver-pbo-It) S 14138 14140 9598 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271051540 9367552 275 33554432000 4194304 5064252 140736916635280 140736916634192 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14140/statm: 2287 275 233 213 0 72 0
[pid=14141] ppid=14140 vsize=26876 CPUtime=1394.32 cores=1,3,5,7
/proc/14141/stat : 14141 (npSolver-pbo) S 14140 14140 9598 0 -1 4202496 94001 456282 0 0 1283 200 137764 185 20 0 1 0 271051541 27521024 5651 33554432000 4194304 5992684 140734163858960 140734163844792 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/14141/statm: 6719 5651 184 440 0 6275 0
[pid=14446] ppid=14141 vsize=299668 CPUtime=405.74 cores=1,3,5,7
/proc/14446/stat : 14446 (glucosInc) R 14141 14140 9598 0 -1 4202496 46389 0 0 0 40547 27 0 0 20 0 1 0 271191068 306860032 63928 33554432000 4194304 5654031 140733463017488 140733463015576 4215188 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14446/statm: 74917 63928 142 357 0 74557 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 335692
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14140 and gives
# childrusage.ru_utime.tv_sec=1390
# childrusage.ru_utime.tv_usec=485614
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=859413
# CPU time returned by wait4() is 1394.34
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.11
CPU time (s): 1800.06
CPU user time (s): 1795.94
CPU system time (s): 4.12
CPU usage (%): 99.9415
Max. virtual memory (cumulated for all children) (KiB): 496356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1390.49
system time used= 3.85941
maximum resident set size= 442824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550657
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1763544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8543
involuntary context switches= 2784
runsolver used 3.62945 second user time and 9.74852 second system time
The end