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-3748654-1339114253/watcher-3748654-1339114253 -o /tmp/evaluation-result-3748654-1339114253/solver-3748654-1339114253 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748654-1339114253.opb 973003988 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.14 2.04 1.93 2/179 25883
/proc/meminfo: memFree=29155148/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[startup+0.0207771 s]
/proc/loadavg: 2.14 2.04 1.93 2/179 25883
/proc/meminfo: memFree=29155148/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100273 s]
/proc/loadavg: 2.14 2.04 1.93 2/179 25883
/proc/meminfo: memFree=29155148/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300333 s]
/proc/loadavg: 2.14 2.04 1.93 2/179 25883
/proc/meminfo: memFree=29155148/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70026 s]
/proc/loadavg: 2.14 2.04 1.93 2/179 25883
/proc/meminfo: memFree=29155148/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.14 2.04 1.93 3/183 25887
/proc/meminfo: memFree=29100952/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=12416 CPUtime=0.11 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 4692 0 0 0 9 2 0 0 20 0 1 0 377549795 12713984 2656 33554432000 4194304 6004724 140737184866656 140737184861120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 3104 2656 148 442 0 2658 0
[pid=25886] ppid=25884 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25886/stat : 25886 (cp2_pre.sh) S 25884 25883 23584 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377549808 9367552 277 33554432000 4194304 5064252 140734679142000 140734679140704 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25886/statm: 2287 277 234 213 0 72 0
[pid=25887] ppid=25886 vsize=46008 CPUtime=1.36 cores=1,3,5,7
/proc/25887/stat : 25887 (coprocessor) R 25886 25883 23584 0 -1 4202496 9629 0 0 0 134 2 0 0 20 0 1 0 377549808 47112192 10823 33554432000 4194304 6586260 140736332902448 140736332897768 5598875 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/25887/statm: 11502 10823 191 584 0 10914 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 76720
[startup+3.10035 s]
/proc/loadavg: 2.12 2.04 1.93 3/183 25887
/proc/meminfo: memFree=29099960/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=97164 CPUtime=3.08 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) R 25883 25883 23584 0 -1 4202496 10383 15207 0 0 80 18 203 7 20 0 1 0 377549795 99495936 19083 33554432000 4194304 6004724 140737184866656 140737184858520 4535907 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 24291 19083 179 442 0 23845 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 106312
[startup+6.30029 s]
/proc/loadavg: 2.12 2.04 1.93 3/182 25892
/proc/meminfo: memFree=28923976/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=155564 CPUtime=2.94 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 30216 0 0 0 285 9 0 0 20 0 1 0 377550130 159297536 35116 33554432000 4194304 5654031 140733909393088 140733909390696 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 38891 35116 140 357 0 38531 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 196340
[startup+12.7004 s]
/proc/loadavg: 2.11 2.04 1.93 3/181 25892
/proc/meminfo: memFree=28926940/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=155564 CPUtime=9.34 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 30234 0 0 0 925 9 0 0 20 0 1 0 377550130 159297536 35134 33554432000 4194304 5654031 140733909393088 140733909390696 4214160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 38891 35134 140 357 0 38531 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 196340
[startup+25.5004 s]
/proc/loadavg: 2.16 2.05 1.93 3/181 25892
/proc/meminfo: memFree=28923216/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=156168 CPUtime=22.13 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 30359 0 0 0 2204 9 0 0 20 0 1 0 377550130 159916032 35770 33554432000 4194304 5654031 140733909393088 140733909390984 4214597 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 39042 35770 141 357 0 38682 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 196944
[startup+51.1004 s]
/proc/loadavg: 2.10 2.05 1.93 3/181 25892
/proc/meminfo: memFree=28919896/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=156168 CPUtime=47.73 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 30360 0 0 0 4764 9 0 0 20 0 1 0 377550130 159916032 35771 33554432000 4194304 5654031 140733909393088 140733909390984 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 39042 35771 141 357 0 38682 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 196944
[startup+102.307 s]
/proc/loadavg: 2.04 2.04 1.93 3/181 25892
/proc/meminfo: memFree=28922156/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=156168 CPUtime=98.93 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 30368 0 0 0 9884 9 0 0 20 0 1 0 377550130 159916032 35781 33554432000 4194304 5654031 140733909393088 140733909380904 4214475 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 39042 35781 141 357 0 38682 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 196944
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/181 25892
/proc/meminfo: memFree=28917700/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=157972 CPUtime=158.9 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 30839 0 0 0 15881 9 0 0 20 0 1 0 377550130 161763328 36870 33554432000 4194304 5654031 140733909393088 140733909390872 4214469 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 39493 36870 141 357 0 39133 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 198748
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/181 25893
/proc/meminfo: memFree=28885680/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=180668 CPUtime=218.9 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 31764 0 0 0 21880 10 0 0 20 0 1 0 377550130 185004032 38814 33554432000 4194304 5654031 140733909393088 140733909380904 4232880 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 45167 38814 141 357 0 44807 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 221444
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.94 3/181 25906
/proc/meminfo: memFree=28739772/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=333744 CPUtime=1298.71 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 56065 0 0 0 129817 54 0 0 20 0 1 0 377550130 341753856 70751 33554432000 4194304 5654031 140733909393088 140733909380904 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 83436 70751 141 357 0 83076 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 374520
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 25906
/proc/meminfo: memFree=28743852/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=333744 CPUtime=1358.7 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 56752 0 0 0 135813 57 0 0 20 0 1 0 377550130 341753856 68981 33554432000 4194304 5654031 140733909393088 140733909380904 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 83436 68981 141 357 0 83076 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 374520
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 25906
/proc/meminfo: memFree=28709480/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=334412 CPUtime=1418.69 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 57090 0 0 0 141812 57 0 0 20 0 1 0 377550130 342437888 73407 33554432000 4194304 5654031 140733909393088 140733909380904 4215017 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 83603 73407 141 357 0 83243 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 375188
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 25907
/proc/meminfo: memFree=28722676/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=338204 CPUtime=1478.68 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 57786 0 0 0 147807 61 0 0 20 0 1 0 377550130 346320896 70107 33554432000 4194304 5654031 140733909393088 140733909380904 4214993 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 84551 70107 141 357 0 84191 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 378980
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/182 25908
/proc/meminfo: memFree=28703304/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=339280 CPUtime=1538.67 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 58085 0 0 0 153805 62 0 0 20 0 1 0 377550130 347422720 74490 33554432000 4194304 5654031 140733909393088 140733909380904 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 84820 74490 141 357 0 84460 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 380056
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/181 25908
/proc/meminfo: memFree=28715272/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=343220 CPUtime=1598.66 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 59156 0 0 0 159801 65 0 0 20 0 1 0 377550130 351457280 72077 33554432000 4194304 5654031 140733909393088 140733909380904 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 85805 72077 141 357 0 85445 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 383996
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/181 25908
/proc/meminfo: memFree=28686972/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=344724 CPUtime=1658.64 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 59530 0 0 0 165799 65 0 0 20 0 1 0 377550130 352997376 78621 33554432000 4194304 5654031 140733909393088 140733909380904 4216035 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 86181 78621 141 357 0 85821 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 385500
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 25908
/proc/meminfo: memFree=28680936/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=345784 CPUtime=1718.64 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 60392 0 0 0 171795 69 0 0 20 0 1 0 377550130 354082816 78541 33554432000 4194304 5654031 140733909393088 140733909380904 4208659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 86446 78541 141 357 0 86086 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 386560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 25959
/proc/meminfo: memFree=28427388/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=346852 CPUtime=1778.62 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 61037 0 0 0 177792 70 0 0 20 0 1 0 377550130 355176448 76898 33554432000 4194304 5654031 140733909393088 140733909380904 4232479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 86713 76898 141 357 0 86353 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 387628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/182 25960
/proc/meminfo: memFree=28412876/32873844 swapFree=7900/7900
[pid=25883] ppid=25881 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25883/stat : 25883 (npSolver-pbo-I.) S 25881 25883 23584 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377549795 9367552 275 33554432000 4194304 5064252 140734468561344 140734468560256 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25883/statm: 2287 275 233 213 0 72 0
[pid=25884] ppid=25883 vsize=31628 CPUtime=3.32 cores=1,3,5,7
/proc/25884/stat : 25884 (npSolver-pbo) S 25883 25883 23584 0 -1 4202496 10709 15722 0 0 95 27 203 7 20 0 1 0 377549795 32387072 7493 33554432000 4194304 6004724 140737184866656 140737184851576 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25884/statm: 7907 7493 180 442 0 7461 0
[pid=25892] ppid=25884 vsize=347248 CPUtime=1796.73 cores=1,3,5,7
/proc/25892/stat : 25892 (glucosInc) R 25884 25883 23584 0 -1 4202496 61142 0 0 0 179603 70 0 0 20 0 1 0 377550130 355581952 78536 33554432000 4194304 5654031 140733909393088 140733909380904 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25892/statm: 86812 78536 141 357 0 86452 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 388024
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25883 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=995544
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=359945
# CPU time returned by wait4() is 3.35549
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.01
CPU system time (s): 1.04
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 517324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.99554
system time used= 0.359945
maximum resident set size= 138864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26805
page faults= 0
swaps= 0
block input operations= 0
block output operations= 125072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138
involuntary context switches= 14
runsolver used 3.08653 second user time and 8.5357 second system time
The end