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-3698509-1338108230/watcher-3698509-1338108230 -o /tmp/evaluation-result-3698509-1338108230/solver-3698509-1338108230 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698509-1338108230.opb 292182230 HOME HOME
running on 4 cores: 0,2,4,6
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.06 2.04 2.00 2/178 11040
/proc/meminfo: memFree=28514632/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[startup+0.0417919 s]
/proc/loadavg: 2.06 2.04 2.00 2/178 11040
/proc/meminfo: memFree=28514632/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100215 s]
/proc/loadavg: 2.06 2.04 2.00 2/178 11040
/proc/meminfo: memFree=28514632/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300178 s]
/proc/loadavg: 2.06 2.04 2.00 2/178 11040
/proc/meminfo: memFree=28514632/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700182 s]
/proc/loadavg: 2.06 2.04 2.00 2/178 11040
/proc/meminfo: memFree=28514632/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.06 2.04 2.00 3/180 11042
/proc/meminfo: memFree=28507964/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=13556 CPUtime=1.49 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) R 11040 11040 7065 0 -1 4202496 2461 0 0 0 149 0 0 0 20 0 1 0 276949029 13881344 2475 33554432000 4194304 5992684 140737203325472 140737203321592 4809349 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11041/statm: 3389 2475 146 440 0 2945 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22704
[startup+3.10022 s]
/proc/loadavg: 2.06 2.04 2.00 3/180 11042
/proc/meminfo: memFree=28499164/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=49780 CPUtime=3.09 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) R 11040 11040 7065 0 -1 4202496 9902 0 0 0 307 2 0 0 20 0 1 0 276949029 50974720 11445 33554432000 4194304 5992684 140737203325472 140737203321592 4523464 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11041/statm: 12445 11445 159 440 0 12001 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58928
[startup+6.30028 s]
/proc/loadavg: 2.05 2.04 2.00 3/180 11042
/proc/meminfo: memFree=28257780/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=565564 CPUtime=6.27 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) R 11040 11040 7065 0 -1 4202496 29790 0 0 0 592 35 0 0 20 0 1 0 276949029 579137536 126259 33554432000 4194304 5992684 140737203325472 140737203321328 5182699 0 0 4096 0 0 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 141391 126259 168 440 0 140947 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 574712
[startup+12.7004 s]
/proc/loadavg: 2.05 2.04 2.00 3/182 11044
/proc/meminfo: memFree=27047508/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=6.3 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29797 0 0 0 592 38 0 0 20 0 1 0 276949029 371552256 75585 33554432000 4194304 5992684 140737203325472 140737203319920 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75585 174 440 0 90267 0
[pid=11043] ppid=11041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11043/stat : 11043 (cp2_pre.sh) S 11041 11040 7065 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 276949662 9367552 277 33554432000 4194304 5064252 140736787951968 140736787950672 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11043/statm: 2287 277 234 213 0 72 0
[pid=11044] ppid=11043 vsize=1072932 CPUtime=6.35 cores=0,2,4,6
/proc/11044/stat : 11044 (coprocessor) R 11043 11040 7065 0 -1 4202496 89109 0 0 0 609 26 0 0 20 0 1 0 276949663 1098682368 262949 33554432000 4194304 6586260 140734755487456 140734755483608 4773709 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/11044/statm: 268233 262949 173 584 0 267645 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 1454072
[startup+25.5003 s]
/proc/loadavg: 2.19 2.07 2.01 3/181 11046
/proc/meminfo: memFree=27642364/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=521732 CPUtime=5.16 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 79231 0 0 0 500 16 0 0 20 0 1 0 276951061 534253568 117673 33554432000 4194304 5654031 140734593267136 140734593264744 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 130433 117673 140 357 0 130073 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 893724
[startup+51.1003 s]
/proc/loadavg: 2.18 2.08 2.01 3/180 11046
/proc/meminfo: memFree=27643116/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=521732 CPUtime=30.76 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 79258 0 0 0 3060 16 0 0 20 0 1 0 276951061 534253568 117700 33554432000 4194304 5654031 140734593267136 140734593264744 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 130433 117700 140 357 0 130073 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 893724
[startup+102.307 s]
/proc/loadavg: 2.14 2.08 2.01 3/181 11047
/proc/meminfo: memFree=27633996/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=535784 CPUtime=81.97 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 80938 0 0 0 8180 17 0 0 20 0 1 0 276951061 548642816 119891 33554432000 4194304 5654031 140734593267136 140734593254952 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 133946 119891 140 357 0 133586 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 907776
[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/181 11047
/proc/meminfo: memFree=27631452/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=535784 CPUtime=141.95 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 80938 0 0 0 14178 17 0 0 20 0 1 0 276951061 548642816 119891 33554432000 4194304 5654031 140734593267136 140734593254952 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 133946 119891 140 357 0 133586 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 907776
[startup+222.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/181 11047
/proc/meminfo: memFree=27649384/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=535784 CPUtime=201.94 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 80938 0 0 0 20177 17 0 0 20 0 1 0 276951061 548642816 119891 33554432000 4194304 5654031 140734593267136 140734593254952 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 133946 119891 140 357 0 133586 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 907776
[startup+282.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/182 11089
/proc/meminfo: memFree=25844660/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=26714116/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=535784 CPUtime=1341.74 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 80970 0 0 0 134157 17 0 0 20 0 1 0 276951061 548642816 120022 33554432000 4194304 5654031 140734593267136 140734593254952 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 133946 120022 141 357 0 133586 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 907776
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11126
/proc/meminfo: memFree=26693328/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=535784 CPUtime=1401.74 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 81034 0 0 0 140157 17 0 0 20 0 1 0 276951061 548642816 120086 33554432000 4194304 5654031 140734593267136 140734593254952 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 133946 120086 141 357 0 133586 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 907776
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11126
/proc/meminfo: memFree=26692832/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=535784 CPUtime=1461.73 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 81114 0 0 0 146155 18 0 0 20 0 1 0 276951061 548642816 120161 33554432000 4194304 5654031 140734593267136 140734593254952 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 133946 120161 141 357 0 133586 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 907776
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11126
/proc/meminfo: memFree=26690292/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=535784 CPUtime=1521.72 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 81313 0 0 0 152154 18 0 0 20 0 1 0 276951061 548642816 120868 33554432000 4194304 5654031 140734593267136 140734593254952 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 133946 120868 141 357 0 133586 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 907776
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 11130
/proc/meminfo: memFree=26679680/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=596116 CPUtime=1581.71 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 82521 0 0 0 158153 18 0 0 20 0 1 0 276951061 610422784 123606 33554432000 4194304 5654031 140734593267136 140734593264904 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 149029 123606 141 357 0 148669 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 968108
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11130
/proc/meminfo: memFree=26677764/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=596116 CPUtime=1641.7 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 82522 0 0 0 164152 18 0 0 20 0 1 0 276951061 610422784 124118 33554432000 4194304 5654031 140734593267136 140734593254952 4208651 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 149029 124118 141 357 0 148669 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 968108
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11130
/proc/meminfo: memFree=26677888/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=596116 CPUtime=1701.69 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 82522 0 0 0 170151 18 0 0 20 0 1 0 276951061 610422784 124118 33554432000 4194304 5654031 140734593267136 140734593254952 4233283 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 149029 124118 141 357 0 148669 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 968108
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11130
/proc/meminfo: memFree=26675348/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=596116 CPUtime=1761.68 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 82523 0 0 0 176150 18 0 0 20 0 1 0 276951061 610422784 124630 33554432000 4194304 5654031 140734593267136 140734593254952 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 149029 124630 141 357 0 148669 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 968108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 11130
/proc/meminfo: memFree=26675596/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=596116 CPUtime=1779.88 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 82523 0 0 0 177970 18 0 0 20 0 1 0 276951061 610422784 124630 33554432000 4194304 5654031 140734593267136 140734593254952 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 149029 124630 141 357 0 148669 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 968108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 11130
/proc/meminfo: memFree=26675596/32873648 swapFree=7372/7372
[pid=11040] ppid=11038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (npSolver-pbo-It) S 11038 11040 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276949029 9367552 275 33554432000 4194304 5064252 140733362750800 140733362749712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11040/statm: 2287 275 233 213 0 72 0
[pid=11041] ppid=11040 vsize=362844 CPUtime=20.16 cores=0,2,4,6
/proc/11041/stat : 11041 (npSolver-pbo) S 11040 11040 7065 0 -1 4202496 29813 107581 0 0 592 38 1326 60 20 0 1 0 276949029 371552256 75587 33554432000 4194304 5992684 140737203325472 140737203311736 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/11041/statm: 90711 75587 176 440 0 90267 0
[pid=11046] ppid=11041 vsize=596116 CPUtime=1779.88 cores=0,2,4,6
/proc/11046/stat : 11046 (glucosInc) R 11041 11040 7065 0 -1 4202496 82523 0 0 0 177970 18 0 0 20 0 1 0 276951061 610422784 124630 33554432000 4194304 5654031 140734593267136 140734593254952 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11046/statm: 149029 124630 141 357 0 148669 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 968108
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11040 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=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1798.88
CPU system time (s): 1.16
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1644032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
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.08138 second user time and 10.5434 second system time
The end