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-3749551-1339112832/watcher-3749551-1339112832 -o /tmp/evaluation-result-3749551-1339112832/solver-3749551-1339112832 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749551-1339112832.opb 1921647832 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 14817
/proc/meminfo: memFree=30867120/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[startup+0.0264909 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 14817
/proc/meminfo: memFree=30867120/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100284 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 14817
/proc/meminfo: memFree=30867120/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300339 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 14817
/proc/meminfo: memFree=30867120/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70033 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 14817
/proc/meminfo: memFree=30867120/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50051 s]
/proc/loadavg: 2.05 2.02 1.97 3/183 14821
/proc/meminfo: memFree=30686784/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=0.82 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19282 0 0 0 77 5 0 0 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282871744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14820] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14820/stat : 14820 (cp2_pre.sh) S 14818 14817 12469 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377408420 9367552 276 33554432000 4194304 5064252 140733932266000 140733932264704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14820/statm: 2287 276 234 213 0 72 0
[pid=14821] ppid=14820 vsize=96688 CPUtime=0.65 cores=1,3,5,7
/proc/14821/stat : 14821 (coprocessor) R 14820 14817 12469 0 -1 4202496 19311 0 0 0 61 4 0 0 20 0 1 0 377408420 99008512 23160 33554432000 4194304 6586260 140733953413040 140733953409064 4774993 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/14821/statm: 24172 23160 181 584 0 23584 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 226144
[startup+3.10026 s]
/proc/loadavg: 2.05 2.02 1.97 3/183 14821
/proc/meminfo: memFree=30641080/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 120308
heavy processes:
[startup+6.30052 s]
/proc/loadavg: 2.05 2.02 1.97 3/183 14824
/proc/meminfo: memFree=30706084/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14823] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (satsolver.sh) S 14818 14817 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377408561 9367552 266 33554432000 4194304 5064252 140737471496512 140737471495424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14823/statm: 2287 266 226 213 0 72 0
[pid=14824] ppid=14823 vsize=48992 CPUtime=4.04 cores=1,3,5,7
/proc/14824/stat : 14824 (glucose) R 14823 14817 12469 0 -1 4202496 10842 0 0 0 402 2 0 0 20 0 1 0 377408561 50167808 11323 33554432000 4194304 5208918 140733661295936 140733661293784 4229072 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14824/statm: 12248 11323 102 248 0 11997 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 178448
[startup+12.7005 s]
/proc/loadavg: 2.11 2.04 1.98 3/183 14824
/proc/meminfo: memFree=30697004/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14823] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (satsolver.sh) S 14818 14817 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377408561 9367552 266 33554432000 4194304 5064252 140737471496512 140737471495424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14823/statm: 2287 266 226 213 0 72 0
[pid=14824] ppid=14823 vsize=53676 CPUtime=10.45 cores=1,3,5,7
/proc/14824/stat : 14824 (glucose) R 14823 14817 12469 0 -1 4202496 11007 0 0 0 1042 3 0 0 20 0 1 0 377408561 54964224 11996 33554432000 4194304 5208918 140733661295936 140733661293784 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14824/statm: 13419 11996 103 248 0 13168 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 183132
[startup+25.5005 s]
/proc/loadavg: 2.10 2.04 1.98 3/183 14824
/proc/meminfo: memFree=30695504/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14823] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (satsolver.sh) S 14818 14817 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377408561 9367552 266 33554432000 4194304 5064252 140737471496512 140737471495424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14823/statm: 2287 266 226 213 0 72 0
[pid=14824] ppid=14823 vsize=54388 CPUtime=23.24 cores=1,3,5,7
/proc/14824/stat : 14824 (glucose) R 14823 14817 12469 0 -1 4202496 12044 0 0 0 2321 3 0 0 20 0 1 0 377408561 55693312 12158 33554432000 4194304 5208918 140733661295936 140733661293896 4229053 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14824/statm: 13597 12158 104 248 0 13346 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 183844
[startup+51.1005 s]
/proc/loadavg: 2.06 2.03 1.98 3/183 14824
/proc/meminfo: memFree=30699984/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14823] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (satsolver.sh) S 14818 14817 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377408561 9367552 266 33554432000 4194304 5064252 140737471496512 140737471495424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14823/statm: 2287 266 226 213 0 72 0
[pid=14824] ppid=14823 vsize=61928 CPUtime=48.83 cores=1,3,5,7
/proc/14824/stat : 14824 (glucose) R 14823 14817 12469 0 -1 4202496 13099 0 0 0 4880 3 0 0 20 0 1 0 377408561 63414272 13351 33554432000 4194304 5208918 140733661295936 140733661293880 4229176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14824/statm: 15482 13351 104 248 0 15231 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 191384
[startup+102.301 s]
/proc/loadavg: 2.06 2.04 1.98 3/183 14825
/proc/meminfo: memFree=30662008/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14823] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (satsolver.sh) S 14818 14817 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377408561 9367552 266 33554432000 4194304 5064252 140737471496512 140737471495424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14823/statm: 2287 266 226 213 0 72 0
[pid=14824] ppid=14823 vsize=90100 CPUtime=100.03 cores=1,3,5,7
/proc/14824/stat : 14824 (glucose) R 14823 14817 12469 0 -1 4202496 13963 0 0 0 9999 4 0 0 20 0 1 0 377408561 92262400 20725 33554432000 4194304 5208918 140733661295936 140733661292312 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14824/statm: 22525 20725 104 248 0 22274 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 219556
Solver just ended. Dumping a history of the last processes samples
[startup+102.407 s]
/proc/loadavg: 2.06 2.04 1.98 3/183 14825
/proc/meminfo: memFree=30662008/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14823] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (satsolver.sh) S 14818 14817 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377408561 9367552 266 33554432000 4194304 5064252 140737471496512 140737471495424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14823/statm: 2287 266 226 213 0 72 0
[pid=14824] ppid=14823 vsize=90100 CPUtime=100.13 cores=1,3,5,7
/proc/14824/stat : 14824 (glucose) R 14823 14817 12469 0 -1 4202496 13963 0 0 0 10009 4 0 0 20 0 1 0 377408561 92262400 20725 33554432000 4194304 5208918 140733661295936 140733661292312 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14824/statm: 22525 20725 104 248 0 22274 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 219556
[startup+128.001 s]
/proc/loadavg: 2.11 2.05 1.99 3/183 14825
/proc/meminfo: memFree=30678700/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14823] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (satsolver.sh) S 14818 14817 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377408561 9367552 266 33554432000 4194304 5064252 140737471496512 140737471495424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14823/statm: 2287 266 226 213 0 72 0
[pid=14824] ppid=14823 vsize=67132 CPUtime=125.72 cores=1,3,5,7
/proc/14824/stat : 14824 (glucose) R 14823 14817 12469 0 -1 4202496 13964 0 0 0 12568 4 0 0 20 0 1 0 377408561 68743168 15943 33554432000 4194304 5208918 140733661295936 140733661293912 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14824/statm: 16783 15943 104 248 0 16532 0
Current children cumulated CPU time (s) 127.93
Current children cumulated vsize (KiB) 196588
[startup+134.401 s]
/proc/loadavg: 2.10 2.05 1.99 3/183 14825
/proc/meminfo: memFree=30678576/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14823] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (satsolver.sh) S 14818 14817 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377408561 9367552 266 33554432000 4194304 5064252 140737471496512 140737471495424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14823/statm: 2287 266 226 213 0 72 0
[pid=14824] ppid=14823 vsize=67132 CPUtime=132.12 cores=1,3,5,7
/proc/14824/stat : 14824 (glucose) R 14823 14817 12469 0 -1 4202496 13964 0 0 0 13208 4 0 0 20 0 1 0 377408561 68743168 15943 33554432000 4194304 5208918 140733661295936 140733661293912 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14824/statm: 16783 15943 104 248 0 16532 0
Current children cumulated CPU time (s) 134.33
Current children cumulated vsize (KiB) 196588
[startup+140.801 s]
/proc/loadavg: 2.09 2.05 1.99 3/183 14825
/proc/meminfo: memFree=30666848/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14823] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (satsolver.sh) S 14818 14817 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377408561 9367552 266 33554432000 4194304 5064252 140737471496512 140737471495424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14823/statm: 2287 266 226 213 0 72 0
[pid=14824] ppid=14823 vsize=78624 CPUtime=138.52 cores=1,3,5,7
/proc/14824/stat : 14824 (glucose) R 14823 14817 12469 0 -1 4202496 14514 0 0 0 13848 4 0 0 20 0 1 0 377408561 80510976 18472 33554432000 4194304 5208918 140733661295936 140733661293800 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14824/statm: 19656 18472 104 248 0 19405 0
Current children cumulated CPU time (s) 140.73
Current children cumulated vsize (KiB) 208080
[startup+144.001 s]
/proc/loadavg: 2.09 2.05 1.99 3/183 14825
/proc/meminfo: memFree=30666848/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14823] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (satsolver.sh) S 14818 14817 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377408561 9367552 266 33554432000 4194304 5064252 140737471496512 140737471495424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14823/statm: 2287 266 226 213 0 72 0
[pid=14824] ppid=14823 vsize=78624 CPUtime=141.72 cores=1,3,5,7
/proc/14824/stat : 14824 (glucose) R 14823 14817 12469 0 -1 4202496 14514 0 0 0 14168 4 0 0 20 0 1 0 377408561 80510976 18472 33554432000 4194304 5208918 140733661295936 140733661293800 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14824/statm: 19656 18472 104 248 0 19405 0
Current children cumulated CPU time (s) 143.93
Current children cumulated vsize (KiB) 208080
[startup+145.601 s]
/proc/loadavg: 2.09 2.05 1.99 3/183 14825
/proc/meminfo: memFree=30666848/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14823] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (satsolver.sh) S 14818 14817 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377408561 9367552 266 33554432000 4194304 5064252 140737471496512 140737471495424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14823/statm: 2287 266 226 213 0 72 0
[pid=14824] ppid=14823 vsize=78624 CPUtime=143.32 cores=1,3,5,7
/proc/14824/stat : 14824 (glucose) R 14823 14817 12469 0 -1 4202496 14514 0 0 0 14328 4 0 0 20 0 1 0 377408561 80510976 18472 33554432000 4194304 5208918 140733661295936 140733661293800 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14824/statm: 19656 18472 104 248 0 19405 0
Current children cumulated CPU time (s) 145.53
Current children cumulated vsize (KiB) 208080
[startup+146.001 s]
/proc/loadavg: 2.09 2.05 1.99 3/183 14825
/proc/meminfo: memFree=30666848/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=111160 CPUtime=2.21 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) S 14817 14817 12469 0 -1 4202496 19288 22584 0 0 77 5 130 9 20 0 1 0 377408337 113827840 27377 33554432000 4194304 6004724 140734282877696 140734282872832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14818/statm: 27790 27377 148 442 0 27344 0
[pid=14823] ppid=14818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (satsolver.sh) S 14818 14817 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377408561 9367552 266 33554432000 4194304 5064252 140737471496512 140737471495424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14823/statm: 2287 266 226 213 0 72 0
[pid=14824] ppid=14823 vsize=55640 CPUtime=143.72 cores=1,3,5,7
/proc/14824/stat : 14824 (glucose) R 14823 14817 12469 0 -1 4202496 14514 0 0 0 14368 4 0 0 20 0 1 0 377408561 56975360 13070 33554432000 4194304 5208918 140733661295936 140733661293800 4212508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14824/statm: 13910 13070 104 248 0 13659 0
Current children cumulated CPU time (s) 145.93
Current children cumulated vsize (KiB) 185096
[startup+146.201 s]
/proc/loadavg: 2.09 2.05 1.99 3/183 14825
/proc/meminfo: memFree=30666848/32873844 swapFree=7124/7124
[pid=14817] ppid=14815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14817/stat : 14817 (npSolver-pbo.sh) S 14815 14817 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377408337 9367552 275 33554432000 4194304 5064252 140737267848304 140737267847216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14817/statm: 2287 275 233 213 0 72 0
[pid=14818] ppid=14817 vsize=81104 CPUtime=146.14 cores=1,3,5,7
/proc/14818/stat : 14818 (npSolver-pbo) R 14817 14817 12469 0 -1 4202496 27406 39875 0 0 79 6 14514 15 20 0 1 0 377408337 83050496 19868 33554432000 4194304 6004724 140734282877696 140734282872320 4959420 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14818/statm: 20276 19868 153 442 0 19830 0
Current children cumulated CPU time (s) 146.14
Current children cumulated vsize (KiB) 90252
Child status: 0
Real time (s): 146.214
CPU time (s): 146.174
CPU user time (s): 145.953
CPU system time (s): 0.220966
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 239368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.953
system time used= 0.220966
maximum resident set size= 120676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37
involuntary context switches= 475
runsolver used 0.312952 second user time and 0.85187 second system time
The end