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-3751677-1339178335/watcher-3751677-1339178335 -o /tmp/evaluation-result-3751677-1339178335/solver-3751677-1339178335 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751677-1339178335.opb 873987464 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.03 2.01 2.00 2/182 12856
/proc/meminfo: memFree=31300264/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[startup+0.0195371 s]
/proc/loadavg: 2.03 2.01 2.00 2/182 12856
/proc/meminfo: memFree=31300264/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100235 s]
/proc/loadavg: 2.03 2.01 2.00 2/182 12856
/proc/meminfo: memFree=31300264/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.3002 s]
/proc/loadavg: 2.03 2.01 2.00 2/182 12856
/proc/meminfo: memFree=31300264/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700172 s]
/proc/loadavg: 2.03 2.01 2.00 2/182 12856
/proc/meminfo: memFree=31300264/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/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.03 2.01 2.00 3/186 12860
/proc/meminfo: memFree=31201752/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=18804 CPUtime=0.21 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 6819 0 0 0 18 3 0 0 20 0 1 0 27800135 19255296 3786 33554432000 4194304 6004724 140735665800960 140735665795424 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 4701 3786 164 442 0 4255 0
[pid=12859] ppid=12857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12859/stat : 12859 (cp2_pre.sh) S 12857 12856 12214 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 27800157 9367552 277 33554432000 4194304 5064252 140734822852080 140734822850784 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12859/statm: 2287 277 234 213 0 72 0
[pid=12860] ppid=12859 vsize=83912 CPUtime=1.26 cores=0,2,4,6
/proc/12860/stat : 12860 (coprocessor) R 12859 12856 12214 0 -1 4202496 17703 0 0 0 124 2 0 0 20 0 1 0 27800157 85925888 20147 33554432000 4194304 6586260 140733717347120 140733717342488 5599305 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/12860/statm: 20978 20147 192 584 0 20390 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 121012
[startup+3.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/186 12861
/proc/meminfo: memFree=31279628/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=18804 CPUtime=2.08 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 6836 19156 0 0 18 3 179 8 20 0 1 0 27800135 19255296 3789 33554432000 4194304 6004724 140735665800960 140735665787240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 4701 3789 167 442 0 4255 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 27952
heavy processes:
[startup+6.30035 s]
/proc/loadavg: 2.03 2.01 2.00 3/185 12862
/proc/meminfo: memFree=31233288/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=18804 CPUtime=2.08 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 6836 19156 0 0 18 3 179 8 20 0 1 0 27800135 19255296 3789 33554432000 4194304 6004724 140735665800960 140735665787240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 4701 3789 167 442 0 4255 0
[pid=12862] ppid=12857 vsize=80096 CPUtime=4.19 cores=0,2,4,6
/proc/12862/stat : 12862 (glucosInc) R 12857 12856 12214 0 -1 4202496 10831 0 0 0 416 3 0 0 20 0 1 0 27800345 82018304 18281 33554432000 4194304 5654031 140733429292960 140733429290888 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12862/statm: 20024 18281 132 357 0 19664 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 108048
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 12906
/proc/meminfo: memFree=31230820/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=18804 CPUtime=2.08 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 6836 19156 0 0 18 3 179 8 20 0 1 0 27800135 19255296 3789 33554432000 4194304 6004724 140735665800960 140735665787240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 4701 3789 167 442 0 4255 0
[pid=12862] ppid=12857 vsize=130620 CPUtime=10.58 cores=0,2,4,6
/proc/12862/stat : 12862 (glucosInc) R 12857 12856 12214 0 -1 4202496 12124 0 0 0 1053 5 0 0 20 0 1 0 27800345 133754880 25735 33554432000 4194304 5654031 140733429292960 140733429291048 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12862/statm: 32655 25735 132 357 0 32295 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 158572
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 12916
/proc/meminfo: memFree=30902556/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=18804 CPUtime=2.08 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 6836 19156 0 0 18 3 179 8 20 0 1 0 27800135 19255296 3789 33554432000 4194304 6004724 140735665800960 140735665787240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 4701 3789 167 442 0 4255 0
[pid=12862] ppid=12857 vsize=130620 CPUtime=23.38 cores=0,2,4,6
/proc/12862/stat : 12862 (glucosInc) R 12857 12856 12214 0 -1 4202496 14152 0 0 0 2328 10 0 0 20 0 1 0 27800345 133754880 24619 33554432000 4194304 5654031 140733429292960 140733429291048 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12862/statm: 32655 24619 132 357 0 32295 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 158572
[startup+51.1003 s]
/proc/loadavg: 2.09 2.02 2.00 3/182 12929
/proc/meminfo: memFree=30875264/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=23288 CPUtime=49.88 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 16219 92161 0 0 182 58 4708 40 20 0 1 0 27800135 23846912 4974 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 5822 4974 199 442 0 5376 0
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (KiB) 32436
[startup+102.307 s]
/proc/loadavg: 2.17 2.05 2.01 3/184 12945
/proc/meminfo: memFree=30894940/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=21492 CPUtime=100.82 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 37793 219199 0 0 447 94 9457 84 20 0 1 0 27800135 22007808 4526 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 5373 4526 200 442 0 4927 0
[pid=12945] ppid=12857 vsize=129064 CPUtime=0.83 cores=0,2,4,6
/proc/12945/stat : 12945 (glucosInc) R 12857 12856 12214 0 -1 4202496 25033 0 0 0 77 6 0 0 20 0 1 0 27810282 132161536 28175 33554432000 4194304 5654031 140734484194320 140735665788040 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12945/statm: 32266 28175 132 357 0 31906 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 159704
[startup+162.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/184 12970
/proc/meminfo: memFree=30879544/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=21248 CPUtime=114.32 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 43675 245539 0 0 500 101 10738 93 20 0 1 0 27800135 21757952 4465 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 5312 4465 200 442 0 4866 0
[pid=12947] ppid=12857 vsize=135180 CPUtime=47.31 cores=0,2,4,6
/proc/12947/stat : 12947 (glucosInc) R 12857 12856 12214 0 -1 4202496 26805 0 0 0 4725 6 0 0 20 0 1 0 27811633 138424320 30549 33554432000 4194304 5654031 140733420917824 140733420905640 4215344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12947/statm: 33795 30549 142 357 0 33435 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 165576
[startup+222.307 s]
/proc/loadavg: 2.11 2.06 2.01 3/183 12976
/proc/meminfo: memFree=30843756/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=21036 CPUtime=196.67 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 60185 324019 0 0 652 123 18772 120 20 0 1 0 27800135 21540864 4412 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 5259 4412 200 442 0 4813 0
[pid=12976] ppid=12857 vsize=130624 CPUtime=24.97 cores=0,2,4,6
/proc/12976/stat : 12976 (glucosInc) R 12857 12856 12214 0 -1 4202496 25757 0 0 0 2491 6 0 0 20 0 1 0 27819867 133758976 28815 33554432000 4194304 5654031 140736937695120 140736937693208 4217744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12976/statm: 32656 28815 142 357 0 32296 0
Current children cumulated CPU time (s) 221.64
Current children cumulated vsize (KiB) 160808
[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 12977
/proc/meminfo: memFree=30722692/32873844 swapFree=7632/7632
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/184 12996
/proc/meminfo: memFree=30563020/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=53404 CPUtime=1057.77 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 79191 415069 0 0 791 139 104666 181 20 0 1 0 27800135 54685696 12472 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 13351 12472 200 442 0 12905 0
[pid=12992] ppid=12857 vsize=199536 CPUtime=243.6 cores=0,2,4,6
/proc/12992/stat : 12992 (glucosInc) R 12857 12856 12214 0 -1 4202496 26111 0 0 0 24348 12 0 0 20 0 1 0 27905997 204324864 48415 33554432000 4194304 5654031 140736205492848 140736205480664 4214944 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12992/statm: 49884 48415 141 357 0 49524 0
Current children cumulated CPU time (s) 1301.37
Current children cumulated vsize (KiB) 262088
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 12996
/proc/meminfo: memFree=30596744/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=53404 CPUtime=1057.77 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 79191 415069 0 0 791 139 104666 181 20 0 1 0 27800135 54685696 12472 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 13351 12472 200 442 0 12905 0
[pid=12992] ppid=12857 vsize=230356 CPUtime=303.6 cores=0,2,4,6
/proc/12992/stat : 12992 (glucosInc) R 12857 12856 12214 0 -1 4202496 27573 0 0 0 30345 15 0 0 20 0 1 0 27905997 235884544 51042 33554432000 4194304 5654031 140736205492848 140736205480664 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12992/statm: 57589 51042 141 357 0 57229 0
Current children cumulated CPU time (s) 1361.37
Current children cumulated vsize (KiB) 292908
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12996
/proc/meminfo: memFree=30594384/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=53404 CPUtime=1057.77 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 79191 415069 0 0 791 139 104666 181 20 0 1 0 27800135 54685696 12472 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 13351 12472 200 442 0 12905 0
[pid=12992] ppid=12857 vsize=280444 CPUtime=363.59 cores=0,2,4,6
/proc/12992/stat : 12992 (glucosInc) R 12857 12856 12214 0 -1 4202496 28767 0 0 0 36342 17 0 0 20 0 1 0 27905997 287174656 60559 33554432000 4194304 5654031 140736205492848 140736205480664 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12992/statm: 70111 60559 141 357 0 69751 0
Current children cumulated CPU time (s) 1421.36
Current children cumulated vsize (KiB) 342996
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12997
/proc/meminfo: memFree=30669324/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=53404 CPUtime=1057.77 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 79191 415069 0 0 791 139 104666 181 20 0 1 0 27800135 54685696 12472 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 13351 12472 200 442 0 12905 0
[pid=12992] ppid=12857 vsize=230356 CPUtime=423.58 cores=0,2,4,6
/proc/12992/stat : 12992 (glucosInc) R 12857 12856 12214 0 -1 4202496 29668 0 0 0 42338 20 0 0 20 0 1 0 27905997 235884544 54626 33554432000 4194304 5654031 140736205492848 140736205480664 4233299 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12992/statm: 57589 54626 141 357 0 57229 0
Current children cumulated CPU time (s) 1481.35
Current children cumulated vsize (KiB) 292908
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12997
/proc/meminfo: memFree=30453792/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=53404 CPUtime=1057.77 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 79191 415069 0 0 791 139 104666 181 20 0 1 0 27800135 54685696 12472 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 13351 12472 200 442 0 12905 0
[pid=12992] ppid=12857 vsize=230356 CPUtime=483.58 cores=0,2,4,6
/proc/12992/stat : 12992 (glucosInc) R 12857 12856 12214 0 -1 4202496 30545 0 0 0 48337 21 0 0 20 0 1 0 27905997 235884544 53090 33554432000 4194304 5654031 140736205492848 140736205480664 4215033 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12992/statm: 57589 53090 141 357 0 57229 0
Current children cumulated CPU time (s) 1541.35
Current children cumulated vsize (KiB) 292908
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12997
/proc/meminfo: memFree=30542660/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=53404 CPUtime=1057.77 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 79191 415069 0 0 791 139 104666 181 20 0 1 0 27800135 54685696 12472 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 13351 12472 200 442 0 12905 0
[pid=12992] ppid=12857 vsize=230356 CPUtime=543.56 cores=0,2,4,6
/proc/12992/stat : 12992 (glucosInc) R 12857 12856 12214 0 -1 4202496 31430 0 0 0 54333 23 0 0 20 0 1 0 27905997 235884544 52066 33554432000 4194304 5654031 140736205492848 140736205480664 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12992/statm: 57589 52066 141 357 0 57229 0
Current children cumulated CPU time (s) 1601.33
Current children cumulated vsize (KiB) 292908
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12997
/proc/meminfo: memFree=30608472/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=53404 CPUtime=1057.77 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 79191 415069 0 0 791 139 104666 181 20 0 1 0 27800135 54685696 12472 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 13351 12472 200 442 0 12905 0
[pid=12992] ppid=12857 vsize=230356 CPUtime=603.54 cores=0,2,4,6
/proc/12992/stat : 12992 (glucosInc) R 12857 12856 12214 0 -1 4202496 32625 0 0 0 60329 25 0 0 20 0 1 0 27905997 235884544 49506 33554432000 4194304 5654031 140736205492848 140736205490936 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12992/statm: 57589 49506 141 357 0 57229 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 292908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12997
/proc/meminfo: memFree=30371016/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=53404 CPUtime=1057.77 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 79191 415069 0 0 791 139 104666 181 20 0 1 0 27800135 54685696 12472 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 13351 12472 200 442 0 12905 0
[pid=12992] ppid=12857 vsize=230356 CPUtime=663.54 cores=0,2,4,6
/proc/12992/stat : 12992 (glucosInc) R 12857 12856 12214 0 -1 4202496 32638 0 0 0 66328 26 0 0 20 0 1 0 27905997 235884544 56162 33554432000 4194304 5654031 140736205492848 140736205480664 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12992/statm: 57589 56162 141 357 0 57229 0
Current children cumulated CPU time (s) 1721.31
Current children cumulated vsize (KiB) 292908
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 12997
/proc/meminfo: memFree=30362084/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=53404 CPUtime=1057.77 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 79191 415069 0 0 791 139 104666 181 20 0 1 0 27800135 54685696 12472 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 13351 12472 200 442 0 12905 0
[pid=12992] ppid=12857 vsize=230356 CPUtime=723.52 cores=0,2,4,6
/proc/12992/stat : 12992 (glucosInc) R 12857 12856 12214 0 -1 4202496 33839 0 0 0 72324 28 0 0 20 0 1 0 27905997 235884544 52066 33554432000 4194304 5654031 140736205492848 140736205480664 4232767 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12992/statm: 57589 52066 141 357 0 57229 0
Current children cumulated CPU time (s) 1781.29
Current children cumulated vsize (KiB) 292908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 13000
/proc/meminfo: memFree=30653900/32873844 swapFree=7632/7632
[pid=12856] ppid=12854 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12856/stat : 12856 (npSolver-pbo-It) S 12854 12856 12214 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27800135 9367552 275 33554432000 4194304 5064252 140737152367168 140737152366080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12856/statm: 2287 275 233 213 0 72 0
[pid=12857] ppid=12856 vsize=53404 CPUtime=1783.01 cores=0,2,4,6
/proc/12857/stat : 12857 (npSolver-pbo) S 12856 12856 12214 0 -1 4202496 86210 449469 0 0 832 144 177113 212 20 0 1 0 27800135 54685696 12472 33554432000 4194304 6004724 140735665800960 140735665786808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12857/statm: 13351 12472 200 442 0 12905 0
[pid=13000] ppid=12857 vsize=115184 CPUtime=17.08 cores=0,2,4,6
/proc/13000/stat : 13000 (glucosInc) R 12857 12856 12214 0 -1 4202496 23175 0 0 0 1702 6 0 0 20 0 1 0 27978536 117948416 24952 33554432000 4194304 5654031 140733269516256 140733269504072 4232715 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13000/statm: 28796 24952 141 357 0 28436 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 177736
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 12856 and gives
# childrusage.ru_utime.tv_sec=1779
# childrusage.ru_utime.tv_usec=463480
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=572456
# CPU time returned by wait4() is 1783.04
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.11
CPU time (s): 1800.09
CPU user time (s): 1796.47
CPU system time (s): 3.62
CPU usage (%): 99.9431
Max. virtual memory (cumulated for all children) (KiB): 399044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.46
system time used= 3.57246
maximum resident set size= 296964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536054
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1234288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7964
involuntary context switches= 2748
runsolver used 3.12552 second user time and 9.24259 second system time
The end