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-3695919-1338074548/watcher-3695919-1338074548 -o /tmp/evaluation-result-3695919-1338074548/solver-3695919-1338074548 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3695919-1338074548.opb 1728727030 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.09 2.04 2.01 3/178 3910
/proc/meminfo: memFree=28267344/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[startup+0.0556719 s]
/proc/loadavg: 2.09 2.04 2.01 3/178 3910
/proc/meminfo: memFree=28267344/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100333 s]
/proc/loadavg: 2.09 2.04 2.01 3/178 3910
/proc/meminfo: memFree=28267344/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300159 s]
/proc/loadavg: 2.09 2.04 2.01 3/178 3910
/proc/meminfo: memFree=28267344/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700119 s]
/proc/loadavg: 2.09 2.04 2.01 3/178 3910
/proc/meminfo: memFree=28267344/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.09 2.04 2.01 3/182 3914
/proc/meminfo: memFree=28230892/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=25564 CPUtime=0.19 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 6645 0 0 0 18 1 0 0 20 0 1 0 273583331 26177536 5867 33554432000 4194304 5873084 140733965063376 140733965059800 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6391 5867 170 410 0 5973 0
[pid=3913] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3913/stat : 3913 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273583351 9367552 267 33554432000 4194304 5064252 140733498792592 140733498791504 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3913/statm: 2287 267 226 213 0 72 0
[pid=3914] ppid=3913 vsize=12152 CPUtime=1.28 cores=0,2,4,6
/proc/3914/stat : 3914 (glucose_static) R 3913 3910 1205 0 -1 4202496 3619 0 0 0 128 0 0 0 20 0 1 0 273583352 12443648 2571 33554432000 4194304 4896791 140735361269008 140735361266408 4203733 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3914/statm: 3038 2571 78 172 0 2864 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 56012
[startup+3.10031 s]
/proc/loadavg: 2.09 2.04 2.01 3/182 3914
/proc/meminfo: memFree=28229652/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=25564 CPUtime=0.19 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 6645 0 0 0 18 1 0 0 20 0 1 0 273583331 26177536 5867 33554432000 4194304 5873084 140733965063376 140733965059800 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6391 5867 170 410 0 5973 0
[pid=3913] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3913/stat : 3913 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273583351 9367552 267 33554432000 4194304 5064252 140733498792592 140733498791504 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3913/statm: 2287 267 226 213 0 72 0
[pid=3914] ppid=3913 vsize=13576 CPUtime=2.88 cores=0,2,4,6
/proc/3914/stat : 3914 (glucose_static) R 3913 3910 1205 0 -1 4202496 4043 0 0 0 287 1 0 0 20 0 1 0 273583352 13901824 2980 33554432000 4194304 4896791 140735361269008 140735361266216 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3914/statm: 3394 2980 78 172 0 3220 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 57436
[startup+6.30036 s]
/proc/loadavg: 2.08 2.04 2.01 3/182 3914
/proc/meminfo: memFree=28226312/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=25564 CPUtime=0.19 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 6645 0 0 0 18 1 0 0 20 0 1 0 273583331 26177536 5867 33554432000 4194304 5873084 140733965063376 140733965059800 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6391 5867 170 410 0 5973 0
[pid=3913] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3913/stat : 3913 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273583351 9367552 267 33554432000 4194304 5064252 140733498792592 140733498791504 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3913/statm: 2287 267 226 213 0 72 0
[pid=3914] ppid=3913 vsize=14368 CPUtime=6.08 cores=0,2,4,6
/proc/3914/stat : 3914 (glucose_static) R 3913 3910 1205 0 -1 4202496 5991 0 0 0 607 1 0 0 20 0 1 0 273583352 14712832 3175 33554432000 4194304 4896791 140735361269008 140735361264680 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3914/statm: 3592 3175 78 172 0 3418 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 58228
[startup+12.7004 s]
/proc/loadavg: 2.07 2.04 2.01 3/182 3914
/proc/meminfo: memFree=28225748/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=25564 CPUtime=0.19 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 6645 0 0 0 18 1 0 0 20 0 1 0 273583331 26177536 5867 33554432000 4194304 5873084 140733965063376 140733965059800 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6391 5867 170 410 0 5973 0
[pid=3913] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3913/stat : 3913 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273583351 9367552 267 33554432000 4194304 5064252 140733498792592 140733498791504 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3913/statm: 2287 267 226 213 0 72 0
[pid=3914] ppid=3913 vsize=17376 CPUtime=12.48 cores=0,2,4,6
/proc/3914/stat : 3914 (glucose_static) R 3913 3910 1205 0 -1 4202496 8518 0 0 0 1246 2 0 0 20 0 1 0 273583352 17793024 3722 33554432000 4194304 4896791 140735361269008 140735361266584 4225011 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3914/statm: 4344 3722 78 172 0 4170 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 61236
[startup+25.5003 s]
/proc/loadavg: 2.13 2.06 2.01 3/182 3917
/proc/meminfo: memFree=28225616/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=25968 CPUtime=16.98 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 6845 10267 0 0 22 19 1654 3 20 0 1 0 273583331 26591232 5946 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6492 5946 180 410 0 6074 0
[pid=3916] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3916/stat : 3916 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273585031 9367552 266 33554432000 4194304 5064252 140736814287728 140736814286640 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3916/statm: 2287 266 226 213 0 72 0
[pid=3917] ppid=3916 vsize=14272 CPUtime=8.48 cores=0,2,4,6
/proc/3917/stat : 3917 (glucose_static) R 3916 3910 1205 0 -1 4202496 6231 0 0 0 847 1 0 0 20 0 1 0 273585032 14614528 3076 33554432000 4194304 4896791 140733777974288 140733777971688 4223805 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3917/statm: 3568 3076 77 172 0 3394 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 58536
[startup+51.1003 s]
/proc/loadavg: 2.08 2.05 2.01 3/182 3924
/proc/meminfo: memFree=28219540/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=26160 CPUtime=35.37 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 7122 25875 0 0 22 20 3487 8 20 0 1 0 273583331 26787840 5978 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6540 5978 180 410 0 6122 0
[pid=3922] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3922/stat : 3922 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273586872 9367552 267 33554432000 4194304 5064252 140736606623616 140736606622528 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3922/statm: 2287 267 226 213 0 72 0
[pid=3923] ppid=3922 vsize=19768 CPUtime=15.67 cores=0,2,4,6
/proc/3923/stat : 3923 (glucose_static) R 3922 3910 1205 0 -1 4202496 8421 0 0 0 1566 1 0 0 20 0 1 0 273586872 20242432 4380 33554432000 4194304 4896791 140734238108096 140734238105304 4223882 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3923/statm: 4942 4380 78 172 0 4768 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 64224
[startup+102.306 s]
/proc/loadavg: 2.04 2.04 2.00 3/181 3975
/proc/meminfo: memFree=28805608/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=26160 CPUtime=90.52 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 7243 50147 0 0 22 20 8995 15 20 0 1 0 273583331 26787840 5978 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6540 5978 180 410 0 6122 0
[pid=3974] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3974/stat : 3974 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273592388 9367552 267 33554432000 4194304 5064252 140734226386880 140734226385792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3974/statm: 2287 267 226 213 0 72 0
[pid=3975] ppid=3974 vsize=19240 CPUtime=11.72 cores=0,2,4,6
/proc/3975/stat : 3975 (glucose_static) R 3974 3910 1205 0 -1 4202496 7530 0 0 0 1171 1 0 0 20 0 1 0 273592388 19701760 4013 33554432000 4194304 4896791 140735780610544 140735780607752 4225014 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3975/statm: 4810 4013 78 172 0 4636 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 63696
[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/181 4167
/proc/meminfo: memFree=28793736/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=26160 CPUtime=112.7 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 7301 61703 0 0 22 20 11210 18 20 0 1 0 273583331 26787840 5978 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6540 5978 180 410 0 6122 0
[pid=3977] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/3977/statm: 2287 267 226 213 0 72 0
[pid=3978] ppid=3977 vsize=27576 CPUtime=109.48 cores=0,2,4,6
/proc/3978/stat : 3978 (glucose_static) R 3977 3910 1205 0 -1 4202496 19241 0 0 0 10943 5 0 0 20 0 1 0 273594609 28237824 5939 33554432000 4194304 4896791 140737240713440 140737240710696 4205054 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3978/statm: 6894 5939 78 172 0 6720 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 72032
[startup+282.3 s]
/proc/loadavg: 2.09 2.06 2.00 3/181 4246
/proc/meminfo: memFree=28891680/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=26160 CPUtime=268.01 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 7359 87760 0 0 22 20 26732 27 20 0 1 0 273583331 26787840 5978 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6540 5978 180 410 0 6122 0
[pid=4189] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4189/stat : 4189 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273610143 9367552 267 33554432000 4194304 5064252 140736544162208 140736544161120 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4189/statm: 2287 267 226 213 0 72 0
[pid=4190] ppid=4189 vsize=16616 CPUtime=14.16 cores=0,2,4,6
/proc/4190/stat : 4190 (glucose_static) R 4189 3910 1205 0 -1 4202496 8501 0 0 0 1414 2 0 0 20 0 1 0 273610143 17014784 3482 33554432000 4194304 4896791 140736253868176 140736253865752 4203755 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4190/statm: 4154 3482 78 172 0 3980 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 61072
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 4308
/proc/meminfo: memFree=28883600/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=26160 CPUtime=335.2 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 7475 115852 0 0 22 20 33442 36 20 0 1 0 273583331 26787840 5978 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6540 5978 180 410 0 6122 0
[pid=4306] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4306/stat : 4306 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273616865 9367552 267 33554432000 4194304 5064252 140733701393088 140733701392000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4306/statm: 2287 267 226 213 0 72 0
[pid=4307] ppid=4306 vsize=16176 CPUtime=6.95 cores=0,2,4,6
/proc/4307/stat : 4307 (glucose_static) R 4306 3910 1205 0 -1 4202496 6419 0 0 0 693 2 0 0 20 0 1 0 273616865 16564224 3457 33554432000 4194304 4896791 140734273741920 140734273739288 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4307/statm: 4044 3457 78 172 0 3870 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 60632
Solver just ended. Dumping a history of the last processes samples
[startup+358.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 4308
/proc/meminfo: memFree=28877772/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=26160 CPUtime=335.2 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 7475 115852 0 0 22 20 33442 36 20 0 1 0 273583331 26787840 5978 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6540 5978 180 410 0 6122 0
[pid=4306] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4306/stat : 4306 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273616865 9367552 267 33554432000 4194304 5064252 140733701393088 140733701392000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4306/statm: 2287 267 226 213 0 72 0
[pid=4307] ppid=4306 vsize=17424 CPUtime=22.94 cores=0,2,4,6
/proc/4307/stat : 4307 (glucose_static) R 4306 3910 1205 0 -1 4202496 10141 0 0 0 2291 3 0 0 20 0 1 0 273616865 17842176 3822 33554432000 4194304 4896791 140734273741920 140734273739448 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4307/statm: 4356 3822 78 172 0 4182 0
Current children cumulated CPU time (s) 358.14
Current children cumulated vsize (KiB) 61880
[startup+371.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 4311
/proc/meminfo: memFree=28879564/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=26160 CPUtime=359.66 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 7533 127654 0 0 22 20 35884 40 20 0 1 0 273583331 26787840 5978 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6540 5978 180 410 0 6122 0
[pid=4310] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4310/stat : 4310 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273619312 9367552 267 33554432000 4194304 5064252 140737317719424 140737317718336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 2287 267 226 213 0 72 0
[pid=4311] ppid=4310 vsize=16588 CPUtime=11.27 cores=0,2,4,6
/proc/4311/stat : 4311 (glucose_static) R 4310 3910 1205 0 -1 4202496 8310 0 0 0 1126 1 0 0 20 0 1 0 273619312 16986112 3717 33554432000 4194304 4896791 140734713250368 140734713247512 4224963 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4311/statm: 4147 3717 78 172 0 3973 0
Current children cumulated CPU time (s) 370.93
Current children cumulated vsize (KiB) 61044
[startup+374.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 4311
/proc/meminfo: memFree=28879872/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=26160 CPUtime=359.66 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 7533 127654 0 0 22 20 35884 40 20 0 1 0 273583331 26787840 5978 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6540 5978 180 410 0 6122 0
[pid=4310] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4310/stat : 4310 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273619312 9367552 267 33554432000 4194304 5064252 140737317719424 140737317718336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 2287 267 226 213 0 72 0
[pid=4311] ppid=4310 vsize=16864 CPUtime=14.47 cores=0,2,4,6
/proc/4311/stat : 4311 (glucose_static) R 4310 3910 1205 0 -1 4202496 9067 0 0 0 1445 2 0 0 20 0 1 0 273619312 17268736 3474 33554432000 4194304 4896791 140734713250368 140734713247576 4203704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4311/statm: 4216 3474 78 172 0 4042 0
Current children cumulated CPU time (s) 374.13
Current children cumulated vsize (KiB) 61320
[startup+375.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 4311
/proc/meminfo: memFree=28879624/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=26160 CPUtime=359.66 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 7533 127654 0 0 22 20 35884 40 20 0 1 0 273583331 26787840 5978 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6540 5978 180 410 0 6122 0
[pid=4310] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4310/stat : 4310 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273619312 9367552 267 33554432000 4194304 5064252 140737317719424 140737317718336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 2287 267 226 213 0 72 0
[pid=4311] ppid=4310 vsize=15280 CPUtime=16.07 cores=0,2,4,6
/proc/4311/stat : 4311 (glucose_static) R 4310 3910 1205 0 -1 4202496 9437 0 0 0 1605 2 0 0 20 0 1 0 273619312 15646720 3373 33554432000 4194304 4896791 140734713250368 140734713247896 4225025 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4311/statm: 3820 3373 78 172 0 3646 0
Current children cumulated CPU time (s) 375.73
Current children cumulated vsize (KiB) 59736
[startup+376.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 4311
/proc/meminfo: memFree=28880056/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=26160 CPUtime=359.66 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 7533 127654 0 0 22 20 35884 40 20 0 1 0 273583331 26787840 5978 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6540 5978 180 410 0 6122 0
[pid=4310] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4310/stat : 4310 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273619312 9367552 267 33554432000 4194304 5064252 140737317719424 140737317718336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 2287 267 226 213 0 72 0
[pid=4311] ppid=4310 vsize=16956 CPUtime=16.87 cores=0,2,4,6
/proc/4311/stat : 4311 (glucose_static) R 4310 3910 1205 0 -1 4202496 9580 0 0 0 1685 2 0 0 20 0 1 0 273619312 17362944 3514 33554432000 4194304 4896791 140734713250368 140734713247896 4225130 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4311/statm: 4239 3514 78 172 0 4065 0
Current children cumulated CPU time (s) 376.53
Current children cumulated vsize (KiB) 61412
[startup+377.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 4311
/proc/meminfo: memFree=28877760/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=26160 CPUtime=359.66 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 7533 127654 0 0 22 20 35884 40 20 0 1 0 273583331 26787840 5978 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6540 5978 180 410 0 6122 0
[pid=4310] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4310/stat : 4310 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273619312 9367552 267 33554432000 4194304 5064252 140737317719424 140737317718336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 2287 267 226 213 0 72 0
[pid=4311] ppid=4310 vsize=16956 CPUtime=17.67 cores=0,2,4,6
/proc/4311/stat : 4311 (glucose_static) R 4310 3910 1205 0 -1 4202496 9708 0 0 0 1765 2 0 0 20 0 1 0 273619312 17362944 3638 33554432000 4194304 4896791 140734713250368 140734713247896 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4311/statm: 4239 3638 78 172 0 4065 0
Current children cumulated CPU time (s) 377.33
Current children cumulated vsize (KiB) 61412
[startup+377.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 4311
/proc/meminfo: memFree=28877760/32873844 swapFree=7104/7104
[pid=3910] ppid=3908 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (runPb2sat.sh) S 3908 3910 1205 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273583331 9367552 275 33554432000 4194304 5064252 140736937428976 140736937427888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3910/statm: 2287 275 233 213 0 72 0
[pid=3911] ppid=3910 vsize=26160 CPUtime=359.66 cores=0,2,4,6
/proc/3911/stat : 3911 (pb2sat) S 3910 3910 1205 0 -1 4202496 7533 127654 0 0 22 20 35884 40 20 0 1 0 273583331 26787840 5978 33554432000 4194304 5873084 140733965063376 140733965057192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3911/statm: 6540 5978 180 410 0 6122 0
[pid=4310] ppid=3911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4310/stat : 4310 (satsolver.sh) S 3911 3910 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273619312 9367552 267 33554432000 4194304 5064252 140737317719424 140737317718336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 2287 267 226 213 0 72 0
[pid=4311] ppid=4310 vsize=16956 CPUtime=18.07 cores=0,2,4,6
/proc/4311/stat : 4311 (glucose_static) R 4310 3910 1205 0 -1 4202496 9773 0 0 0 1805 2 0 0 20 0 1 0 273619312 17362944 3702 33554432000 4194304 4896791 140734713250368 140734713247896 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4311/statm: 4239 3702 78 172 0 4065 0
Current children cumulated CPU time (s) 377.73
Current children cumulated vsize (KiB) 61412
Child status: 0
Real time (s): 377.986
CPU time (s): 377.851
CPU user time (s): 377.2
CPU system time (s): 0.650901
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 84372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 377.2
system time used= 0.650901
maximum resident set size= 34884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147060
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134
involuntary context switches= 714
runsolver used 0.871867 second user time and 1.93471 second system time
The end