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-3746901-1339109155/watcher-3746901-1339109155 -o /tmp/evaluation-result-3746901-1339109155/solver-3746901-1339109155 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746901-1339109155.opb 1924706189 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: 1.99 2.02 2.00 3/178 10702
/proc/meminfo: memFree=30657140/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[startup+0.100714 s]
/proc/loadavg: 1.99 2.02 2.00 3/178 10702
/proc/meminfo: memFree=30657140/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.20032 s]
/proc/loadavg: 1.99 2.02 2.00 3/178 10702
/proc/meminfo: memFree=30657140/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300304 s]
/proc/loadavg: 1.99 2.02 2.00 3/178 10702
/proc/meminfo: memFree=30657140/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700294 s]
/proc/loadavg: 1.99 2.02 2.00 3/178 10702
/proc/meminfo: memFree=30657140/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 1.99 2.02 2.00 3/182 10706
/proc/meminfo: memFree=30479900/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=37588 CPUtime=0.49 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 8923 0 0 0 45 4 0 0 20 0 1 0 377039590 38490112 7878 33554432000 4194304 6004724 140737121284912 140737121279376 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10703/statm: 9397 7878 164 442 0 8951 0
[pid=10705] ppid=10703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10705/stat : 10705 (cp2_pre.sh) S 10703 10702 9343 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377039643 9367552 277 33554432000 4194304 5064252 140736933062688 140736933061392 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10705/statm: 2287 277 234 213 0 72 0
[pid=10706] ppid=10705 vsize=163544 CPUtime=0.96 cores=1,3,5,7
/proc/10706/stat : 10706 (coprocessor) R 10705 10702 9343 0 -1 4202496 30361 0 0 0 91 5 0 0 20 0 1 0 377039643 167469056 39583 33554432000 4194304 6586260 140734051696032 140734051692296 4768456 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/10706/statm: 40886 39583 182 584 0 40298 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 219428
[startup+3.10043 s]
/proc/loadavg: 1.99 2.02 2.00 3/182 10706
/proc/meminfo: memFree=30431272/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=37588 CPUtime=0.49 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 8923 0 0 0 45 4 0 0 20 0 1 0 377039590 38490112 7878 33554432000 4194304 6004724 140737121284912 140737121279376 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10703/statm: 9397 7878 164 442 0 8951 0
[pid=10705] ppid=10703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10705/stat : 10705 (cp2_pre.sh) S 10703 10702 9343 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377039643 9367552 277 33554432000 4194304 5064252 140736933062688 140736933061392 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10705/statm: 2287 277 234 213 0 72 0
[pid=10706] ppid=10705 vsize=188960 CPUtime=2.56 cores=1,3,5,7
/proc/10706/stat : 10706 (coprocessor) R 10705 10702 9343 0 -1 4202496 34389 0 0 0 250 6 0 0 20 0 1 0 377039643 193495040 46166 33554432000 4194304 6586260 140734051696032 140734051691352 4683296 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/10706/statm: 47240 46166 192 584 0 46652 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 244844
[startup+6.30036 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 10708
/proc/meminfo: memFree=30531776/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=102868 CPUtime=6.25 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) R 10702 10702 9343 0 -1 4202496 16273 53320 0 0 98 71 434 22 20 0 1 0 377039590 105336832 19459 33554432000 4194304 6004724 140737121284912 140737121280400 5056502 0 0 4096 0 0 0 0 17 3 0 0 1 0 0
/proc/10703/statm: 25717 19459 182 442 0 25271 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 112016
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.00 3/180 10711
/proc/meminfo: memFree=30420392/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=109840 CPUtime=12.67 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) R 10702 10702 9343 0 -1 4202496 25270 112454 0 0 310 92 826 39 20 0 1 0 377039590 112476160 24819 33554432000 4194304 6004724 140737121284912 140737121278760 4581408 0 0 4096 0 0 0 0 17 3 0 0 1 0 0
/proc/10703/statm: 27460 24819 183 442 0 27014 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 118988
[startup+25.5005 s]
/proc/loadavg: 2.12 2.05 2.01 3/181 10715
/proc/meminfo: memFree=30221368/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=43652 CPUtime=19.31 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 35357 170929 0 0 496 124 1249 62 20 0 1 0 377039590 44699648 9445 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10913 9445 183 442 0 10467 0
[pid=10715] ppid=10703 vsize=336564 CPUtime=6.16 cores=1,3,5,7
/proc/10715/stat : 10715 (glucosInc) R 10703 10702 9343 0 -1 4202496 54898 0 0 0 603 13 0 0 20 0 1 0 377041523 344641536 71178 33554432000 4194304 5654031 140736708400592 140736708388408 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10715/statm: 84141 71178 140 357 0 83781 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 389364
[startup+51.1004 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 10715
/proc/meminfo: memFree=30202104/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=43652 CPUtime=19.31 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 35357 170929 0 0 496 124 1249 62 20 0 1 0 377039590 44699648 9445 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10913 9445 183 442 0 10467 0
[pid=10715] ppid=10703 vsize=336564 CPUtime=31.76 cores=1,3,5,7
/proc/10715/stat : 10715 (glucosInc) R 10703 10702 9343 0 -1 4202496 55018 0 0 0 3163 13 0 0 20 0 1 0 377041523 344641536 76408 33554432000 4194304 5654031 140736708400592 140736708388408 4215188 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10715/statm: 84141 76408 140 357 0 83781 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 389364
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 10715
/proc/meminfo: memFree=30161512/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=43652 CPUtime=19.31 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 35357 170929 0 0 496 124 1249 62 20 0 1 0 377039590 44699648 9445 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10913 9445 183 442 0 10467 0
[pid=10715] ppid=10703 vsize=386652 CPUtime=82.95 cores=1,3,5,7
/proc/10715/stat : 10715 (glucosInc) R 10703 10702 9343 0 -1 4202496 56774 0 0 0 8278 17 0 0 20 0 1 0 377041523 395931648 77142 33554432000 4194304 5654031 140736708400592 140736708398680 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10715/statm: 96663 77142 140 357 0 96303 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 439452
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 10716
/proc/meminfo: memFree=30162792/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=43652 CPUtime=19.31 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 35357 170929 0 0 496 124 1249 62 20 0 1 0 377039590 44699648 9445 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10913 9445 183 442 0 10467 0
[pid=10715] ppid=10703 vsize=336564 CPUtime=142.94 cores=1,3,5,7
/proc/10715/stat : 10715 (glucosInc) R 10703 10702 9343 0 -1 4202496 57133 0 0 0 14274 20 0 0 20 0 1 0 377041523 344641536 76476 33554432000 4194304 5654031 140736708400592 140736708398616 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10715/statm: 84141 76476 140 357 0 83781 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 389364
[startup+222.307 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 10716
/proc/meminfo: memFree=30167228/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=43652 CPUtime=19.31 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 35357 170929 0 0 496 124 1249 62 20 0 1 0 377039590 44699648 9445 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10913 9445 183 442 0 10467 0
[pid=10715] ppid=10703 vsize=386652 CPUtime=202.92 cores=1,3,5,7
/proc/10715/stat : 10715 (glucosInc) R 10703 10702 9343 0 -1 4202496 57983 0 0 0 20271 21 0 0 20 0 1 0 377041523 395931648 84500 33554432000 4194304 5654031 140736708400592 140736708398680 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10715/statm: 96663 84500 140 357 0 96303 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 439452
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30189264/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=41324 CPUtime=754.22 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 52057 299321 0 0 732 154 74328 208 20 0 1 0 377039590 42315776 8863 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10331 8863 183 442 0 9885 0
[pid=10729] ppid=10703 vsize=356476 CPUtime=547.8 cores=1,3,5,7
/proc/10729/stat : 10729 (glucosInc) R 10703 10702 9343 0 -1 4202496 56626 0 0 0 54743 37 0 0 20 0 1 0 377115028 365031424 77819 33554432000 4194304 5654031 140735558332464 140735558330552 4232925 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10729/statm: 89119 77819 140 357 0 88759 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 406948
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10761
/proc/meminfo: memFree=30122072/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=41324 CPUtime=754.22 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 52057 299321 0 0 732 154 74328 208 20 0 1 0 377039590 42315776 8863 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10331 8863 183 442 0 9885 0
[pid=10729] ppid=10703 vsize=437864 CPUtime=607.8 cores=1,3,5,7
/proc/10729/stat : 10729 (glucosInc) R 10703 10702 9343 0 -1 4202496 57335 0 0 0 60741 39 0 0 20 0 1 0 377115028 448372736 93347 33554432000 4194304 5654031 140735558332464 140735558330552 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10729/statm: 109466 93347 140 357 0 109106 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 488336
[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 10761
/proc/meminfo: memFree=30242092/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=41324 CPUtime=754.22 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 52057 299321 0 0 732 154 74328 208 20 0 1 0 377039590 42315776 8863 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10331 8863 183 442 0 9885 0
[pid=10729] ppid=10703 vsize=356476 CPUtime=667.79 cores=1,3,5,7
/proc/10729/stat : 10729 (glucosInc) R 10703 10702 9343 0 -1 4202496 57990 0 0 0 66737 42 0 0 20 0 1 0 377115028 365031424 72656 33554432000 4194304 5654031 140735558332464 140735558330552 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10729/statm: 89119 72656 140 357 0 88759 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 406948
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 10764
/proc/meminfo: memFree=30149912/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=41324 CPUtime=754.22 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 52057 299321 0 0 732 154 74328 208 20 0 1 0 377039590 42315776 8863 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10331 8863 183 442 0 9885 0
[pid=10729] ppid=10703 vsize=437864 CPUtime=727.77 cores=1,3,5,7
/proc/10729/stat : 10729 (glucosInc) R 10703 10702 9343 0 -1 4202496 58531 0 0 0 72734 43 0 0 20 0 1 0 377115028 448372736 88016 33554432000 4194304 5654031 140735558332464 140735558330552 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10729/statm: 109466 88016 140 357 0 109106 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 488336
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10764
/proc/meminfo: memFree=30114792/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=41324 CPUtime=754.22 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 52057 299321 0 0 732 154 74328 208 20 0 1 0 377039590 42315776 8863 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10331 8863 183 442 0 9885 0
[pid=10729] ppid=10703 vsize=570124 CPUtime=787.77 cores=1,3,5,7
/proc/10729/stat : 10729 (glucosInc) R 10703 10702 9343 0 -1 4202496 58717 0 0 0 78733 44 0 0 20 0 1 0 377115028 583806976 104554 33554432000 4194304 5654031 140735558332464 140735558330552 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10729/statm: 142531 104554 140 357 0 142171 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 620596
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10764
/proc/meminfo: memFree=30221784/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=41324 CPUtime=754.22 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 52057 299321 0 0 732 154 74328 208 20 0 1 0 377039590 42315776 8863 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10331 8863 183 442 0 9885 0
[pid=10729] ppid=10703 vsize=356476 CPUtime=847.75 cores=1,3,5,7
/proc/10729/stat : 10729 (glucosInc) R 10703 10702 9343 0 -1 4202496 59190 0 0 0 84729 46 0 0 20 0 1 0 377115028 365031424 78264 33554432000 4194304 5654031 140735558332464 140735558330488 4232984 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10729/statm: 89119 78264 140 357 0 88759 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 406948
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10765
/proc/meminfo: memFree=30161712/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=41324 CPUtime=754.22 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 52057 299321 0 0 732 154 74328 208 20 0 1 0 377039590 42315776 8863 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10331 8863 183 442 0 9885 0
[pid=10729] ppid=10703 vsize=437864 CPUtime=907.74 cores=1,3,5,7
/proc/10729/stat : 10729 (glucosInc) R 10703 10702 9343 0 -1 4202496 59897 0 0 0 90726 48 0 0 20 0 1 0 377115028 448372736 92768 33554432000 4194304 5654031 140735558332464 140735558330552 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10729/statm: 109466 92768 140 357 0 109106 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 488336
[startup+1722.3 s]
/proc/loadavg: 2.18 2.06 2.02 3/182 10808
/proc/meminfo: memFree=27620196/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=41324 CPUtime=754.22 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 52057 299321 0 0 732 154 74328 208 20 0 1 0 377039590 42315776 8863 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10331 8863 183 442 0 9885 0
[pid=10729] ppid=10703 vsize=570124 CPUtime=967.74 cores=1,3,5,7
/proc/10729/stat : 10729 (glucosInc) R 10703 10702 9343 0 -1 4202496 60905 0 0 0 96723 51 0 0 20 0 1 0 377115028 583806976 109617 33554432000 4194304 5654031 140735558332464 140735558330552 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10729/statm: 142531 109617 140 357 0 142171 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 620596
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/181 10809
/proc/meminfo: memFree=26342356/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=41324 CPUtime=754.22 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 52057 299321 0 0 732 154 74328 208 20 0 1 0 377039590 42315776 8863 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10331 8863 183 442 0 9885 0
[pid=10729] ppid=10703 vsize=356476 CPUtime=1027.73 cores=1,3,5,7
/proc/10729/stat : 10729 (glucosInc) R 10703 10702 9343 0 -1 4202496 61023 0 0 0 102717 56 0 0 20 0 1 0 377115028 365031424 77752 33554432000 4194304 5654031 140735558332464 140735558330488 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10729/statm: 89119 77752 140 357 0 88759 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 406948
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.04 2.01 3/181 10809
/proc/meminfo: memFree=26324668/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=41324 CPUtime=754.22 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 52057 299321 0 0 732 154 74328 208 20 0 1 0 377039590 42315776 8863 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10331 8863 183 442 0 9885 0
[pid=10729] ppid=10703 vsize=356476 CPUtime=1045.83 cores=1,3,5,7
/proc/10729/stat : 10729 (glucosInc) R 10703 10702 9343 0 -1 4202496 61032 0 0 0 104527 56 0 0 20 0 1 0 377115028 365031424 82360 33554432000 4194304 5654031 140735558332464 140735558330488 4215097 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10729/statm: 89119 82360 140 357 0 88759 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 406948
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.05 2.04 2.01 3/181 10809
/proc/meminfo: memFree=26324668/32873648 swapFree=7376/7376
[pid=10702] ppid=10700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10702/stat : 10702 (npSolver-pbo-It) S 10700 10702 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377039590 9367552 275 33554432000 4194304 5064252 140734453789760 140734453788672 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10702/statm: 2287 275 233 213 0 72 0
[pid=10703] ppid=10702 vsize=41324 CPUtime=754.22 cores=1,3,5,7
/proc/10703/stat : 10703 (npSolver-pbo) S 10702 10702 9343 0 -1 4202496 52057 299321 0 0 732 154 74328 208 20 0 1 0 377039590 42315776 8863 33554432000 4194304 6004724 140737121284912 140737121270760 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/10703/statm: 10331 8863 183 442 0 9885 0
[pid=10729] ppid=10703 vsize=356476 CPUtime=1045.83 cores=1,3,5,7
/proc/10729/stat : 10729 (glucosInc) R 10703 10702 9343 0 -1 4202496 61032 0 0 0 104527 56 0 0 20 0 1 0 377115028 365031424 82360 33554432000 4194304 5654031 140735558332464 140735558330488 4215097 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10729/statm: 89119 82360 140 357 0 88759 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 406948
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1795.89
CPU system time (s): 4.20436
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 1053008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.89
system time used= 4.20436
maximum resident set size= 769232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412789
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1076304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6147
involuntary context switches= 2707
runsolver used 3.45247 second user time and 9.45456 second system time
The end