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-3700661-1338145032/watcher-3700661-1338145032 -o /tmp/evaluation-result-3700661-1338145032/solver-3700661-1338145032 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700661-1338145032.opb 2087628016 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.02 2.00 2/179 21208
/proc/meminfo: memFree=29445212/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[startup+0.0650661 s]
/proc/loadavg: 2.00 2.02 2.00 2/179 21208
/proc/meminfo: memFree=29445212/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/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.00 2.02 2.00 2/179 21208
/proc/meminfo: memFree=29445212/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300272 s]
/proc/loadavg: 2.00 2.02 2.00 2/179 21208
/proc/meminfo: memFree=29445212/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700273 s]
/proc/loadavg: 2.00 2.02 2.00 2/179 21208
/proc/meminfo: memFree=29445212/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 21210
/proc/meminfo: memFree=29435424/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=18868 CPUtime=1.49 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) R 21208 21208 18976 0 -1 4202496 2470 0 0 0 149 0 0 0 20 0 1 0 280630274 19320832 2973 33554432000 4194304 5992684 140734914729712 140734914725832 4529129 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 4717 2973 145 440 0 4273 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28016
[startup+3.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 21210
/proc/meminfo: memFree=29426488/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=43308 CPUtime=2.83 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 5744 0 0 0 278 5 0 0 20 0 1 0 280630274 44347392 7493 33554432000 4194304 5992684 140734914729712 140734914723744 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 10827 7493 164 440 0 10383 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 52456
[startup+6.30029 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 21219
/proc/meminfo: memFree=29394276/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=46188 CPUtime=6.03 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) R 21208 21208 18976 0 -1 4202496 6491 37952 0 0 374 5 202 22 20 0 1 0 280630274 47296512 8104 33554432000 4194304 5992684 140734914729712 140734914724072 5179600 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 11547 8104 170 440 0 11103 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 55336
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 21222
/proc/meminfo: memFree=29042148/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=140628 CPUtime=4.77 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 26326 0 0 0 470 7 0 0 20 0 1 0 280631064 144003072 30053 33554432000 4194304 5208918 140733516322048 140733516319720 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 35157 30053 104 248 0 34906 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 304956
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 21222
/proc/meminfo: memFree=29153420/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=140760 CPUtime=17.57 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 26352 0 0 0 1750 7 0 0 20 0 1 0 280631064 144138240 30079 33554432000 4194304 5208918 140733516322048 140733516319896 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 35190 30079 104 248 0 34939 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 305088
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 21222
/proc/meminfo: memFree=29132836/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=172668 CPUtime=43.17 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 32794 0 0 0 4305 12 0 0 20 0 1 0 280631064 176812032 34793 33554432000 4194304 5208918 140733516322048 140733516319896 4211641 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 43167 34793 105 248 0 42916 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 336996
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 21222
/proc/meminfo: memFree=29093928/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=195384 CPUtime=94.36 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 43038 0 0 0 9416 20 0 0 20 0 1 0 280631064 200073216 44168 33554432000 4194304 5208918 140733516322048 140733516319896 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 48846 44168 105 248 0 48595 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 359712
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21223
/proc/meminfo: memFree=29067584/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=243968 CPUtime=154.35 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 55072 0 0 0 15403 32 0 0 20 0 1 0 280631064 249823232 49561 33554432000 4194304 5208918 140733516322048 140733516319896 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 60992 49561 105 248 0 60741 0
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (KiB) 408296
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 21226
/proc/meminfo: memFree=29031180/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 127350 0 0 0 141269 143 0 0 20 0 1 0 280631064 455200768 100268 33554432000 4194304 5208918 140733516322048 140733516319800 4211501 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 111133 100268 105 248 0 110882 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 608860
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21259
/proc/meminfo: memFree=28672696/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=448476 CPUtime=1474.1 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 129256 0 0 0 147262 148 0 0 20 0 1 0 280631064 459239424 101767 33554432000 4194304 5208918 140733516322048 140733516317752 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 112119 101767 105 248 0 111868 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 612804
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21259
/proc/meminfo: memFree=28622124/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=450544 CPUtime=1534.1 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 129759 0 0 0 153261 149 0 0 20 0 1 0 280631064 461357056 108402 33554432000 4194304 5208918 140733516322048 140733516318424 4229549 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 112636 108402 105 248 0 112385 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 614872
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21311
/proc/meminfo: memFree=29414112/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=536168 CPUtime=1594.09 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 132458 0 0 0 159253 156 0 0 20 0 1 0 280631064 549036032 111180 33554432000 4194304 5208918 140733516322048 140733516319800 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 134042 111180 105 248 0 133791 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 700496
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21312
/proc/meminfo: memFree=29432356/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=456120 CPUtime=1654.07 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 133038 0 0 0 165249 158 0 0 20 0 1 0 280631064 467066880 106264 33554432000 4194304 5208918 140733516322048 140733516318424 4211648 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 114030 106264 105 248 0 113779 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 620448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21312
/proc/meminfo: memFree=29400860/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=459176 CPUtime=1714.07 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 134737 0 0 0 171244 163 0 0 20 0 1 0 280631064 470196224 108074 33554432000 4194304 5208918 140733516322048 140733516319896 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 114794 108074 105 248 0 114543 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 623504
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21312
/proc/meminfo: memFree=29409896/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=461096 CPUtime=1774.06 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 136126 0 0 0 177239 167 0 0 20 0 1 0 280631064 472162304 105477 33554432000 4194304 5208918 140733516322048 140733516319896 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 115274 105477 105 248 0 115023 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 625424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21312
/proc/meminfo: memFree=29383276/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=462068 CPUtime=1792.47 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 136370 0 0 0 179080 167 0 0 20 0 1 0 280631064 473157632 109809 33554432000 4194304 5208918 140733516322048 140733516319896 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 115517 109809 105 248 0 115266 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 626396
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21312
/proc/meminfo: memFree=29383276/32873844 swapFree=7108/7108
[pid=21208] ppid=21206 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21208/stat : 21208 (npSolver-pbo.sh) S 21206 21208 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280630273 9367552 275 33554432000 4194304 5064252 140734252512944 140734252511856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21208/statm: 2287 275 233 213 0 72 0
[pid=21209] ppid=21208 vsize=146032 CPUtime=7.62 cores=0,2,4,6
/proc/21209/stat : 21209 (npSolver-pbo) S 21208 21208 18976 0 -1 4202496 9361 38468 0 0 457 80 202 23 20 0 1 0 280630274 149536768 25658 33554432000 4194304 5992684 140734914729712 140734914722032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21209/statm: 36508 25658 180 440 0 36064 0
[pid=21221] ppid=21209 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (satsolver.sh) S 21209 21208 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280631064 9367552 267 33554432000 4194304 5064252 140736930197840 140736930196752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 2287 267 226 213 0 72 0
[pid=21222] ppid=21221 vsize=462068 CPUtime=1792.47 cores=0,2,4,6
/proc/21222/stat : 21222 (glucose) R 21221 21208 18976 0 -1 4202496 136370 0 0 0 179080 167 0 0 20 0 1 0 280631064 473157632 109809 33554432000 4194304 5208918 140733516322048 140733516319896 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 115517 109809 105 248 0 115266 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 626396
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21208 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=608995
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=47840
# CPU time returned by wait4() is 7.65684
# 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.72
CPU time (s): 1800.09
CPU user time (s): 1797.39
CPU system time (s): 2.7
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 836244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.609
system time used= 1.04784
maximum resident set size= 137760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 227
involuntary context switches= 34
runsolver used 2.6266 second user time and 7.2499 second system time
The end