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-3699243-1338114570/watcher-3699243-1338114570 -o /tmp/evaluation-result-3699243-1338114570/solver-3699243-1338114570 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699243-1338114570.opb 1299252991 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 2.00 3/178 27402
/proc/meminfo: memFree=28582908/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[startup+0.023314 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27402
/proc/meminfo: memFree=28582908/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100262 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27402
/proc/meminfo: memFree=28582908/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300239 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27402
/proc/meminfo: memFree=28582908/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/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 2.00 3/178 27402
/proc/meminfo: memFree=28582908/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27404
/proc/meminfo: memFree=28554380/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=44448 CPUtime=1.49 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) R 27402 27402 22912 0 -1 4202496 11001 0 0 0 146 3 0 0 20 0 1 0 277581967 45514752 10551 33554432000 4194304 5992684 140735729598976 140735729594712 4388240 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27403/statm: 11112 10551 144 440 0 10668 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53596
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27404
/proc/meminfo: memFree=28500928/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=138916 CPUtime=3.09 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) R 27402 27402 22912 0 -1 4202496 27089 0 0 0 301 8 0 0 20 0 1 0 277581967 142249984 33757 33554432000 4194304 5992684 140735729598976 140735729594200 4523497 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27403/statm: 34729 33757 167 440 0 34285 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 148064
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27404
/proc/meminfo: memFree=28303568/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=473512 CPUtime=6.29 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) R 27402 27402 22912 0 -1 4202496 51332 0 0 0 610 19 0 0 20 0 1 0 277581967 484876288 88748 33554432000 4194304 5992684 140735729598976 140735729594200 4948230 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27403/statm: 118378 88748 167 440 0 117934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 482660
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27404
/proc/meminfo: memFree=27877072/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=906624 CPUtime=12.69 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) R 27402 27402 22912 0 -1 4202496 95019 0 0 0 1233 36 0 0 20 0 1 0 277581967 928382976 186262 33554432000 4194304 5992684 140735729598976 140735729594376 4606747 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27403/statm: 226656 186262 168 440 0 226212 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915772
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27404
/proc/meminfo: memFree=26980808/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=1836668 CPUtime=25.48 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) R 27402 27402 22912 0 -1 4202496 196905 0 0 0 2479 69 0 0 20 0 1 0 277581967 1880748032 402929 33554432000 4194304 5992684 140735729598976 140735729571304 4951595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27403/statm: 459167 402929 169 440 0 458723 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1845816
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27407
/proc/meminfo: memFree=25155072/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3676580 CPUtime=51.08 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) R 27402 27402 22912 0 -1 4202496 380641 0 0 0 4974 134 0 0 20 0 1 0 277581967 3764817920 867927 33554432000 4194304 5992684 140735729598976 140735728008168 5044393 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27403/statm: 919145 867927 169 440 0 918701 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3685728
[startup+102.3 s]
/proc/loadavg: 2.24 2.07 2.02 3/183 27409
/proc/meminfo: memFree=18223080/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=55.38 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391177 0 0 0 5103 435 0 0 20 0 1 0 277581967 3822321664 894825 33554432000 4194304 5992684 140735729598976 140735729593424 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894825 176 440 0 932740 0
[pid=27408] ppid=27403 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/27408/stat : 27408 (cp2_pre.sh) S 27403 27402 22912 0 -1 4202496 610 0 0 0 0 2 0 0 20 0 1 0 277587507 9367552 277 33554432000 4194304 5064252 140734228796560 140734228795264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27408/statm: 2287 277 234 213 0 72 0
[pid=27409] ppid=27408 vsize=5343808 CPUtime=46.65 cores=1,3,5,7
/proc/27409/stat : 27409 (coprocessor) R 27408 27402 22912 0 -1 4202496 30124 0 0 0 4414 251 0 0 20 0 1 0 277587512 5472059392 1042154 33554432000 4194304 6586260 140734246590976 140734246586728 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 18 0 0
/proc/27409/statm: 1335952 1042154 158 584 0 1335364 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 9094840
[startup+162.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/181 27411
/proc/meminfo: memFree=21026988/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=2359820 CPUtime=7.99 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 234055 0 0 0 719 80 0 0 20 0 1 0 277597394 2416455680 531922 33554432000 4194304 5654031 140734303044688 140734301994040 4797458 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 589955 531923 108 357 0 589595 0
Current children cumulated CPU time (s) 161.71
Current children cumulated vsize (KiB) 6101704
[startup+222.307 s]
/proc/loadavg: 2.04 2.06 2.02 3/181 27411
/proc/meminfo: memFree=17056724/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=6904940 CPUtime=67.99 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 680713 0 0 0 6570 229 0 0 20 0 1 0 277597394 7070658560 1479168 33554432000 4194304 5654031 140734303044688 140734303032504 4214354 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 1726235 1479168 141 357 0 1725875 0
Current children cumulated CPU time (s) 221.71
Current children cumulated vsize (KiB) 10646824
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/181 27412
/proc/meminfo: memFree=17042004/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=6912024 CPUtime=127.98 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 682465 0 0 0 12568 230 0 0 20 0 1 0 277597394 7077912576 1481431 33554432000 4194304 5654031 140734303044688 140734303042472 4214616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 1728006 1481431 141 357 0 1727646 0
Current children cumulated CPU time (s) 281.7
Current children cumulated vsize (KiB) 10653908
[startup+342.3 s]
################
# More data... #
################
/proc/meminfo: memFree=16549236/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=7927716 CPUtime=1147.82 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 710484 0 0 0 114533 249 0 0 20 0 1 0 277597394 8117981184 1584429 33554432000 4194304 5654031 140734303044688 140734303032504 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 1981929 1584429 141 357 0 1981569 0
Current children cumulated CPU time (s) 1301.54
Current children cumulated vsize (KiB) 11669600
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27422
/proc/meminfo: memFree=16521376/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=7932332 CPUtime=1207.81 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 711394 0 0 0 120530 251 0 0 20 0 1 0 277597394 8122707968 1590449 33554432000 4194304 5654031 140734303044688 140734303032504 4214502 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 1983083 1590449 141 357 0 1982723 0
Current children cumulated CPU time (s) 1361.53
Current children cumulated vsize (KiB) 11674216
[startup+1422.3 s]
/proc/loadavg: 1.66 1.92 1.97 2/173 27447
/proc/meminfo: memFree=18989064/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=7937760 CPUtime=1267.8 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 712700 0 0 0 126528 252 0 0 20 0 1 0 277597394 8128266240 1598909 33554432000 4194304 5654031 140734303044688 140734303032504 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 1984440 1598909 141 357 0 1984080 0
Current children cumulated CPU time (s) 1421.52
Current children cumulated vsize (KiB) 11679644
[startup+1482.3 s]
/proc/loadavg: 1.24 1.75 1.91 2/173 27447
/proc/meminfo: memFree=19328140/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=7017896 CPUtime=1327.79 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 714313 0 0 0 132501 278 0 0 20 0 1 0 277597394 7186325504 1514271 33554432000 4194304 5654031 140734303044688 140734303032504 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 1754474 1514271 142 357 0 1754114 0
Current children cumulated CPU time (s) 1481.51
Current children cumulated vsize (KiB) 10759780
[startup+1542.31 s]
/proc/loadavg: 1.09 1.61 1.85 2/173 27448
/proc/meminfo: memFree=19292584/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=7022256 CPUtime=1387.79 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 715484 0 0 0 138499 280 0 0 20 0 1 0 277597394 7190790144 1523107 33554432000 4194304 5654031 140734303044688 140734303032504 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 1755564 1523107 142 357 0 1755204 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 10764140
[startup+1602.3 s]
/proc/loadavg: 1.03 1.50 1.79 2/173 27448
/proc/meminfo: memFree=19276016/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=7024212 CPUtime=1447.77 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 716070 0 0 0 144497 280 0 0 20 0 1 0 277597394 7192793088 1527270 33554432000 4194304 5654031 140734303044688 140734303032504 4233344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 1756053 1527270 142 357 0 1755693 0
Current children cumulated CPU time (s) 1601.49
Current children cumulated vsize (KiB) 10766096
[startup+1662.3 s]
/proc/loadavg: 1.01 1.40 1.74 2/173 27448
/proc/meminfo: memFree=19256036/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=7027756 CPUtime=1507.76 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 716998 0 0 0 150495 281 0 0 20 0 1 0 277597394 7196422144 1532286 33554432000 4194304 5654031 140734303044688 140734303032504 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 1756939 1532286 142 357 0 1756579 0
Current children cumulated CPU time (s) 1661.48
Current children cumulated vsize (KiB) 10769640
[startup+1722.3 s]
/proc/loadavg: 1.00 1.33 1.69 2/173 27448
/proc/meminfo: memFree=19218372/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=7955196 CPUtime=1567.75 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 718618 0 0 0 156482 293 0 0 20 0 1 0 277597394 8146120704 1541552 33554432000 4194304 5654031 140734303044688 140734303032504 4215168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 1988799 1541552 142 357 0 1988439 0
Current children cumulated CPU time (s) 1721.47
Current children cumulated vsize (KiB) 11697080
[startup+1782.3 s]
/proc/loadavg: 1.00 1.26 1.65 2/173 27448
/proc/meminfo: memFree=19185424/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=7962812 CPUtime=1627.75 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 720170 0 0 0 162480 295 0 0 20 0 1 0 277597394 8153919488 1549747 33554432000 4194304 5654031 140734303044688 140734303032504 4214957 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 1990703 1549747 142 357 0 1990343 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 11704696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 1.00 1.25 1.63 2/173 27448
/proc/meminfo: memFree=19173200/32873844 swapFree=6600/6600
[pid=27402] ppid=27400 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27402/stat : 27402 (npSolver-pbo-I.) S 27400 27402 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277581966 9367552 275 33554432000 4194304 5064252 140736671749536 140736671748448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27402/statm: 2287 275 233 213 0 72 0
[pid=27403] ppid=27402 vsize=3732736 CPUtime=153.72 cores=1,3,5,7
/proc/27403/stat : 27403 (npSolver-pbo) S 27402 27402 22912 0 -1 4202496 391193 31028 0 0 5103 438 9274 557 20 0 1 0 277581967 3822321664 894827 33554432000 4194304 5992684 140735729598976 140735729585240 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/27403/statm: 933184 894827 178 440 0 932740 0
[pid=27411] ppid=27403 vsize=7964876 CPUtime=1646.35 cores=1,3,5,7
/proc/27411/stat : 27411 (glucosInc) R 27403 27402 22912 0 -1 4202496 720664 0 0 0 164340 295 0 0 20 0 1 0 277597394 8156033024 1552796 33554432000 4194304 5654031 140734303044688 140734303042536 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27411/statm: 1991219 1552796 142 357 0 1990859 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 11706760
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 27402 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.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.92
CPU time (s): 1800.07
CPU user time (s): 1787.17
CPU system time (s): 12.9
CPU usage (%): 99.953
Max. virtual memory (cumulated for all children) (KiB): 13156140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
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 4.31134 second user time and 10.9423 second system time
The end