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-3697669-1338123886/watcher-3697669-1338123886 -o /tmp/evaluation-result-3697669-1338123886/solver-3697669-1338123886 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697669-1338123886.opb 410486851 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.00 1.92 3/176 21547
/proc/meminfo: memFree=28535260/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[startup+0.034961 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 21547
/proc/meminfo: memFree=28535260/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100207 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 21547
/proc/meminfo: memFree=28535260/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30019 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 21547
/proc/meminfo: memFree=28535260/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700234 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 21547
/proc/meminfo: memFree=28535260/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21549
/proc/meminfo: memFree=28442304/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=183908 CPUtime=1.49 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) R 21547 21547 21372 0 -1 4202496 16707 0 0 0 144 5 0 0 20 0 1 0 278514075 188321792 31946 33554432000 4194304 5992684 140736037620816 140736037615784 4523497 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 45977 31946 167 440 0 45533 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193056
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21549
/proc/meminfo: memFree=28363984/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=314980 CPUtime=2.57 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4202496 18020 0 0 0 226 31 0 0 20 0 1 0 278514075 322539520 45777 33554432000 4194304 5992684 140736037620816 140736037615264 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 78745 45777 174 440 0 78301 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 324128
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 21551
/proc/meminfo: memFree=27747592/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=314980 CPUtime=2.57 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4202496 18020 0 0 0 226 31 0 0 20 0 1 0 278514075 322539520 45777 33554432000 4194304 5992684 140736037620816 140736037615264 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 78745 45777 174 440 0 78301 0
[pid=21550] ppid=21548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21550/stat : 21550 (cp2_pre.sh) S 21548 21547 21372 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278514333 9367552 277 33554432000 4194304 5064252 140734768326288 140734768324992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21550/statm: 2287 277 234 213 0 72 0
[pid=21551] ppid=21550 vsize=568356 CPUtime=3.71 cores=1,3,5,7
/proc/21551/stat : 21551 (coprocessor) R 21550 21547 21372 0 -1 4202496 56481 0 0 0 358 13 0 0 20 0 1 0 278514333 581996544 127942 33554432000 4194304 6586260 140734225904288 140734225900552 4496181 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21551/statm: 142089 127942 168 584 0 141501 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 901632
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 1.93 3/179 21553
/proc/meminfo: memFree=28154076/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=314980 CPUtime=11.61 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4202496 18037 72692 0 0 226 31 868 36 20 0 1 0 278514075 322539520 45779 33554432000 4194304 5992684 140736037620816 140736037607080 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 78745 45779 176 440 0 78301 0
[pid=21553] ppid=21548 vsize=264724 CPUtime=0.94 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) R 21548 21547 21372 0 -1 4202496 44979 0 0 0 86 8 0 0 20 0 1 0 278515250 271077376 58292 33554432000 4194304 5654031 140734882990464 140734881939912 4797458 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21553/statm: 66181 58292 140 357 0 65821 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 588852
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 1.93 3/179 21553
/proc/meminfo: memFree=28061432/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=314980 CPUtime=11.61 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4202496 18037 72692 0 0 226 31 868 36 20 0 1 0 278514075 322539520 45779 33554432000 4194304 5992684 140736037620816 140736037607080 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 78745 45779 176 440 0 78301 0
[pid=21553] ppid=21548 vsize=268560 CPUtime=13.74 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) R 21548 21547 21372 0 -1 4202496 45997 0 0 0 1366 8 0 0 20 0 1 0 278515250 275005440 59310 33554432000 4194304 5654031 140734882990464 140734882988296 4232810 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21553/statm: 67140 59310 140 357 0 66780 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 592688
[startup+51.1003 s]
/proc/loadavg: 2.10 2.03 1.93 3/179 21553
/proc/meminfo: memFree=28068124/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=314980 CPUtime=11.61 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4202496 18037 72692 0 0 226 31 868 36 20 0 1 0 278514075 322539520 45779 33554432000 4194304 5992684 140736037620816 140736037607080 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 78745 45779 176 440 0 78301 0
[pid=21553] ppid=21548 vsize=277496 CPUtime=39.33 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) R 21548 21547 21372 0 -1 4202496 47517 0 0 0 3925 8 0 0 20 0 1 0 278515250 284155904 61852 33554432000 4194304 5654031 140734882990464 140734882978280 4232935 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21553/statm: 69374 61852 141 357 0 69014 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 601624
[startup+102.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/179 21553
/proc/meminfo: memFree=28063732/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=314980 CPUtime=11.61 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4202496 18037 72692 0 0 226 31 868 36 20 0 1 0 278514075 322539520 45779 33554432000 4194304 5992684 140736037620816 140736037607080 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 78745 45779 176 440 0 78301 0
[pid=21553] ppid=21548 vsize=277496 CPUtime=90.53 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) R 21548 21547 21372 0 -1 4202496 47556 0 0 0 9045 8 0 0 20 0 1 0 278515250 284155904 61886 33554432000 4194304 5654031 140734882990464 140734882978280 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21553/statm: 69374 61886 141 357 0 69014 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 601624
[startup+162.3 s]
/proc/loadavg: 2.09 2.03 1.94 3/179 21553
/proc/meminfo: memFree=28060324/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=314980 CPUtime=11.61 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4202496 18037 72692 0 0 226 31 868 36 20 0 1 0 278514075 322539520 45779 33554432000 4194304 5992684 140736037620816 140736037607080 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 78745 45779 176 440 0 78301 0
[pid=21553] ppid=21548 vsize=277496 CPUtime=150.5 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) R 21548 21547 21372 0 -1 4202496 47920 0 0 0 15042 8 0 0 20 0 1 0 278515250 284155904 62238 33554432000 4194304 5654031 140734882990464 140734882978280 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21553/statm: 69374 62238 141 357 0 69014 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 601624
[startup+222.307 s]
/proc/loadavg: 2.03 2.03 1.94 3/179 21554
/proc/meminfo: memFree=28048940/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=314980 CPUtime=11.61 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4202496 18037 72692 0 0 226 31 868 36 20 0 1 0 278514075 322539520 45779 33554432000 4194304 5992684 140736037620816 140736037607080 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 78745 45779 176 440 0 78301 0
[pid=21553] ppid=21548 vsize=313164 CPUtime=210.49 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) R 21548 21547 21372 0 -1 4202496 48730 0 0 0 21040 9 0 0 20 0 1 0 278515250 320679936 64053 33554432000 4194304 5654031 140734882990464 140734882978280 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21553/statm: 78291 64053 141 357 0 77931 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 637292
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/179 21554
/proc/meminfo: memFree=28043140/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/21553/stat : 21553 (glucosInc) R 21548 21547 21372 0 -1 4202496 52316 0 0 0 111014 14 0 0 20 0 1 0 278515250 331206656 71129 33554432000 4194304 5654031 140734882990464 140734882978280 4215026 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21553/statm: 80861 71129 142 357 0 80501 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 647572
[startup+1182.3 s]
/proc/loadavg: 2.29 2.19 2.02 3/178 21646
/proc/meminfo: memFree=24074652/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=314980 CPUtime=11.61 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4202496 18037 72692 0 0 226 31 868 36 20 0 1 0 278514075 322539520 45779 33554432000 4194304 5992684 140736037620816 140736037607080 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 78745 45779 176 440 0 78301 0
[pid=21553] ppid=21548 vsize=323444 CPUtime=1170.27 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) R 21548 21547 21372 0 -1 4202496 52388 0 0 0 117013 14 0 0 20 0 1 0 278515250 331206656 71201 33554432000 4194304 5654031 140734882990464 140734882978280 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21553/statm: 80861 71201 142 357 0 80501 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 647572
[startup+1242.3 s]
/proc/loadavg: 2.54 2.25 2.05 2/179 21647
/proc/meminfo: memFree=12827892/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=314980 CPUtime=11.61 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4202496 18037 72692 0 0 226 31 868 36 20 0 1 0 278514075 322539520 45779 33554432000 4194304 5992684 140736037620816 140736037607080 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 78745 45779 176 440 0 78301 0
[pid=21553] ppid=21548 vsize=323444 CPUtime=1230.26 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) R 21548 21547 21372 0 -1 4202496 52391 0 0 0 123012 14 0 0 20 0 1 0 278515250 331206656 71715 33554432000 4194304 5654031 140734882990464 140734882978280 4214993 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21553/statm: 80861 71715 142 357 0 80501 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 647572
[startup+1302.3 s]
/proc/loadavg: 3.83 2.66 2.20 2/179 21647
/proc/meminfo: memFree=9691124/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=314980 CPUtime=11.61 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4202496 18037 72692 0 0 226 31 868 36 20 0 1 0 278514075 322539520 45779 33554432000 4194304 5992684 140736037620816 140736037607080 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 78745 45779 176 440 0 78301 0
[pid=21553] ppid=21548 vsize=323444 CPUtime=1290.25 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) R 21548 21547 21372 0 -1 4202496 52679 0 0 0 129010 15 0 0 20 0 1 0 278515250 331206656 67181 33554432000 4194304 5654031 140734882990464 140734882978280 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21553/statm: 80861 67181 142 357 0 80501 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 647572
[startup+1362.3 s]
/proc/loadavg: 4.47 3.09 2.38 2/180 21648
/proc/meminfo: memFree=6122460/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=314980 CPUtime=11.61 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4202496 18037 72692 0 0 226 31 868 36 20 0 1 0 278514075 322539520 45779 33554432000 4194304 5992684 140736037620816 140736037607080 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21548/statm: 78745 45779 176 440 0 78301 0
[pid=21553] ppid=21548 vsize=324032 CPUtime=1350.24 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) R 21548 21547 21372 0 -1 4202496 52833 0 0 0 135009 15 0 0 20 0 1 0 278515250 331808768 67846 33554432000 4194304 5654031 140734882990464 140734882978280 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21553/statm: 81008 67846 142 357 0 80648 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 648160
[startup+1422.3 s]
/proc/loadavg: 4.56 3.36 2.51 1/181 21650
/proc/meminfo: memFree=4678460/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=316520 CPUtime=12.01 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4204032 23702 72692 0 0 242 55 868 36 20 0 1 0 278514075 324116480 46213 33554432000 4194304 5992684 140736037620816 140736037615352 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21548/statm: 79130 46213 194 440 0 78686 0
[pid=21553] ppid=21548 vsize=324808 CPUtime=1353.98 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) S 21548 21547 21372 0 -1 4202496 53061 0 0 0 135383 15 0 0 20 0 1 0 278515250 332603392 68074 33554432000 4194304 5654031 140734882990464 140734882988776 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/21553/statm: 81202 68074 148 357 0 80842 0
Current children cumulated CPU time (s) 1365.99
Current children cumulated vsize (KiB) 650476
[startup+1482.3 s]
/proc/loadavg: 4.84 3.65 2.66 1/181 21650
/proc/meminfo: memFree=4768628/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=316520 CPUtime=12.01 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4204032 23702 72692 0 0 242 55 868 36 20 0 1 0 278514075 324116480 46213 33554432000 4194304 5992684 140736037620816 140736037615352 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21548/statm: 79130 46213 194 440 0 78686 0
[pid=21553] ppid=21548 vsize=324808 CPUtime=1353.98 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) S 21548 21547 21372 0 -1 4202496 53061 0 0 0 135383 15 0 0 20 0 1 0 278515250 332603392 68074 33554432000 4194304 5654031 140734882990464 140734882988776 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/21553/statm: 81202 68074 148 357 0 80842 0
Current children cumulated CPU time (s) 1365.99
Current children cumulated vsize (KiB) 650476
Solver just ended. Dumping a history of the last processes samples
[startup+1483.2 s]
/proc/loadavg: 4.84 3.65 2.66 1/181 21650
/proc/meminfo: memFree=4769124/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=316520 CPUtime=12.01 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4204032 23702 72692 0 0 242 55 868 36 20 0 1 0 278514075 324116480 46213 33554432000 4194304 5992684 140736037620816 140736037615352 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21548/statm: 79130 46213 194 440 0 78686 0
[pid=21553] ppid=21548 vsize=324808 CPUtime=1353.98 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) S 21548 21547 21372 0 -1 4202496 53061 0 0 0 135383 15 0 0 20 0 1 0 278515250 332603392 68074 33554432000 4194304 5654031 140734882990464 140734882988776 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/21553/statm: 81202 68074 148 357 0 80842 0
Current children cumulated CPU time (s) 1365.99
Current children cumulated vsize (KiB) 650476
[startup+1484.01 s]
/proc/loadavg: 4.84 3.65 2.66 3/178 21654
/proc/meminfo: memFree=15161480/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=316520 CPUtime=12.01 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4204032 23702 72692 0 0 242 55 868 36 20 0 1 0 278514075 324116480 46213 33554432000 4194304 5992684 140736037620816 140736037615352 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21548/statm: 79130 46213 194 440 0 78686 0
[pid=21553] ppid=21548 vsize=324808 CPUtime=1353.98 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) S 21548 21547 21372 0 -1 4202496 53061 0 0 0 135383 15 0 0 20 0 1 0 278515250 332603392 68074 33554432000 4194304 5654031 140734882990464 140734882988776 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/21553/statm: 81202 68074 148 357 0 80842 0
Current children cumulated CPU time (s) 1365.99
Current children cumulated vsize (KiB) 650476
[startup+1484.2 s]
/proc/loadavg: 4.84 3.65 2.66 3/178 21654
/proc/meminfo: memFree=15161480/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=316520 CPUtime=12.01 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4204032 23702 72692 0 0 242 55 868 36 20 0 1 0 278514075 324116480 46213 33554432000 4194304 5992684 140736037620816 140736037615352 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21548/statm: 79130 46213 194 440 0 78686 0
[pid=21553] ppid=21548 vsize=324808 CPUtime=1353.98 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) S 21548 21547 21372 0 -1 4202496 53061 0 0 0 135383 15 0 0 20 0 1 0 278515250 332603392 68074 33554432000 4194304 5654031 140734882990464 140734882988776 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/21553/statm: 81202 68074 148 357 0 80842 0
Current children cumulated CPU time (s) 1365.99
Current children cumulated vsize (KiB) 650476
[startup+1484.3 s]
/proc/loadavg: 4.84 3.65 2.66 3/178 21654
/proc/meminfo: memFree=15161480/32873624 swapFree=7104/7104
[pid=21547] ppid=21545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21547/stat : 21547 (npSolver-pbo-It) S 21545 21547 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278514075 9367552 275 33554432000 4194304 5064252 140737185134320 140737185133232 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21547/statm: 2287 275 233 213 0 72 0
[pid=21548] ppid=21547 vsize=316520 CPUtime=12.01 cores=1,3,5,7
/proc/21548/stat : 21548 (npSolver-pbo) S 21547 21547 21372 0 -1 4204032 23702 72692 0 0 242 55 868 36 20 0 1 0 278514075 324116480 46213 33554432000 4194304 5992684 140736037620816 140736037615352 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21548/statm: 79130 46213 194 440 0 78686 0
[pid=21553] ppid=21548 vsize=324808 CPUtime=1353.98 cores=1,3,5,7
/proc/21553/stat : 21553 (glucosInc) S 21548 21547 21372 0 -1 4202496 53061 0 0 0 135383 15 0 0 20 0 1 0 278515250 332603392 68074 33554432000 4194304 5654031 140734882990464 140734882988776 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/21553/statm: 81202 68074 148 357 0 80842 0
Current children cumulated CPU time (s) 1365.99
Current children cumulated vsize (KiB) 650476
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21547 and gives
# childrusage.ru_utime.tv_sec=11
# childrusage.ru_utime.tv_usec=111310
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=926859
# CPU time returned by wait4() is 12.0382
# while last known CPU time is 1365.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1484.35
CPU time (s): 1365.99
CPU user time (s): 1364.93
CPU system time (s): 1.06
CPU usage (%): 92.026
Max. virtual memory (cumulated for all children) (KiB): 1001028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1113
system time used= 0.926859
maximum resident set size= 662924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96769
page faults= 0
swaps= 0
block input operations= 0
block output operations= 367152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62985
involuntary context switches= 18
runsolver used 4.27035 second user time and 10.8863 second system time
The end