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-3754860-1339203731/watcher-3754860-1339203731 -o /tmp/evaluation-result-3754860-1339203731/solver-3754860-1339203731 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754860-1339203731.wbo 816759976 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: 5.04 3.41 2.54 3/181 30216
/proc/meminfo: memFree=29137308/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[startup+0.0635009 s]
/proc/loadavg: 5.04 3.41 2.54 3/181 30216
/proc/meminfo: memFree=29137308/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100219 s]
/proc/loadavg: 5.04 3.41 2.54 3/181 30216
/proc/meminfo: memFree=29137308/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300273 s]
/proc/loadavg: 5.04 3.41 2.54 3/181 30216
/proc/meminfo: memFree=29137308/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700317 s]
/proc/loadavg: 5.04 3.41 2.54 3/181 30216
/proc/meminfo: memFree=29137308/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50024 s]
/proc/loadavg: 5.04 3.41 2.54 3/183 30228
/proc/meminfo: memFree=29052584/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 104124
[startup+3.1004 s]
/proc/loadavg: 4.79 3.38 2.53 3/185 30230
/proc/meminfo: memFree=28817104/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=178552 CPUtime=1.84 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 31128 0 0 0 174 10 0 0 20 0 1 0 386501741 182837248 38470 33554432000 4194304 5208918 140734041523680 140734041521528 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30230/statm: 44638 38470 103 248 0 44387 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 291824
[startup+6.30045 s]
/proc/loadavg: 4.79 3.38 2.53 3/185 30230
/proc/meminfo: memFree=28816928/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=179620 CPUtime=5.03 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 31396 0 0 0 493 10 0 0 20 0 1 0 386501741 183930880 39249 33554432000 4194304 5208918 140734041523680 140734041521528 4229023 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30230/statm: 44905 39249 104 248 0 44654 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 292892
[startup+12.7004 s]
/proc/loadavg: 4.36 3.34 2.53 3/185 30230
/proc/meminfo: memFree=28846140/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=185508 CPUtime=11.43 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 33004 0 0 0 1133 10 0 0 20 0 1 0 386501741 189960192 40857 33554432000 4194304 5208918 140734041523680 140734041521640 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30230/statm: 46377 40857 104 248 0 46126 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 298780
[startup+25.5005 s]
/proc/loadavg: 4.00 3.29 2.52 3/185 30230
/proc/meminfo: memFree=28814920/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=187540 CPUtime=24.23 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 33527 0 0 0 2412 11 0 0 20 0 1 0 386501741 192040960 41891 33554432000 4194304 5208918 140734041523680 140734041521528 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30230/statm: 46885 41891 104 248 0 46634 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 300812
[startup+51.1005 s]
/proc/loadavg: 3.39 3.20 2.51 3/185 30230
/proc/meminfo: memFree=28812676/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=188712 CPUtime=49.82 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 33830 0 0 0 4971 11 0 0 20 0 1 0 386501741 193241088 42705 33554432000 4194304 5208918 140734041523680 140734041521528 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30230/statm: 47178 42705 104 248 0 46927 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 301984
[startup+102.307 s]
/proc/loadavg: 2.55 3.00 2.48 3/184 30231
/proc/meminfo: memFree=28819384/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=190768 CPUtime=101.01 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 34381 0 0 0 10090 11 0 0 20 0 1 0 386501741 195346432 43777 33554432000 4194304 5208918 140734041523680 140734041521432 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30230/statm: 47692 43777 104 248 0 47441 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 304040
[startup+162.3 s]
/proc/loadavg: 2.22 2.83 2.45 3/184 30231
/proc/meminfo: memFree=28818608/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=222464 CPUtime=161 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 35186 0 0 0 16088 12 0 0 20 0 1 0 386501741 227803136 45245 33554432000 4194304 5208918 140734041523680 140734041521528 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30230/statm: 55616 45245 104 248 0 55365 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=194820 CPUtime=280.98 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 36221 0 0 0 28084 14 0 0 20 0 1 0 386501741 199495680 44443 33554432000 4194304 5208918 140734041523680 140734041521432 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30230/statm: 48705 44443 104 248 0 48454 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 308092
[startup+342.3 s]
/proc/loadavg: 2.01 2.44 2.36 3/184 30231
/proc/meminfo: memFree=28794700/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=197460 CPUtime=340.97 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 36940 0 0 0 34083 14 0 0 20 0 1 0 386501741 202199040 45673 33554432000 4194304 5208918 140734041523680 140734041521528 4229471 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30230/statm: 49365 45673 104 248 0 49114 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 310732
[startup+402.3 s]
/proc/loadavg: 2.00 2.36 2.34 3/184 30232
/proc/meminfo: memFree=28754056/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=229080 CPUtime=400.96 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 37577 0 0 0 40081 15 0 0 20 0 1 0 386501741 234577920 46299 33554432000 4194304 5208918 140734041523680 140734041521432 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30230/statm: 57270 46299 104 248 0 57019 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 342352
[startup+462.3 s]
/proc/loadavg: 2.03 2.30 2.32 3/184 30232
/proc/meminfo: memFree=28769408/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=229964 CPUtime=460.94 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 37954 0 0 0 46079 15 0 0 20 0 1 0 386501741 235483136 47202 33554432000 4194304 5208918 140734041523680 140734041521432 4211111 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30230/statm: 57491 47202 104 248 0 57240 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 343236
Solver just ended. Dumping a history of the last processes samples
[startup+467.1 s]
/proc/loadavg: 2.03 2.30 2.32 3/184 30232
/proc/meminfo: memFree=28762396/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=229964 CPUtime=465.74 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 37984 0 0 0 46559 15 0 0 20 0 1 0 386501741 235483136 47232 33554432000 4194304 5208918 140734041523680 140734041521432 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30230/statm: 57491 47232 104 248 0 57240 0
Current children cumulated CPU time (s) 466.96
Current children cumulated vsize (KiB) 343236
[startup+470.3 s]
/proc/loadavg: 2.03 2.30 2.32 3/184 30232
/proc/meminfo: memFree=28754332/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=94976 CPUtime=1.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 8909 7543 0 0 97 15 8 2 20 0 1 0 386501616 97255424 22870 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 23744 22870 177 443 0 23297 0
[pid=30229] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30229/stat : 30229 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386501740 9367552 266 33554432000 4194304 5064252 140733349249104 140733349248016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30229/statm: 2287 266 226 213 0 72 0
[pid=30230] ppid=30229 vsize=232032 CPUtime=468.94 cores=1,3,5,7
/proc/30230/stat : 30230 (glucose) R 30229 30216 26138 0 -1 4202496 38429 0 0 0 46879 15 0 0 20 0 1 0 386501741 237600768 48188 33554432000 4194304 5208918 140734041523680 140734041521432 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30230/statm: 58008 48188 104 248 0 57757 0
Current children cumulated CPU time (s) 470.16
Current children cumulated vsize (KiB) 345304
[startup+473.5 s]
/proc/loadavg: 2.02 2.29 2.31 3/185 30249
/proc/meminfo: memFree=29059060/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=29440 CPUtime=473.24 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 10412 64297 0 0 104 16 47156 48 20 0 1 0 386501616 30146560 6900 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 7360 6900 178 443 0 6913 0
Current children cumulated CPU time (s) 473.24
Current children cumulated vsize (KiB) 38588
[startup+474.3 s]
/proc/loadavg: 2.02 2.29 2.31 3/185 30277
/proc/meminfo: memFree=29064136/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=29440 CPUtime=474.13 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 12317 85655 0 0 112 17 47229 55 20 0 1 0 386501616 30146560 6900 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 7360 6900 178 443 0 6913 0
Current children cumulated CPU time (s) 474.13
Current children cumulated vsize (KiB) 38588
[startup+475.1 s]
/proc/loadavg: 2.02 2.29 2.31 3/185 30326
/proc/meminfo: memFree=29061652/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=29440 CPUtime=474.98 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 14957 117217 0 0 123 19 47292 64 20 0 1 0 386501616 30146560 6900 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 7360 6900 178 443 0 6913 0
[pid=30325] ppid=30217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (satsolver.sh) S 30217 30216 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386549125 9367552 266 33554432000 4194304 5064252 140737380682656 140737380681568 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 266 226 213 0 72 0
[pid=30326] ppid=30325 vsize=7792 CPUtime=0 cores=1,3,5,7
/proc/30326/stat : 30326 (glucose) R 30325 30216 26138 0 -1 4202496 719 0 0 0 0 0 0 0 20 0 1 0 386549125 7979008 1130 33554432000 4194304 5208918 140734319362880 140734319361208 4236181 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30326/statm: 1948 1133 70 248 0 1697 0
Current children cumulated CPU time (s) 474.98
Current children cumulated vsize (KiB) 55528
[startup+475.3 s]
/proc/loadavg: 2.02 2.29 2.31 3/185 30326
/proc/meminfo: memFree=29061652/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=29440 CPUtime=475.07 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 15455 121890 0 0 124 19 47298 66 20 0 1 0 386501616 30146560 6900 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 7360 6900 178 443 0 6913 0
Current children cumulated CPU time (s) 475.07
Current children cumulated vsize (KiB) 38588
[startup+475.4 s]
/proc/loadavg: 2.02 2.29 2.31 3/185 30326
/proc/meminfo: memFree=29061652/32873844 swapFree=7384/7384
[pid=30216] ppid=30214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30216/stat : 30216 (npSolver-wbo.sh) S 30214 30216 26138 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386501616 9367552 275 33554432000 4194304 5064252 140735479857856 140735479856768 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30216/statm: 2287 275 233 213 0 72 0
[pid=30217] ppid=30216 vsize=29440 CPUtime=475.22 cores=1,3,5,7
/proc/30217/stat : 30217 (npSolver-wbo) S 30216 30216 26138 0 -1 4202496 15866 126782 0 0 126 20 47308 68 20 0 1 0 386501616 30146560 6900 33554432000 4194304 6006132 140737460260864 140737460252272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30217/statm: 7360 6900 178 443 0 6913 0
Current children cumulated CPU time (s) 475.22
Current children cumulated vsize (KiB) 38588
Child status: 0
Real time (s): 475.454
CPU time (s): 475.35
CPU user time (s): 474.447
CPU system time (s): 0.902862
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 387840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 474.447
system time used= 0.902862
maximum resident set size= 233800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148742
page faults= 0
swaps= 0
block input operations= 0
block output operations= 174520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1051
involuntary context switches= 708
runsolver used 1.15082 second user time and 3.06553 second system time
The end