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-3754356-1339188249/watcher-3754356-1339188249 -o /tmp/evaluation-result-3754356-1339188249/solver-3754356-1339188249 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754356-1339188249.wbo 1441570869 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.12 2.09 1.98 2/169 10877
/proc/meminfo: memFree=31444216/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[startup+0.039099 s]
/proc/loadavg: 2.12 2.09 1.98 2/169 10877
/proc/meminfo: memFree=31444216/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100281 s]
/proc/loadavg: 2.12 2.09 1.98 2/169 10877
/proc/meminfo: memFree=31444216/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300238 s]
/proc/loadavg: 2.12 2.09 1.98 2/169 10877
/proc/meminfo: memFree=31444216/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700233 s]
/proc/loadavg: 2.12 2.09 1.98 2/169 10877
/proc/meminfo: memFree=31444216/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.12 2.09 1.98 3/181 10916
/proc/meminfo: memFree=31422988/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=0.28 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1816 10746 0 0 2 1 22 3 20 0 1 0 384950819 3817472 534 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 534 167 443 0 485 0
[pid=10915] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10915/stat : 10915 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384950849 9367552 266 33554432000 4194304 5064252 140737149489936 140737149488848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10915/statm: 2287 266 226 213 0 72 0
[pid=10916] ppid=10915 vsize=15048 CPUtime=1.18 cores=0,2,4,6
/proc/10916/stat : 10916 (glucose) R 10915 10877 31309 0 -1 4202496 2897 0 0 0 118 0 0 0 20 0 1 0 384950850 15409152 2903 33554432000 4194304 5208918 140733906814000 140733906811848 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10916/statm: 3762 2903 96 248 0 3511 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 37072
[startup+3.10039 s]
/proc/loadavg: 2.11 2.09 1.98 3/181 10916
/proc/meminfo: memFree=31404812/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=0.28 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1816 10746 0 0 2 1 22 3 20 0 1 0 384950819 3817472 534 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 534 167 443 0 485 0
[pid=10915] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10915/stat : 10915 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384950849 9367552 266 33554432000 4194304 5064252 140737149489936 140737149488848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10915/statm: 2287 266 226 213 0 72 0
[pid=10916] ppid=10915 vsize=41084 CPUtime=2.78 cores=0,2,4,6
/proc/10916/stat : 10916 (glucose) R 10915 10877 31309 0 -1 4202496 4665 0 0 0 277 1 0 0 20 0 1 0 384950850 42070016 6836 33554432000 4194304 5208918 140733906814000 140733906811944 4215319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10916/statm: 10271 6836 96 248 0 10020 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 63108
[startup+6.3004 s]
/proc/loadavg: 2.11 2.09 1.98 3/180 10916
/proc/meminfo: memFree=31383968/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=0.28 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1816 10746 0 0 2 1 22 3 20 0 1 0 384950819 3817472 534 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 534 167 443 0 485 0
[pid=10915] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10915/stat : 10915 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384950849 9367552 266 33554432000 4194304 5064252 140737149489936 140737149488848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10915/statm: 2287 266 226 213 0 72 0
[pid=10916] ppid=10915 vsize=59940 CPUtime=5.98 cores=0,2,4,6
/proc/10916/stat : 10916 (glucose) R 10915 10877 31309 0 -1 4202496 4908 0 0 0 596 2 0 0 20 0 1 0 384950850 61378560 11990 33554432000 4194304 5208918 140733906814000 140733906811944 4229479 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10916/statm: 14985 11990 96 248 0 14734 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 81964
[startup+12.7004 s]
/proc/loadavg: 2.18 2.11 1.98 3/179 10928
/proc/meminfo: memFree=31424540/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=22380 CPUtime=1.42 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 3675 0 0 0 142 0 0 0 20 0 1 0 384951946 22917120 3443 33554432000 4194304 5208918 140733410062000 140733410060152 4229103 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10924/statm: 5595 3443 96 248 0 5344 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 44404
[startup+25.5004 s]
/proc/loadavg: 2.15 2.10 1.98 3/181 10931
/proc/meminfo: memFree=31308956/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=59940 CPUtime=14.22 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 7694 0 0 0 1419 3 0 0 20 0 1 0 384951946 61378560 14302 33554432000 4194304 5208918 140733410062000 140733410059944 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10924/statm: 14985 14302 104 248 0 14734 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 81964
[startup+51.1004 s]
/proc/loadavg: 2.10 2.09 1.98 3/181 10938
/proc/meminfo: memFree=31331464/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=59940 CPUtime=39.81 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 8824 0 0 0 3975 6 0 0 20 0 1 0 384951946 61378560 14553 33554432000 4194304 5208918 140733410062000 140733410060088 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10924/statm: 14985 14553 104 248 0 14734 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 81964
[startup+102.307 s]
/proc/loadavg: 2.04 2.07 1.98 3/181 10945
/proc/meminfo: memFree=31315876/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=71732 CPUtime=91.02 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 10726 0 0 0 9089 13 0 0 20 0 1 0 384951946 73453568 17501 33554432000 4194304 5208918 140733410062000 140733410059992 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10924/statm: 17933 17501 104 248 0 17682 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 93756
[startup+162.3 s]
/proc/loadavg: 2.01 2.06 1.98 3/181 10966
/proc/meminfo: memFree=31339324/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11636
/proc/meminfo: memFree=30728256/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=201960 CPUtime=1410.71 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 86941 0 0 0 140903 168 0 0 20 0 1 0 384951946 206807040 46159 33554432000 4194304 5208918 140733410062000 140733410060152 4229532 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10924/statm: 50490 46159 104 248 0 50239 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 223984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11636
/proc/meminfo: memFree=30791356/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=151872 CPUtime=1470.69 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 89841 0 0 0 146895 174 0 0 20 0 1 0 384951946 155516928 31010 33554432000 4194304 5208918 140733410062000 140733410060152 4229528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10924/statm: 37968 31010 104 248 0 37717 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 173896
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11637
/proc/meminfo: memFree=30771220/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=151872 CPUtime=1530.67 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 91792 0 0 0 152889 178 0 0 20 0 1 0 384951946 155516928 35449 33554432000 4194304 5208918 140733410062000 140733410060152 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10924/statm: 37968 35449 104 248 0 37717 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 173896
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 11640
/proc/meminfo: memFree=30742668/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=201960 CPUtime=1590.66 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 94424 0 0 0 158884 182 0 0 20 0 1 0 384951946 206807040 43087 33554432000 4194304 5208918 140733410062000 140733410060152 4229532 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10924/statm: 50490 43087 104 248 0 50239 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 223984
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11640
/proc/meminfo: memFree=30715356/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=201960 CPUtime=1650.64 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 96074 0 0 0 164878 186 0 0 20 0 1 0 384951946 206807040 48761 33554432000 4194304 5208918 140733410062000 140733410060152 4229528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10924/statm: 50490 48761 104 248 0 50239 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 223984
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11640
/proc/meminfo: memFree=30780940/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=151872 CPUtime=1710.62 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 99279 0 0 0 170871 191 0 0 20 0 1 0 384951946 155516928 32889 33554432000 4194304 5208918 140733410062000 140733410060152 4211623 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10924/statm: 37968 32889 104 248 0 37717 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 173896
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11640
/proc/meminfo: memFree=30711372/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=201960 CPUtime=1770.6 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 101377 0 0 0 176865 195 0 0 20 0 1 0 384951946 206807040 49701 33554432000 4194304 5208918 140733410062000 140733410060152 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10924/statm: 50490 49701 104 248 0 50239 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 223984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11640
/proc/meminfo: memFree=30761020/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=151872 CPUtime=1788.81 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 102582 0 0 0 178683 198 0 0 20 0 1 0 384951946 155516928 37424 33554432000 4194304 5208918 140733410062000 140733410060088 4229757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10924/statm: 37968 37424 104 248 0 37717 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 173896
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11640
/proc/meminfo: memFree=30761020/32873852 swapFree=6860/6860
[pid=10877] ppid=10875 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10877/stat : 10877 (npSolver-wbo-I.) S 10875 10877 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384950819 9367552 274 33554432000 4194304 5064252 140734402728784 140734402727696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10877/statm: 2287 274 233 213 0 72 0
[pid=10878] ppid=10877 vsize=3728 CPUtime=11.23 cores=0,2,4,6
/proc/10878/stat : 10878 (npSolver-wbo) S 10877 10877 31309 0 -1 4202496 1892 19243 0 0 2 1 1113 7 20 0 1 0 384950819 3817472 536 33554432000 4194304 6006132 140735648021648 140735648013056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 932 536 169 443 0 485 0
[pid=10923] ppid=10878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10923/stat : 10923 (satsolver.sh) S 10878 10877 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384951945 9367552 267 33554432000 4194304 5064252 140733510915440 140733510914352 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10923/statm: 2287 267 226 213 0 72 0
[pid=10924] ppid=10923 vsize=151872 CPUtime=1788.81 cores=0,2,4,6
/proc/10924/stat : 10924 (glucose) R 10923 10877 31309 0 -1 4202496 102582 0 0 0 178683 198 0 0 20 0 1 0 384951946 155516928 37424 33554432000 4194304 5208918 140733410062000 140733410060088 4229757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10924/statm: 37968 37424 104 248 0 37717 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 173896
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1798
CPU system time (s): 2.08768
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 385512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798
system time used= 2.08768
maximum resident set size= 279968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133
involuntary context switches= 2376
runsolver used 4.80027 second user time and 10.2664 second system time
The end