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-3694882-1338063282/watcher-3694882-1338063282 -o /tmp/evaluation-result-3694882-1338063282/solver-3694882-1338063282 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694882-1338063282.opb 1507415248 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.00 2.00 2.00 2/179 3924
/proc/meminfo: memFree=28513332/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[startup+0.048175 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 3924
/proc/meminfo: memFree=28513332/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100216 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 3924
/proc/meminfo: memFree=28513332/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 3924
/proc/meminfo: memFree=28513332/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700134 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 3924
/proc/meminfo: memFree=28513332/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 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.00 2.00 2.00 3/181 3931
/proc/meminfo: memFree=28498648/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=1.09 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 5617 12735 0 0 63 19 25 2 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 23044
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3934
/proc/meminfo: memFree=28460312/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=1.09 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 5617 12735 0 0 63 19 25 2 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=3933] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3933/stat : 3933 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272454281 9367552 267 33554432000 4194304 5064252 140733356198304 140733356197216 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3933/statm: 2287 267 226 213 0 72 0
[pid=3934] ppid=3933 vsize=37928 CPUtime=1.97 cores=0,2,4,6
/proc/3934/stat : 3934 (glucose_static) R 3933 3924 1501 0 -1 4202496 10786 0 0 0 196 1 0 0 20 0 1 0 272454282 38838272 8382 33554432000 4194304 4896791 140735968089968 140735968087480 4223805 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3934/statm: 9482 8382 77 172 0 9308 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 70120
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3937
/proc/meminfo: memFree=28454920/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=4.52 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 7768 25971 0 0 81 19 347 5 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=3936] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3936/stat : 3936 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272454626 9367552 266 33554432000 4194304 5064252 140733804715664 140733804714576 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3936/statm: 2287 266 226 213 0 72 0
[pid=3937] ppid=3936 vsize=37920 CPUtime=1.73 cores=0,2,4,6
/proc/3937/stat : 3937 (glucose_static) R 3936 3924 1501 0 -1 4202496 10249 0 0 0 171 2 0 0 20 0 1 0 272454626 38830080 8373 33554432000 4194304 4896791 140734978739984 140734978737496 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3937/statm: 9480 8373 76 172 0 9306 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 70112
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3937
/proc/meminfo: memFree=28448092/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=4.52 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 7768 25971 0 0 81 19 347 5 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=3936] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3936/stat : 3936 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272454626 9367552 266 33554432000 4194304 5064252 140733804715664 140733804714576 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3936/statm: 2287 266 226 213 0 72 0
[pid=3937] ppid=3936 vsize=38472 CPUtime=8.13 cores=0,2,4,6
/proc/3937/stat : 3937 (glucose_static) R 3936 3924 1501 0 -1 4202496 16721 0 0 0 809 4 0 0 20 0 1 0 272454626 39395328 8687 33554432000 4194304 4896791 140734978739984 140734978737496 4230803 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3937/statm: 9618 8687 78 172 0 9444 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 70664
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 3943
/proc/meminfo: memFree=28463736/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=24.34 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 11889 63964 0 0 119 20 2281 14 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=3942] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3942/stat : 3942 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272456608 9367552 267 33554432000 4194304 5064252 140733426235424 140733426234336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3942/statm: 2287 267 226 213 0 72 0
[pid=3943] ppid=3942 vsize=37888 CPUtime=1.1 cores=0,2,4,6
/proc/3943/stat : 3943 (glucose_static) R 3942 3924 1501 0 -1 4202496 9679 0 0 0 109 1 0 0 20 0 1 0 272456608 38797312 8360 33554432000 4194304 4896791 140734580174880 140734580172392 4203058 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3943/statm: 9472 8360 76 172 0 9298 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 70080
[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 3946
/proc/meminfo: memFree=28469656/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=41.53 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 13858 88349 0 0 137 21 3975 20 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=3945] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3945/stat : 3945 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272458327 9367552 267 33554432000 4194304 5064252 140735429249456 140735429248368 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3945/statm: 2287 267 226 213 0 72 0
[pid=3946] ppid=3945 vsize=38592 CPUtime=9.51 cores=0,2,4,6
/proc/3946/stat : 3946 (glucose_static) R 3945 3924 1501 0 -1 4202496 17936 0 0 0 949 2 0 0 20 0 1 0 272458328 39518208 8788 33554432000 4194304 4896791 140734976756768 140734976754280 4209671 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3946/statm: 9648 8788 78 172 0 9474 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 70784
[startup+102.307 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 3955
/proc/meminfo: memFree=28448028/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=87.37 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 19948 156895 0 0 194 23 8485 35 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=3954] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3954/stat : 3954 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272462914 9367552 267 33554432000 4194304 5064252 140737144642096 140737144641008 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3954/statm: 2287 267 226 213 0 72 0
[pid=3955] ppid=3954 vsize=39444 CPUtime=14.85 cores=0,2,4,6
/proc/3955/stat : 3955 (glucose_static) R 3954 3924 1501 0 -1 4202496 21245 0 0 0 1482 3 0 0 20 0 1 0 272462914 40390656 9053 33554432000 4194304 4896791 140733433747088 140733433744600 4224921 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3955/statm: 9861 9053 78 172 0 9687 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 71636
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 3962
/proc/meminfo: memFree=28452440/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=131.38 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 24069 210334 0 0 232 24 12834 48 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=3961] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3961/stat : 3961 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272467317 9367552 266 33554432000 4194304 5064252 140734607313840 140734607312752 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3961/statm: 2287 266 226 213 0 72 0
[pid=3962] ppid=3961 vsize=41504 CPUtime=30.81 cores=0,2,4,6
/proc/3962/stat : 3962 (glucose_static) R 3961 3924 1501 0 -1 4202496 26094 0 0 0 3076 5 0 0 20 0 1 0 272467317 42500096 9725 33554432000 4194304 4896791 140736732287744 140736732283480 4224921 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3962/statm: 10376 9725 78 172 0 10202 0
Current children cumulated CPU time (s) 162.19
################
# More data... #
################
/proc/4017/stat : 4017 (glucose_static) R 4016 3924 1501 0 -1 4202496 90792 0 0 0 67837 42 0 0 20 0 1 0 272528510 103870464 22800 33554432000 4194304 4896791 140734001942352 140734001939880 4224706 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4017/statm: 25359 22800 78 172 0 25185 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 133628
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4022
/proc/meminfo: memFree=20103128/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=743.17 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 30342 357634 0 0 289 26 73893 109 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=4016] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272528510 9367552 267 33554432000 4194304 5064252 140735999918496 140735999917408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4016/statm: 2287 267 226 213 0 72 0
[pid=4017] ppid=4016 vsize=122464 CPUtime=738.77 cores=0,2,4,6
/proc/4017/stat : 4017 (glucose_static) R 4016 3924 1501 0 -1 4202496 94519 0 0 0 73832 45 0 0 20 0 1 0 272528510 125403136 24675 33554432000 4194304 4896791 140734001942352 140734001939880 4204159 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4017/statm: 30616 24675 78 172 0 30442 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 154656
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 4025
/proc/meminfo: memFree=20100220/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=743.17 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 30342 357634 0 0 289 26 73893 109 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=4016] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272528510 9367552 267 33554432000 4194304 5064252 140735999918496 140735999917408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4016/statm: 2287 267 226 213 0 72 0
[pid=4017] ppid=4016 vsize=125552 CPUtime=798.77 cores=0,2,4,6
/proc/4017/stat : 4017 (glucose_static) R 4016 3924 1501 0 -1 4202496 97836 0 0 0 79828 49 0 0 20 0 1 0 272528510 128565248 25816 33554432000 4194304 4896791 140734001942352 140734001939560 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4017/statm: 31388 25816 78 172 0 31214 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 157744
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4025
/proc/meminfo: memFree=20105980/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=743.17 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 30342 357634 0 0 289 26 73893 109 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=4016] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272528510 9367552 267 33554432000 4194304 5064252 140735999918496 140735999917408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4016/statm: 2287 267 226 213 0 72 0
[pid=4017] ppid=4016 vsize=109240 CPUtime=858.75 cores=0,2,4,6
/proc/4017/stat : 4017 (glucose_static) R 4016 3924 1501 0 -1 4202496 101658 0 0 0 85824 51 0 0 20 0 1 0 272528510 111861760 23815 33554432000 4194304 4896791 140734001942352 140734001939880 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4017/statm: 27310 23815 78 172 0 27136 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 141432
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4026
/proc/meminfo: memFree=20076540/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=743.17 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 30342 357634 0 0 289 26 73893 109 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=4016] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272528510 9367552 267 33554432000 4194304 5064252 140735999918496 140735999917408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4016/statm: 2287 267 226 213 0 72 0
[pid=4017] ppid=4016 vsize=131500 CPUtime=918.74 cores=0,2,4,6
/proc/4017/stat : 4017 (glucose_static) R 4016 3924 1501 0 -1 4202496 103444 0 0 0 91821 53 0 0 20 0 1 0 272528510 134656000 31127 33554432000 4194304 4896791 140734001942352 140734001939608 4225373 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4017/statm: 32875 31127 78 172 0 32701 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 163692
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4026
/proc/meminfo: memFree=20077012/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=743.17 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 30342 357634 0 0 289 26 73893 109 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=4016] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272528510 9367552 267 33554432000 4194304 5064252 140735999918496 140735999917408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4016/statm: 2287 267 226 213 0 72 0
[pid=4017] ppid=4016 vsize=132904 CPUtime=978.74 cores=0,2,4,6
/proc/4017/stat : 4017 (glucose_static) R 4016 3924 1501 0 -1 4202496 107477 0 0 0 97818 56 0 0 20 0 1 0 272528510 136093696 31468 33554432000 4194304 4896791 140734001942352 140734001939560 4224802 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4017/statm: 33226 31468 78 172 0 33052 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 165096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4026
/proc/meminfo: memFree=20079160/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=743.17 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 30342 357634 0 0 289 26 73893 109 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=4016] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272528510 9367552 267 33554432000 4194304 5064252 140735999918496 140735999917408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4016/statm: 2287 267 226 213 0 72 0
[pid=4017] ppid=4016 vsize=135032 CPUtime=1038.72 cores=0,2,4,6
/proc/4017/stat : 4017 (glucose_static) R 4016 3924 1501 0 -1 4202496 111006 0 0 0 103813 59 0 0 20 0 1 0 272528510 138272768 30428 33554432000 4194304 4896791 140734001942352 140734001939560 4224971 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4017/statm: 33758 30428 78 172 0 33584 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 167224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4026
/proc/meminfo: memFree=20066192/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=743.17 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 30342 357634 0 0 289 26 73893 109 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=4016] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272528510 9367552 267 33554432000 4194304 5064252 140735999918496 140735999917408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4016/statm: 2287 267 226 213 0 72 0
[pid=4017] ppid=4016 vsize=166644 CPUtime=1056.92 cores=0,2,4,6
/proc/4017/stat : 4017 (glucose_static) R 4016 3924 1501 0 -1 4202496 111699 0 0 0 105633 59 0 0 20 0 1 0 272528510 170643456 33668 33554432000 4194304 4896791 140734001942352 140734001939560 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4017/statm: 41661 33668 78 172 0 41487 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 198836
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4026
/proc/meminfo: memFree=20066192/32873648 swapFree=7372/7372
[pid=3924] ppid=3922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3924/stat : 3924 (runPb2satCp2.sh) S 3922 3924 1501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272454170 9367552 274 33554432000 4194304 5064252 140737326509584 140737326508496 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3924/statm: 2287 274 233 213 0 72 0
[pid=3925] ppid=3924 vsize=13896 CPUtime=743.17 cores=0,2,4,6
/proc/3925/stat : 3925 (pb2sat) S 3924 3924 1501 0 -1 4202496 30342 357634 0 0 289 26 73893 109 20 0 1 0 272454170 14229504 2770 33554432000 4194304 5873084 140733956846368 140733956840184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3925/statm: 3474 2770 172 410 0 3056 0
[pid=4016] ppid=3925 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (satsolver.sh) S 3925 3924 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272528510 9367552 267 33554432000 4194304 5064252 140735999918496 140735999917408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4016/statm: 2287 267 226 213 0 72 0
[pid=4017] ppid=4016 vsize=166644 CPUtime=1056.92 cores=0,2,4,6
/proc/4017/stat : 4017 (glucose_static) R 4016 3924 1501 0 -1 4202496 111699 0 0 0 105633 59 0 0 20 0 1 0 272528510 170643456 33668 33554432000 4194304 4896791 140734001942352 140734001939560 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4017/statm: 41661 33668 78 172 0 41487 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 198836
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3924 and gives
# childrusage.ru_utime.tv_sec=741
# childrusage.ru_utime.tv_usec=829224
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=367792
# CPU time returned by wait4() is 743.197
# 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): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1798.15
CPU system time (s): 1.94
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 226948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 741.829
system time used= 1.36779
maximum resident set size= 124136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388950
page faults= 0
swaps= 0
block input operations= 0
block output operations= 153840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 225
involuntary context switches= 1196
runsolver used 3.14052 second user time and 8.60869 second system time
The end