runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (7233 MiB free)
memory of node 1: 16384 MiB (5464 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305223-1534140847/watcher-4305223-1534140847 -o /tmp/evaluation-result-4305223-1534140847/solver-4305223-1534140847 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534135902-2549 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1069141159 HOME/instance-4305223-1534140847.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3323, runsolver pid=3320
[startup+0.100035 s]*
/proc/loadavg: 1.63 1.54 1.42 5/206 3409
/proc/meminfo: memFree=12992756/32770624 swapFree=67108496/67108860
[pid=3323] ppid=3320 vsize=10005480 memory=14912 CPUtime=0.1 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3320 3323 2518 0 -1 1077944320 4394 13166 0 0 1 1 5 3 20 0 6 0 231647876 10245611520 3728 33554432000 4194304 4196468 140735486151888 140735486134432 140136900656887 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
/proc/3323/statm: 2501370 3728 1934 1 0 2489808 0
[pid=3323/tid=3405] ppid=3320 vsize=10005480 memory=-8960322420946026437 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3405/stat : 3405 (java) R 3320 3323 2518 0 -1 4202560 2243 13166 0 0 0 0 5 3 20 0 6 0 231647885 10245611520 3794 33554432000 4194304 4196468 140735486151888 140136872493648 140136884737374 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3406] ppid=3320 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3406/stat : 3406 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 6 0 231647886 10245611520 3794 33554432000 4194304 4196468 140735486151888 140136904899344 140136900667093 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3407] ppid=3320 vsize=10005480 memory=139755220244096 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3407/stat : 3407 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 6 0 231647886 10245611520 3794 33554432000 4194304 4196468 140735486151888 140136798825360 140136900667093 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3408] ppid=3320 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3408/stat : 3408 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 6 0 231647886 10245611520 4306 33554432000 4194304 4196468 140735486151888 140136438934544 140136900667093 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3409] ppid=3320 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3409/stat : 3409 (java) S 3320 3323 2518 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 6 0 231647886 10245611520 4306 33554432000 4194304 4196468 140735486151888 140136437882000 140136900667093 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14912 KiB
[startup+0.209877 s]*
/proc/loadavg: 1.63 1.54 1.42 3/215 3418
/proc/meminfo: memFree=12949900/32770624 swapFree=67108496/67108860
[pid=3323] ppid=3320 vsize=10982744 memory=45968 CPUtime=0.26 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3320 3323 2518 0 -1 1077944320 7620 13166 0 0 16 2 5 3 20 0 15 0 231647876 11246329856 11492 33554432000 4194304 4196468 140735486151888 140735486134432 140136900656887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
/proc/3323/statm: 2745686 11492 2983 1 0 2708109 0
[pid=3323/tid=3405] ppid=3320 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3323/task/3405/stat : 3405 (java) R 3320 3323 2518 0 -1 4202560 4457 13166 0 0 10 1 5 3 20 0 15 0 231647885 11246329856 11756 33554432000 4194304 4196468 140735486151888 140136872475128 140136880932594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3406] ppid=3320 vsize=10982744 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3406/stat : 3406 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647886 11246329856 11756 33554432000 4194304 4196468 140735486151888 140136904899344 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3407] ppid=3320 vsize=10982744 memory=288370131371955840 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3407/stat : 3407 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647886 11246329856 11756 33554432000 4194304 4196468 140735486151888 140136798825360 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3408] ppid=3320 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3408/stat : 3408 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647886 11246329856 11756 33554432000 4194304 4196468 140735486151888 140136438934544 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3409] ppid=3320 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3409/stat : 3409 (java) S 3320 3323 2518 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 231647886 11246329856 11756 33554432000 4194304 4196468 140735486151888 140136437882000 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3410] ppid=3320 vsize=10982744 memory=139755220244096 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3410/stat : 3410 (java) S 3320 3323 2518 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 231647887 11246329856 11822 33554432000 4194304 4196468 140735486151888 140136326092784 140136900668034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3411] ppid=3320 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3411/stat : 3411 (java) S 3320 3323 2518 0 -1 1077944384 13 13166 0 0 0 0 5 3 20 0 15 0 231647888 11246329856 11822 33554432000 4194304 4196468 140735486151888 140135723164576 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3412] ppid=3320 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3412/stat : 3412 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647888 11246329856 11822 33554432000 4194304 4196468 140735486151888 140135521838064 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3413] ppid=3320 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3413/stat : 3413 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647890 11246329856 11822 33554432000 4194304 4196468 140735486151888 140135214438608 140136900675483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3414] ppid=3320 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3323/task/3414/stat : 3414 (java) S 3320 3323 2518 0 -1 1077944384 548 13166 0 0 1 0 5 3 20 0 15 0 231647890 11246329856 11822 33554432000 4194304 4196468 140735486151888 140136325040624 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3415] ppid=3320 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/3323/task/3415/stat : 3415 (java) S 3320 3323 2518 0 -1 1077944384 68 13166 0 0 1 0 5 3 20 0 15 0 231647890 11246329856 11822 33554432000 4194304 4196468 140735486151888 140136323988080 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3416] ppid=3320 vsize=10982744 memory=139755220244096 CPUtime=0.11 cores=0,2,4,6
/proc/3323/task/3416/stat : 3416 (java) S 3320 3323 2518 0 -1 1077944384 609 13166 0 0 3 0 5 3 20 0 15 0 231647890 11246329856 11822 33554432000 4194304 4196468 140735486151888 140136322935536 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3417] ppid=3320 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3417/stat : 3417 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647891 11246329856 11822 33554432000 4194304 4196468 140735486151888 140134783642720 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3418] ppid=3320 vsize=10982744 memory=139755220244096 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3418/stat : 3418 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647891 11246329856 11822 33554432000 4194304 4196468 140735486151888 140136321882416 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45968 KiB
[startup+0.310218 s]*
/proc/loadavg: 1.63 1.54 1.42 3/215 3418
/proc/meminfo: memFree=12930364/32770624 swapFree=67108496/67108860
[pid=3323] ppid=3320 vsize=10983192 memory=57936 CPUtime=0.38 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3320 3323 2518 0 -1 1077944320 10461 13166 0 0 27 3 5 3 20 0 15 0 231647876 11246788608 14484 33554432000 4194304 4196468 140735486151888 140735486134432 140136900656887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
/proc/3323/statm: 2745798 14484 3102 1 0 2708109 0
[pid=3323/tid=3405] ppid=3320 vsize=10983192 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/3323/task/3405/stat : 3405 (java) R 3320 3323 2518 0 -1 4202560 7009 13166 0 0 19 2 5 3 20 0 15 0 231647885 11246788608 14484 33554432000 4194304 4196468 140735486151888 140136872468896 140136877881040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3406] ppid=3320 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3406/stat : 3406 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647886 11246788608 14484 33554432000 4194304 4196468 140735486151888 140136904899344 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3407] ppid=3320 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3407/stat : 3407 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647886 11246788608 14484 33554432000 4194304 4196468 140735486151888 140136798825360 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3408] ppid=3320 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3408/stat : 3408 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647886 11246788608 14484 33554432000 4194304 4196468 140735486151888 140136438934544 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3409] ppid=3320 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3409/stat : 3409 (java) S 3320 3323 2518 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 231647886 11246788608 14484 33554432000 4194304 4196468 140735486151888 140136437882000 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3410] ppid=3320 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3410/stat : 3410 (java) S 3320 3323 2518 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 231647887 11246788608 14484 33554432000 4194304 4196468 140735486151888 140136326092784 140136900668034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3411] ppid=3320 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3411/stat : 3411 (java) S 3320 3323 2518 0 -1 1077944384 13 13166 0 0 0 0 5 3 20 0 15 0 231647888 11246788608 14484 33554432000 4194304 4196468 140735486151888 140135723164576 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3412] ppid=3320 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3412/stat : 3412 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647888 11246788608 14484 33554432000 4194304 4196468 140735486151888 140135521838064 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3413] ppid=3320 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3413/stat : 3413 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647890 11246788608 14484 33554432000 4194304 4196468 140735486151888 140135214438608 140136900675483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3414] ppid=3320 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3323/task/3414/stat : 3414 (java) S 3320 3323 2518 0 -1 1077944384 551 13166 0 0 1 0 5 3 20 0 15 0 231647890 11246788608 14484 33554432000 4194304 4196468 140735486151888 140136325040624 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3415] ppid=3320 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/3323/task/3415/stat : 3415 (java) S 3320 3323 2518 0 -1 1077944384 69 13166 0 0 1 0 5 3 20 0 15 0 231647890 11246788608 14484 33554432000 4194304 4196468 140735486151888 140136323988080 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3416] ppid=3320 vsize=10983192 memory=139755220244096 CPUtime=0.13 cores=0,2,4,6
/proc/3323/task/3416/stat : 3416 (java) S 3320 3323 2518 0 -1 1077944384 615 13166 0 0 5 0 5 3 20 0 15 0 231647890 11246788608 14484 33554432000 4194304 4196468 140735486151888 140136322935536 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3417] ppid=3320 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3417/stat : 3417 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647891 11246788608 14484 33554432000 4194304 4196468 140735486151888 140134783642720 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3418] ppid=3320 vsize=10983192 memory=139755220244096 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3418/stat : 3418 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647891 11246788608 14484 33554432000 4194304 4196468 140735486151888 140136321882416 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57936 KiB
[startup+0.700711 s]
/proc/loadavg: 1.63 1.54 1.42 5/215 3418
/proc/meminfo: memFree=12909492/32770624 swapFree=67108496/67108860
[pid=3323] ppid=3320 vsize=10983192 memory=90608 CPUtime=0.99 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3320 3323 2518 0 -1 1077944320 16752 13166 0 0 85 6 5 3 20 0 15 0 231647876 11246788608 22652 33554432000 4194304 4196468 140735486151888 140735486134432 140136900656887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
/proc/3323/statm: 2745798 22652 3238 1 0 2708109 0
[pid=3323/tid=3405] ppid=3320 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3323/task/3405/stat : 3405 (java) R 3320 3323 2518 0 -1 4202560 12232 13166 0 0 55 4 5 3 20 0 15 0 231647885 11246788608 22652 33554432000 4194304 4196468 140735486151888 140136872477712 140136884737374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3406] ppid=3320 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3406/stat : 3406 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647886 11246788608 22652 33554432000 4194304 4196468 140735486151888 140136904899344 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3407] ppid=3320 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3407/stat : 3407 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647886 11246788608 22652 33554432000 4194304 4196468 140735486151888 140136798825360 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3408] ppid=3320 vsize=10983192 memory=139755081839408 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3408/stat : 3408 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647886 11246788608 22652 33554432000 4194304 4196468 140735486151888 140136438934544 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3409] ppid=3320 vsize=10983192 memory=139758235812430 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3409/stat : 3409 (java) S 3320 3323 2518 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 231647886 11246788608 22652 33554432000 4194304 4196468 140735486151888 140136437882000 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3410] ppid=3320 vsize=10983192 memory=1380 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3410/stat : 3410 (java) S 3320 3323 2518 0 -1 1077944384 6 13166 0 0 0 0 5 3 20 0 15 0 231647887 11246788608 22652 33554432000 4194304 4196468 140735486151888 140136326092784 140136900668034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3411] ppid=3320 vsize=10983192 memory=7014751519683728977 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3411/stat : 3411 (java) S 3320 3323 2518 0 -1 1077944384 13 13166 0 0 0 0 5 3 20 0 15 0 231647888 11246788608 22652 33554432000 4194304 4196468 140735486151888 140135723164576 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3412] ppid=3320 vsize=10983192 memory=6082220498193837160 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3412/stat : 3412 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647888 11246788608 22652 33554432000 4194304 4196468 140735486151888 140135521838064 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3413] ppid=3320 vsize=10983192 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3413/stat : 3413 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647890 11246788608 22652 33554432000 4194304 4196468 140735486151888 140135214438608 140136900675483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3414] ppid=3320 vsize=10983192 memory=14204 CPUtime=0.17 cores=0,2,4,6
/proc/3323/task/3414/stat : 3414 (java) S 3320 3323 2518 0 -1 1077944384 1147 13166 0 0 9 0 5 3 20 0 15 0 231647890 11246788608 22652 33554432000 4194304 4196468 140735486151888 140136325040624 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3415] ppid=3320 vsize=10983192 memory=35248 CPUtime=0.15 cores=0,2,4,6
/proc/3323/task/3415/stat : 3415 (java) S 3320 3323 2518 0 -1 1077944384 458 13166 0 0 7 0 5 3 20 0 15 0 231647890 11246788608 22652 33554432000 4194304 4196468 140735486151888 140136323988080 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3416] ppid=3320 vsize=10983192 memory=1180 CPUtime=0.21 cores=0,2,4,6
/proc/3323/task/3416/stat : 3416 (java) R 3320 3323 2518 0 -1 4202560 694 13166 0 0 13 0 5 3 20 0 15 0 231647890 11246788608 22652 33554432000 4194304 4196468 140735486151888 140136322935536 140136879323340 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3417] ppid=3320 vsize=10983192 memory=504 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3417/stat : 3417 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647891 11246788608 22652 33554432000 4194304 4196468 140735486151888 140134783642720 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3418] ppid=3320 vsize=10983192 memory=1720 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3418/stat : 3418 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647891 11246788608 22652 33554432000 4194304 4196468 140735486151888 140136321882416 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90608 KiB
[startup+1.50078 s]
/proc/loadavg: 1.63 1.54 1.42 5/215 3418
/proc/meminfo: memFree=12816172/32770624 swapFree=67108496/67108860
[pid=3323] ppid=3320 vsize=10998092 memory=188308 CPUtime=2.84 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3320 3323 2518 0 -1 1077944320 26230 13166 0 0 265 11 5 3 20 0 15 0 231647876 11262046208 47077 33554432000 4194304 4196468 140735486151888 140735486134432 140136900656887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
/proc/3323/statm: 2749523 47077 3475 1 0 2711181 0
[pid=3323/tid=3405] ppid=3320 vsize=10998092 memory=67132 CPUtime=1.43 cores=0,2,4,6
/proc/3323/task/3405/stat : 3405 (java) R 3320 3323 2518 0 -1 4202560 17374 13166 0 0 128 7 5 3 20 0 15 0 231647885 11262046208 47077 33554432000 4194304 4196468 140735486151888 140136872474048 140136882221504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3406] ppid=3320 vsize=10998092 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3406/stat : 3406 (java) S 3320 3323 2518 0 -1 1077944384 179 13166 0 0 0 0 5 3 20 0 15 0 231647886 11262046208 47077 33554432000 4194304 4196468 140735486151888 140136904899344 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3407] ppid=3320 vsize=10998092 memory=279510163710112 CPUtime=0.09 cores=0,2,4,6
/proc/3323/task/3407/stat : 3407 (java) S 3320 3323 2518 0 -1 1077944384 17 13166 0 0 1 0 5 3 20 0 15 0 231647886 11262046208 47077 33554432000 4194304 4196468 140735486151888 140136798825360 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3408] ppid=3320 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3323/task/3408/stat : 3408 (java) S 3320 3323 2518 0 -1 1077944384 13 13166 0 0 1 0 5 3 20 0 15 0 231647886 11262046208 47077 33554432000 4194304 4196468 140735486151888 140136438934544 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3409] ppid=3320 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3323/task/3409/stat : 3409 (java) S 3320 3323 2518 0 -1 1077944384 66 13166 0 0 1 0 5 3 20 0 15 0 231647886 11262046208 47077 33554432000 4194304 4196468 140735486151888 140136437882000 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3410] ppid=3320 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3323/task/3410/stat : 3410 (java) S 3320 3323 2518 0 -1 1077944384 48 13166 0 0 1 0 5 3 20 0 15 0 231647887 11262046208 47077 33554432000 4194304 4196468 140735486151888 140136326092784 140136900668034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3411] ppid=3320 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3411/stat : 3411 (java) S 3320 3323 2518 0 -1 1077944384 14 13166 0 0 0 0 5 3 20 0 15 0 231647888 11262046208 47077 33554432000 4194304 4196468 140735486151888 140135723164576 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3412] ppid=3320 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3412/stat : 3412 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647888 11262046208 47077 33554432000 4194304 4196468 140735486151888 140135521838064 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3413] ppid=3320 vsize=10998092 memory=-5921431000321636112 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3413/stat : 3413 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647890 11262046208 47077 33554432000 4194304 4196468 140735486151888 140135214438608 140136900675483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3414] ppid=3320 vsize=10998092 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/3323/task/3414/stat : 3414 (java) S 3320 3323 2518 0 -1 1077944384 2882 13166 0 0 47 0 5 3 20 0 15 0 231647890 11262046208 47077 33554432000 4194304 4196468 140735486151888 140136325040624 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3415] ppid=3320 vsize=10998092 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/3323/task/3415/stat : 3415 (java) S 3320 3323 2518 0 -1 1077944384 1783 13166 0 0 43 0 5 3 20 0 15 0 231647890 11262046208 47077 33554432000 4194304 4196468 140735486151888 140136323988080 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3416] ppid=3320 vsize=10998092 memory=8112282956445269571 CPUtime=0.46 cores=0,2,4,6
/proc/3323/task/3416/stat : 3416 (java) S 3320 3323 2518 0 -1 1077944384 1657 13166 0 0 38 0 5 3 20 0 15 0 231647890 11262046208 47077 33554432000 4194304 4196468 140735486151888 140136322935536 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3417] ppid=3320 vsize=10998092 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3417/stat : 3417 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647891 11262046208 47077 33554432000 4194304 4196468 140735486151888 140134783642720 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3418] ppid=3320 vsize=10998092 memory=279510163954560 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3418/stat : 3418 (java) S 3320 3323 2518 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 231647891 11262046208 47077 33554432000 4194304 4196468 140735486151888 140136321882416 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/3323/task/3405/stat : 3405 (java) R 3320 3323 2518 0 -1 4202560 90909 13166 0 0 235625 61 5 3 20 0 15 0 231647885 11278843904 156490 33554432000 4194304 4196468 140735486151888 140136872491760 140136486645784 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3406] ppid=3320 vsize=11014496 memory=2288 CPUtime=14.26 cores=0,2,4,6
/proc/3323/task/3406/stat : 3406 (java) S 3320 3323 2518 0 -1 1077944384 15140 13166 0 0 1364 54 5 3 20 0 15 0 231647886 11278843904 156490 33554432000 4194304 4196468 140735486151888 140136904899344 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3407] ppid=3320 vsize=11014496 memory=632628 CPUtime=14.24 cores=0,2,4,6
/proc/3323/task/3407/stat : 3407 (java) S 3320 3323 2518 0 -1 1077944384 15710 13166 0 0 1360 56 5 3 20 0 15 0 231647886 11278843904 156490 33554432000 4194304 4196468 140735486151888 140136798825360 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3408] ppid=3320 vsize=11014496 memory=3872 CPUtime=14.35 cores=0,2,4,6
/proc/3323/task/3408/stat : 3408 (java) S 3320 3323 2518 0 -1 1077944384 20756 13166 0 0 1372 55 5 3 20 0 15 0 231647886 11278843904 156490 33554432000 4194304 4196468 140735486151888 140136438934544 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3409] ppid=3320 vsize=11014496 memory=579448 CPUtime=14.23 cores=0,2,4,6
/proc/3323/task/3409/stat : 3409 (java) S 3320 3323 2518 0 -1 1077944384 18084 13166 0 0 1360 55 5 3 20 0 15 0 231647886 11278843904 156490 33554432000 4194304 4196468 140735486151888 140136437882000 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3410] ppid=3320 vsize=11014496 memory=579448 CPUtime=8.51 cores=0,2,4,6
/proc/3323/task/3410/stat : 3410 (java) S 3320 3323 2518 0 -1 1077944384 18561 13166 0 0 794 49 5 3 20 0 15 0 231647887 11278843904 156490 33554432000 4194304 4196468 140735486151888 140136326092784 140136900668034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3411] ppid=3320 vsize=11014496 memory=139755081905457 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3411/stat : 3411 (java) S 3320 3323 2518 0 -1 1077944384 20 13166 0 0 0 0 5 3 20 0 15 0 231647888 11278843904 156490 33554432000 4194304 4196468 140735486151888 140135723164640 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3412] ppid=3320 vsize=11014496 memory=579448 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3412/stat : 3412 (java) S 3320 3323 2518 0 -1 1077944384 13 13166 0 0 0 0 5 3 20 0 15 0 231647888 11278843904 156490 33554432000 4194304 4196468 140735486151888 140135521838080 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3413] ppid=3320 vsize=11014496 memory=637248 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3413/stat : 3413 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647890 11278843904 156490 33554432000 4194304 4196468 140735486151888 140135214438608 140136900675483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3414] ppid=3320 vsize=11014496 memory=631092 CPUtime=6.3 cores=0,2,4,6
/proc/3323/task/3414/stat : 3414 (java) S 3320 3323 2518 0 -1 1077944384 32818 13166 0 0 617 5 5 3 20 0 15 0 231647890 11278843904 156490 33554432000 4194304 4196468 140735486151888 140136325040624 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3415] ppid=3320 vsize=11014496 memory=625960 CPUtime=6.2 cores=0,2,4,6
/proc/3323/task/3415/stat : 3415 (java) S 3320 3323 2518 0 -1 1077944384 37584 13166 0 0 606 6 5 3 20 0 15 0 231647890 11278843904 156490 33554432000 4194304 4196468 140735486151888 140136323988080 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3416] ppid=3320 vsize=11014496 memory=636756 CPUtime=2.56 cores=0,2,4,6
/proc/3323/task/3416/stat : 3416 (java) S 3320 3323 2518 0 -1 1077944384 26966 13166 0 0 242 6 5 3 20 0 15 0 231647890 11278843904 156490 33554432000 4194304 4196468 140735486151888 140136322935536 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3417] ppid=3320 vsize=11014496 memory=631092 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3417/stat : 3417 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647891 11278843904 156490 33554432000 4194304 4196468 140735486151888 140134783642720 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3418] ppid=3320 vsize=11014496 memory=3872 CPUtime=1.4 cores=0,2,4,6
/proc/3323/task/3418/stat : 3418 (java) S 3320 3323 2518 0 -1 1077944384 3559 13166 0 0 67 65 5 3 20 0 15 0 231647891 11278843904 156490 33554432000 4194304 4196468 140735486151888 140136321882416 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
Current children cumulated CPU time: 2438.39 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 625960 KiB
[startup+2442.3 s]
/proc/loadavg: 1.46 1.47 1.43 3/216 3623
/proc/meminfo: memFree=11268844/32770624 swapFree=67108496/67108860
[pid=3323] ppid=3320 vsize=11014496 memory=611240 CPUtime=2499.45 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3320 3323 2518 0 -1 1077944320 284432 13166 0 0 249561 376 5 3 20 0 15 0 231647876 11278843904 152810 33554432000 4194304 4196468 140735486151888 140735486134432 140136900656887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
/proc/3323/statm: 2753624 152810 3525 1 0 2715277 0
[pid=3323/tid=3405] ppid=3320 vsize=11014496 memory=611240 CPUtime=2416.27 cores=0,2,4,6
/proc/3323/task/3405/stat : 3405 (java) R 3320 3323 2518 0 -1 4202560 91597 13166 0 0 241558 61 5 3 20 0 15 0 231647885 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136872491632 140136489607686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3406] ppid=3320 vsize=11014496 memory=611240 CPUtime=14.63 cores=0,2,4,6
/proc/3323/task/3406/stat : 3406 (java) S 3320 3323 2518 0 -1 1077944384 15317 13166 0 0 1400 55 5 3 20 0 15 0 231647886 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136904899344 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3407] ppid=3320 vsize=11014496 memory=611240 CPUtime=14.62 cores=0,2,4,6
/proc/3323/task/3407/stat : 3407 (java) S 3320 3323 2518 0 -1 1077944384 15978 13166 0 0 1397 57 5 3 20 0 15 0 231647886 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136798825360 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3408] ppid=3320 vsize=11014496 memory=611240 CPUtime=14.71 cores=0,2,4,6
/proc/3323/task/3408/stat : 3408 (java) S 3320 3323 2518 0 -1 1077944384 21313 13166 0 0 1408 55 5 3 20 0 15 0 231647886 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136438934544 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3409] ppid=3320 vsize=11014496 memory=611240 CPUtime=14.6 cores=0,2,4,6
/proc/3323/task/3409/stat : 3409 (java) S 3320 3323 2518 0 -1 1077944384 18266 13166 0 0 1396 56 5 3 20 0 15 0 231647886 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136437882000 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3410] ppid=3320 vsize=11014496 memory=611240 CPUtime=8.73 cores=0,2,4,6
/proc/3323/task/3410/stat : 3410 (java) S 3320 3323 2518 0 -1 1077944384 18784 13166 0 0 815 50 5 3 20 0 15 0 231647887 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136326092784 140136900668034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3411] ppid=3320 vsize=11014496 memory=611240 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3411/stat : 3411 (java) S 3320 3323 2518 0 -1 1077944384 20 13166 0 0 0 0 5 3 20 0 15 0 231647888 11278843904 152810 33554432000 4194304 4196468 140735486151888 140135723164640 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3412] ppid=3320 vsize=11014496 memory=611240 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3412/stat : 3412 (java) S 3320 3323 2518 0 -1 1077944384 13 13166 0 0 0 0 5 3 20 0 15 0 231647888 11278843904 152810 33554432000 4194304 4196468 140735486151888 140135521838080 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3413] ppid=3320 vsize=11014496 memory=611240 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3413/stat : 3413 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647890 11278843904 152810 33554432000 4194304 4196468 140735486151888 140135214438608 140136900675483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3414] ppid=3320 vsize=11014496 memory=611240 CPUtime=6.3 cores=0,2,4,6
/proc/3323/task/3414/stat : 3414 (java) S 3320 3323 2518 0 -1 1077944384 32820 13166 0 0 617 5 5 3 20 0 15 0 231647890 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136325040624 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3415] ppid=3320 vsize=11014496 memory=611240 CPUtime=6.2 cores=0,2,4,6
/proc/3323/task/3415/stat : 3415 (java) S 3320 3323 2518 0 -1 1077944384 37586 13166 0 0 606 6 5 3 20 0 15 0 231647890 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136323988080 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3416] ppid=3320 vsize=11014496 memory=611240 CPUtime=2.57 cores=0,2,4,6
/proc/3323/task/3416/stat : 3416 (java) S 3320 3323 2518 0 -1 1077944384 26968 13166 0 0 243 6 5 3 20 0 15 0 231647890 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136322935536 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3417] ppid=3320 vsize=11014496 memory=611240 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3417/stat : 3417 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647891 11278843904 152810 33554432000 4194304 4196468 140735486151888 140134783642720 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3418] ppid=3320 vsize=11014496 memory=8112282956445269571 CPUtime=1.44 cores=0,2,4,6
/proc/3323/task/3418/stat : 3418 (java) S 3320 3323 2518 0 -1 1077944384 3575 13166 0 0 70 66 5 3 20 0 15 0 231647891 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136321882416 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
Current children cumulated CPU time: 2499.45 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 611240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.5 s]
/proc/loadavg: 1.41 1.46 1.43 3/215 3624
/proc/meminfo: memFree=11267168/32770624 swapFree=67108496/67108860
[pid=3323] ppid=3320 vsize=11014496 memory=611240 CPUtime=2520.01 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3320 3323 2518 0 -1 1077944320 285479 13166 0 0 251615 378 5 3 20 0 15 0 231647876 11278843904 152810 33554432000 4194304 4196468 140735486151888 140735486134432 140136900656887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
/proc/3323/statm: 2753624 152810 3525 1 0 2715277 0
[pid=3323/tid=3405] ppid=3320 vsize=11014496 memory=611240 CPUtime=2436.25 cores=0,2,4,6
/proc/3323/task/3405/stat : 3405 (java) R 3320 3323 2518 0 -1 4202560 91824 13166 0 0 243555 62 5 3 20 0 15 0 231647885 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136872490784 140136480657080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3406] ppid=3320 vsize=11014496 memory=611240 CPUtime=14.76 cores=0,2,4,6
/proc/3323/task/3406/stat : 3406 (java) S 3320 3323 2518 0 -1 1077944384 15487 13166 0 0 1412 56 5 3 20 0 15 0 231647886 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136904899344 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3407] ppid=3320 vsize=11014496 memory=611240 CPUtime=14.74 cores=0,2,4,6
/proc/3323/task/3407/stat : 3407 (java) S 3320 3323 2518 0 -1 1077944384 16228 13166 0 0 1409 57 5 3 20 0 15 0 231647886 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136798825360 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3408] ppid=3320 vsize=11014496 memory=611240 CPUtime=14.84 cores=0,2,4,6
/proc/3323/task/3408/stat : 3408 (java) S 3320 3323 2518 0 -1 1077944384 21324 13166 0 0 1420 56 5 3 20 0 15 0 231647886 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136438934544 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3409] ppid=3320 vsize=11014496 memory=611240 CPUtime=14.73 cores=0,2,4,6
/proc/3323/task/3409/stat : 3409 (java) S 3320 3323 2518 0 -1 1077944384 18440 13166 0 0 1409 56 5 3 20 0 15 0 231647886 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136437882000 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3410] ppid=3320 vsize=11014496 memory=164 CPUtime=8.8 cores=0,2,4,6
/proc/3323/task/3410/stat : 3410 (java) S 3320 3323 2518 0 -1 1077944384 18988 13166 0 0 822 50 5 3 20 0 15 0 231647887 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136326092784 140136900668034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3411] ppid=3320 vsize=11014496 memory=611240 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3411/stat : 3411 (java) S 3320 3323 2518 0 -1 1077944384 20 13166 0 0 0 0 5 3 20 0 15 0 231647888 11278843904 152810 33554432000 4194304 4196468 140735486151888 140135723164640 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3412] ppid=3320 vsize=11014496 memory=611240 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3412/stat : 3412 (java) S 3320 3323 2518 0 -1 1077944384 13 13166 0 0 0 0 5 3 20 0 15 0 231647888 11278843904 152810 33554432000 4194304 4196468 140735486151888 140135521838080 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3413] ppid=3320 vsize=11014496 memory=303993220482990381 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3413/stat : 3413 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647890 11278843904 152810 33554432000 4194304 4196468 140735486151888 140135214438608 140136900675483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3414] ppid=3320 vsize=11014496 memory=611240 CPUtime=6.3 cores=0,2,4,6
/proc/3323/task/3414/stat : 3414 (java) S 3320 3323 2518 0 -1 1077944384 32822 13166 0 0 617 5 5 3 20 0 15 0 231647890 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136325040624 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3415] ppid=3320 vsize=11014496 memory=611240 CPUtime=6.2 cores=0,2,4,6
/proc/3323/task/3415/stat : 3415 (java) S 3320 3323 2518 0 -1 1077944384 37588 13166 0 0 606 6 5 3 20 0 15 0 231647890 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136323988080 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3416] ppid=3320 vsize=11014496 memory=611240 CPUtime=2.57 cores=0,2,4,6
/proc/3323/task/3416/stat : 3416 (java) S 3320 3323 2518 0 -1 1077944384 26970 13166 0 0 243 6 5 3 20 0 15 0 231647890 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136322935536 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3417] ppid=3320 vsize=11014496 memory=3872 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3417/stat : 3417 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647891 11278843904 152810 33554432000 4194304 4196468 140735486151888 140134783642720 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3418] ppid=3320 vsize=11014496 memory=611240 CPUtime=1.45 cores=0,2,4,6
/proc/3323/task/3418/stat : 3418 (java) S 3320 3323 2518 0 -1 1077944384 3580 13166 0 0 70 67 5 3 20 0 15 0 231647891 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136321882416 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 611240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.53 s]
# the end of solver process 3323 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.23 s, system=3.81961 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2462.5 s]
/proc/loadavg: 1.41 1.46 1.43 3/215 3624
/proc/meminfo: memFree=11267168/32770624 swapFree=67108496/67108860
[pid=3323] ppid=3320 vsize=11014496 memory=611240 CPUtime=2520.01 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3320 3323 2518 0 -1 1077944320 285479 13166 0 0 251615 378 5 3 20 0 15 0 231647876 11278843904 152810 33554432000 4194304 4196468 140735486151888 140735486134432 140136900656887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
/proc/3323/statm: 2753624 152810 3525 1 0 2715277 0
[pid=3323/tid=3405] ppid=3320 vsize=11014496 memory=611240 CPUtime=2436.25 cores=0,2,4,6
/proc/3323/task/3405/stat : 3405 (java) R 3320 3323 2518 0 -1 4202560 91824 13166 0 0 243555 62 5 3 20 0 15 0 231647885 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136872490784 140136480657080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3406] ppid=3320 vsize=11014496 memory=611240 CPUtime=14.76 cores=0,2,4,6
/proc/3323/task/3406/stat : 3406 (java) S 3320 3323 2518 0 -1 1077944384 15487 13166 0 0 1412 56 5 3 20 0 15 0 231647886 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136904899344 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3407] ppid=3320 vsize=11014496 memory=611240 CPUtime=14.74 cores=0,2,4,6
/proc/3323/task/3407/stat : 3407 (java) S 3320 3323 2518 0 -1 1077944384 16228 13166 0 0 1409 57 5 3 20 0 15 0 231647886 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136798825360 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3408] ppid=3320 vsize=11014496 memory=611240 CPUtime=14.84 cores=0,2,4,6
/proc/3323/task/3408/stat : 3408 (java) S 3320 3323 2518 0 -1 1077944384 21324 13166 0 0 1420 56 5 3 20 0 15 0 231647886 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136438934544 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3409] ppid=3320 vsize=11014496 memory=611240 CPUtime=14.73 cores=0,2,4,6
/proc/3323/task/3409/stat : 3409 (java) S 3320 3323 2518 0 -1 1077944384 18440 13166 0 0 1409 56 5 3 20 0 15 0 231647886 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136437882000 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3410] ppid=3320 vsize=11014496 memory=164 CPUtime=8.8 cores=0,2,4,6
/proc/3323/task/3410/stat : 3410 (java) S 3320 3323 2518 0 -1 1077944384 18988 13166 0 0 822 50 5 3 20 0 15 0 231647887 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136326092784 140136900668034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3411] ppid=3320 vsize=11014496 memory=611240 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3411/stat : 3411 (java) S 3320 3323 2518 0 -1 1077944384 20 13166 0 0 0 0 5 3 20 0 15 0 231647888 11278843904 152810 33554432000 4194304 4196468 140735486151888 140135723164640 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3412] ppid=3320 vsize=11014496 memory=611240 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3412/stat : 3412 (java) S 3320 3323 2518 0 -1 1077944384 13 13166 0 0 0 0 5 3 20 0 15 0 231647888 11278843904 152810 33554432000 4194304 4196468 140735486151888 140135521838080 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3413] ppid=3320 vsize=11014496 memory=303993220482990381 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3413/stat : 3413 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647890 11278843904 152810 33554432000 4194304 4196468 140735486151888 140135214438608 140136900675483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3414] ppid=3320 vsize=11014496 memory=611240 CPUtime=6.3 cores=0,2,4,6
/proc/3323/task/3414/stat : 3414 (java) S 3320 3323 2518 0 -1 1077944384 32822 13166 0 0 617 5 5 3 20 0 15 0 231647890 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136325040624 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3415] ppid=3320 vsize=11014496 memory=611240 CPUtime=6.2 cores=0,2,4,6
/proc/3323/task/3415/stat : 3415 (java) S 3320 3323 2518 0 -1 1077944384 37588 13166 0 0 606 6 5 3 20 0 15 0 231647890 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136323988080 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3416] ppid=3320 vsize=11014496 memory=611240 CPUtime=2.57 cores=0,2,4,6
/proc/3323/task/3416/stat : 3416 (java) S 3320 3323 2518 0 -1 1077944384 26970 13166 0 0 243 6 5 3 20 0 15 0 231647890 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136322935536 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3417] ppid=3320 vsize=11014496 memory=3872 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3417/stat : 3417 (java) S 3320 3323 2518 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 231647891 11278843904 152810 33554432000 4194304 4196468 140735486151888 140134783642720 140136900667093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
[pid=3323/tid=3418] ppid=3320 vsize=11014496 memory=611240 CPUtime=1.45 cores=0,2,4,6
/proc/3323/task/3418/stat : 3418 (java) S 3320 3323 2518 0 -1 1077944384 3580 13166 0 0 70 67 5 3 20 0 15 0 231647891 11278843904 152810 33554432000 4194304 4196468 140735486151888 140136321882416 140136900668034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30691328 140735486155372 140735486158172 140735486158172 140735486160847 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 611240 KiB
Child status: 143
Real time (s): 2462.53
CPU time (s): 2520.05
CPU user time (s): 2516.23
CPU system time (s): 3.81961
CPU usage (%): 102.336
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 1936152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.23
system time used= 3.81961
maximum resident set size= 1941772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299965
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 239143
involuntary context switches= 7539
# summary of solver processes directly reported to runsolver:
# pid: 3323
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.23
# total CPU system time (s): 3.81961
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0007 second user time and 22.8588 second system time
The end