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 (15216 MiB free)
memory of node 1: 16384 MiB (12945 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273043-1502768275/watcher-4273043-1502768275 -o /tmp/evaluation-result-4273043-1502768275/solver-4273043-1502768275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4849 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 855222661 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273043-1502768275.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
solver pid=19575, runsolver pid=19572
Current StackSize limit: 8192 KiB
[startup+0.100203 s]*
/proc/loadavg: 1.69 1.48 1.45 3/204 19582
/proc/meminfo: memFree=28830056/32770624 swapFree=67108776/67108860
[pid=19575] ppid=19572 vsize=13573664 memory=18020 CPUtime=0.02 cores=0,2,4,6
/proc/19575/stat : 19575 (java) S 19572 19575 7084 0 -1 1077944320 3876 0 0 0 2 0 0 0 20 0 9 0 176480183 13899431936 4505 18446744073709551615 4194304 4196468 140727891016992 140727890999536 139891821018871 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
/proc/19575/statm: 3393416 4505 2094 1 0 3382913 0
[pid=19575/tid=19577] ppid=19572 vsize=13573664 memory=-6439968830534014599 CPUtime=0.02 cores=0,2,4,6
/proc/19575/task/19577/stat : 19577 (java) R 19572 19575 7084 0 -1 4202560 2506 0 0 0 2 0 0 0 20 0 9 0 176480191 13899431936 4505 18446744073709551615 4194304 4196468 140727891016992 139891825259664 139891821040797 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19578] ppid=19572 vsize=13573664 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19578/stat : 19578 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 176480191 13899431936 4505 18446744073709551615 4194304 4196468 140727891016992 139891784124688 139891821029077 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19579] ppid=19572 vsize=13573664 memory=139668527875712 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19579/stat : 19579 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 176480191 13899431936 4505 18446744073709551615 4194304 4196468 140727891016992 139891419986320 139891821029077 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19580] ppid=19572 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19580/stat : 19580 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 176480191 13899431936 4505 18446744073709551615 4194304 4196468 140727891016992 139891418933776 139891821029077 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19581] ppid=19572 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19581/stat : 19581 (java) S 19572 19575 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 176480191 13899431936 4505 18446744073709551615 4194304 4196468 140727891016992 139891417881232 139891821029077 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19582] ppid=19572 vsize=13573664 memory=139668527875712 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19582/stat : 19582 (java) S 19572 19575 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 176480193 13899431936 4505 18446744073709551615 4194304 4196468 140727891016992 139890805385712 139891821030018 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19583] ppid=19572 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19583/stat : 19583 (java) S 19572 19575 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 176480193 13899431936 4505 18446744073709551615 4194304 4196468 140727891016992 139890804331936 139891821029077 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19584] ppid=19572 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19584/stat : 19584 (java) S 19572 19575 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 176480193 13899431936 4505 18446744073709551615 4194304 4196468 140727891016992 139890803279408 139891821029077 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 18020 KiB
[startup+0.210474 s]*
/proc/loadavg: 1.69 1.48 1.45 3/212 19590
/proc/meminfo: memFree=28817180/32770624 swapFree=67108776/67108860
[pid=19575] ppid=19572 vsize=13975920 memory=32964 CPUtime=0.12 cores=0,2,4,6
/proc/19575/stat : 19575 (java) S 19572 19575 7084 0 -1 1077944320 9207 0 0 0 10 2 0 0 20 0 15 0 176480183 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 140727890999536 139891821018871 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
/proc/19575/statm: 3493980 8241 3386 1 0 3482759 0
[pid=19575/tid=19577] ppid=19572 vsize=13975920 memory=8318255677412212789 CPUtime=0.1 cores=0,2,4,6
/proc/19575/task/19577/stat : 19577 (java) R 19572 19575 7084 0 -1 4202560 7152 0 0 0 8 2 0 0 20 0 15 0 176480191 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139891825208320 139891805099358 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19578] ppid=19572 vsize=13975920 memory=329 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19578/stat : 19578 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480191 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139891784124688 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19579] ppid=19572 vsize=13975920 memory=288370044679587456 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19579/stat : 19579 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480191 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139891419986320 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19580] ppid=19572 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19580/stat : 19580 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480191 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139891418933776 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19581] ppid=19572 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19581/stat : 19581 (java) S 19572 19575 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 176480191 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139891417881232 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19582] ppid=19572 vsize=13975920 memory=139668527875712 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19582/stat : 19582 (java) S 19572 19575 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 176480193 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139890805385712 139891821030018 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19583] ppid=19572 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19583/stat : 19583 (java) S 19572 19575 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 176480193 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139890804331936 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19584] ppid=19572 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19584/stat : 19584 (java) S 19572 19575 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 176480193 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139890803279344 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19585] ppid=19572 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19585/stat : 19585 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139890802227920 139891821037467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19586] ppid=19572 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19586/stat : 19586 (java) S 19572 19575 7084 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 176480196 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139890801174512 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19587] ppid=19572 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19587/stat : 19587 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139890800121968 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19588] ppid=19572 vsize=13975920 memory=139668527875712 CPUtime=0.01 cores=0,2,4,6
/proc/19575/task/19588/stat : 19588 (java) R 19572 19575 7084 0 -1 4202560 386 0 0 0 1 0 0 0 20 0 15 0 176480196 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139890799069424 139891802269853 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19589] ppid=19572 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19589/stat : 19589 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139890798017120 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19590] ppid=19572 vsize=13975920 memory=139668527875712 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19590/stat : 19590 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480199 14311342080 8241 18446744073709551615 4194304 4196468 140727891016992 139890796964656 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 32964 KiB
[startup+0.313369 s]*
/proc/loadavg: 1.69 1.48 1.45 4/212 19590
/proc/meminfo: memFree=28810404/32770624 swapFree=67108776/67108860
[pid=19575] ppid=19572 vsize=13975920 memory=42444 CPUtime=0.3 cores=0,2,4,6
/proc/19575/stat : 19575 (java) S 19572 19575 7084 0 -1 1077944320 10795 0 0 0 26 4 0 0 20 0 15 0 176480183 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 140727890999536 139891821018871 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
/proc/19575/statm: 3493980 10611 3593 1 0 3482759 0
[pid=19575/tid=19577] ppid=19572 vsize=13975920 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/19575/task/19577/stat : 19577 (java) R 19572 19575 7084 0 -1 4202560 8349 0 0 0 17 3 0 0 20 0 15 0 176480191 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139891825243952 139891821040797 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19578] ppid=19572 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19578/stat : 19578 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480191 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139891784124688 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19579] ppid=19572 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19579/stat : 19579 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480191 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139891419986320 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19580] ppid=19572 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19580/stat : 19580 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480191 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139891418933776 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19581] ppid=19572 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19581/stat : 19581 (java) S 19572 19575 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 176480191 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139891417881232 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19582] ppid=19572 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19582/stat : 19582 (java) S 19572 19575 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 176480193 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139890805385712 139891821030018 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19583] ppid=19572 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19583/stat : 19583 (java) S 19572 19575 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 176480193 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139890804331936 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19584] ppid=19572 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19584/stat : 19584 (java) S 19572 19575 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 176480193 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139890803279344 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19585] ppid=19572 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19585/stat : 19585 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139890802227920 139891821037467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19586] ppid=19572 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19575/task/19586/stat : 19586 (java) S 19572 19575 7084 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 15 0 176480196 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139890801174512 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19587] ppid=19572 vsize=13975920 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19575/task/19587/stat : 19587 (java) S 19572 19575 7084 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 15 0 176480196 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139890800121968 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19588] ppid=19572 vsize=13975920 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/19575/task/19588/stat : 19588 (java) S 19572 19575 7084 0 -1 1077944384 473 0 0 0 5 0 0 0 20 0 15 0 176480196 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139890799069424 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19589] ppid=19572 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19589/stat : 19589 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139890798017120 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19590] ppid=19572 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19590/stat : 19590 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480199 14311342080 10611 18446744073709551615 4194304 4196468 140727891016992 139890796964656 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 42444 KiB
[startup+0.700776 s]
/proc/loadavg: 1.69 1.48 1.45 3/212 19590
/proc/meminfo: memFree=28797448/32770624 swapFree=67108776/67108860
[pid=19575] ppid=19572 vsize=13977988 memory=66608 CPUtime=1.06 cores=0,2,4,6
/proc/19575/stat : 19575 (java) S 19572 19575 7084 0 -1 1077944320 13895 0 0 0 100 6 0 0 20 0 15 0 176480183 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 140727890999536 139891821018871 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
/proc/19575/statm: 3494497 16652 3731 1 0 3483271 0
[pid=19575/tid=19577] ppid=19572 vsize=13977988 memory=1836 CPUtime=0.57 cores=0,2,4,6
/proc/19575/task/19577/stat : 19577 (java) R 19572 19575 7084 0 -1 4202560 10385 0 0 0 52 5 0 0 20 0 15 0 176480191 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139891825256000 139891461553908 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19578] ppid=19572 vsize=13977988 memory=796 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19578/stat : 19578 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480191 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139891784124688 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19579] ppid=19572 vsize=13977988 memory=2 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19579/stat : 19579 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480191 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139891419986320 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19580] ppid=19572 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19580/stat : 19580 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480191 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139891418933776 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19581] ppid=19572 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19581/stat : 19581 (java) S 19572 19575 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 176480191 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139891417881232 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19582] ppid=19572 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19582/stat : 19582 (java) S 19572 19575 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 176480193 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139890805385712 139891821030018 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19583] ppid=19572 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19583/stat : 19583 (java) S 19572 19575 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 176480193 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139890804331936 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19584] ppid=19572 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19584/stat : 19584 (java) S 19572 19575 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 176480193 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139890803279344 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19585] ppid=19572 vsize=13977988 memory=43 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19585/stat : 19585 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139890802227920 139891821037467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19586] ppid=19572 vsize=13977988 memory=211 CPUtime=0.11 cores=0,2,4,6
/proc/19575/task/19586/stat : 19586 (java) S 19572 19575 7084 0 -1 1077944384 707 0 0 0 11 0 0 0 20 0 15 0 176480196 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139890801174512 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19587] ppid=19572 vsize=13977988 memory=139668377189409 CPUtime=0.11 cores=0,2,4,6
/proc/19575/task/19587/stat : 19587 (java) S 19572 19575 7084 0 -1 1077944384 523 0 0 0 11 0 0 0 20 0 15 0 176480196 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139890800121968 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19588] ppid=19572 vsize=13977988 memory=288230600329142066 CPUtime=0.24 cores=0,2,4,6
/proc/19575/task/19588/stat : 19588 (java) R 19572 19575 7084 0 -1 4202560 897 0 0 0 24 0 0 0 20 0 15 0 176480196 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139890799069424 139891799943440 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19589] ppid=19572 vsize=13977988 memory=13849655444265308 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19589/stat : 19589 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139890798017120 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19590] ppid=19572 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19590/stat : 19590 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480199 14313459712 16652 18446744073709551615 4194304 4196468 140727891016992 139890796964656 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66608 KiB
[startup+1.5013 s]
/proc/loadavg: 1.69 1.48 1.45 6/212 19590
/proc/meminfo: memFree=28740200/32770624 swapFree=67108776/67108860
[pid=19575] ppid=19572 vsize=13982084 memory=161724 CPUtime=3.33 cores=0,2,4,6
/proc/19575/stat : 19575 (java) S 19572 19575 7084 0 -1 1077944320 32663 0 0 0 321 12 0 0 20 0 15 0 176480183 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 140727890999536 139891821018871 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
/proc/19575/statm: 3495521 40431 3750 1 0 3484295 0
[pid=19575/tid=19577] ppid=19572 vsize=13982084 memory=75716 CPUtime=1.36 cores=0,2,4,6
/proc/19575/task/19577/stat : 19577 (java) R 19572 19575 7084 0 -1 4202560 14160 0 0 0 129 7 0 0 20 0 15 0 176480191 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 139891825253856 139891468381289 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19578] ppid=19572 vsize=13982084 memory=146272 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19578/stat : 19578 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480191 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 139891784124688 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19579] ppid=19572 vsize=13982084 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19579/stat : 19579 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480191 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 139891419986320 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19580] ppid=19572 vsize=13982084 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19580/stat : 19580 (java) S 19572 19575 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 176480191 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 139891418933776 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19581] ppid=19572 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19581/stat : 19581 (java) S 19572 19575 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 176480191 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 139891417881232 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19582] ppid=19572 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19582/stat : 19582 (java) S 19572 19575 7084 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 176480193 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 139890805385712 139891821030018 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19583] ppid=19572 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19583/stat : 19583 (java) S 19572 19575 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 176480193 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 139890804331936 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19584] ppid=19572 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19584/stat : 19584 (java) S 19572 19575 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 176480193 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 139890803279344 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19585] ppid=19572 vsize=13982084 memory=84138409348297 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19585/stat : 19585 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 139890802227920 139891821037467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19586] ppid=19572 vsize=13982084 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/19575/task/19586/stat : 19586 (java) R 19572 19575 7084 0 -1 4202560 5913 0 0 0 68 1 0 0 20 0 15 0 176480196 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 139890801162384 139891805415615 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19587] ppid=19572 vsize=13982084 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/19575/task/19587/stat : 19587 (java) R 19572 19575 7084 0 -1 4202560 4719 0 0 0 63 0 0 0 20 0 15 0 176480196 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 139890800108608 139891798613776 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19588] ppid=19572 vsize=13982084 memory=8772 CPUtime=0.59 cores=0,2,4,6
/proc/19575/task/19588/stat : 19588 (java) S 19572 19575 7084 0 -1 1077944384 6476 0 0 0 58 1 0 0 20 0 15 0 176480196 14317654016 40431 18446744073709551615 4194304 4196468 140727891016992 139890799069424 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
################
# More data... #
################
/proc/19575/task/19577/stat : 19577 (java) R 19572 19575 7084 0 -1 4202560 62551 0 0 0 235355 42 0 0 20 0 15 0 176480191 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139891825257040 139891468486667 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19578] ppid=19572 vsize=13982084 memory=414244 CPUtime=14.89 cores=0,2,4,6
/proc/19575/task/19578/stat : 19578 (java) S 19572 19575 7084 0 -1 1077944384 15065 0 0 0 1431 58 0 0 20 0 15 0 176480191 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139891784124688 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19579] ppid=19572 vsize=13982084 memory=413728 CPUtime=14.84 cores=0,2,4,6
/proc/19575/task/19579/stat : 19579 (java) S 19572 19575 7084 0 -1 1077944384 13016 0 0 0 1426 58 0 0 20 0 15 0 176480191 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139891419986320 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19580] ppid=19572 vsize=13982084 memory=414244 CPUtime=14.92 cores=0,2,4,6
/proc/19575/task/19580/stat : 19580 (java) S 19572 19575 7084 0 -1 1077944384 13230 0 0 0 1426 66 0 0 20 0 15 0 176480191 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139891418933776 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19581] ppid=19572 vsize=13982084 memory=414244 CPUtime=14.96 cores=0,2,4,6
/proc/19575/task/19581/stat : 19581 (java) S 19572 19575 7084 0 -1 1077944384 14083 0 0 0 1439 57 0 0 20 0 15 0 176480191 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139891417881232 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19582] ppid=19572 vsize=13982084 memory=414244 CPUtime=8.7 cores=0,2,4,6
/proc/19575/task/19582/stat : 19582 (java) S 19572 19575 7084 0 -1 1077944384 12570 0 0 0 807 63 0 0 20 0 15 0 176480193 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139890805385712 139891821030018 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19583] ppid=19572 vsize=13982084 memory=75860 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19583/stat : 19583 (java) S 19572 19575 7084 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 176480193 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139890804332000 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19584] ppid=19572 vsize=13982084 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19584/stat : 19584 (java) S 19572 19575 7084 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 176480193 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139890803279360 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19585] ppid=19572 vsize=13982084 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19585/stat : 19585 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139890802227920 139891821037467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19586] ppid=19572 vsize=13982084 memory=75860 CPUtime=2.25 cores=0,2,4,6
/proc/19575/task/19586/stat : 19586 (java) S 19572 19575 7084 0 -1 1077944384 37862 0 0 0 222 3 0 0 20 0 15 0 176480196 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139890801174512 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19587] ppid=19572 vsize=13982084 memory=414244 CPUtime=2.23 cores=0,2,4,6
/proc/19575/task/19587/stat : 19587 (java) S 19572 19575 7084 0 -1 1077944384 34693 0 0 0 220 3 0 0 20 0 15 0 176480196 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139890800121968 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19588] ppid=19572 vsize=13982084 memory=4156 CPUtime=0.9 cores=0,2,4,6
/proc/19575/task/19588/stat : 19588 (java) S 19572 19575 7084 0 -1 1077944384 22322 0 0 0 87 3 0 0 20 0 15 0 176480196 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139890799069424 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19589] ppid=19572 vsize=13982084 memory=414244 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19589/stat : 19589 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139890798017120 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19590] ppid=19572 vsize=13982084 memory=3116 CPUtime=1.53 cores=0,2,4,6
/proc/19575/task/19590/stat : 19590 (java) S 19572 19575 7084 0 -1 1077944384 1597 0 0 0 72 81 0 0 20 0 15 0 176480199 14317654016 103432 18446744073709551615 4194304 4196468 140727891016992 139890796964656 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
Current children cumulated CPU time: 2429.28 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 413728 KiB
[startup+2442.3 s]
/proc/loadavg: 1.66 1.66 1.67 3/213 19838
/proc/meminfo: memFree=27828068/32770624 swapFree=67108776/67108860
[pid=19575] ppid=19572 vsize=13982084 memory=377308 CPUtime=2490.34 cores=0,2,4,6
/proc/19575/stat : 19575 (java) S 19572 19575 7084 0 -1 1077944320 236416 0 0 0 248656 378 0 0 20 0 15 0 176480183 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 140727890999536 139891821018871 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
/proc/19575/statm: 3495521 94327 3832 1 0 3484295 0
[pid=19575/tid=19577] ppid=19572 vsize=13982084 memory=377308 CPUtime=2413.22 cores=0,2,4,6
/proc/19575/task/19577/stat : 19577 (java) R 19572 19575 7084 0 -1 4202560 63632 0 0 0 241279 43 0 0 20 0 15 0 176480191 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139891825257264 139891468486581 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19578] ppid=19572 vsize=13982084 memory=395264 CPUtime=15.27 cores=0,2,4,6
/proc/19575/task/19578/stat : 19578 (java) S 19572 19575 7084 0 -1 1077944384 15442 0 0 0 1467 60 0 0 20 0 15 0 176480191 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139891784124688 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19579] ppid=19572 vsize=13982084 memory=395264 CPUtime=15.22 cores=0,2,4,6
/proc/19575/task/19579/stat : 19579 (java) S 19572 19575 7084 0 -1 1077944384 13899 0 0 0 1462 60 0 0 20 0 15 0 176480191 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139891419986320 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19580] ppid=19572 vsize=13982084 memory=381924 CPUtime=15.28 cores=0,2,4,6
/proc/19575/task/19580/stat : 19580 (java) S 19572 19575 7084 0 -1 1077944384 13570 0 0 0 1462 66 0 0 20 0 15 0 176480191 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139891418933776 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19581] ppid=19572 vsize=13982084 memory=377308 CPUtime=15.33 cores=0,2,4,6
/proc/19575/task/19581/stat : 19581 (java) S 19572 19575 7084 0 -1 1077944384 14513 0 0 0 1475 58 0 0 20 0 15 0 176480191 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139891417881232 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19582] ppid=19572 vsize=13982084 memory=1608 CPUtime=8.95 cores=0,2,4,6
/proc/19575/task/19582/stat : 19582 (java) S 19572 19575 7084 0 -1 1077944384 16725 0 0 0 829 66 0 0 20 0 15 0 176480193 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139890805385712 139891821030018 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19583] ppid=19572 vsize=13982084 memory=2768 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19583/stat : 19583 (java) S 19572 19575 7084 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 176480193 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139890804332000 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19584] ppid=19572 vsize=13982084 memory=395776 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19584/stat : 19584 (java) S 19572 19575 7084 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 176480193 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139890803279360 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19585] ppid=19572 vsize=13982084 memory=279336755368000 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19585/stat : 19585 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139890802227920 139891821037467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19586] ppid=19572 vsize=13982084 memory=0 CPUtime=2.26 cores=0,2,4,6
/proc/19575/task/19586/stat : 19586 (java) S 19572 19575 7084 0 -1 1077944384 38424 0 0 0 223 3 0 0 20 0 15 0 176480196 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139890801174512 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19587] ppid=19572 vsize=13982084 memory=377308 CPUtime=2.24 cores=0,2,4,6
/proc/19575/task/19587/stat : 19587 (java) S 19572 19575 7084 0 -1 1077944384 34695 0 0 0 220 4 0 0 20 0 15 0 176480196 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139890800121968 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19588] ppid=19572 vsize=13982084 memory=4156 CPUtime=0.9 cores=0,2,4,6
/proc/19575/task/19588/stat : 19588 (java) S 19572 19575 7084 0 -1 1077944384 22413 0 0 0 87 3 0 0 20 0 15 0 176480196 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139890799069424 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19589] ppid=19572 vsize=13982084 memory=389108 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19589/stat : 19589 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139890798017120 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19590] ppid=19572 vsize=13982084 memory=390648 CPUtime=1.57 cores=0,2,4,6
/proc/19575/task/19590/stat : 19590 (java) S 19572 19575 7084 0 -1 1077944384 1623 0 0 0 74 83 0 0 20 0 15 0 176480199 14317654016 94327 18446744073709551615 4194304 4196468 140727891016992 139890796964656 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
Current children cumulated CPU time: 2490.34 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 377308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.5 s]
/proc/loadavg: 1.62 1.66 1.67 3/213 19839
/proc/meminfo: memFree=27838436/32770624 swapFree=67108776/67108860
[pid=19575] ppid=19572 vsize=13982084 memory=366760 CPUtime=2520.04 cores=0,2,4,6
/proc/19575/stat : 19575 (java) S 19572 19575 7084 0 -1 1077944320 239354 0 0 0 251620 384 0 0 20 0 15 0 176480183 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 140727890999536 139891821018871 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
/proc/19575/statm: 3495521 91690 3832 1 0 3484295 0
[pid=19575/tid=19577] ppid=19572 vsize=13982084 memory=366760 CPUtime=2442.07 cores=0,2,4,6
/proc/19575/task/19577/stat : 19577 (java) R 19572 19575 7084 0 -1 4202560 64252 0 0 0 244164 43 0 0 20 0 15 0 176480191 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139891825257376 139891470668219 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19578] ppid=19572 vsize=13982084 memory=381924 CPUtime=15.45 cores=0,2,4,6
/proc/19575/task/19578/stat : 19578 (java) S 19572 19575 7084 0 -1 1077944384 16049 0 0 0 1484 61 0 0 20 0 15 0 176480191 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139891784124688 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19579] ppid=19572 vsize=13982084 memory=279336754313856 CPUtime=15.4 cores=0,2,4,6
/proc/19575/task/19579/stat : 19579 (java) S 19572 19575 7084 0 -1 1077944384 14078 0 0 0 1479 61 0 0 20 0 15 0 176480191 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139891419986320 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19580] ppid=19572 vsize=13982084 memory=362944 CPUtime=15.46 cores=0,2,4,6
/proc/19575/task/19580/stat : 19580 (java) S 19572 19575 7084 0 -1 1077944384 13719 0 0 0 1479 67 0 0 20 0 15 0 176480191 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139891418933776 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19581] ppid=19572 vsize=13982084 memory=362944 CPUtime=15.51 cores=0,2,4,6
/proc/19575/task/19581/stat : 19581 (java) S 19572 19575 7084 0 -1 1077944384 14658 0 0 0 1492 59 0 0 20 0 15 0 176480191 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139891417881232 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19582] ppid=19572 vsize=13982084 memory=164 CPUtime=9.07 cores=0,2,4,6
/proc/19575/task/19582/stat : 19582 (java) S 19572 19575 7084 0 -1 1077944384 16756 0 0 0 839 68 0 0 20 0 15 0 176480193 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890805385712 139891821030018 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19583] ppid=19572 vsize=13982084 memory=363308 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19583/stat : 19583 (java) S 19572 19575 7084 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 176480193 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890804332000 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19584] ppid=19572 vsize=13982084 memory=365560 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19584/stat : 19584 (java) S 19572 19575 7084 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 176480193 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890803279360 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19585] ppid=19572 vsize=13982084 memory=366760 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19585/stat : 19585 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890802227920 139891821037467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19586] ppid=19572 vsize=13982084 memory=366760 CPUtime=2.27 cores=0,2,4,6
/proc/19575/task/19586/stat : 19586 (java) S 19572 19575 7084 0 -1 1077944384 38719 0 0 0 224 3 0 0 20 0 15 0 176480196 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890801174512 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19587] ppid=19572 vsize=13982084 memory=370128 CPUtime=2.25 cores=0,2,4,6
/proc/19575/task/19587/stat : 19587 (java) S 19572 19575 7084 0 -1 1077944384 35526 0 0 0 221 4 0 0 20 0 15 0 176480196 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890800121968 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19588] ppid=19572 vsize=13982084 memory=360892 CPUtime=0.9 cores=0,2,4,6
/proc/19575/task/19588/stat : 19588 (java) S 19572 19575 7084 0 -1 1077944384 22492 0 0 0 87 3 0 0 20 0 15 0 176480196 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890799069424 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19589] ppid=19572 vsize=13982084 memory=362944 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19589/stat : 19589 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890798017120 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19590] ppid=19572 vsize=13982084 memory=366580 CPUtime=1.59 cores=0,2,4,6
/proc/19575/task/19590/stat : 19590 (java) S 19572 19575 7084 0 -1 1077944384 1625 0 0 0 75 84 0 0 20 0 15 0 176480199 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890796964656 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 366760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.52 s]
# the end of solver process 19575 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.22 s, system=3.85513 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.5 s]
/proc/loadavg: 1.62 1.66 1.67 3/213 19839
/proc/meminfo: memFree=27838436/32770624 swapFree=67108776/67108860
[pid=19575] ppid=19572 vsize=13982084 memory=366760 CPUtime=2520.04 cores=0,2,4,6
/proc/19575/stat : 19575 (java) S 19572 19575 7084 0 -1 1077944320 239354 0 0 0 251620 384 0 0 20 0 15 0 176480183 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 140727890999536 139891821018871 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
/proc/19575/statm: 3495521 91690 3832 1 0 3484295 0
[pid=19575/tid=19577] ppid=19572 vsize=13982084 memory=366760 CPUtime=2442.07 cores=0,2,4,6
/proc/19575/task/19577/stat : 19577 (java) R 19572 19575 7084 0 -1 4202560 64252 0 0 0 244164 43 0 0 20 0 15 0 176480191 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139891825257376 139891470668219 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19578] ppid=19572 vsize=13982084 memory=381924 CPUtime=15.45 cores=0,2,4,6
/proc/19575/task/19578/stat : 19578 (java) S 19572 19575 7084 0 -1 1077944384 16049 0 0 0 1484 61 0 0 20 0 15 0 176480191 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139891784124688 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19579] ppid=19572 vsize=13982084 memory=279336754313856 CPUtime=15.4 cores=0,2,4,6
/proc/19575/task/19579/stat : 19579 (java) S 19572 19575 7084 0 -1 1077944384 14078 0 0 0 1479 61 0 0 20 0 15 0 176480191 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139891419986320 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19580] ppid=19572 vsize=13982084 memory=362944 CPUtime=15.46 cores=0,2,4,6
/proc/19575/task/19580/stat : 19580 (java) S 19572 19575 7084 0 -1 1077944384 13719 0 0 0 1479 67 0 0 20 0 15 0 176480191 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139891418933776 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19581] ppid=19572 vsize=13982084 memory=362944 CPUtime=15.51 cores=0,2,4,6
/proc/19575/task/19581/stat : 19581 (java) S 19572 19575 7084 0 -1 1077944384 14658 0 0 0 1492 59 0 0 20 0 15 0 176480191 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139891417881232 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19582] ppid=19572 vsize=13982084 memory=164 CPUtime=9.07 cores=0,2,4,6
/proc/19575/task/19582/stat : 19582 (java) S 19572 19575 7084 0 -1 1077944384 16756 0 0 0 839 68 0 0 20 0 15 0 176480193 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890805385712 139891821030018 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19583] ppid=19572 vsize=13982084 memory=363308 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19583/stat : 19583 (java) S 19572 19575 7084 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 176480193 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890804332000 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19584] ppid=19572 vsize=13982084 memory=365560 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19584/stat : 19584 (java) S 19572 19575 7084 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 176480193 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890803279360 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19585] ppid=19572 vsize=13982084 memory=366760 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19585/stat : 19585 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890802227920 139891821037467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19586] ppid=19572 vsize=13982084 memory=366760 CPUtime=2.27 cores=0,2,4,6
/proc/19575/task/19586/stat : 19586 (java) S 19572 19575 7084 0 -1 1077944384 38719 0 0 0 224 3 0 0 20 0 15 0 176480196 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890801174512 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19587] ppid=19572 vsize=13982084 memory=370128 CPUtime=2.25 cores=0,2,4,6
/proc/19575/task/19587/stat : 19587 (java) S 19572 19575 7084 0 -1 1077944384 35526 0 0 0 221 4 0 0 20 0 15 0 176480196 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890800121968 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19588] ppid=19572 vsize=13982084 memory=360892 CPUtime=0.9 cores=0,2,4,6
/proc/19575/task/19588/stat : 19588 (java) S 19572 19575 7084 0 -1 1077944384 22492 0 0 0 87 3 0 0 20 0 15 0 176480196 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890799069424 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19589] ppid=19572 vsize=13982084 memory=362944 CPUtime=0 cores=0,2,4,6
/proc/19575/task/19589/stat : 19589 (java) S 19572 19575 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 176480196 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890798017120 139891821029077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
[pid=19575/tid=19590] ppid=19572 vsize=13982084 memory=366580 CPUtime=1.59 cores=0,2,4,6
/proc/19575/task/19590/stat : 19590 (java) S 19572 19575 7084 0 -1 1077944384 1625 0 0 0 75 84 0 0 20 0 15 0 176480199 14317654016 91690 18446744073709551615 4194304 4196468 140727891016992 139890796964656 139891821030018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 26296320 140727891022197 140727891022377 140727891022377 140727891025871 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 366760 KiB
Child status: 143
Real time (s): 2471.52
CPU time (s): 2520.08
CPU user time (s): 2516.22
CPU system time (s): 3.85513
CPU usage (%): 101.965
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 722220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.22
system time used= 3.85513
maximum resident set size= 722220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 301135
involuntary context switches= 10944
# summary of solver processes directly reported to runsolver:
# pid: 19575
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.22
# total CPU system time (s): 3.85513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9794 second user time and 22.0218 second system time
The end