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-3747085-1339099993/watcher-3747085-1339099993 -o /tmp/evaluation-result-3747085-1339099993/solver-3747085-1339099993 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747085-1339099993.opb 696256657 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: 1.92 1.97 1.68 3/176 881
/proc/meminfo: memFree=30428652/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[startup+0.0613879 s]
/proc/loadavg: 1.92 1.97 1.68 3/176 881
/proc/meminfo: memFree=30428652/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100244 s]
/proc/loadavg: 1.92 1.97 1.68 3/176 881
/proc/meminfo: memFree=30428652/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300182 s]
/proc/loadavg: 1.92 1.97 1.68 3/176 881
/proc/meminfo: memFree=30428652/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700197 s]
/proc/loadavg: 1.92 1.97 1.68 3/176 881
/proc/meminfo: memFree=30428652/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/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: 1.92 1.97 1.68 3/179 892
/proc/meminfo: memFree=30379364/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=11864 CPUtime=0.12 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 4939 3238 0 0 10 1 1 0 20 0 1 0 376127765 12148736 2549 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 2966 2549 176 442 0 2520 0
[pid=890] ppid=882 vsize=43348 CPUtime=1.34 cores=1,3,5,7
/proc/890/stat : 890 (glucosInc) R 882 881 694 0 -1 4202496 8677 0 0 0 133 1 0 0 20 0 1 0 376127779 44388352 8923 33554432000 4194304 5654031 140737463110256 140737463108024 4232571 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/890/statm: 10837 8923 131 357 0 10477 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 64360
[startup+3.10035 s]
/proc/loadavg: 1.92 1.97 1.68 3/179 892
/proc/meminfo: memFree=30376884/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=11864 CPUtime=0.12 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 4939 3238 0 0 10 1 1 0 20 0 1 0 376127765 12148736 2549 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 2966 2549 176 442 0 2520 0
[pid=890] ppid=882 vsize=43348 CPUtime=2.94 cores=1,3,5,7
/proc/890/stat : 890 (glucosInc) R 882 881 694 0 -1 4202496 8738 0 0 0 293 1 0 0 20 0 1 0 376127779 44388352 8984 33554432000 4194304 5654031 140737463110256 140737463098072 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/890/statm: 10837 8984 140 357 0 10477 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 64360
[startup+6.30035 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 952
/proc/meminfo: memFree=30383176/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=11864 CPUtime=0.12 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 4939 3238 0 0 10 1 1 0 20 0 1 0 376127765 12148736 2549 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 2966 2549 176 442 0 2520 0
[pid=890] ppid=882 vsize=43964 CPUtime=6.14 cores=1,3,5,7
/proc/890/stat : 890 (glucosInc) R 882 881 694 0 -1 4202496 8861 0 0 0 613 1 0 0 20 0 1 0 376127779 45019136 9102 33554432000 4194304 5654031 140737463110256 140737463098072 4216672 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/890/statm: 10991 9102 140 357 0 10631 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 64976
[startup+12.7004 s]
/proc/loadavg: 1.93 1.97 1.69 3/179 954
/proc/meminfo: memFree=30367540/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=9.15 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 7482 12706 0 0 18 2 893 2 20 0 1 0 376127765 18022400 3983 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3983 176 442 0 3954 0
[pid=954] ppid=882 vsize=43936 CPUtime=3.5 cores=1,3,5,7
/proc/954/stat : 954 (glucosInc) R 882 881 694 0 -1 4202496 8279 0 0 0 349 1 0 0 20 0 1 0 376128682 44990464 9126 33554432000 4194304 5654031 140734262119600 140734262107416 4208659 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/954/statm: 10984 9126 140 357 0 10624 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 70684
[startup+25.5004 s]
/proc/loadavg: 1.95 1.97 1.69 3/179 956
/proc/meminfo: memFree=30355712/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=15.99 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 10021 21648 0 0 27 3 1564 5 20 0 1 0 376127765 18022400 3983 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3983 176 442 0 3954 0
[pid=956] ppid=882 vsize=46656 CPUtime=9.48 cores=1,3,5,7
/proc/956/stat : 956 (glucosInc) R 882 881 694 0 -1 4202496 8530 0 0 0 947 1 0 0 20 0 1 0 376129365 47775744 9375 33554432000 4194304 5654031 140736077329168 140736077316984 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/956/statm: 11664 9375 141 357 0 11304 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 73404
[startup+51.1005 s]
/proc/loadavg: 1.96 1.97 1.70 3/179 962
/proc/meminfo: memFree=30362164/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=48.26 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 15063 41796 0 0 45 5 4766 10 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=962] ppid=882 vsize=43324 CPUtime=2.79 cores=1,3,5,7
/proc/962/stat : 962 (glucosInc) R 882 881 694 0 -1 4202496 8231 0 0 0 278 1 0 0 20 0 1 0 376132593 44363776 9085 33554432000 4194304 5654031 140734070690880 140734070678696 4232984 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/962/statm: 10831 9085 140 357 0 10471 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 70072
[startup+102.3 s]
/proc/loadavg: 2.06 1.99 1.72 3/179 1009
/proc/meminfo: memFree=30339476/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=74.43 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 17600 53562 0 0 53 6 7371 13 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=964] ppid=882 vsize=51668 CPUtime=27.8 cores=1,3,5,7
/proc/964/stat : 964 (glucosInc) R 882 881 694 0 -1 4202496 11378 0 0 0 2778 2 0 0 20 0 1 0 376135213 52908032 11226 33554432000 4194304 5654031 140734452942160 140734452929976 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/964/statm: 12917 11226 142 357 0 12557 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 78416
[startup+162.3 s]
/proc/loadavg: 2.02 1.99 1.73 3/179 1010
/proc/meminfo: memFree=30308300/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=74.43 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 17600 53562 0 0 53 6 7371 13 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=964] ppid=882 vsize=65880 CPUtime=87.76 cores=1,3,5,7
/proc/964/stat : 964 (glucosInc) R 882 881 694 0 -1 4202496 13872 0 0 0 8773 3 0 0 20 0 1 0 376135213 67461120 15165 33554432000 4194304 5654031 140734452942160 140734452929976 4208659 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/964/statm: 16470 15165 142 357 0 16110 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 92628
[startup+222.307 s]
/proc/loadavg: 2.01 1.99 1.74 3/179 1012
/proc/meminfo: memFree=30312596/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=186.98 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 20137 67988 0 0 62 7 18612 17 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=1012] ppid=882 vsize=58708 CPUtime=35.2 cores=1,3,5,7
/proc/1012/stat : 1012 (glucosInc) R 882 881 694 0 -1 4202496 12030 0 0 0 3517 3 0 0 20 0 1 0 376146473 60116992 11747 33554432000 4194304 5654031 140737312909360 140737312897176 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1012/statm: 14677 11747 142 357 0 14317 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 85456
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30191564/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=691.98 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 27748 112036 0 0 88 10 69067 33 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=1022] ppid=882 vsize=85244 CPUtime=549.96 cores=1,3,5,7
/proc/1022/stat : 1022 (glucosInc) R 882 881 694 0 -1 4202496 15681 0 0 0 54991 5 0 0 20 0 1 0 376196987 87289856 19676 33554432000 4194304 5654031 140735246425680 140735246413496 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1022/statm: 21311 19676 142 357 0 20951 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 111992
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/178 1027
/proc/meminfo: memFree=30221500/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=691.98 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 27748 112036 0 0 88 10 69067 33 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=1022] ppid=882 vsize=85244 CPUtime=609.95 cores=1,3,5,7
/proc/1022/stat : 1022 (glucosInc) R 882 881 694 0 -1 4202496 15681 0 0 0 60990 5 0 0 20 0 1 0 376196987 87289856 19676 33554432000 4194304 5654031 140735246425680 140735246413496 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1022/statm: 21311 19676 142 357 0 20951 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 111992
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 1029
/proc/meminfo: memFree=30157396/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=691.98 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 27748 112036 0 0 88 10 69067 33 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=1022] ppid=882 vsize=115592 CPUtime=669.94 cores=1,3,5,7
/proc/1022/stat : 1022 (glucosInc) R 882 881 694 0 -1 4202496 16365 0 0 0 66988 6 0 0 20 0 1 0 376196987 118366208 23681 33554432000 4194304 5654031 140735246425680 140735246413496 4233144 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1022/statm: 28898 23681 142 357 0 28538 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 142340
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 1029
/proc/meminfo: memFree=30145932/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=691.98 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 27748 112036 0 0 88 10 69067 33 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=1022] ppid=882 vsize=115592 CPUtime=729.93 cores=1,3,5,7
/proc/1022/stat : 1022 (glucosInc) R 882 881 694 0 -1 4202496 16532 0 0 0 72987 6 0 0 20 0 1 0 376196987 118366208 25470 33554432000 4194304 5654031 140735246425680 140735246413496 4216325 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1022/statm: 28898 25470 142 357 0 28538 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 142340
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 1029
/proc/meminfo: memFree=30197472/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=691.98 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 27748 112036 0 0 88 10 69067 33 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=1022] ppid=882 vsize=115592 CPUtime=789.92 cores=1,3,5,7
/proc/1022/stat : 1022 (glucosInc) R 882 881 694 0 -1 4202496 16532 0 0 0 78986 6 0 0 20 0 1 0 376196987 118366208 25470 33554432000 4194304 5654031 140735246425680 140735246413496 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1022/statm: 28898 25470 142 357 0 28538 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 142340
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 1029
/proc/meminfo: memFree=30195316/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=691.98 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 27748 112036 0 0 88 10 69067 33 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=1022] ppid=882 vsize=115592 CPUtime=849.91 cores=1,3,5,7
/proc/1022/stat : 1022 (glucosInc) R 882 881 694 0 -1 4202496 16533 0 0 0 84985 6 0 0 20 0 1 0 376196987 118366208 25982 33554432000 4194304 5654031 140735246425680 140735246413496 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1022/statm: 28898 25982 142 357 0 28538 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 142340
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 1029
/proc/meminfo: memFree=30158468/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=691.98 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 27748 112036 0 0 88 10 69067 33 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=1022] ppid=882 vsize=115592 CPUtime=909.9 cores=1,3,5,7
/proc/1022/stat : 1022 (glucosInc) R 882 881 694 0 -1 4202496 16533 0 0 0 90984 6 0 0 20 0 1 0 376196987 118366208 25982 33554432000 4194304 5654031 140735246425680 140735246413496 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1022/statm: 28898 25982 142 357 0 28538 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 142340
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/180 1033
/proc/meminfo: memFree=30155684/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=691.98 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 27748 112036 0 0 88 10 69067 33 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=1022] ppid=882 vsize=115592 CPUtime=969.89 cores=1,3,5,7
/proc/1022/stat : 1022 (glucosInc) R 882 881 694 0 -1 4202496 16534 0 0 0 96983 6 0 0 20 0 1 0 376196987 118366208 26494 33554432000 4194304 5654031 140735246425680 140735246413496 4215112 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1022/statm: 28898 26494 142 357 0 28538 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 142340
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 1.92 3/179 1033
/proc/meminfo: memFree=30160176/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=691.98 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 27748 112036 0 0 88 10 69067 33 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=1022] ppid=882 vsize=115592 CPUtime=1029.88 cores=1,3,5,7
/proc/1022/stat : 1022 (glucosInc) R 882 881 694 0 -1 4202496 16534 0 0 0 102982 6 0 0 20 0 1 0 376196987 118366208 26494 33554432000 4194304 5654031 140735246425680 140735246413496 4232466 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1022/statm: 28898 26494 142 357 0 28538 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 142340
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/179 1033
/proc/meminfo: memFree=30190912/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=691.98 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 27748 112036 0 0 88 10 69067 33 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=1022] ppid=882 vsize=115592 CPUtime=1089.87 cores=1,3,5,7
/proc/1022/stat : 1022 (glucosInc) R 882 881 694 0 -1 4202496 16535 0 0 0 108981 6 0 0 20 0 1 0 376196987 118366208 27006 33554432000 4194304 5654031 140735246425680 140735246413496 4232646 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1022/statm: 28898 27006 142 357 0 28538 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 142340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 1033
/proc/meminfo: memFree=30143684/32873844 swapFree=7124/7124
[pid=881] ppid=879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/881/stat : 881 (npSolver-pbo-It) S 879 881 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376127764 9367552 275 33554432000 4194304 5064252 140734060551360 140734060550272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/881/statm: 2287 275 233 213 0 72 0
[pid=882] ppid=881 vsize=17600 CPUtime=691.98 cores=1,3,5,7
/proc/882/stat : 882 (npSolver-pbo) S 881 881 694 0 -1 4202496 27748 112036 0 0 88 10 69067 33 20 0 1 0 376127765 18022400 3985 33554432000 4194304 6004724 140736144265088 140736144250936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/882/statm: 4400 3985 176 442 0 3954 0
[pid=1022] ppid=882 vsize=115592 CPUtime=1108.07 cores=1,3,5,7
/proc/1022/stat : 1022 (glucosInc) R 882 881 694 0 -1 4202496 16535 0 0 0 110801 6 0 0 20 0 1 0 376196987 118366208 27006 33554432000 4194304 5654031 140735246425680 140735246413496 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1022/statm: 28898 27006 142 357 0 28538 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 142340
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.57
CPU system time (s): 0.52092
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 142344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.52092
maximum resident set size= 108024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156702
page faults= 0
swaps= 0
block input operations= 0
block output operations= 78296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2530
involuntary context switches= 2366
runsolver used 2.90856 second user time and 7.19191 second system time
The end