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-3700655-1338144691/watcher-3700655-1338144691 -o /tmp/evaluation-result-3700655-1338144691/solver-3700655-1338144691 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700655-1338144691.opb 525846775 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.08 2.03 2.01 3/179 21184
/proc/meminfo: memFree=31524628/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[startup+0.024908 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 21184
/proc/meminfo: memFree=31524628/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 21184
/proc/meminfo: memFree=31524628/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300236 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 21184
/proc/meminfo: memFree=31524628/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700231 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 21184
/proc/meminfo: memFree=31524628/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/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.08 2.03 2.01 3/181 21186
/proc/meminfo: memFree=31514880/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=20164 CPUtime=1.49 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) R 21184 21184 19129 0 -1 4202496 3163 0 0 0 148 1 0 0 20 0 1 0 280536244 20647936 3133 33554432000 4194304 5992684 140735768892464 140735768888584 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 5041 3133 145 440 0 4597 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29312
[startup+3.10026 s]
/proc/loadavg: 2.08 2.03 2.01 3/181 21186
/proc/meminfo: memFree=31505564/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=37472 CPUtime=3.08 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) R 21184 21184 19129 0 -1 4202496 3916 0 0 0 306 2 0 0 20 0 1 0 280536244 38371328 5922 33554432000 4194304 5992684 140735768892464 140735768888584 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 9368 5922 145 440 0 8924 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 46620
[startup+6.30048 s]
/proc/loadavg: 2.16 2.04 2.01 3/183 21188
/proc/meminfo: memFree=31247760/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=92620 CPUtime=4.79 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 10759 0 0 0 465 14 0 0 20 0 1 0 280536244 94842880 16659 33554432000 4194304 5992684 140735768892464 140735768886496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 23155 16659 164 440 0 22711 0
[pid=21187] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21187/stat : 21187 (cp2_pre.sh) S 21185 21184 19129 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 280536723 9367552 277 33554432000 4194304 5064252 140734566295184 140734566293888 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21187/statm: 2287 277 234 213 0 72 0
[pid=21188] ppid=21187 vsize=223000 CPUtime=1.49 cores=1,3,5,7
/proc/21188/stat : 21188 (coprocessor) R 21187 21184 19129 0 -1 4202496 34109 0 0 0 141 8 0 0 20 0 1 0 280536724 228352000 54188 33554432000 4194304 6586260 140735828141504 140735828137224 4789079 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21188/statm: 55750 54188 172 584 0 55162 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 333916
[startup+12.7003 s]
/proc/loadavg: 2.14 2.04 2.01 3/181 21195
/proc/meminfo: memFree=31413808/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=103128 CPUtime=12.16 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) R 21184 21184 19129 0 -1 4202496 13100 62869 0 0 680 64 405 67 20 0 1 0 280536244 105603072 19210 33554432000 4194304 5992684 140735768892464 140735768886648 5179696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 25782 19210 171 440 0 25338 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 112276
[startup+25.5005 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 21198
/proc/meminfo: memFree=30785088/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21197/stat : 21197 (satsolver.sh) S 21185 21184 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280537744 9367552 266 33554432000 4194304 5064252 140736751615872 140736751614784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21197/statm: 2287 266 226 213 0 72 0
[pid=21198] ppid=21197 vsize=392932 CPUtime=10.48 cores=1,3,5,7
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 62020 0 0 0 1027 21 0 0 20 0 1 0 280537744 402362368 87377 33554432000 4194304 5208918 140735053676464 140735053674424 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 98233 87377 105 248 0 97982 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 652444
[startup+51.1004 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 21198
/proc/meminfo: memFree=30772484/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21197/stat : 21197 (satsolver.sh) S 21185 21184 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280537744 9367552 266 33554432000 4194304 5064252 140736751615872 140736751614784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21197/statm: 2287 266 226 213 0 72 0
[pid=21198] ppid=21197 vsize=392932 CPUtime=36.07 cores=1,3,5,7
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 62024 0 0 0 3586 21 0 0 20 0 1 0 280537744 402362368 87381 33554432000 4194304 5208918 140735053676464 140735053674424 4205681 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 98233 87381 105 248 0 97982 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 652444
[startup+102.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 21198
/proc/meminfo: memFree=30744544/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21197/stat : 21197 (satsolver.sh) S 21185 21184 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280537744 9367552 266 33554432000 4194304 5064252 140736751615872 140736751614784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21197/statm: 2287 266 226 213 0 72 0
[pid=21198] ppid=21197 vsize=459456 CPUtime=87.27 cores=1,3,5,7
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 68915 0 0 0 8698 29 0 0 20 0 1 0 280537744 470482944 94097 33554432000 4194304 5208918 140735053676464 140735053674312 4229552 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 114864 94097 105 248 0 114613 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 718968
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 21198
/proc/meminfo: memFree=30703548/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21197/stat : 21197 (satsolver.sh) S 21185 21184 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280537744 9367552 266 33554432000 4194304 5064252 140736751615872 140736751614784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21197/statm: 2287 266 226 213 0 72 0
[pid=21198] ppid=21197 vsize=479824 CPUtime=147.26 cores=1,3,5,7
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 78554 0 0 0 14683 43 0 0 20 0 1 0 280537744 491339776 104703 33554432000 4194304 5208918 140735053676464 140735053674312 4212343 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 119956 104703 105 248 0 119705 0
Current children cumulated CPU time (s) 161.72
Current children cumulated vsize (KiB) 739336
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 21199
/proc/meminfo: memFree=30684864/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 113234 0 0 0 140598 107 0 0 20 0 1 0 280537744 660402176 136098 33554432000 4194304 5208918 140735053676464 140735053674216 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 161231 136098 105 248 0 160980 0
Current children cumulated CPU time (s) 1421.51
Current children cumulated vsize (KiB) 904436
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 21233
/proc/meminfo: memFree=30591292/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21197/stat : 21197 (satsolver.sh) S 21185 21184 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280537744 9367552 266 33554432000 4194304 5064252 140736751615872 140736751614784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21197/statm: 2287 266 226 213 0 72 0
[pid=21198] ppid=21197 vsize=567748 CPUtime=1467.03 cores=1,3,5,7
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 116158 0 0 0 146588 115 0 0 20 0 1 0 280537744 581373952 132858 33554432000 4194304 5208918 140735053676464 140735053672840 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 141937 132858 105 248 0 141686 0
Current children cumulated CPU time (s) 1481.49
Current children cumulated vsize (KiB) 827260
[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 21233
/proc/meminfo: memFree=30584876/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21197/stat : 21197 (satsolver.sh) S 21185 21184 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280537744 9367552 266 33554432000 4194304 5064252 140736751615872 140736751614784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21197/statm: 2287 266 226 213 0 72 0
[pid=21198] ppid=21197 vsize=569752 CPUtime=1527.02 cores=1,3,5,7
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 117964 0 0 0 152582 120 0 0 20 0 1 0 280537744 583426048 133859 33554432000 4194304 5208918 140735053676464 140735053674312 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 142438 133859 105 248 0 142187 0
Current children cumulated CPU time (s) 1541.48
Current children cumulated vsize (KiB) 829264
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 21233
/proc/meminfo: memFree=30578152/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21197/stat : 21197 (satsolver.sh) S 21185 21184 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280537744 9367552 266 33554432000 4194304 5064252 140736751615872 140736751614784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21197/statm: 2287 266 226 213 0 72 0
[pid=21198] ppid=21197 vsize=571148 CPUtime=1587.02 cores=1,3,5,7
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 118522 0 0 0 158581 121 0 0 20 0 1 0 280537744 584855552 135436 33554432000 4194304 5208918 140735053676464 140735053674216 4211577 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 142787 135436 105 248 0 142536 0
Current children cumulated CPU time (s) 1601.48
Current children cumulated vsize (KiB) 830660
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 21233
/proc/meminfo: memFree=30545796/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21197/stat : 21197 (satsolver.sh) S 21185 21184 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280537744 9367552 266 33554432000 4194304 5064252 140736751615872 140736751614784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21197/statm: 2287 266 226 213 0 72 0
[pid=21198] ppid=21197 vsize=657452 CPUtime=1647 cores=1,3,5,7
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 121570 0 0 0 164573 127 0 0 20 0 1 0 280537744 673230848 137654 33554432000 4194304 5208918 140735053676464 140735053674216 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 164363 137654 105 248 0 164112 0
Current children cumulated CPU time (s) 1661.46
Current children cumulated vsize (KiB) 916964
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 21237
/proc/meminfo: memFree=30536612/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21197/stat : 21197 (satsolver.sh) S 21185 21184 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280537744 9367552 266 33554432000 4194304 5064252 140736751615872 140736751614784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21197/statm: 2287 266 226 213 0 72 0
[pid=21198] ppid=21197 vsize=664720 CPUtime=1707 cores=1,3,5,7
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 124697 0 0 0 170567 133 0 0 20 0 1 0 280537744 680673280 141008 33554432000 4194304 5208918 140735053676464 140735053674312 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 166180 141008 105 248 0 165929 0
Current children cumulated CPU time (s) 1721.46
Current children cumulated vsize (KiB) 924232
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 21289
/proc/meminfo: memFree=29965444/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21197/stat : 21197 (satsolver.sh) S 21185 21184 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280537744 9367552 266 33554432000 4194304 5064252 140736751615872 140736751614784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21197/statm: 2287 266 226 213 0 72 0
[pid=21198] ppid=21197 vsize=672980 CPUtime=1766.99 cores=1,3,5,7
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 129412 0 0 0 176556 143 0 0 20 0 1 0 280537744 689131520 142061 33554432000 4194304 5208918 140735053676464 140735053674312 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 168245 142061 105 248 0 167994 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (KiB) 932492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 21289
/proc/meminfo: memFree=29957688/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21197/stat : 21197 (satsolver.sh) S 21185 21184 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280537744 9367552 266 33554432000 4194304 5064252 140736751615872 140736751614784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21197/statm: 2287 266 226 213 0 72 0
[pid=21198] ppid=21197 vsize=674564 CPUtime=1785.59 cores=1,3,5,7
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 129827 0 0 0 178416 143 0 0 20 0 1 0 280537744 690753536 144009 33554432000 4194304 5208918 140735053676464 140735053674312 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 168641 144009 105 248 0 168390 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 934076
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 21289
/proc/meminfo: memFree=29957688/32873844 swapFree=6872/6872
[pid=21184] ppid=21182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21184/stat : 21184 (npSolver-pbo.sh) S 21182 21184 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280536244 9367552 275 33554432000 4194304 5064252 140733808039168 140733808038080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21184/statm: 2287 275 233 213 0 72 0
[pid=21185] ppid=21184 vsize=241216 CPUtime=14.46 cores=1,3,5,7
/proc/21185/stat : 21185 (npSolver-pbo) S 21184 21184 19129 0 -1 4202496 21112 63385 0 0 857 115 406 68 20 0 1 0 280536244 247005184 51784 33554432000 4194304 5992684 140735768892464 140735768884784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21185/statm: 60304 51784 180 440 0 59860 0
[pid=21197] ppid=21185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21197/stat : 21197 (satsolver.sh) S 21185 21184 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280537744 9367552 266 33554432000 4194304 5064252 140736751615872 140736751614784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21197/statm: 2287 266 226 213 0 72 0
[pid=21198] ppid=21197 vsize=674564 CPUtime=1785.59 cores=1,3,5,7
/proc/21198/stat : 21198 (glucose) R 21197 21184 19129 0 -1 4202496 129827 0 0 0 178416 143 0 0 20 0 1 0 280537744 690753536 144009 33554432000 4194304 5208918 140735053676464 140735053674312 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 168641 144009 105 248 0 168390 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 934076
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21184 and gives
# childrusage.ru_utime.tv_sec=12
# childrusage.ru_utime.tv_usec=641078
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=855717
# CPU time returned by wait4() is 14.4968
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.92
CPU time (s): 1800.05
CPU user time (s): 1796.79
CPU system time (s): 3.26
CPU usage (%): 99.9518
Max. virtual memory (cumulated for all children) (KiB): 1059876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.6411
system time used= 1.85572
maximum resident set size= 329228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85474
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 704
involuntary context switches= 32
runsolver used 5.72213 second user time and 17.1384 second system time
The end