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-3747663-1339107300/watcher-3747663-1339107300 -o /tmp/evaluation-result-3747663-1339107300/solver-3747663-1339107300 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747663-1339107300.opb 987153711 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.01 2.01 2.05 3/179 20440
/proc/meminfo: memFree=31137784/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[startup+0.0613841 s]
/proc/loadavg: 2.01 2.01 2.05 3/179 20440
/proc/meminfo: memFree=31137784/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100287 s]
/proc/loadavg: 2.01 2.01 2.05 3/179 20440
/proc/meminfo: memFree=31137784/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300243 s]
/proc/loadavg: 2.01 2.01 2.05 3/179 20440
/proc/meminfo: memFree=31137784/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700246 s]
/proc/loadavg: 2.01 2.01 2.05 3/179 20440
/proc/meminfo: memFree=31137784/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 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.01 2.01 2.05 3/181 20442
/proc/meminfo: memFree=31045636/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=147412 CPUtime=1.49 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) R 20440 20440 19416 0 -1 4202496 23458 0 0 0 144 5 0 0 20 0 1 0 376855769 150949888 33113 33554432000 4194304 6004724 140734835928080 140734835924104 4969078 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20441/statm: 36853 33113 130 442 0 36407 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156560
[startup+3.10027 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 20442
/proc/meminfo: memFree=30906844/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=362872 CPUtime=3.08 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) R 20440 20440 19416 0 -1 4202496 49803 0 0 0 296 12 0 0 20 0 1 0 376855769 371580928 75000 33554432000 4194304 6004724 140734835928080 140734835922680 4579890 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20441/statm: 90718 75000 154 442 0 90272 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 372020
[startup+6.30023 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 20442
/proc/meminfo: memFree=30665304/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=756088 CPUtime=6.28 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) R 20440 20440 19416 0 -1 4202496 51130 0 0 0 605 23 0 0 20 0 1 0 376855769 774234112 132856 33554432000 4194304 6004724 140734835928080 140734835922680 4534752 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/20441/statm: 189022 132856 154 442 0 188576 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 765236
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.05 3/181 20442
/proc/meminfo: memFree=30178264/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=1280376 CPUtime=12.68 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) R 20440 20440 19416 0 -1 4202496 52132 0 0 0 1230 38 0 0 20 0 1 0 376855769 1311105024 253176 33554432000 4194304 6004724 140734835928080 140734835922680 4534738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20441/statm: 320094 253176 154 442 0 319648 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1289524
[startup+25.5004 s]
/proc/loadavg: 2.01 2.00 2.05 3/183 20444
/proc/meminfo: memFree=27862756/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=24.55 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57222 0 0 0 2156 299 0 0 20 0 1 0 376855769 2394054656 422911 33554432000 4194304 6004724 140734835928080 140734835922544 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422911 163 442 0 584040 0
[pid=20443] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20443/stat : 20443 (cp2_pre.sh) S 20441 20440 19416 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 376858233 9367552 276 33554432000 4194304 5064252 140736793263952 140736793262656 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20443/statm: 2287 276 234 213 0 72 0
[pid=20444] ppid=20443 vsize=96196 CPUtime=0.84 cores=1,3,5,7
/proc/20444/stat : 20444 (coprocessor) R 20443 20440 19416 0 -1 4202496 10259 0 0 0 80 4 0 0 20 0 1 0 376858234 98504704 21517 33554432000 4194304 6586260 140735942799104 140735942795992 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/20444/statm: 24049 21517 138 584 0 23461 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 2452436
[startup+53.5194 s]
/proc/loadavg: 2.16 2.04 2.06 3/182 20444
/proc/meminfo: memFree=26421244/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=24.55 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57222 0 0 0 2156 299 0 0 20 0 1 0 376855769 2394054656 422911 33554432000 4194304 6004724 140734835928080 140734835922544 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422911 163 442 0 584040 0
[pid=20443] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20443/stat : 20443 (cp2_pre.sh) S 20441 20440 19416 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 376858233 9367552 276 33554432000 4194304 5064252 140736793263952 140736793262656 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20443/statm: 2287 276 234 213 0 72 0
[pid=20444] ppid=20443 vsize=2787600 CPUtime=27.86 cores=1,3,5,7
/proc/20444/stat : 20444 (coprocessor) R 20443 20440 19416 0 -1 4202496 25490 0 0 0 2644 142 0 0 20 0 1 0 376858234 2854502400 588914 33554432000 4194304 6586260 140735942799104 140735942794856 5259762 0 0 4096 8404994 0 0 0 17 5 0 0 100 0 0
/proc/20444/statm: 696900 588914 158 584 0 696312 0
Current children cumulated CPU time (s) 52.41
Current children cumulated vsize (KiB) 5143840
[startup+102.3 s]
/proc/loadavg: 2.48 2.16 2.10 3/181 20446
/proc/meminfo: memFree=27287680/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=1097444 CPUtime=3.68 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 119241 0 0 0 331 37 0 0 20 0 1 0 376865626 1123782656 221257 33554432000 4194304 5654031 140734912707344 140734911656696 4877259 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/20446/statm: 274361 221257 108 357 0 274001 0
Current children cumulated CPU time (s) 98.45
Current children cumulated vsize (KiB) 3444536
[startup+186.822 s]
/proc/loadavg: 2.23 2.13 2.09 3/181 20446
/proc/meminfo: memFree=24843340/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=3898200 CPUtime=88.11 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 371409 0 0 0 8681 130 0 0 20 0 1 0 376865626 3991756800 789382 33554432000 4194304 5654031 140734912707344 140734912705416 4209107 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20446/statm: 974550 789382 141 357 0 974190 0
Current children cumulated CPU time (s) 182.88
Current children cumulated vsize (KiB) 6245292
[startup+229.569 s]
/proc/loadavg: 4.52 2.70 2.28 3/175 20471
/proc/meminfo: memFree=24927360/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=3900976 CPUtime=130.85 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 372099 0 0 0 12955 130 0 0 20 0 1 0 376865626 3994599424 790072 33554432000 4194304 5654031 140734912707344 140734912705128 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20446/statm: 975244 790072 141 357 0 974884 0
Current children cumulated CPU time (s) 225.62
Current children cumulated vsize (KiB) 6248068
[startup+287.384 s]
/proc/loadavg: 3.36 2.77 2.34 3/182 20578
/proc/meminfo: memFree=24712828/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=24493220/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=3917212 CPUtime=1203.41 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 414235 0 0 0 120197 144 0 0 20 0 1 0 376865626 4011225088 796284 33554432000 4194304 5654031 140734912707344 140734912705160 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20446/statm: 979303 796284 141 357 0 978943 0
Current children cumulated CPU time (s) 1298.18
Current children cumulated vsize (KiB) 6264304
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.09 3/182 20682
/proc/meminfo: memFree=24743680/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=3917212 CPUtime=1263.4 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 414237 0 0 0 126196 144 0 0 20 0 1 0 376865626 4011225088 796286 33554432000 4194304 5654031 140734912707344 140734912705160 4233306 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20446/statm: 979303 796286 141 357 0 978943 0
Current children cumulated CPU time (s) 1358.17
Current children cumulated vsize (KiB) 6264304
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/181 20682
/proc/meminfo: memFree=24739044/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=3917212 CPUtime=1323.39 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 414238 0 0 0 132195 144 0 0 20 0 1 0 376865626 4011225088 796287 33554432000 4194304 5654031 140734912707344 140734912705160 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20446/statm: 979303 796287 141 357 0 978943 0
Current children cumulated CPU time (s) 1418.16
Current children cumulated vsize (KiB) 6264304
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/181 20685
/proc/meminfo: memFree=24758712/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=3917212 CPUtime=1383.38 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 414240 0 0 0 138194 144 0 0 20 0 1 0 376865626 4011225088 796289 33554432000 4194304 5654031 140734912707344 140734912705160 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20446/statm: 979303 796289 141 357 0 978943 0
Current children cumulated CPU time (s) 1478.15
Current children cumulated vsize (KiB) 6264304
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.08 3/182 20690
/proc/meminfo: memFree=24758528/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=3917212 CPUtime=1443.37 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 414241 0 0 0 144193 144 0 0 20 0 1 0 376865626 4011225088 796290 33554432000 4194304 5654031 140734912707344 140734912705160 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20446/statm: 979303 796290 141 357 0 978943 0
Current children cumulated CPU time (s) 1538.14
Current children cumulated vsize (KiB) 6264304
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.07 3/181 20690
/proc/meminfo: memFree=24755952/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=3917212 CPUtime=1503.36 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 414248 0 0 0 150192 144 0 0 20 0 1 0 376865626 4011225088 796292 33554432000 4194304 5654031 140734912707344 140734912705160 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20446/statm: 979303 796292 141 357 0 978943 0
Current children cumulated CPU time (s) 1598.13
Current children cumulated vsize (KiB) 6264304
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.07 3/181 20690
/proc/meminfo: memFree=24742180/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=3917476 CPUtime=1563.35 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 414295 0 0 0 156191 144 0 0 20 0 1 0 376865626 4011495424 796595 33554432000 4194304 5654031 140734912707344 140734912705240 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20446/statm: 979369 796595 141 357 0 979009 0
Current children cumulated CPU time (s) 1658.12
Current children cumulated vsize (KiB) 6264568
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.06 3/181 20690
/proc/meminfo: memFree=24749264/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=3917476 CPUtime=1623.34 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 414299 0 0 0 162190 144 0 0 20 0 1 0 376865626 4011495424 797512 33554432000 4194304 5654031 140734912707344 140734912705240 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20446/statm: 979369 797512 141 357 0 979009 0
Current children cumulated CPU time (s) 1718.11
Current children cumulated vsize (KiB) 6264568
[startup+1782.31 s]
/proc/loadavg: 2.00 2.01 2.06 3/181 20691
/proc/meminfo: memFree=24743124/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=3917476 CPUtime=1683.33 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 414300 0 0 0 168189 144 0 0 20 0 1 0 376865626 4011495424 798428 33554432000 4194304 5654031 140734912707344 140734912705240 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20446/statm: 979369 798428 141 357 0 979009 0
Current children cumulated CPU time (s) 1778.1
Current children cumulated vsize (KiB) 6264568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.2 s]
/proc/loadavg: 2.00 2.01 2.06 3/181 20691
/proc/meminfo: memFree=24739744/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-pbo-It) S 20438 20440 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376855769 9367552 274 33554432000 4194304 5064252 140734075259760 140734075258672 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20440/statm: 2287 274 233 213 0 72 0
[pid=20441] ppid=20440 vsize=2337944 CPUtime=94.77 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-pbo) S 20440 20440 19416 0 -1 4202496 57240 26391 0 0 2156 300 6610 411 20 0 1 0 376855769 2394054656 422915 33554432000 4194304 6004724 140734835928080 140734835914360 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 7 0 0
/proc/20441/statm: 584486 422915 167 442 0 584040 0
[pid=20446] ppid=20441 vsize=3917476 CPUtime=1705.24 cores=1,3,5,7
/proc/20446/stat : 20446 (glucosInc) R 20441 20440 19416 0 -1 4202496 414300 0 0 0 170380 144 0 0 20 0 1 0 376865626 4011495424 798733 33554432000 4194304 5654031 140734912707344 140734912705240 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20446/statm: 979369 798733 141 357 0 979009 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 6264568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20440 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1804.23
CPU time (s): 1800.01
CPU user time (s): 1791.46
CPU system time (s): 8.55
CPU usage (%): 99.7662
Max. virtual memory (cumulated for all children) (KiB): 6303056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
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= 1
runsolver used 3.2605 second user time and 9.8655 second system time
The end