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 (14092 MiB free)
memory of node 1: 16384 MiB (12333 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396260-1568412161/watcher-4396260-1568412161 -o /tmp/evaluation-result-4396260-1568412161/solver-4396260-1568412161 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568400895-17216 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=156290201 HOME/instance-4396260-1568412161.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=19761, runsolver pid=19758
[startup+0.100095 s]*
/proc/loadavg: 1.10 1.30 1.47 3/219 19818
/proc/meminfo: memFree=27052940/32770624 swapFree=66998528/67108860
[pid=19761] ppid=19758 vsize=9972712 memory=18864 CPUtime=0.09 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19758 19761 17185 0 -1 1077944320 4439 13144 0 0 1 0 5 3 20 0 6 0 417484994 10212057088 4716 33554432000 4194304 4196468 140723737412064 140723737394608 140701007277815 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
/proc/19761/statm: 2493178 4716 1935 1 0 2481616 0
[pid=19761/tid=19814] ppid=19758 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=0,2,4,6
/proc/19761/task/19814/stat : 19814 (java) R 19758 19761 17185 0 -1 4202560 2226 13144 0 0 1 0 5 3 20 0 6 0 417485003 10212057088 4716 33554432000 4194304 4196468 140723737412064 140700979114576 140701007299741 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19815] ppid=19758 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19815/stat : 19815 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 6 0 417485004 10212057088 4716 33554432000 4194304 4196468 140723737412064 140701011520528 140701007288021 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19816] ppid=19758 vsize=9972712 memory=288370957255947904 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19816/stat : 19816 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 6 0 417485004 10212057088 4716 33554432000 4194304 4196468 140723737412064 140700915723408 140701007288021 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19817] ppid=19758 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19817/stat : 19817 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 6 0 417485004 10212057088 4716 33554432000 4194304 4196468 140723737412064 140700579322640 140701007288021 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19818] ppid=19758 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19818/stat : 19818 (java) S 19758 19761 17185 0 -1 1077944384 2 13144 0 0 0 0 5 3 20 0 6 0 417485004 10212057088 4716 33554432000 4194304 4196468 140723737412064 140700578270096 140701007288021 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18864 KiB
[startup+0.210244 s]*
/proc/loadavg: 1.10 1.30 1.47 4/228 19827
/proc/meminfo: memFree=27031732/32770624 swapFree=66998528/67108860
[pid=19761] ppid=19758 vsize=10819664 memory=40824 CPUtime=0.26 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19758 19761 17185 0 -1 1077944320 7024 13144 0 0 17 1 5 3 20 0 15 0 417484994 11079335936 10206 33554432000 4194304 4196468 140723737412064 140723737394608 140701007277815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
/proc/19761/statm: 2704916 10206 3160 1 0 2667149 0
[pid=19761/tid=19814] ppid=19758 vsize=10819664 memory=751940894209540401 CPUtime=0.19 cores=0,2,4,6
/proc/19761/task/19814/stat : 19814 (java) R 19758 19761 17185 0 -1 4202560 3513 13144 0 0 11 0 5 3 20 0 15 0 417485003 11079335936 10206 33554432000 4194304 4196468 140723737412064 140700979083616 140700991358302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19815] ppid=19758 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19815/stat : 19815 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485004 11079335936 10206 33554432000 4194304 4196468 140723737412064 140701011520528 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19816] ppid=19758 vsize=10819664 memory=288370957255947904 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19816/stat : 19816 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485004 11079335936 10206 33554432000 4194304 4196468 140723737412064 140700915723408 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19817] ppid=19758 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19817/stat : 19817 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485004 11079335936 10206 33554432000 4194304 4196468 140723737412064 140700579322640 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19818] ppid=19758 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19818/stat : 19818 (java) S 19758 19761 17185 0 -1 1077944384 2 13144 0 0 0 0 5 3 20 0 15 0 417485004 11079335936 10206 33554432000 4194304 4196468 140723737412064 140700578270096 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19819] ppid=19758 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19819/stat : 19819 (java) S 19758 19761 17185 0 -1 1077944384 2 13144 0 0 0 0 5 3 20 0 15 0 417485005 11079335936 10206 33554432000 4194304 4196468 140723737412064 140700533962992 140701007288962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19820] ppid=19758 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19820/stat : 19820 (java) S 19758 19761 17185 0 -1 1077944384 13 13144 0 0 0 0 5 3 20 0 15 0 417485006 11079335936 10206 33554432000 4194304 4196468 140723737412064 140700444255392 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19821] ppid=19758 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19821/stat : 19821 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485006 11079335936 10206 33554432000 4194304 4196468 140723737412064 140699840275184 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19822] ppid=19758 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19822/stat : 19822 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11079335936 10206 33554432000 4194304 4196468 140723737412064 140699532875728 140701007296411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19823] ppid=19758 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19761/task/19823/stat : 19823 (java) S 19758 19761 17185 0 -1 1077944384 343 13144 0 0 1 0 5 3 20 0 15 0 417485009 11079335936 10206 33554432000 4194304 4196468 140723737412064 140700532910832 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19824] ppid=19758 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/19761/task/19824/stat : 19824 (java) S 19758 19761 17185 0 -1 1077944384 317 13144 0 0 1 0 5 3 20 0 15 0 417485009 11079335936 10206 33554432000 4194304 4196468 140723737412064 140700531858288 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19825] ppid=19758 vsize=10819664 memory=140581104236160 CPUtime=0.11 cores=0,2,4,6
/proc/19761/task/19825/stat : 19825 (java) S 19758 19761 17185 0 -1 1077944384 615 13144 0 0 3 0 5 3 20 0 15 0 417485009 11079335936 10206 33554432000 4194304 4196468 140723737412064 140700530805232 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19826] ppid=19758 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19826/stat : 19826 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11079335936 10206 33554432000 4194304 4196468 140723737412064 140699499318112 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19827] ppid=19758 vsize=10819664 memory=140581104236160 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19827/stat : 19827 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485009 11079335936 10206 33554432000 4194304 4196468 140723737412064 140700529752624 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 40824 KiB
[startup+0.310569 s]*
/proc/loadavg: 1.10 1.30 1.47 5/228 19827
/proc/meminfo: memFree=27017808/32770624 swapFree=66998528/67108860
[pid=19761] ppid=19758 vsize=10820148 memory=51936 CPUtime=0.4 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19758 19761 17185 0 -1 1077944320 10733 13144 0 0 29 3 5 3 20 0 15 0 417484994 11079831552 12984 33554432000 4194304 4196468 140723737412064 140723737394608 140701007277815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
/proc/19761/statm: 2705037 12984 3292 1 0 2667149 0
[pid=19761/tid=19814] ppid=19758 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/19761/task/19814/stat : 19814 (java) R 19758 19761 17185 0 -1 4202560 7188 13144 0 0 19 2 5 3 20 0 15 0 417485003 11079831552 12984 33554432000 4194304 4196468 140723737412064 140700979077728 140700991358302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19815] ppid=19758 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19815/stat : 19815 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485004 11079831552 12984 33554432000 4194304 4196468 140723737412064 140701011520528 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19816] ppid=19758 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19816/stat : 19816 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485004 11079831552 12984 33554432000 4194304 4196468 140723737412064 140700915723408 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19817] ppid=19758 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19817/stat : 19817 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485004 11079831552 12984 33554432000 4194304 4196468 140723737412064 140700579322640 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19818] ppid=19758 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19818/stat : 19818 (java) S 19758 19761 17185 0 -1 1077944384 2 13144 0 0 0 0 5 3 20 0 15 0 417485004 11079831552 12984 33554432000 4194304 4196468 140723737412064 140700578270096 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19819] ppid=19758 vsize=10820148 memory=140581104236159 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19819/stat : 19819 (java) S 19758 19761 17185 0 -1 1077944384 2 13144 0 0 0 0 5 3 20 0 15 0 417485005 11079831552 12984 33554432000 4194304 4196468 140723737412064 140700533962992 140701007288962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19820] ppid=19758 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19820/stat : 19820 (java) S 19758 19761 17185 0 -1 1077944384 13 13144 0 0 0 0 5 3 20 0 15 0 417485006 11079831552 12984 33554432000 4194304 4196468 140723737412064 140700444255392 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19821] ppid=19758 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19821/stat : 19821 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485006 11079831552 12984 33554432000 4194304 4196468 140723737412064 140699840275184 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19822] ppid=19758 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19822/stat : 19822 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11079831552 12984 33554432000 4194304 4196468 140723737412064 140699532875728 140701007296411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19823] ppid=19758 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19761/task/19823/stat : 19823 (java) S 19758 19761 17185 0 -1 1077944384 344 13144 0 0 1 0 5 3 20 0 15 0 417485009 11079831552 12984 33554432000 4194304 4196468 140723737412064 140700532910832 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19824] ppid=19758 vsize=10820148 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/19761/task/19824/stat : 19824 (java) S 19758 19761 17185 0 -1 1077944384 326 13144 0 0 2 0 5 3 20 0 15 0 417485009 11079831552 12984 33554432000 4194304 4196468 140723737412064 140700531858288 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19825] ppid=19758 vsize=10820148 memory=140581104236160 CPUtime=0.13 cores=0,2,4,6
/proc/19761/task/19825/stat : 19825 (java) S 19758 19761 17185 0 -1 1077944384 638 13144 0 0 5 0 5 3 20 0 15 0 417485009 11079831552 12984 33554432000 4194304 4196468 140723737412064 140700530805232 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19826] ppid=19758 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19826/stat : 19826 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11079831552 12984 33554432000 4194304 4196468 140723737412064 140699499318112 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19827] ppid=19758 vsize=10820148 memory=140581104236160 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19827/stat : 19827 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485009 11079831552 12984 33554432000 4194304 4196468 140723737412064 140700529752624 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 51936 KiB
[startup+0.700709 s]
/proc/loadavg: 1.10 1.30 1.47 6/228 19827
/proc/meminfo: memFree=27004532/32770624 swapFree=66998528/67108860
[pid=19761] ppid=19758 vsize=10824360 memory=85392 CPUtime=1.12 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19758 19761 17185 0 -1 1077944320 15050 13144 0 0 99 5 5 3 20 0 15 0 417484994 11084144640 21348 33554432000 4194304 4196468 140723737412064 140723737394608 140701007277815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
/proc/19761/statm: 2706090 21348 3500 1 0 2668173 0
[pid=19761/tid=19814] ppid=19758 vsize=10824360 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/19761/task/19814/stat : 19814 (java) R 19758 19761 17185 0 -1 4202560 10296 13144 0 0 56 3 5 3 20 0 15 0 417485003 11084144640 21348 33554432000 4194304 4196468 140723737412064 140700979099920 140701007299741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19815] ppid=19758 vsize=10824360 memory=1428 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19815/stat : 19815 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485004 11084144640 21348 33554432000 4194304 4196468 140723737412064 140701011520528 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19816] ppid=19758 vsize=10824360 memory=4160 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19816/stat : 19816 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485004 11084144640 21348 33554432000 4194304 4196468 140723737412064 140700915723408 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19817] ppid=19758 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19817/stat : 19817 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485004 11084144640 21348 33554432000 4194304 4196468 140723737412064 140700579322640 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19818] ppid=19758 vsize=10824360 memory=140581104234993 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19818/stat : 19818 (java) S 19758 19761 17185 0 -1 1077944384 2 13144 0 0 0 0 5 3 20 0 15 0 417485004 11084144640 21348 33554432000 4194304 4196468 140723737412064 140700578270096 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19819] ppid=19758 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19819/stat : 19819 (java) S 19758 19761 17185 0 -1 1077944384 5 13144 0 0 0 0 5 3 20 0 15 0 417485005 11084144640 21348 33554432000 4194304 4196468 140723737412064 140700533962992 140701007288962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19820] ppid=19758 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19820/stat : 19820 (java) S 19758 19761 17185 0 -1 1077944384 13 13144 0 0 0 0 5 3 20 0 15 0 417485006 11084144640 21348 33554432000 4194304 4196468 140723737412064 140700444255392 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19821] ppid=19758 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19821/stat : 19821 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485006 11084144640 21348 33554432000 4194304 4196468 140723737412064 140699840275184 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19822] ppid=19758 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19822/stat : 19822 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11084144640 21348 33554432000 4194304 4196468 140723737412064 140699532875728 140701007296411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19823] ppid=19758 vsize=10824360 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/19761/task/19823/stat : 19823 (java) S 19758 19761 17185 0 -1 1077944384 734 13144 0 0 9 0 5 3 20 0 15 0 417485009 11084144640 21348 33554432000 4194304 4196468 140723737412064 140700532910832 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19824] ppid=19758 vsize=10824360 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/19761/task/19824/stat : 19824 (java) R 19758 19761 17185 0 -1 4202560 897 13144 0 0 16 0 5 3 20 0 15 0 417485009 11084144640 21348 33554432000 4194304 4196468 140723737412064 140700531858288 140700988612577 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19825] ppid=19758 vsize=10824360 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/19761/task/19825/stat : 19825 (java) S 19758 19761 17185 0 -1 1077944384 882 13144 0 0 17 0 5 3 20 0 15 0 417485009 11084144640 21348 33554432000 4194304 4196468 140723737412064 140700530805232 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19826] ppid=19758 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19826/stat : 19826 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11084144640 21348 33554432000 4194304 4196468 140723737412064 140699499318112 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19827] ppid=19758 vsize=10824360 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19827/stat : 19827 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485009 11084144640 21348 33554432000 4194304 4196468 140723737412064 140700529752624 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85392 KiB
[startup+1.50068 s]
/proc/loadavg: 1.10 1.30 1.47 5/228 19827
/proc/meminfo: memFree=26953852/32770624 swapFree=66998528/67108860
[pid=19761] ppid=19758 vsize=10834676 memory=195060 CPUtime=2.88 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19758 19761 17185 0 -1 1077944320 22955 13144 0 0 272 8 5 3 20 0 15 0 417484994 11094708224 48765 33554432000 4194304 4196468 140723737412064 140723737394608 140701007277815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
/proc/19761/statm: 2708669 48765 3591 1 0 2670733 0
[pid=19761/tid=19814] ppid=19758 vsize=10834676 memory=56 CPUtime=1.43 cores=0,2,4,6
/proc/19761/task/19814/stat : 19814 (java) R 19758 19761 17185 0 -1 4202560 15044 13144 0 0 130 5 5 3 20 0 15 0 417485003 11094708224 48765 33554432000 4194304 4196468 140723737412064 140700979105632 140700991321445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19815] ppid=19758 vsize=10834676 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/19761/task/19815/stat : 19815 (java) S 19758 19761 17185 0 -1 1077944384 80 13144 0 0 1 0 5 3 20 0 15 0 417485004 11094708224 48765 33554432000 4194304 4196468 140723737412064 140701011520528 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19816] ppid=19758 vsize=10834676 memory=140581104246241 CPUtime=0.09 cores=0,2,4,6
/proc/19761/task/19816/stat : 19816 (java) S 19758 19761 17185 0 -1 1077944384 30 13144 0 0 1 0 5 3 20 0 15 0 417485004 11094708224 48765 33554432000 4194304 4196468 140723737412064 140700915723408 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19817] ppid=19758 vsize=10834676 memory=140581104244033 CPUtime=0.09 cores=0,2,4,6
/proc/19761/task/19817/stat : 19817 (java) S 19758 19761 17185 0 -1 1077944384 304 13144 0 0 1 0 5 3 20 0 15 0 417485004 11094708224 48765 33554432000 4194304 4196468 140723737412064 140700579322640 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19818] ppid=19758 vsize=10834676 memory=140581104245921 CPUtime=0.09 cores=0,2,4,6
/proc/19761/task/19818/stat : 19818 (java) S 19758 19761 17185 0 -1 1077944384 75 13144 0 0 1 0 5 3 20 0 15 0 417485004 11094708224 48765 33554432000 4194304 4196468 140723737412064 140700578270096 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19819] ppid=19758 vsize=10834676 memory=1428 CPUtime=0.09 cores=0,2,4,6
/proc/19761/task/19819/stat : 19819 (java) S 19758 19761 17185 0 -1 1077944384 119 13144 0 0 1 0 5 3 20 0 15 0 417485005 11094708224 48765 33554432000 4194304 4196468 140723737412064 140700533962992 140701007288962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19820] ppid=19758 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19820/stat : 19820 (java) S 19758 19761 17185 0 -1 1077944384 14 13144 0 0 0 0 5 3 20 0 15 0 417485006 11094708224 48765 33554432000 4194304 4196468 140723737412064 140700444255456 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19821] ppid=19758 vsize=10834676 memory=7307461379085066582 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19821/stat : 19821 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485006 11094708224 48765 33554432000 4194304 4196468 140723737412064 140699840275200 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19822] ppid=19758 vsize=10834676 memory=7596840680533025105 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19822/stat : 19822 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11094708224 48765 33554432000 4194304 4196468 140723737412064 140699532875728 140701007296411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19823] ppid=19758 vsize=10834676 memory=7523088824991443302 CPUtime=0.47 cores=0,2,4,6
/proc/19761/task/19823/stat : 19823 (java) R 19758 19761 17185 0 -1 1077944384 1536 13144 0 0 39 0 5 3 20 0 15 0 417485009 11094708224 48765 33554432000 4194304 4196468 140723737412064 140700532910832 140701007288962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19824] ppid=19758 vsize=10834676 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/19761/task/19824/stat : 19824 (java) R 19758 19761 17185 0 -1 1077944384 1684 13144 0 0 49 0 5 3 20 0 15 0 417485009 11094708224 48765 33554432000 4194304 4196468 140723737412064 140700531858288 140701007288962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19825] ppid=19758 vsize=10834676 memory=4949696295840688515 CPUtime=0.52 cores=0,2,4,6
/proc/19761/task/19825/stat : 19825 (java) S 19758 19761 17185 0 -1 1077944384 1851 13144 0 0 44 0 5 3 20 0 15 0 417485009 11094708224 48765 33554432000 4194304 4196468 140723737412064 140700530805232 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19826] ppid=19758 vsize=10834676 memory=-7390251449858225344 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19826/stat : 19826 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11094708224 48765 33554432000 4194304 4196468 140723737412064 140699499318112 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19827] ppid=19758 vsize=10834676 memory=-7035114785800479027 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19827/stat : 19827 (java) S 19758 19761 17185 0 -1 1077944384 1 13144 0 0 0 0 5 3 20 0 15 0 417485009 11094708224 48765 33554432000 4194304 4196468 140723737412064 140700529752624 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/19761/task/19814/stat : 19814 (java) R 19758 19761 17185 0 -1 4202560 62351 13144 0 0 236981 31 5 3 20 0 15 0 417485003 11107311616 199664 33554432000 4194304 4196468 140723737412064 140700979114128 140700608334290 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19815] ppid=19758 vsize=10846984 memory=798656 CPUtime=5.69 cores=0,2,4,6
/proc/19761/task/19815/stat : 19815 (java) S 19758 19761 17185 0 -1 1077944384 11038 13144 0 0 535 26 5 3 20 0 15 0 417485004 11107311616 199664 33554432000 4194304 4196468 140723737412064 140701011520528 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19816] ppid=19758 vsize=10846984 memory=798656 CPUtime=5.67 cores=0,2,4,6
/proc/19761/task/19816/stat : 19816 (java) S 19758 19761 17185 0 -1 1077944384 12848 13144 0 0 531 28 5 3 20 0 15 0 417485004 11107311616 199664 33554432000 4194304 4196468 140723737412064 140700915723408 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19817] ppid=19758 vsize=10846984 memory=798656 CPUtime=5.67 cores=0,2,4,6
/proc/19761/task/19817/stat : 19817 (java) S 19758 19761 17185 0 -1 1077944384 10748 13144 0 0 533 26 5 3 20 0 15 0 417485004 11107311616 199664 33554432000 4194304 4196468 140723737412064 140700579322640 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19818] ppid=19758 vsize=10846984 memory=799148 CPUtime=5.66 cores=0,2,4,6
/proc/19761/task/19818/stat : 19818 (java) S 19758 19761 17185 0 -1 1077944384 15628 13144 0 0 531 27 5 3 20 0 15 0 417485004 11107311616 199664 33554432000 4194304 4196468 140723737412064 140700578270096 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19819] ppid=19758 vsize=10846984 memory=800176 CPUtime=4.73 cores=0,2,4,6
/proc/19761/task/19819/stat : 19819 (java) S 19758 19761 17185 0 -1 1077944384 14235 13144 0 0 438 27 5 3 20 0 15 0 417485005 11107311616 199664 33554432000 4194304 4196468 140723737412064 140700533962992 140701007288962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19820] ppid=19758 vsize=10846984 memory=798656 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19820/stat : 19820 (java) S 19758 19761 17185 0 -1 1077944384 36 13144 0 0 0 0 5 3 20 0 15 0 417485006 11107311616 199664 33554432000 4194304 4196468 140723737412064 140700444255456 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19821] ppid=19758 vsize=10846984 memory=798656 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19821/stat : 19821 (java) S 19758 19761 17185 0 -1 1077944384 38 13144 0 0 0 0 5 3 20 0 15 0 417485006 11107311616 199664 33554432000 4194304 4196468 140723737412064 140699840275200 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19822] ppid=19758 vsize=10846984 memory=798656 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19822/stat : 19822 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11107311616 199664 33554432000 4194304 4196468 140723737412064 140699532875728 140701007296411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19823] ppid=19758 vsize=10846984 memory=798656 CPUtime=7.5 cores=0,2,4,6
/proc/19761/task/19823/stat : 19823 (java) S 19758 19761 17185 0 -1 1077944384 43685 13144 0 0 738 4 5 3 20 0 15 0 417485009 11107311616 199664 33554432000 4194304 4196468 140723737412064 140700532910832 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19824] ppid=19758 vsize=10846984 memory=798656 CPUtime=8.98 cores=0,2,4,6
/proc/19761/task/19824/stat : 19824 (java) S 19758 19761 17185 0 -1 1077944384 46615 13144 0 0 885 5 5 3 20 0 15 0 417485009 11107311616 199664 33554432000 4194304 4196468 140723737412064 140700531858288 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19825] ppid=19758 vsize=10846984 memory=798656 CPUtime=2.55 cores=0,2,4,6
/proc/19761/task/19825/stat : 19825 (java) S 19758 19761 17185 0 -1 1077944384 31446 13144 0 0 242 5 5 3 20 0 15 0 417485009 11107311616 199664 33554432000 4194304 4196468 140723737412064 140700530805232 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19826] ppid=19758 vsize=10846984 memory=798656 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19826/stat : 19826 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11107311616 199664 33554432000 4194304 4196468 140723737412064 140699499318112 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19827] ppid=19758 vsize=10846984 memory=40728 CPUtime=1.31 cores=0,2,4,6
/proc/19761/task/19827/stat : 19827 (java) S 19758 19761 17185 0 -1 1077944384 1441 13144 0 0 65 58 5 3 20 0 15 0 417485009 11107311616 199664 33554432000 4194304 4196468 140723737412064 140700529752624 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
Current children cumulated CPU time: 2417.36 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 798656 KiB
[startup+2442.3 s]
/proc/loadavg: 1.17 1.30 1.40 3/227 20176
/proc/meminfo: memFree=26491568/32770624 swapFree=66998528/67108860
[pid=19761] ppid=19758 vsize=10846984 memory=788432 CPUtime=2477.77 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19758 19761 17185 0 -1 1077944320 253929 13144 0 0 247556 213 5 3 20 0 15 0 417484994 11107311616 197108 33554432000 4194304 4196468 140723737412064 140723737394608 140701007277815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
/proc/19761/statm: 2711746 197108 3633 1 0 2673805 0
[pid=19761/tid=19814] ppid=19758 vsize=10846984 memory=788944 CPUtime=2429.88 cores=0,2,4,6
/proc/19761/task/19814/stat : 19814 (java) R 19758 19761 17185 0 -1 4202560 62862 13144 0 0 242949 31 5 3 20 0 15 0 417485003 11107311616 197108 33554432000 4194304 4196468 140723737412064 140700979114128 140700614188113 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19815] ppid=19758 vsize=10846984 memory=792016 CPUtime=5.84 cores=0,2,4,6
/proc/19761/task/19815/stat : 19815 (java) S 19758 19761 17185 0 -1 1077944384 11241 13144 0 0 549 27 5 3 20 0 15 0 417485004 11107311616 197108 33554432000 4194304 4196468 140723737412064 140701011520528 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19816] ppid=19758 vsize=10846984 memory=800176 CPUtime=5.81 cores=0,2,4,6
/proc/19761/task/19816/stat : 19816 (java) S 19758 19761 17185 0 -1 1077944384 13016 13144 0 0 544 29 5 3 20 0 15 0 417485004 11107311616 197108 33554432000 4194304 4196468 140723737412064 140700915723408 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19817] ppid=19758 vsize=10846984 memory=798656 CPUtime=5.81 cores=0,2,4,6
/proc/19761/task/19817/stat : 19817 (java) S 19758 19761 17185 0 -1 1077944384 11151 13144 0 0 546 27 5 3 20 0 15 0 417485004 11107311616 197108 33554432000 4194304 4196468 140723737412064 140700579322640 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19818] ppid=19758 vsize=10846984 memory=798656 CPUtime=5.81 cores=0,2,4,6
/proc/19761/task/19818/stat : 19818 (java) S 19758 19761 17185 0 -1 1077944384 15710 13144 0 0 545 28 5 3 20 0 15 0 417485004 11107311616 197108 33554432000 4194304 4196468 140723737412064 140700578270096 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19819] ppid=19758 vsize=10846984 memory=792016 CPUtime=4.85 cores=0,2,4,6
/proc/19761/task/19819/stat : 19819 (java) S 19758 19761 17185 0 -1 1077944384 14448 13144 0 0 450 27 5 3 20 0 15 0 417485005 11107311616 197108 33554432000 4194304 4196468 140723737412064 140700533962992 140701007288962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19820] ppid=19758 vsize=10846984 memory=792016 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19820/stat : 19820 (java) S 19758 19761 17185 0 -1 1077944384 36 13144 0 0 0 0 5 3 20 0 15 0 417485006 11107311616 197108 33554432000 4194304 4196468 140723737412064 140700444255456 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19821] ppid=19758 vsize=10846984 memory=799148 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19821/stat : 19821 (java) S 19758 19761 17185 0 -1 1077944384 38 13144 0 0 0 0 5 3 20 0 15 0 417485006 11107311616 197108 33554432000 4194304 4196468 140723737412064 140699840275200 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19822] ppid=19758 vsize=10846984 memory=792004 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19822/stat : 19822 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11107311616 197108 33554432000 4194304 4196468 140723737412064 140699532875728 140701007296411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19823] ppid=19758 vsize=10846984 memory=792016 CPUtime=7.5 cores=0,2,4,6
/proc/19761/task/19823/stat : 19823 (java) S 19758 19761 17185 0 -1 1077944384 43687 13144 0 0 738 4 5 3 20 0 15 0 417485009 11107311616 197108 33554432000 4194304 4196468 140723737412064 140700532910832 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19824] ppid=19758 vsize=10846984 memory=789460 CPUtime=8.98 cores=0,2,4,6
/proc/19761/task/19824/stat : 19824 (java) S 19758 19761 17185 0 -1 1077944384 46617 13144 0 0 885 5 5 3 20 0 15 0 417485009 11107311616 197108 33554432000 4194304 4196468 140723737412064 140700531858288 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19825] ppid=19758 vsize=10846984 memory=789972 CPUtime=2.55 cores=0,2,4,6
/proc/19761/task/19825/stat : 19825 (java) S 19758 19761 17185 0 -1 1077944384 31449 13144 0 0 242 5 5 3 20 0 15 0 417485009 11107311616 197108 33554432000 4194304 4196468 140723737412064 140700530805232 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19826] ppid=19758 vsize=10846984 memory=788944 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19826/stat : 19826 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11107311616 197108 33554432000 4194304 4196468 140723737412064 140699499318112 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19827] ppid=19758 vsize=10846984 memory=788944 CPUtime=1.34 cores=0,2,4,6
/proc/19761/task/19827/stat : 19827 (java) S 19758 19761 17185 0 -1 1077944384 1458 13144 0 0 67 59 5 3 20 0 15 0 417485009 11107311616 197108 33554432000 4194304 4196468 140723737412064 140700529752624 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
Current children cumulated CPU time: 2477.77 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 788432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2484.3 s]
/proc/loadavg: 1.20 1.29 1.39 3/227 20180
/proc/meminfo: memFree=26497188/32770624 swapFree=66998528/67108860
[pid=19761] ppid=19758 vsize=10846984 memory=782804 CPUtime=2520.04 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19758 19761 17185 0 -1 1077944320 254929 13144 0 0 251781 215 5 3 20 0 15 0 417484994 11107311616 195701 33554432000 4194304 4196468 140723737412064 140723737394608 140701007277815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
/proc/19761/statm: 2711746 195701 3633 1 0 2673805 0
[pid=19761/tid=19814] ppid=19758 vsize=10846984 memory=782804 CPUtime=2471.65 cores=0,2,4,6
/proc/19761/task/19814/stat : 19814 (java) R 19758 19761 17185 0 -1 4202560 63235 13144 0 0 247126 31 5 3 20 0 15 0 417485003 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700979114176 140700614219232 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19815] ppid=19758 vsize=10846984 memory=782804 CPUtime=5.94 cores=0,2,4,6
/proc/19761/task/19815/stat : 19815 (java) S 19758 19761 17185 0 -1 1077944384 11561 13144 0 0 559 27 5 3 20 0 15 0 417485004 11107311616 195701 33554432000 4194304 4196468 140723737412064 140701011520528 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19816] ppid=19758 vsize=10846984 memory=782804 CPUtime=5.91 cores=0,2,4,6
/proc/19761/task/19816/stat : 19816 (java) S 19758 19761 17185 0 -1 1077944384 13105 13144 0 0 554 29 5 3 20 0 15 0 417485004 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700915723408 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19817] ppid=19758 vsize=10846984 memory=782804 CPUtime=5.91 cores=0,2,4,6
/proc/19761/task/19817/stat : 19817 (java) S 19758 19761 17185 0 -1 1077944384 11174 13144 0 0 556 27 5 3 20 0 15 0 417485004 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700579322640 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19818] ppid=19758 vsize=10846984 memory=782804 CPUtime=5.91 cores=0,2,4,6
/proc/19761/task/19818/stat : 19818 (java) S 19758 19761 17185 0 -1 1077944384 15718 13144 0 0 555 28 5 3 20 0 15 0 417485004 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700578270096 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19819] ppid=19758 vsize=10846984 memory=281161982271280 CPUtime=4.93 cores=0,2,4,6
/proc/19761/task/19819/stat : 19819 (java) S 19758 19761 17185 0 -1 1077944384 14623 13144 0 0 458 27 5 3 20 0 15 0 417485005 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700533962992 140701007288962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19820] ppid=19758 vsize=10846984 memory=782804 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19820/stat : 19820 (java) S 19758 19761 17185 0 -1 1077944384 36 13144 0 0 0 0 5 3 20 0 15 0 417485006 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700444255456 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19821] ppid=19758 vsize=10846984 memory=782804 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19821/stat : 19821 (java) S 19758 19761 17185 0 -1 1077944384 38 13144 0 0 0 0 5 3 20 0 15 0 417485006 11107311616 195701 33554432000 4194304 4196468 140723737412064 140699840275200 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19822] ppid=19758 vsize=10846984 memory=782804 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19822/stat : 19822 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11107311616 195701 33554432000 4194304 4196468 140723737412064 140699532875728 140701007296411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19823] ppid=19758 vsize=10846984 memory=0 CPUtime=7.5 cores=0,2,4,6
/proc/19761/task/19823/stat : 19823 (java) S 19758 19761 17185 0 -1 1077944384 43689 13144 0 0 738 4 5 3 20 0 15 0 417485009 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700532910832 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19824] ppid=19758 vsize=10846984 memory=782804 CPUtime=8.98 cores=0,2,4,6
/proc/19761/task/19824/stat : 19824 (java) S 19758 19761 17185 0 -1 1077944384 46619 13144 0 0 885 5 5 3 20 0 15 0 417485009 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700531858288 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19825] ppid=19758 vsize=10846984 memory=782804 CPUtime=2.55 cores=0,2,4,6
/proc/19761/task/19825/stat : 19825 (java) S 19758 19761 17185 0 -1 1077944384 31451 13144 0 0 242 5 5 3 20 0 15 0 417485009 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700530805232 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19826] ppid=19758 vsize=10846984 memory=782804 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19826/stat : 19826 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11107311616 195701 33554432000 4194304 4196468 140723737412064 140699499318112 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19827] ppid=19758 vsize=10846984 memory=782804 CPUtime=1.36 cores=0,2,4,6
/proc/19761/task/19827/stat : 19827 (java) S 19758 19761 17185 0 -1 1077944384 1464 13144 0 0 68 60 5 3 20 0 15 0 417485009 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700529752624 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 782804 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2484.34 s]
# the end of solver process 19761 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.9 s, system=2.20011 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2484.3 s]
/proc/loadavg: 1.20 1.29 1.39 3/227 20180
/proc/meminfo: memFree=26497188/32770624 swapFree=66998528/67108860
[pid=19761] ppid=19758 vsize=10846984 memory=782804 CPUtime=2520.04 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19758 19761 17185 0 -1 1077944320 254929 13144 0 0 251781 215 5 3 20 0 15 0 417484994 11107311616 195701 33554432000 4194304 4196468 140723737412064 140723737394608 140701007277815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
/proc/19761/statm: 2711746 195701 3633 1 0 2673805 0
[pid=19761/tid=19814] ppid=19758 vsize=10846984 memory=782804 CPUtime=2471.65 cores=0,2,4,6
/proc/19761/task/19814/stat : 19814 (java) R 19758 19761 17185 0 -1 4202560 63235 13144 0 0 247126 31 5 3 20 0 15 0 417485003 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700979114176 140700614219232 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19815] ppid=19758 vsize=10846984 memory=782804 CPUtime=5.94 cores=0,2,4,6
/proc/19761/task/19815/stat : 19815 (java) S 19758 19761 17185 0 -1 1077944384 11561 13144 0 0 559 27 5 3 20 0 15 0 417485004 11107311616 195701 33554432000 4194304 4196468 140723737412064 140701011520528 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19816] ppid=19758 vsize=10846984 memory=782804 CPUtime=5.91 cores=0,2,4,6
/proc/19761/task/19816/stat : 19816 (java) S 19758 19761 17185 0 -1 1077944384 13105 13144 0 0 554 29 5 3 20 0 15 0 417485004 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700915723408 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19817] ppid=19758 vsize=10846984 memory=782804 CPUtime=5.91 cores=0,2,4,6
/proc/19761/task/19817/stat : 19817 (java) S 19758 19761 17185 0 -1 1077944384 11174 13144 0 0 556 27 5 3 20 0 15 0 417485004 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700579322640 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19818] ppid=19758 vsize=10846984 memory=782804 CPUtime=5.91 cores=0,2,4,6
/proc/19761/task/19818/stat : 19818 (java) S 19758 19761 17185 0 -1 1077944384 15718 13144 0 0 555 28 5 3 20 0 15 0 417485004 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700578270096 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19819] ppid=19758 vsize=10846984 memory=281161982271280 CPUtime=4.93 cores=0,2,4,6
/proc/19761/task/19819/stat : 19819 (java) S 19758 19761 17185 0 -1 1077944384 14623 13144 0 0 458 27 5 3 20 0 15 0 417485005 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700533962992 140701007288962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19820] ppid=19758 vsize=10846984 memory=782804 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19820/stat : 19820 (java) S 19758 19761 17185 0 -1 1077944384 36 13144 0 0 0 0 5 3 20 0 15 0 417485006 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700444255456 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19821] ppid=19758 vsize=10846984 memory=782804 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19821/stat : 19821 (java) S 19758 19761 17185 0 -1 1077944384 38 13144 0 0 0 0 5 3 20 0 15 0 417485006 11107311616 195701 33554432000 4194304 4196468 140723737412064 140699840275200 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19822] ppid=19758 vsize=10846984 memory=782804 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19822/stat : 19822 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11107311616 195701 33554432000 4194304 4196468 140723737412064 140699532875728 140701007296411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19823] ppid=19758 vsize=10846984 memory=0 CPUtime=7.5 cores=0,2,4,6
/proc/19761/task/19823/stat : 19823 (java) S 19758 19761 17185 0 -1 1077944384 43689 13144 0 0 738 4 5 3 20 0 15 0 417485009 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700532910832 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19824] ppid=19758 vsize=10846984 memory=782804 CPUtime=8.98 cores=0,2,4,6
/proc/19761/task/19824/stat : 19824 (java) S 19758 19761 17185 0 -1 1077944384 46619 13144 0 0 885 5 5 3 20 0 15 0 417485009 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700531858288 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19825] ppid=19758 vsize=10846984 memory=782804 CPUtime=2.55 cores=0,2,4,6
/proc/19761/task/19825/stat : 19825 (java) S 19758 19761 17185 0 -1 1077944384 31451 13144 0 0 242 5 5 3 20 0 15 0 417485009 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700530805232 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19826] ppid=19758 vsize=10846984 memory=782804 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19826/stat : 19826 (java) S 19758 19761 17185 0 -1 1077944384 3 13144 0 0 0 0 5 3 20 0 15 0 417485009 11107311616 195701 33554432000 4194304 4196468 140723737412064 140699499318112 140701007288021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
[pid=19761/tid=19827] ppid=19758 vsize=10846984 memory=782804 CPUtime=1.36 cores=0,2,4,6
/proc/19761/task/19827/stat : 19827 (java) S 19758 19761 17185 0 -1 1077944384 1464 13144 0 0 68 60 5 3 20 0 15 0 417485009 11107311616 195701 33554432000 4194304 4196468 140723737412064 140700529752624 140701007288962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32751616 140723737418480 140723737420997 140723737420997 140723737423823 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 782804 KiB
Child status: 143
Real time (s): 2484.34
CPU time (s): 2520.1
CPU user time (s): 2517.9
CPU system time (s): 2.20011
CPU usage (%): 101.439
Max. virtual memory (cumulated for all children) (KiB): 10849652
Max. memory (cumulated for all children) (KiB): 1017372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.9
system time used= 2.20011
maximum resident set size= 1018440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161327
involuntary context switches= 6005
# summary of solver processes directly reported to runsolver:
# pid: 19761
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.9
# total CPU system time (s): 2.20011
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8277 second user time and 22.5373 second system time
The end