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-3715717-1338206512/watcher-3715717-1338206512 -o /tmp/evaluation-result-3715717-1338206512/solver-3715717-1338206512 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715717-1338206512.wbo 390474226 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.55 2.55 2.46 2/179 3119
/proc/meminfo: memFree=30681908/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[startup+0.07211 s]
/proc/loadavg: 2.55 2.55 2.46 2/179 3119
/proc/meminfo: memFree=30681908/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100215 s]
/proc/loadavg: 2.55 2.55 2.46 2/179 3119
/proc/meminfo: memFree=30681908/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300213 s]
/proc/loadavg: 2.55 2.55 2.46 2/179 3119
/proc/meminfo: memFree=30681908/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700256 s]
/proc/loadavg: 2.55 2.55 2.46 2/179 3119
/proc/meminfo: memFree=30681908/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.55 2.55 2.46 3/184 3132
/proc/meminfo: memFree=30544732/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=18812 CPUtime=0.56 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 4698 0 0 0 54 2 0 0 20 0 1 0 286779737 19263488 3133 33554432000 4194304 5990268 140733480422576 140733480415728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 4703 3133 153 439 0 4260 0
[pid=3127] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3127/stat : 3127 (cp2_pre.sh) S 3120 3119 30917 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 286779794 9367552 277 33554432000 4194304 5064252 140735391323136 140735391321840 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3127/statm: 2287 277 234 213 0 72 0
[pid=3128] ppid=3127 vsize=96728 CPUtime=0.91 cores=0,2,4,6
/proc/3128/stat : 3128 (coprocessor) R 3127 3119 30917 0 -1 4202496 18151 0 0 0 89 2 0 0 20 0 1 0 286779794 99049472 23210 33554432000 4194304 6586260 140735758161760 140735758157080 4683456 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/3128/statm: 24182 23210 192 584 0 23594 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 133836
[startup+3.10035 s]
/proc/loadavg: 2.50 2.54 2.46 3/184 3142
/proc/meminfo: memFree=30549188/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=18812 CPUtime=0.56 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 4698 0 0 0 54 2 0 0 20 0 1 0 286779737 19263488 3133 33554432000 4194304 5990268 140733480422576 140733480415728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 4703 3133 153 439 0 4260 0
[pid=3127] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3127/stat : 3127 (cp2_pre.sh) S 3120 3119 30917 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 286779794 9367552 277 33554432000 4194304 5064252 140735391323136 140735391321840 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3127/statm: 2287 277 234 213 0 72 0
[pid=3128] ppid=3127 vsize=129156 CPUtime=2.41 cores=0,2,4,6
/proc/3128/stat : 3128 (coprocessor) R 3127 3119 30917 0 -1 4202496 21421 0 0 0 210 31 0 0 20 0 1 0 286779794 132255744 28443 33554432000 4194304 6586260 140735758161760 140735758157384 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 10 0 0
/proc/3128/statm: 32289 28443 202 584 0 31701 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 166264
[startup+6.30039 s]
/proc/loadavg: 2.50 2.54 2.46 3/184 3180
/proc/meminfo: memFree=30550600/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=3.95 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 7689 35860 0 0 69 18 261 47 20 0 1 0 286779737 38014976 7590 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7590 176 439 0 8838 0
[pid=3167] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3167/stat : 3167 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286780147 9367552 266 33554432000 4194304 5064252 140736300498016 140736300496928 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3167/statm: 2287 266 226 213 0 72 0
[pid=3168] ppid=3167 vsize=74884 CPUtime=2.18 cores=0,2,4,6
/proc/3168/stat : 3168 (glucose) R 3167 3119 30917 0 -1 4202496 15216 0 0 0 216 2 0 0 20 0 1 0 286780147 76681216 16214 33554432000 4194304 5208918 140735608281760 140735608279704 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3168/statm: 18721 16214 95 248 0 18470 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 130304
[startup+12.7004 s]
/proc/loadavg: 2.43 2.52 2.45 3/183 3236
/proc/meminfo: memFree=30550088/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=3.95 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 7689 35860 0 0 69 18 261 47 20 0 1 0 286779737 38014976 7590 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7590 176 439 0 8838 0
[pid=3167] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3167/stat : 3167 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286780147 9367552 266 33554432000 4194304 5064252 140736300498016 140736300496928 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3167/statm: 2287 266 226 213 0 72 0
[pid=3168] ppid=3167 vsize=75016 CPUtime=8.58 cores=0,2,4,6
/proc/3168/stat : 3168 (glucose) R 3167 3119 30917 0 -1 4202496 15350 0 0 0 856 2 0 0 20 0 1 0 286780147 76816384 16347 33554432000 4194304 5208918 140735608281760 140735608279608 4211572 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3168/statm: 18754 16347 95 248 0 18503 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 130436
[startup+25.5005 s]
/proc/loadavg: 2.36 2.50 2.45 3/183 3352
/proc/meminfo: memFree=30499184/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=3.95 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 7689 35860 0 0 69 18 261 47 20 0 1 0 286779737 38014976 7590 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7590 176 439 0 8838 0
[pid=3167] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3167/stat : 3167 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286780147 9367552 266 33554432000 4194304 5064252 140736300498016 140736300496928 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3167/statm: 2287 266 226 213 0 72 0
[pid=3168] ppid=3167 vsize=75148 CPUtime=21.38 cores=0,2,4,6
/proc/3168/stat : 3168 (glucose) R 3167 3119 30917 0 -1 4202496 15415 0 0 0 2136 2 0 0 20 0 1 0 286780147 76951552 16923 33554432000 4194304 5208918 140735608281760 140735608279608 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3168/statm: 18787 16923 95 248 0 18536 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 130568
[startup+51.1004 s]
/proc/loadavg: 2.24 2.46 2.43 3/183 3583
/proc/meminfo: memFree=30521236/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=3.95 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 7689 35860 0 0 69 18 261 47 20 0 1 0 286779737 38014976 7590 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7590 176 439 0 8838 0
[pid=3167] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3167/stat : 3167 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286780147 9367552 266 33554432000 4194304 5064252 140736300498016 140736300496928 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3167/statm: 2287 266 226 213 0 72 0
[pid=3168] ppid=3167 vsize=75280 CPUtime=46.97 cores=0,2,4,6
/proc/3168/stat : 3168 (glucose) R 3167 3119 30917 0 -1 4202496 15575 0 0 0 4695 2 0 0 20 0 1 0 286780147 77086720 17083 33554432000 4194304 5208918 140735608281760 140735608279608 4211732 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3168/statm: 18820 17083 95 248 0 18569 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 130700
[startup+102.3 s]
/proc/loadavg: 2.06 2.37 2.40 3/183 4048
/proc/meminfo: memFree=30541896/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=3.95 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 7689 35860 0 0 69 18 261 47 20 0 1 0 286779737 38014976 7590 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7590 176 439 0 8838 0
[pid=3167] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3167/stat : 3167 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286780147 9367552 266 33554432000 4194304 5064252 140736300498016 140736300496928 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3167/statm: 2287 266 226 213 0 72 0
[pid=3168] ppid=3167 vsize=82764 CPUtime=98.17 cores=0,2,4,6
/proc/3168/stat : 3168 (glucose) R 3167 3119 30917 0 -1 4202496 16088 0 0 0 9815 2 0 0 20 0 1 0 286780147 84750336 18107 33554432000 4194304 5208918 140735608281760 140735608279720 4211670 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3168/statm: 20691 18107 95 248 0 20440 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 138184
[startup+162.3 s]
/proc/loadavg: 2.35 2.39 2.40 3/184 4587
/proc/meminfo: memFree=30543996/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=3.95 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 7689 35860 0 0 69 18 261 47 20 0 1 0 286779737 38014976 7590 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7590 176 439 0 8838 0
[pid=3167] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.09 2.01 2.08 3/183 15475
/proc/meminfo: memFree=30540856/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=1348.21 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 32027 249211 0 0 150 28 134454 189 20 0 1 0 286779737 38014976 7543 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7543 177 439 0 8838 0
[pid=15352] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15352/stat : 15352 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286914595 9367552 266 33554432000 4194304 5064252 140734942010480 140734942009392 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15352/statm: 2287 266 226 213 0 72 0
[pid=15354] ppid=15352 vsize=75012 CPUtime=13.69 cores=0,2,4,6
/proc/15354/stat : 15354 (glucose) R 15352 3119 30917 0 -1 4202496 15325 0 0 0 1367 2 0 0 20 0 1 0 286914595 76812288 16843 33554432000 4194304 5208918 140735536696624 140735536694472 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15354/statm: 18753 16843 95 248 0 18502 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 130432
[startup+1422.3 s]
/proc/loadavg: 2.14 2.05 2.09 3/181 16019
/proc/meminfo: memFree=30547100/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=1348.21 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 32027 249211 0 0 150 28 134454 189 20 0 1 0 286779737 38014976 7543 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7543 177 439 0 8838 0
[pid=15352] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15352/stat : 15352 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286914595 9367552 266 33554432000 4194304 5064252 140734942010480 140734942009392 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15352/statm: 2287 266 226 213 0 72 0
[pid=15354] ppid=15352 vsize=82612 CPUtime=73.69 cores=0,2,4,6
/proc/15354/stat : 15354 (glucose) R 15352 3119 30917 0 -1 4202496 15993 0 0 0 7366 3 0 0 20 0 1 0 286914595 84594688 18230 33554432000 4194304 5208918 140735536696624 140735536694584 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15354/statm: 20653 18230 95 248 0 20402 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 138032
[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.08 3/183 16553
/proc/meminfo: memFree=30486588/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=1348.21 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 32027 249211 0 0 150 28 134454 189 20 0 1 0 286779737 38014976 7543 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7543 177 439 0 8838 0
[pid=15352] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15352/stat : 15352 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286914595 9367552 266 33554432000 4194304 5064252 140734942010480 140734942009392 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15352/statm: 2287 266 226 213 0 72 0
[pid=15354] ppid=15352 vsize=75712 CPUtime=133.68 cores=0,2,4,6
/proc/15354/stat : 15354 (glucose) R 15352 3119 30917 0 -1 4202496 16816 0 0 0 13364 4 0 0 20 0 1 0 286914595 77529088 17427 33554432000 4194304 5208918 140735536696624 140735536694472 4211851 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15354/statm: 18928 17427 96 248 0 18677 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 131132
[startup+1542.31 s]
/proc/loadavg: 2.05 2.04 2.08 3/184 17110
/proc/meminfo: memFree=30538608/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=1516.79 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 35069 276272 0 0 160 29 151283 207 20 0 1 0 286779737 38014976 7543 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7543 177 439 0 8838 0
[pid=16882] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16882/stat : 16882 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286931456 9367552 267 33554432000 4194304 5064252 140733824143712 140733824142624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16882/statm: 2287 267 226 213 0 72 0
[pid=16883] ppid=16882 vsize=75152 CPUtime=25.08 cores=0,2,4,6
/proc/16883/stat : 16883 (glucose) R 16882 3119 30917 0 -1 4202496 15577 0 0 0 2506 2 0 0 20 0 1 0 286931457 76955648 17057 33554432000 4194304 5208918 140733643531952 140733643529800 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16883/statm: 18788 17057 95 248 0 18537 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 130572
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/183 17646
/proc/meminfo: memFree=30482712/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=1516.79 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 35069 276272 0 0 160 29 151283 207 20 0 1 0 286779737 38014976 7543 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7543 177 439 0 8838 0
[pid=16882] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16882/stat : 16882 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286931456 9367552 267 33554432000 4194304 5064252 140733824143712 140733824142624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16882/statm: 2287 267 226 213 0 72 0
[pid=16883] ppid=16882 vsize=82620 CPUtime=85.07 cores=0,2,4,6
/proc/16883/stat : 16883 (glucose) R 16882 3119 30917 0 -1 4202496 16232 0 0 0 8504 3 0 0 20 0 1 0 286931457 84602880 18390 33554432000 4194304 5208918 140733643531952 140733643529912 4211572 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16883/statm: 20655 18390 95 248 0 20404 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 138040
[startup+1662.3 s]
/proc/loadavg: 2.10 2.05 2.08 3/184 18195
/proc/meminfo: memFree=30536580/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=1516.79 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 35069 276272 0 0 160 29 151283 207 20 0 1 0 286779737 38014976 7543 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7543 177 439 0 8838 0
[pid=16882] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16882/stat : 16882 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286931456 9367552 267 33554432000 4194304 5064252 140733824143712 140733824142624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16882/statm: 2287 267 226 213 0 72 0
[pid=16883] ppid=16882 vsize=82900 CPUtime=145.06 cores=0,2,4,6
/proc/16883/stat : 16883 (glucose) R 16882 3119 30917 0 -1 4202496 16775 0 0 0 14503 3 0 0 20 0 1 0 286931457 84889600 17634 33554432000 4194304 5208918 140733643531952 140733643530104 4215298 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16883/statm: 20725 17634 96 248 0 20474 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 138320
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.07 3/185 18744
/proc/meminfo: memFree=30536420/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=1683.06 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 38111 302386 0 0 170 30 167880 226 20 0 1 0 286779737 38014976 7543 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7543 177 439 0 8838 0
[pid=18394] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18394/stat : 18394 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 286948087 9367552 266 33554432000 4194304 5064252 140734516891696 140734516890608 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18394/statm: 2287 266 226 213 0 72 0
[pid=18395] ppid=18394 vsize=75276 CPUtime=38.77 cores=0,2,4,6
/proc/18395/stat : 18395 (glucose) R 18394 3119 30917 0 -1 4202496 15521 0 0 0 3875 2 0 0 20 0 1 0 286948087 77082624 17309 33554432000 4194304 5208918 140735997933776 140735997931624 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18395/statm: 18819 17309 95 248 0 18568 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 130696
[startup+1782.3 s]
/proc/loadavg: 2.16 2.08 2.08 3/183 19029
/proc/meminfo: memFree=30208128/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=1683.06 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 38111 302386 0 0 170 30 167880 226 20 0 1 0 286779737 38014976 7543 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7543 177 439 0 8838 0
[pid=18394] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18394/stat : 18394 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 286948087 9367552 266 33554432000 4194304 5064252 140734516891696 140734516890608 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18394/statm: 2287 266 226 213 0 72 0
[pid=18395] ppid=18394 vsize=82760 CPUtime=98.76 cores=0,2,4,6
/proc/18395/stat : 18395 (glucose) R 18394 3119 30917 0 -1 4202496 16165 0 0 0 9874 2 0 0 20 0 1 0 286948087 84746240 18464 33554432000 4194304 5208918 140735997933776 140735997931736 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18395/statm: 20690 18464 95 248 0 20439 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 138180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.12 2.07 2.08 3/183 19029
/proc/meminfo: memFree=30141496/32873844 swapFree=7108/7108
[pid=3119] ppid=3117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3119/stat : 3119 (npSolver-wbo-It) S 3117 3119 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286779736 9367552 275 33554432000 4194304 5064252 140733814572960 140733814571872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3119/statm: 2287 275 233 213 0 72 0
[pid=3120] ppid=3119 vsize=37124 CPUtime=1683.06 cores=0,2,4,6
/proc/3120/stat : 3120 (npSolver-wbo) S 3119 3119 30917 0 -1 4202496 38111 302386 0 0 170 30 167880 226 20 0 1 0 286779737 38014976 7543 33554432000 4194304 5990268 140733480422576 140733480413984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3120/statm: 9281 7543 177 439 0 8838 0
[pid=18394] ppid=3120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18394/stat : 18394 (satsolver.sh) S 3120 3119 30917 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 286948087 9367552 266 33554432000 4194304 5064252 140734516891696 140734516890608 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18394/statm: 2287 266 226 213 0 72 0
[pid=18395] ppid=18394 vsize=75580 CPUtime=116.96 cores=0,2,4,6
/proc/18395/stat : 18395 (glucose) R 18394 3119 30917 0 -1 4202496 16196 0 0 0 11694 2 0 0 20 0 1 0 286948087 77393920 17264 33554432000 4194304 5208918 140735997933776 140735997931864 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18395/statm: 18895 17264 96 248 0 18644 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 131000
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1797.46
CPU system time (s): 2.6136
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 166268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.46
system time used= 2.6136
maximum resident set size= 124196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 285944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5674
involuntary context switches= 2119
runsolver used 3.04754 second user time and 7.2109 second system time
The end