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-3717948-1338258785/watcher-3717948-1338258785 -o /tmp/evaluation-result-3717948-1338258785/solver-3717948-1338258785 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717948-1338258785.wbo
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: 1.61 1.91 1.93 3/173 26877
/proc/meminfo: memFree=30977196/32873844 swapFree=6080/6080
[pid=26877] ppid=26875 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/26877/stat : 26877 (java) R 26875 26877 26215 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 292003085 9515008 175 33554432000 1073741824 1073778376 140735600638624 140735600621352 248790205328 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26877/statm: 2323 175 133 9 0 71 0
[startup+0.036447 s]
/proc/loadavg: 1.61 1.91 1.93 3/173 26877
/proc/meminfo: memFree=30977196/32873844 swapFree=6080/6080
[pid=26877] ppid=26875 vsize=9016616 CPUtime=0.01 cores=0,2,4,6
/proc/26877/stat : 26877 (java) S 26875 26877 26215 0 -1 4202496 2810 0 1 0 1 0 0 0 20 0 10 0 292003085 9233014784 3510 33554432000 1073741824 1073778376 140735980049296 140735980040432 248793563197 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26877/statm: 2254154 3513 1564 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616
[startup+0.10025 s]
/proc/loadavg: 1.61 1.91 1.93 3/173 26877
/proc/meminfo: memFree=30977196/32873844 swapFree=6080/6080
[pid=26877] ppid=26875 vsize=9558416 CPUtime=0.09 cores=0,2,4,6
/proc/26877/stat : 26877 (java) S 26875 26877 26215 0 -1 4202496 4238 0 1 0 8 1 0 0 20 0 18 0 292003085 9787817984 5439 33554432000 1073741824 1073778376 140735980049296 140735980040432 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26877/statm: 2389604 5439 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416
[startup+0.300216 s]
/proc/loadavg: 1.61 1.91 1.93 3/173 26877
/proc/meminfo: memFree=30977196/32873844 swapFree=6080/6080
[pid=26877] ppid=26875 vsize=9558416 CPUtime=0.44 cores=0,2,4,6
/proc/26877/stat : 26877 (java) S 26875 26877 26215 0 -1 4202496 5350 0 1 0 43 1 0 0 20 0 18 0 292003085 9787817984 8315 33554432000 1073741824 1073778376 140735980049296 140735980040432 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26877/statm: 2389604 8315 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558416
[startup+0.700228 s]
/proc/loadavg: 1.61 1.91 1.93 3/173 26877
/proc/meminfo: memFree=30977196/32873844 swapFree=6080/6080
[pid=26877] ppid=26875 vsize=9558416 CPUtime=1.2 cores=0,2,4,6
/proc/26877/stat : 26877 (java) S 26875 26877 26215 0 -1 4202496 7661 0 1 0 115 5 0 0 20 0 18 0 292003085 9787817984 43335 33554432000 1073741824 1073778376 140735980049296 140735980040432 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26877/statm: 2389604 43335 2249 9 0 2380296 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9558416
[startup+1.50069 s]
/proc/loadavg: 1.61 1.91 1.93 3/191 26895
/proc/meminfo: memFree=30707984/32873844 swapFree=6080/6080
[pid=26877] ppid=26875 vsize=9558416 CPUtime=2.33 cores=0,2,4,6
/proc/26877/stat : 26877 (java) S 26875 26877 26215 0 -1 4202496 8413 0 1 0 217 16 0 0 20 0 18 0 292003085 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 140735980040432 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26877/statm: 2389604 92507 2249 9 0 2380296 0
[pid=26877/tid=26879] ppid=26875 vsize=9558416 CPUtime=1.32 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (java) R 26875 26877 26215 0 -1 4202560 2560 0 1 0 128 4 0 0 20 0 18 0 292003086 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758287588616 248793589005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=9558416 CPUtime=0.12 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (java) S 26875 26877 26215 0 -1 4202560 140 0 0 0 9 3 0 0 20 0 18 0 292003087 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758249081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26881] ppid=26875 vsize=9558416 CPUtime=0.02 cores=0,2,4,6
/proc/26877/task/26881/stat : 26881 (java) S 26875 26877 26215 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 292003087 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758248028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26882] ppid=26875 vsize=9558416 CPUtime=0.02 cores=0,2,4,6
/proc/26877/task/26882/stat : 26882 (java) S 26875 26877 26215 0 -1 4202560 37 0 0 0 2 0 0 0 20 0 18 0 292003087 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758246975656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26883] ppid=26875 vsize=9558416 CPUtime=0.03 cores=0,2,4,6
/proc/26877/task/26883/stat : 26883 (java) S 26875 26877 26215 0 -1 4202560 117 0 0 0 2 1 0 0 20 0 18 0 292003087 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758245923112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26884] ppid=26875 vsize=9558416 CPUtime=0.08 cores=0,2,4,6
/proc/26877/task/26884/stat : 26884 (java) S 26875 26877 26215 0 -1 4202560 119 0 0 0 5 3 0 0 20 0 18 0 292003087 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758244871080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26885] ppid=26875 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/26877/task/26885/stat : 26885 (java) S 26875 26877 26215 0 -1 4202560 141 0 0 0 5 2 0 0 20 0 18 0 292003087 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758243818536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26886] ppid=26875 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/26877/task/26886/stat : 26886 (java) S 26875 26877 26215 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 18 0 292003087 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758242765480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26887] ppid=26875 vsize=9558416 CPUtime=0.02 cores=0,2,4,6
/proc/26877/task/26887/stat : 26887 (java) S 26875 26877 26215 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 292003087 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758241712936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26888] ppid=26875 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26888/stat : 26888 (java) S 26875 26877 26215 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 292003089 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758110996840 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26889] ppid=26875 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26889/stat : 26889 (java) S 26875 26877 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 292003089 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758109943160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26890] ppid=26875 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26890/stat : 26890 (java) S 26875 26877 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 292003089 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758108889992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26891] ppid=26875 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26891/stat : 26891 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292003091 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758107838736 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26892] ppid=26875 vsize=9558416 CPUtime=0.2 cores=0,2,4,6
/proc/26877/task/26892/stat : 26892 (java) S 26875 26877 26215 0 -1 4202560 1833 0 0 0 20 0 0 0 20 0 18 0 292003091 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758106786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26893] ppid=26875 vsize=9558416 CPUtime=0.22 cores=0,2,4,6
/proc/26877/task/26893/stat : 26893 (java) S 26875 26877 26215 0 -1 4202560 2027 0 0 0 22 0 0 0 20 0 18 0 292003091 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758105734072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26894] ppid=26875 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26894/stat : 26894 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292003091 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758104681208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26895] ppid=26875 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26895/stat : 26895 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292003091 9787817984 92507 33554432000 1073741824 1073778376 140735980049296 139758103628872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 9558416
[startup+3.10062 s]
/proc/loadavg: 1.61 1.91 1.93 3/192 26896
/proc/meminfo: memFree=30467576/32873844 swapFree=6080/6080
[pid=26877] ppid=26875 vsize=9624980 CPUtime=4.67 cores=0,2,4,6
/proc/26877/stat : 26877 (java) S 26875 26877 26215 0 -1 4202496 12104 0 1 0 450 17 0 0 20 0 19 0 292003085 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 140735980040432 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26877/statm: 2406245 93855 2268 9 0 2396937 0
[pid=26877/tid=26879] ppid=26875 vsize=9624980 CPUtime=2.91 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (java) R 26875 26877 26215 0 -1 4202560 2573 0 1 0 287 4 0 0 20 0 19 0 292003086 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758287587928 139758119197558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (java) S 26875 26877 26215 0 -1 4202560 140 0 0 0 9 3 0 0 20 0 19 0 292003087 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758249081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26881] ppid=26875 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/26877/task/26881/stat : 26881 (java) S 26875 26877 26215 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 292003087 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758248028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26882] ppid=26875 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/26877/task/26882/stat : 26882 (java) S 26875 26877 26215 0 -1 4202560 37 0 0 0 2 0 0 0 20 0 19 0 292003087 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758246975656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26883] ppid=26875 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/26877/task/26883/stat : 26883 (java) S 26875 26877 26215 0 -1 4202560 117 0 0 0 2 1 0 0 20 0 19 0 292003087 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758245923112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26884] ppid=26875 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/26877/task/26884/stat : 26884 (java) S 26875 26877 26215 0 -1 4202560 119 0 0 0 5 3 0 0 20 0 19 0 292003087 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758244871080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26885] ppid=26875 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/26877/task/26885/stat : 26885 (java) S 26875 26877 26215 0 -1 4202560 141 0 0 0 5 2 0 0 20 0 19 0 292003087 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758243818536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26886] ppid=26875 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/26877/task/26886/stat : 26886 (java) S 26875 26877 26215 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 19 0 292003087 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758242765480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26887] ppid=26875 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/26877/task/26887/stat : 26887 (java) S 26875 26877 26215 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 292003087 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758241712936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26888] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26888/stat : 26888 (java) S 26875 26877 26215 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758110996840 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26889] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26889/stat : 26889 (java) S 26875 26877 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758109943160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26890] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26890/stat : 26890 (java) S 26875 26877 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758108889992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26891] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26891/stat : 26891 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758107838736 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26892] ppid=26875 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/26877/task/26892/stat : 26892 (java) S 26875 26877 26215 0 -1 4202560 2990 0 0 0 47 0 0 0 20 0 19 0 292003091 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758106786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26893] ppid=26875 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/26877/task/26893/stat : 26893 (java) S 26875 26877 26215 0 -1 4202560 4539 0 0 0 69 0 0 0 20 0 19 0 292003091 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758105734072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26894] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26894/stat : 26894 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758104681208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26895] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26895/stat : 26895 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139758103628872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26896] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26896/stat : 26896 (java) S 26875 26877 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292003270 9855979520 93855 33554432000 1073741824 1073778376 140735980049296 139757094954024 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 9624980
[startup+6.30063 s]
/proc/loadavg: 1.64 1.91 1.93 3/212 26923
/proc/meminfo: memFree=29329204/32873844 swapFree=6080/6080
[pid=26877] ppid=26875 vsize=9624980 CPUtime=8.25 cores=0,2,4,6
/proc/26877/stat : 26877 (java) S 26875 26877 26215 0 -1 4202496 12344 0 1 0 797 28 0 0 20 0 19 0 292003085 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 140735980040432 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26877/statm: 2406245 116172 2268 9 0 2396937 0
[pid=26877/tid=26879] ppid=26875 vsize=9624980 CPUtime=5.99 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (java) R 26875 26877 26215 0 -1 4202560 2576 0 1 0 595 4 0 0 20 0 19 0 292003086 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758287589624 139758119197523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (java) S 26875 26877 26215 0 -1 4202560 148 0 0 0 11 3 0 0 20 0 19 0 292003087 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758249081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26881] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26881/stat : 26881 (java) S 26875 26877 26215 0 -1 4202560 42 0 0 0 5 0 0 0 20 0 19 0 292003087 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758248028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26882] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26882/stat : 26882 (java) S 26875 26877 26215 0 -1 4202560 50 0 0 0 5 0 0 0 20 0 19 0 292003087 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758246975656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26883] ppid=26875 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/26877/task/26883/stat : 26883 (java) S 26875 26877 26215 0 -1 4202560 175 0 0 0 10 4 0 0 20 0 19 0 292003087 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758245923112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26884] ppid=26875 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/26877/task/26884/stat : 26884 (java) S 26875 26877 26215 0 -1 4202560 159 0 0 0 10 3 0 0 20 0 19 0 292003087 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758244871080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26885] ppid=26875 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/26877/task/26885/stat : 26885 (java) S 26875 26877 26215 0 -1 4202560 162 0 0 0 9 4 0 0 20 0 19 0 292003087 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758243818536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26886] ppid=26875 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/26877/task/26886/stat : 26886 (java) S 26875 26877 26215 0 -1 4202560 90 0 0 0 13 5 0 0 20 0 19 0 292003087 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758242765480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26887] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26887/stat : 26887 (java) S 26875 26877 26215 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 19 0 292003087 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758241712936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26888] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26888/stat : 26888 (java) S 26875 26877 26215 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758110996840 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26889] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26889/stat : 26889 (java) S 26875 26877 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758109943160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26890] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26890/stat : 26890 (java) S 26875 26877 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758108889992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26891] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26891/stat : 26891 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758107838736 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26892] ppid=26875 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/26877/task/26892/stat : 26892 (java) S 26875 26877 26215 0 -1 4202560 2990 0 0 0 48 0 0 0 20 0 19 0 292003091 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758106786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26893] ppid=26875 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/26877/task/26893/stat : 26893 (java) S 26875 26877 26215 0 -1 4202560 4542 0 0 0 73 0 0 0 20 0 19 0 292003091 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758105734072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26894] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26894/stat : 26894 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758104681208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26895] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26895/stat : 26895 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139758103628872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26896] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26896/stat : 26896 (java) S 26875 26877 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292003270 9855979520 116172 33554432000 1073741824 1073778376 140735980049296 139757094954024 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 9624980
Solver just ended. Dumping a history of the last processes samples
[startup+7.80064 s]
################
# More data... #
################
/proc/26877/task/26880/stat : 26880 (java) S 26875 26877 26215 0 -1 4202560 148 0 0 0 11 3 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758249081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26881] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26881/stat : 26881 (java) S 26875 26877 26215 0 -1 4202560 42 0 0 0 5 0 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758248028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26882] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26882/stat : 26882 (java) S 26875 26877 26215 0 -1 4202560 50 0 0 0 5 0 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758246975656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26883] ppid=26875 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/26877/task/26883/stat : 26883 (java) S 26875 26877 26215 0 -1 4202560 175 0 0 0 10 4 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758245923112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26884] ppid=26875 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/26877/task/26884/stat : 26884 (java) S 26875 26877 26215 0 -1 4202560 159 0 0 0 10 3 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758244871080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26885] ppid=26875 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/26877/task/26885/stat : 26885 (java) S 26875 26877 26215 0 -1 4202560 162 0 0 0 9 4 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758243818536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26886] ppid=26875 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/26877/task/26886/stat : 26886 (java) S 26875 26877 26215 0 -1 4202560 90 0 0 0 13 5 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758242765480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26887] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26887/stat : 26887 (java) S 26875 26877 26215 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758241712936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26888] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26888/stat : 26888 (java) S 26875 26877 26215 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758110996840 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26889] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26889/stat : 26889 (java) S 26875 26877 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758109943160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26890] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26890/stat : 26890 (java) S 26875 26877 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758108889992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26891] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26891/stat : 26891 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758107838736 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26892] ppid=26875 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/26877/task/26892/stat : 26892 (java) S 26875 26877 26215 0 -1 4202560 3018 0 0 0 52 0 0 0 20 0 19 0 292003091 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758106786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26893] ppid=26875 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/26877/task/26893/stat : 26893 (java) S 26875 26877 26215 0 -1 4202560 4542 0 0 0 73 0 0 0 20 0 19 0 292003091 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758105734072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26894] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26894/stat : 26894 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758104681208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26895] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26895/stat : 26895 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758103628872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26896] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26896/stat : 26896 (java) S 26875 26877 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292003270 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139757094954024 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 9624980
[startup+8.60068 s]
/proc/loadavg: 1.67 1.91 1.93 3/212 26923
/proc/meminfo: memFree=28155904/32873844 swapFree=6080/6080
[pid=26877] ppid=26875 vsize=9624980 CPUtime=10.6 cores=0,2,4,6
/proc/26877/stat : 26877 (java) S 26875 26877 26215 0 -1 4202496 12374 0 1 0 1032 28 0 0 20 0 19 0 292003085 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 140735980040432 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26877/statm: 2406245 116174 2270 9 0 2396937 0
[pid=26877/tid=26879] ppid=26875 vsize=9624980 CPUtime=8.28 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (java) R 26875 26877 26215 0 -1 4202560 2578 0 1 0 824 4 0 0 20 0 19 0 292003086 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758287587944 139758119028810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (java) S 26875 26877 26215 0 -1 4202560 148 0 0 0 11 3 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758249081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26881] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26881/stat : 26881 (java) S 26875 26877 26215 0 -1 4202560 42 0 0 0 5 0 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758248028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26882] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26882/stat : 26882 (java) S 26875 26877 26215 0 -1 4202560 50 0 0 0 5 0 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758246975656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26883] ppid=26875 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/26877/task/26883/stat : 26883 (java) S 26875 26877 26215 0 -1 4202560 175 0 0 0 10 4 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758245923112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26884] ppid=26875 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/26877/task/26884/stat : 26884 (java) S 26875 26877 26215 0 -1 4202560 159 0 0 0 10 3 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758244871080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26885] ppid=26875 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/26877/task/26885/stat : 26885 (java) S 26875 26877 26215 0 -1 4202560 162 0 0 0 9 4 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758243818536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26886] ppid=26875 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/26877/task/26886/stat : 26886 (java) S 26875 26877 26215 0 -1 4202560 90 0 0 0 13 5 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758242765480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26887] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26887/stat : 26887 (java) S 26875 26877 26215 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 19 0 292003087 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758241712936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26888] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26888/stat : 26888 (java) S 26875 26877 26215 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758110996840 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26889] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26889/stat : 26889 (java) S 26875 26877 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758109943160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26890] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26890/stat : 26890 (java) S 26875 26877 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758108889992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26891] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26891/stat : 26891 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758107838736 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26892] ppid=26875 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/26877/task/26892/stat : 26892 (java) S 26875 26877 26215 0 -1 4202560 3018 0 0 0 52 0 0 0 20 0 19 0 292003091 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758106786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26893] ppid=26875 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/26877/task/26893/stat : 26893 (java) S 26875 26877 26215 0 -1 4202560 4542 0 0 0 73 0 0 0 20 0 19 0 292003091 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758105734072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26894] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26894/stat : 26894 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758104681208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26895] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26895/stat : 26895 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139758103628872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26896] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26896/stat : 26896 (java) S 26875 26877 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292003270 9855979520 116174 33554432000 1073741824 1073778376 140735980049296 139757094954024 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 10.6
Current children cumulated vsize (KiB) 9624980
[startup+9.00069 s]
/proc/loadavg: 1.67 1.91 1.93 3/212 26923
/proc/meminfo: memFree=28155904/32873844 swapFree=6080/6080
[pid=26877] ppid=26875 vsize=9624980 CPUtime=11.02 cores=0,2,4,6
/proc/26877/stat : 26877 (java) S 26875 26877 26215 0 -1 4202496 12563 0 1 0 1074 28 0 0 20 0 19 0 292003085 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 140735980040432 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26877/statm: 2406245 118407 2270 9 0 2396937 0
[pid=26877/tid=26879] ppid=26875 vsize=9624980 CPUtime=8.68 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (java) R 26875 26877 26215 0 -1 4202560 2765 0 1 0 864 4 0 0 20 0 19 0 292003086 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758287581632 139758119337072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (java) S 26875 26877 26215 0 -1 4202560 148 0 0 0 11 3 0 0 20 0 19 0 292003087 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758249081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26881] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26881/stat : 26881 (java) S 26875 26877 26215 0 -1 4202560 42 0 0 0 5 0 0 0 20 0 19 0 292003087 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758248028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26882] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26882/stat : 26882 (java) S 26875 26877 26215 0 -1 4202560 50 0 0 0 5 0 0 0 20 0 19 0 292003087 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758246975656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26883] ppid=26875 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/26877/task/26883/stat : 26883 (java) S 26875 26877 26215 0 -1 4202560 175 0 0 0 10 4 0 0 20 0 19 0 292003087 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758245923112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26884] ppid=26875 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/26877/task/26884/stat : 26884 (java) S 26875 26877 26215 0 -1 4202560 159 0 0 0 10 3 0 0 20 0 19 0 292003087 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758244871080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26885] ppid=26875 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/26877/task/26885/stat : 26885 (java) S 26875 26877 26215 0 -1 4202560 162 0 0 0 9 4 0 0 20 0 19 0 292003087 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758243818536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26886] ppid=26875 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/26877/task/26886/stat : 26886 (java) S 26875 26877 26215 0 -1 4202560 90 0 0 0 13 5 0 0 20 0 19 0 292003087 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758242765480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26887] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26887/stat : 26887 (java) S 26875 26877 26215 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 19 0 292003087 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758241712936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26888] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26888/stat : 26888 (java) S 26875 26877 26215 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758110996840 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26889] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26889/stat : 26889 (java) S 26875 26877 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758109943160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26890] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26890/stat : 26890 (java) S 26875 26877 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758108889992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26891] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26891/stat : 26891 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758107838736 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26892] ppid=26875 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/26877/task/26892/stat : 26892 (java) S 26875 26877 26215 0 -1 4202560 3018 0 0 0 53 0 0 0 20 0 19 0 292003091 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758106786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26893] ppid=26875 vsize=9624980 CPUtime=0.75 cores=0,2,4,6
/proc/26877/task/26893/stat : 26893 (java) S 26875 26877 26215 0 -1 4202560 4544 0 0 0 75 0 0 0 20 0 19 0 292003091 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758105734072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26894] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26894/stat : 26894 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758104681208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26895] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26895/stat : 26895 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139758103628872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26896] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26896/stat : 26896 (java) S 26875 26877 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292003270 9855979520 118407 33554432000 1073741824 1073778376 140735980049296 139757094954024 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.02
Current children cumulated vsize (KiB) 9624980
[startup+9.1007 s]
/proc/loadavg: 1.67 1.91 1.93 3/212 26923
/proc/meminfo: memFree=28155904/32873844 swapFree=6080/6080
[pid=26877] ppid=26875 vsize=9624980 CPUtime=11.12 cores=0,2,4,6
/proc/26877/stat : 26877 (java) S 26875 26877 26215 0 -1 4202496 12597 0 1 0 1083 29 0 0 20 0 19 0 292003085 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 140735980040432 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26877/statm: 2406245 135815 2270 9 0 2396937 0
[pid=26877/tid=26879] ppid=26875 vsize=9624980 CPUtime=8.78 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (java) R 26875 26877 26215 0 -1 4202560 2799 0 1 0 873 5 0 0 20 0 19 0 292003086 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758287581632 139758119285532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (java) S 26875 26877 26215 0 -1 4202560 148 0 0 0 11 3 0 0 20 0 19 0 292003087 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758249081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26881] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26881/stat : 26881 (java) S 26875 26877 26215 0 -1 4202560 42 0 0 0 5 0 0 0 20 0 19 0 292003087 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758248028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26882] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26882/stat : 26882 (java) S 26875 26877 26215 0 -1 4202560 50 0 0 0 5 0 0 0 20 0 19 0 292003087 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758246975656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26883] ppid=26875 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/26877/task/26883/stat : 26883 (java) S 26875 26877 26215 0 -1 4202560 175 0 0 0 10 4 0 0 20 0 19 0 292003087 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758245923112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26884] ppid=26875 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/26877/task/26884/stat : 26884 (java) S 26875 26877 26215 0 -1 4202560 159 0 0 0 10 3 0 0 20 0 19 0 292003087 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758244871080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26885] ppid=26875 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/26877/task/26885/stat : 26885 (java) S 26875 26877 26215 0 -1 4202560 162 0 0 0 9 4 0 0 20 0 19 0 292003087 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758243818536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26886] ppid=26875 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/26877/task/26886/stat : 26886 (java) S 26875 26877 26215 0 -1 4202560 90 0 0 0 13 5 0 0 20 0 19 0 292003087 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758242765480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26887] ppid=26875 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/26877/task/26887/stat : 26887 (java) S 26875 26877 26215 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 19 0 292003087 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758241712936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26877/tid=26888] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26888/stat : 26888 (java) S 26875 26877 26215 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758110996840 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26889] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26889/stat : 26889 (java) S 26875 26877 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758109943160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26890] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26890/stat : 26890 (java) S 26875 26877 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 292003089 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758108889992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26891] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26891/stat : 26891 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758107838736 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26892] ppid=26875 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/26877/task/26892/stat : 26892 (java) S 26875 26877 26215 0 -1 4202560 3018 0 0 0 53 0 0 0 20 0 19 0 292003091 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758106786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26893] ppid=26875 vsize=9624980 CPUtime=0.75 cores=0,2,4,6
/proc/26877/task/26893/stat : 26893 (java) S 26875 26877 26215 0 -1 4202560 4544 0 0 0 75 0 0 0 20 0 19 0 292003091 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758105734072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26894] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26894/stat : 26894 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758104681208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26877/tid=26895] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26895/stat : 26895 (java) S 26875 26877 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292003091 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139758103628872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26877/tid=26896] ppid=26875 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26896/stat : 26896 (java) S 26875 26877 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292003270 9855979520 135815 33554432000 1073741824 1073778376 140735980049296 139757094954024 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.12
Current children cumulated vsize (KiB) 9624980
Child status: 30
Real time (s): 9.14963
CPU time (s): 11.1923
CPU user time (s): 10.8094
CPU system time (s): 0.382941
CPU usage (%): 122.325
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8094
system time used= 0.382941
maximum resident set size= 551508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12618
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 626
involuntary context switches= 325
runsolver used 0.040993 second user time and 0.081987 second system time
The end