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 (11918 MiB free)
memory of node 1: 16384 MiB (11694 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396458-1568408299/watcher-4396458-1568408299 -o /tmp/evaluation-result-4396458-1568408299/solver-4396458-1568408299 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568401197-16670 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1301551483 HOME/instance-4396458-1568408299.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=19013, runsolver pid=19010
[startup+0.102978 s]*
/proc/loadavg: 1.63 1.65 1.56 3/217 19070
/proc/meminfo: memFree=24171128/32770624 swapFree=66939840/67108860
[pid=19013] ppid=19010 vsize=9972712 memory=16692 CPUtime=0.09 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19010 19013 16639 0 -1 1077944320 4392 13473 0 0 1 0 5 3 20 0 6 0 416744848 10212057088 4173 33554432000 4194304 4196468 140730529132304 140730529114848 140161491939063 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
/proc/19013/statm: 2493178 4173 1949 1 0 2481616 0
[pid=19013/tid=19066] ppid=19010 vsize=9972712 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/19013/task/19066/stat : 19066 (java) R 19010 19013 16639 0 -1 4202560 2183 13473 0 0 1 0 5 3 20 0 6 0 416744857 10212057088 4173 33554432000 4194304 4196468 140730529132304 140161463775824 140161491960989 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19067] ppid=19010 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19067/stat : 19067 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 6 0 416744858 10212057088 4173 33554432000 4194304 4196468 140730529132304 140161496181264 140161491949269 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19068] ppid=19010 vsize=9972712 memory=140238814635648 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19068/stat : 19068 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 6 0 416744858 10212057088 4173 33554432000 4194304 4196468 140730529132304 140161065609872 140161491949269 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19069] ppid=19010 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19069/stat : 19069 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 6 0 416744858 10212057088 4173 33554432000 4194304 4196468 140730529132304 140161064556816 140161491949269 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19070] ppid=19010 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19070/stat : 19070 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 6 0 416744858 10212057088 4173 33554432000 4194304 4196468 140730529132304 140161063504272 140161491949269 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16692 KiB
[startup+0.209877 s]*
/proc/loadavg: 1.63 1.65 1.56 3/226 19079
/proc/meminfo: memFree=24152284/32770624 swapFree=66939840/67108860
[pid=19013] ppid=19010 vsize=10819664 memory=40616 CPUtime=0.26 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19010 19013 16639 0 -1 1077944320 6981 13473 0 0 16 2 5 3 20 0 15 0 416744848 11079335936 10154 33554432000 4194304 4196468 140730529132304 140730529114848 140161491939063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
/proc/19013/statm: 2704916 10154 3159 1 0 2667149 0
[pid=19013/tid=19066] ppid=19010 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/19013/task/19066/stat : 19066 (java) R 19010 19013 16639 0 -1 4202560 3382 13473 0 0 10 1 5 3 20 0 15 0 416744857 11079335936 10154 33554432000 4194304 4196468 140730529132304 140161463736192 140161476019550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19067] ppid=19010 vsize=10819664 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19067/stat : 19067 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744858 11079335936 10154 33554432000 4194304 4196468 140730529132304 140161496181264 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19068] ppid=19010 vsize=10819664 memory=140238814653706 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19068/stat : 19068 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744858 11079335936 10154 33554432000 4194304 4196468 140730529132304 140161065609872 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19069] ppid=19010 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19069/stat : 19069 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744858 11079335936 10154 33554432000 4194304 4196468 140730529132304 140161064556816 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19070] ppid=19010 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19070/stat : 19070 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744858 11079335936 10154 33554432000 4194304 4196468 140730529132304 140161063504272 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19071] ppid=19010 vsize=10819664 memory=140238814635648 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19071/stat : 19071 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744859 11079335936 10154 33554432000 4194304 4196468 140730529132304 140160950835952 140161491950210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19072] ppid=19010 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19072/stat : 19072 (java) S 19010 19013 16639 0 -1 1077944384 33 13473 0 0 0 0 5 3 20 0 15 0 416744860 11079335936 10154 33554432000 4194304 4196468 140730529132304 140160949782176 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19073] ppid=19010 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19073/stat : 19073 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744860 11079335936 10154 33554432000 4194304 4196468 140730529132304 140160486335728 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19074] ppid=19010 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19074/stat : 19074 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744863 11079335936 10154 33554432000 4194304 4196468 140730529132304 140160217901520 140161491957659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19075] ppid=19010 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19013/task/19075/stat : 19075 (java) S 19010 19013 16639 0 -1 1077944384 480 13473 0 0 1 0 5 3 20 0 15 0 416744863 11079335936 10154 33554432000 4194304 4196468 140730529132304 140160916224240 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19076] ppid=19010 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19076/stat : 19076 (java) S 19010 19013 16639 0 -1 1077944384 197 13473 0 0 0 0 5 3 20 0 15 0 416744863 11079335936 10154 33554432000 4194304 4196468 140730529132304 140160915171696 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19077] ppid=19010 vsize=10819664 memory=140238814635648 CPUtime=0.11 cores=0,2,4,6
/proc/19013/task/19077/stat : 19077 (java) S 19010 19013 16639 0 -1 1077944384 669 13473 0 0 3 0 5 3 20 0 15 0 416744863 11079335936 10154 33554432000 4194304 4196468 140730529132304 140160914118640 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19078] ppid=19010 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19078/stat : 19078 (java) S 19010 19013 16639 0 -1 1077944384 3 13473 0 0 0 0 5 3 20 0 15 0 416744863 11079335936 10154 33554432000 4194304 4196468 140730529132304 140159748139360 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19079] ppid=19010 vsize=10819664 memory=140238814635648 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19079/stat : 19079 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744864 11079335936 10154 33554432000 4194304 4196468 140730529132304 140160913067056 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 40616 KiB
[startup+0.310474 s]*
/proc/loadavg: 1.63 1.65 1.56 3/226 19079
/proc/meminfo: memFree=24139908/32770624 swapFree=66939840/67108860
[pid=19013] ppid=19010 vsize=10820148 memory=51856 CPUtime=0.4 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19010 19013 16639 0 -1 1077944320 10667 13473 0 0 28 4 5 3 20 0 15 0 416744848 11079831552 12964 33554432000 4194304 4196468 140730529132304 140730529114848 140161491939063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
/proc/19013/statm: 2705037 12964 3316 1 0 2667149 0
[pid=19013/tid=19066] ppid=19010 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/19013/task/19066/stat : 19066 (java) R 19010 19013 16639 0 -1 4202560 7004 13473 0 0 18 3 5 3 20 0 15 0 416744857 11079831552 12964 33554432000 4194304 4196468 140730529132304 140161463738976 140161476019550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19067] ppid=19010 vsize=10820148 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19067/stat : 19067 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744858 11079831552 12964 33554432000 4194304 4196468 140730529132304 140161496181264 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19068] ppid=19010 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19068/stat : 19068 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744858 11079831552 12964 33554432000 4194304 4196468 140730529132304 140161065609872 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19069] ppid=19010 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19069/stat : 19069 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744858 11079831552 12964 33554432000 4194304 4196468 140730529132304 140161064556816 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19070] ppid=19010 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19070/stat : 19070 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744858 11079831552 12964 33554432000 4194304 4196468 140730529132304 140161063504272 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19071] ppid=19010 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19071/stat : 19071 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744859 11079831552 12964 33554432000 4194304 4196468 140730529132304 140160950835952 140161491950210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19072] ppid=19010 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19072/stat : 19072 (java) S 19010 19013 16639 0 -1 1077944384 33 13473 0 0 0 0 5 3 20 0 15 0 416744860 11079831552 12964 33554432000 4194304 4196468 140730529132304 140160949782176 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19073] ppid=19010 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19073/stat : 19073 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744860 11079831552 12964 33554432000 4194304 4196468 140730529132304 140160486335728 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19074] ppid=19010 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19074/stat : 19074 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744863 11079831552 12964 33554432000 4194304 4196468 140730529132304 140160217901520 140161491957659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19075] ppid=19010 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19013/task/19075/stat : 19075 (java) S 19010 19013 16639 0 -1 1077944384 486 13473 0 0 1 0 5 3 20 0 15 0 416744863 11079831552 12964 33554432000 4194304 4196468 140730529132304 140160916224240 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19076] ppid=19010 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19013/task/19076/stat : 19076 (java) S 19010 19013 16639 0 -1 1077944384 214 13473 0 0 1 0 5 3 20 0 15 0 416744863 11079831552 12964 33554432000 4194304 4196468 140730529132304 140160915171696 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19077] ppid=19010 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/19013/task/19077/stat : 19077 (java) S 19010 19013 16639 0 -1 1077944384 709 13473 0 0 5 0 5 3 20 0 15 0 416744863 11079831552 12964 33554432000 4194304 4196468 140730529132304 140160914118640 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19078] ppid=19010 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19078/stat : 19078 (java) S 19010 19013 16639 0 -1 1077944384 3 13473 0 0 0 0 5 3 20 0 15 0 416744863 11079831552 12964 33554432000 4194304 4196468 140730529132304 140159748139360 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19079] ppid=19010 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19079/stat : 19079 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744864 11079831552 12964 33554432000 4194304 4196468 140730529132304 140160913067056 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 51856 KiB
[startup+0.700762 s]
/proc/loadavg: 1.63 1.65 1.56 3/226 19079
/proc/meminfo: memFree=24127864/32770624 swapFree=66939840/67108860
[pid=19013] ppid=19010 vsize=10824360 memory=84324 CPUtime=1.14 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19010 19013 16639 0 -1 1077944320 14843 13473 0 0 100 6 5 3 20 0 15 0 416744848 11084144640 21081 33554432000 4194304 4196468 140730529132304 140730529114848 140161491939063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
/proc/19013/statm: 2706090 21081 3509 1 0 2668173 0
[pid=19013/tid=19066] ppid=19010 vsize=10824360 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/19013/task/19066/stat : 19066 (java) R 19010 19013 16639 0 -1 4202560 10024 13473 0 0 55 4 5 3 20 0 15 0 416744857 11084144640 21081 33554432000 4194304 4196468 140730529132304 140161463768608 140161491960989 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19067] ppid=19010 vsize=10824360 memory=8458433173656909621 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19067/stat : 19067 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744858 11084144640 21081 33554432000 4194304 4196468 140730529132304 140161496181264 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19068] ppid=19010 vsize=10824360 memory=4640485983243490667 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19068/stat : 19068 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744858 11084144640 21081 33554432000 4194304 4196468 140730529132304 140161065609872 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19069] ppid=19010 vsize=10824360 memory=140238814634513 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19069/stat : 19069 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744858 11084144640 21081 33554432000 4194304 4196468 140730529132304 140161064556816 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19070] ppid=19010 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19070/stat : 19070 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744858 11084144640 21081 33554432000 4194304 4196468 140730529132304 140161063504272 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19071] ppid=19010 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19071/stat : 19071 (java) S 19010 19013 16639 0 -1 1077944384 5 13473 0 0 0 0 5 3 20 0 15 0 416744859 11084144640 21081 33554432000 4194304 4196468 140730529132304 140160950835952 140161491950210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19072] ppid=19010 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19072/stat : 19072 (java) S 19010 19013 16639 0 -1 1077944384 33 13473 0 0 0 0 5 3 20 0 15 0 416744860 11084144640 21081 33554432000 4194304 4196468 140730529132304 140160949782176 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19073] ppid=19010 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19073/stat : 19073 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744860 11084144640 21081 33554432000 4194304 4196468 140730529132304 140160486335728 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19074] ppid=19010 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19074/stat : 19074 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744863 11084144640 21081 33554432000 4194304 4196468 140730529132304 140160217901520 140161491957659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19075] ppid=19010 vsize=10824360 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/19013/task/19075/stat : 19075 (java) S 19010 19013 16639 0 -1 1077944384 953 13473 0 0 14 0 5 3 20 0 15 0 416744863 11084144640 21081 33554432000 4194304 4196468 140730529132304 140160916224240 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19076] ppid=19010 vsize=10824360 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/19013/task/19076/stat : 19076 (java) S 19010 19013 16639 0 -1 1077944384 620 13473 0 0 12 0 5 3 20 0 15 0 416744863 11084144640 21081 33554432000 4194304 4196468 140730529132304 140160915171696 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19077] ppid=19010 vsize=10824360 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/19013/task/19077/stat : 19077 (java) S 19010 19013 16639 0 -1 1077944384 988 13473 0 0 17 0 5 3 20 0 15 0 416744863 11084144640 21081 33554432000 4194304 4196468 140730529132304 140160914118640 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19078] ppid=19010 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19078/stat : 19078 (java) S 19010 19013 16639 0 -1 1077944384 3 13473 0 0 0 0 5 3 20 0 15 0 416744863 11084144640 21081 33554432000 4194304 4196468 140730529132304 140159748139360 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19079] ppid=19010 vsize=10824360 memory=2116 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19079/stat : 19079 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744864 11084144640 21081 33554432000 4194304 4196468 140730529132304 140160913067056 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 84324 KiB
[startup+1.50082 s]
/proc/loadavg: 1.63 1.65 1.56 6/226 19079
/proc/meminfo: memFree=24071912/32770624 swapFree=66939840/67108860
[pid=19013] ppid=19010 vsize=10835428 memory=216120 CPUtime=3.41 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19010 19013 16639 0 -1 1077944320 33608 13473 0 0 323 10 5 3 20 0 15 0 416744848 11095478272 54002 33554432000 4194304 4196468 140730529132304 140730529114848 140161491939063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
/proc/19013/statm: 2708857 54002 3587 1 0 2670921 0
[pid=19013/tid=19066] ppid=19010 vsize=10835428 memory=1620 CPUtime=1.43 cores=0,2,4,6
/proc/19013/task/19066/stat : 19066 (java) R 19010 19013 16639 0 -1 4202560 15776 13473 0 0 129 6 5 3 20 0 15 0 416744857 11095478272 54030 33554432000 4194304 4196468 140730529132304 140161463770016 140161484656026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19067] ppid=19010 vsize=10835428 memory=6944656592455359580 CPUtime=0.1 cores=0,2,4,6
/proc/19013/task/19067/stat : 19067 (java) S 19010 19013 16639 0 -1 1077944384 326 13473 0 0 2 0 5 3 20 0 15 0 416744858 11095478272 54030 33554432000 4194304 4196468 140730529132304 140161496181264 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19068] ppid=19010 vsize=10835428 memory=7976406965554101975 CPUtime=0.1 cores=0,2,4,6
/proc/19013/task/19068/stat : 19068 (java) S 19010 19013 16639 0 -1 1077944384 88 13473 0 0 2 0 5 3 20 0 15 0 416744858 11095478272 54030 33554432000 4194304 4196468 140730529132304 140161065609872 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19069] ppid=19010 vsize=10835428 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19013/task/19069/stat : 19069 (java) S 19010 19013 16639 0 -1 1077944384 64 13473 0 0 1 0 5 3 20 0 15 0 416744858 11095478272 54030 33554432000 4194304 4196468 140730529132304 140161064556816 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19070] ppid=19010 vsize=10835428 memory=280477336418336 CPUtime=0.09 cores=0,2,4,6
/proc/19013/task/19070/stat : 19070 (java) S 19010 19013 16639 0 -1 1077944384 13 13473 0 0 1 0 5 3 20 0 15 0 416744858 11095478272 54030 33554432000 4194304 4196468 140730529132304 140161063504272 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19071] ppid=19010 vsize=10835428 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19013/task/19071/stat : 19071 (java) S 19010 19013 16639 0 -1 1077944384 150 13473 0 0 1 0 5 3 20 0 15 0 416744859 11095478272 54030 33554432000 4194304 4196468 140730529132304 140160950835952 140161491950210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19072] ppid=19010 vsize=10835428 memory=7230339438938306112 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19072/stat : 19072 (java) S 19010 19013 16639 0 -1 1077944384 34 13473 0 0 0 0 5 3 20 0 15 0 416744860 11095478272 54030 33554432000 4194304 4196468 140730529132304 140160949782176 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19073] ppid=19010 vsize=10835428 memory=7307205102868980331 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19073/stat : 19073 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744860 11095478272 54030 33554432000 4194304 4196468 140730529132304 140160486335744 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19074] ppid=19010 vsize=10835428 memory=8027782168562527592 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19074/stat : 19074 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744863 11095478272 54030 33554432000 4194304 4196468 140730529132304 140160217901520 140161491957659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19075] ppid=19010 vsize=10835428 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/19013/task/19075/stat : 19075 (java) S 19010 19013 16639 0 -1 1077944384 3181 13473 0 0 56 0 5 3 20 0 15 0 416744863 11095478272 54030 33554432000 4194304 4196468 140730529132304 140160916224240 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19076] ppid=19010 vsize=10835428 memory=288230596050944315 CPUtime=0.92 cores=0,2,4,6
/proc/19013/task/19076/stat : 19076 (java) R 19010 19013 16639 0 -1 4202560 8945 13473 0 0 83 1 5 3 20 0 15 0 416744863 11095478272 54030 33554432000 4194304 4196468 140730529132304 140160915157720 140161473483625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19077] ppid=19010 vsize=10835428 memory=10748 CPUtime=0.52 cores=0,2,4,6
/proc/19013/task/19077/stat : 19077 (java) S 19010 19013 16639 0 -1 1077944384 2816 13473 0 0 43 1 5 3 20 0 15 0 416744863 11095478272 54030 33554432000 4194304 4196468 140730529132304 140160914118640 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19078] ppid=19010 vsize=10835428 memory=24210 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19078/stat : 19078 (java) S 19010 19013 16639 0 -1 1077944384 3 13473 0 0 0 0 5 3 20 0 15 0 416744863 11095478272 54030 33554432000 4194304 4196468 140730529132304 140159748139360 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19079] ppid=19010 vsize=10835428 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19079/stat : 19079 (java) S 19010 19013 16639 0 -1 1077944384 1 13473 0 0 0 0 5 3 20 0 15 0 416744864 11095478272 54030 33554432000 4194304 4196468 140730529132304 140160913067056 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
Current children cumulated CPU time: 3.41 s
Current children cumulated vsize: 10835428 KiB
################
# More data... #
################
/proc/19013/task/19066/stat : 19066 (java) R 19010 19013 16639 0 -1 4202560 70511 13473 0 0 224558 33 5 3 20 0 15 0 416744857 11113615360 200434 33554432000 4194304 4196468 140730529132304 140161463775104 140161099028000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19067] ppid=19010 vsize=10853140 memory=800036 CPUtime=7.81 cores=0,2,4,6
/proc/19013/task/19067/stat : 19067 (java) S 19010 19013 16639 0 -1 1077944384 14659 13473 0 0 734 39 5 3 20 0 15 0 416744858 11113615360 200434 33554432000 4194304 4196468 140730529132304 140161496181264 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19068] ppid=19010 vsize=10853140 memory=799664 CPUtime=7.85 cores=0,2,4,6
/proc/19013/task/19068/stat : 19068 (java) S 19010 19013 16639 0 -1 1077944384 14325 13473 0 0 740 37 5 3 20 0 15 0 416744858 11113615360 200434 33554432000 4194304 4196468 140730529132304 140161065609872 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19069] ppid=19010 vsize=10853140 memory=799664 CPUtime=7.8 cores=0,2,4,6
/proc/19013/task/19069/stat : 19069 (java) S 19010 19013 16639 0 -1 1077944384 13727 13473 0 0 739 33 5 3 20 0 15 0 416744858 11113615360 200434 33554432000 4194304 4196468 140730529132304 140161064556816 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19070] ppid=19010 vsize=10853140 memory=799688 CPUtime=7.83 cores=0,2,4,6
/proc/19013/task/19070/stat : 19070 (java) S 19010 19013 16639 0 -1 1077944384 15415 13473 0 0 739 36 5 3 20 0 15 0 416744858 11113615360 200434 33554432000 4194304 4196468 140730529132304 140161063504272 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19071] ppid=19010 vsize=10853140 memory=799688 CPUtime=6.32 cores=0,2,4,6
/proc/19013/task/19071/stat : 19071 (java) S 19010 19013 16639 0 -1 1077944384 16129 13473 0 0 595 29 5 3 20 0 15 0 416744859 11113615360 200434 33554432000 4194304 4196468 140730529132304 140160950835952 140161491950210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19072] ppid=19010 vsize=10853140 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19072/stat : 19072 (java) S 19010 19013 16639 0 -1 1077944384 52 13473 0 0 0 0 5 3 20 0 15 0 416744860 11113615360 200434 33554432000 4194304 4196468 140730529132304 140160949782240 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19073] ppid=19010 vsize=10853140 memory=799688 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19073/stat : 19073 (java) S 19010 19013 16639 0 -1 1077944384 6 13473 0 0 0 0 5 3 20 0 15 0 416744860 11113615360 200434 33554432000 4194304 4196468 140730529132304 140160486335744 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19074] ppid=19010 vsize=10853140 memory=801736 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19074/stat : 19074 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744863 11113615360 200434 33554432000 4194304 4196468 140730529132304 140160217901520 140161491957659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19075] ppid=19010 vsize=10853140 memory=801736 CPUtime=7.31 cores=0,2,4,6
/proc/19013/task/19075/stat : 19075 (java) S 19010 19013 16639 0 -1 1077944384 59147 13473 0 0 715 8 5 3 20 0 15 0 416744863 11113615360 200434 33554432000 4194304 4196468 140730529132304 140160916224240 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19076] ppid=19010 vsize=10853140 memory=799688 CPUtime=7.41 cores=0,2,4,6
/proc/19013/task/19076/stat : 19076 (java) S 19010 19013 16639 0 -1 1077944384 65732 13473 0 0 726 7 5 3 20 0 15 0 416744863 11113615360 200434 33554432000 4194304 4196468 140730529132304 140160915171696 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19077] ppid=19010 vsize=10853140 memory=801736 CPUtime=5.02 cores=0,2,4,6
/proc/19013/task/19077/stat : 19077 (java) S 19010 19013 16639 0 -1 1077944384 72234 13473 0 0 484 10 5 3 20 0 15 0 416744863 11113615360 200434 33554432000 4194304 4196468 140730529132304 140160914118640 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19078] ppid=19010 vsize=10853140 memory=3504 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19078/stat : 19078 (java) S 19010 19013 16639 0 -1 1077944384 3 13473 0 0 0 0 5 3 20 0 15 0 416744863 11113615360 200434 33554432000 4194304 4196468 140730529132304 140159748139360 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19079] ppid=19010 vsize=10853140 memory=40324 CPUtime=1.32 cores=0,2,4,6
/proc/19013/task/19079/stat : 19079 (java) S 19010 19013 16639 0 -1 1077944384 1712 13473 0 0 66 58 5 3 20 0 15 0 416744864 11113615360 200434 33554432000 4194304 4196468 140730529132304 140160913067056 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
Current children cumulated CPU time: 2304.07 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 801736 KiB
[startup+2322.3 s]
/proc/loadavg: 1.32 1.35 1.38 3/227 19445
/proc/meminfo: memFree=25268964/32770624 swapFree=66939840/67108860
[pid=19013] ppid=19010 vsize=10853140 memory=801788 CPUtime=2364.65 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19010 19013 16639 0 -1 1077944320 347266 13473 0 0 236201 256 5 3 20 0 15 0 416744848 11113615360 200447 33554432000 4194304 4196468 140730529132304 140730529114848 140161491939063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
/proc/19013/statm: 2713285 200447 3636 1 0 2675341 0
[pid=19013/tid=19066] ppid=19010 vsize=10853140 memory=801788 CPUtime=2305.58 cores=0,2,4,6
/proc/19013/task/19066/stat : 19066 (java) R 19010 19013 16639 0 -1 4202560 71084 13473 0 0 230517 33 5 3 20 0 15 0 416744857 11113615360 200447 33554432000 4194304 4196468 140730529132304 140161463774864 140161098409470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19067] ppid=19010 vsize=10853140 memory=801788 CPUtime=8.01 cores=0,2,4,6
/proc/19013/task/19067/stat : 19067 (java) S 19010 19013 16639 0 -1 1077944384 14760 13473 0 0 753 40 5 3 20 0 15 0 416744858 11113615360 200447 33554432000 4194304 4196468 140730529132304 140161496181264 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19068] ppid=19010 vsize=10853140 memory=801788 CPUtime=8.06 cores=0,2,4,6
/proc/19013/task/19068/stat : 19068 (java) S 19010 19013 16639 0 -1 1077944384 14371 13473 0 0 761 37 5 3 20 0 15 0 416744858 11113615360 200447 33554432000 4194304 4196468 140730529132304 140161065609872 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19069] ppid=19010 vsize=10853140 memory=801788 CPUtime=8.01 cores=0,2,4,6
/proc/19013/task/19069/stat : 19069 (java) S 19010 19013 16639 0 -1 1077944384 13846 13473 0 0 759 34 5 3 20 0 15 0 416744858 11113615360 200447 33554432000 4194304 4196468 140730529132304 140161064556816 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19070] ppid=19010 vsize=10853140 memory=801788 CPUtime=8.03 cores=0,2,4,6
/proc/19013/task/19070/stat : 19070 (java) S 19010 19013 16639 0 -1 1077944384 15735 13473 0 0 758 37 5 3 20 0 15 0 416744858 11113615360 200447 33554432000 4194304 4196468 140730529132304 140161063504272 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19071] ppid=19010 vsize=10853140 memory=801788 CPUtime=6.48 cores=0,2,4,6
/proc/19013/task/19071/stat : 19071 (java) S 19010 19013 16639 0 -1 1077944384 16351 13473 0 0 610 30 5 3 20 0 15 0 416744859 11113615360 200447 33554432000 4194304 4196468 140730529132304 140160950835952 140161491950210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19072] ppid=19010 vsize=10853140 memory=801788 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19072/stat : 19072 (java) S 19010 19013 16639 0 -1 1077944384 52 13473 0 0 0 0 5 3 20 0 15 0 416744860 11113615360 200447 33554432000 4194304 4196468 140730529132304 140160949782240 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19073] ppid=19010 vsize=10853140 memory=801788 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19073/stat : 19073 (java) S 19010 19013 16639 0 -1 1077944384 6 13473 0 0 0 0 5 3 20 0 15 0 416744860 11113615360 200447 33554432000 4194304 4196468 140730529132304 140160486335744 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19074] ppid=19010 vsize=10853140 memory=801788 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19074/stat : 19074 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744863 11113615360 200447 33554432000 4194304 4196468 140730529132304 140160217901520 140161491957659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19075] ppid=19010 vsize=10853140 memory=801788 CPUtime=7.31 cores=0,2,4,6
/proc/19013/task/19075/stat : 19075 (java) S 19010 19013 16639 0 -1 1077944384 59150 13473 0 0 715 8 5 3 20 0 15 0 416744863 11113615360 200447 33554432000 4194304 4196468 140730529132304 140160916224240 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19076] ppid=19010 vsize=10853140 memory=801788 CPUtime=7.41 cores=0,2,4,6
/proc/19013/task/19076/stat : 19076 (java) S 19010 19013 16639 0 -1 1077944384 65734 13473 0 0 726 7 5 3 20 0 15 0 416744863 11113615360 200447 33554432000 4194304 4196468 140730529132304 140160915171696 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19077] ppid=19010 vsize=10853140 memory=801788 CPUtime=5.02 cores=0,2,4,6
/proc/19013/task/19077/stat : 19077 (java) S 19010 19013 16639 0 -1 1077944384 72236 13473 0 0 484 10 5 3 20 0 15 0 416744863 11113615360 200447 33554432000 4194304 4196468 140730529132304 140160914118640 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19078] ppid=19010 vsize=10853140 memory=801788 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19078/stat : 19078 (java) S 19010 19013 16639 0 -1 1077944384 3 13473 0 0 0 0 5 3 20 0 15 0 416744863 11113615360 200447 33554432000 4194304 4196468 140730529132304 140159748139360 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19079] ppid=19010 vsize=10853140 memory=801788 CPUtime=1.35 cores=0,2,4,6
/proc/19013/task/19079/stat : 19079 (java) S 19010 19013 16639 0 -1 1077944384 1728 13473 0 0 68 59 5 3 20 0 15 0 416744864 11113615360 200447 33554432000 4194304 4196468 140730529132304 140160913067056 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
Current children cumulated CPU time: 2364.65 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 801788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2357.3 s]
/proc/loadavg: 1.35 1.36 1.38 3/227 19449
/proc/meminfo: memFree=25268976/32770624 swapFree=66939840/67108860
[pid=19013] ppid=19010 vsize=10853140 memory=801868 CPUtime=2400 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19010 19013 16639 0 -1 1077944320 348520 13473 0 0 239733 259 5 3 20 0 15 0 416744848 11113615360 200467 33554432000 4194304 4196468 140730529132304 140730529114848 140161491939063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
/proc/19013/statm: 2713285 200467 3636 1 0 2675341 0
[pid=19013/tid=19066] ppid=19010 vsize=10853140 memory=801868 CPUtime=2340.37 cores=0,2,4,6
/proc/19013/task/19066/stat : 19066 (java) R 19010 19013 16639 0 -1 4202560 71558 13473 0 0 233995 34 5 3 20 0 15 0 416744857 11113615360 200467 33554432000 4194304 4196468 140730529132304 140161463775376 140161099027986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19067] ppid=19010 vsize=10853140 memory=801868 CPUtime=8.12 cores=0,2,4,6
/proc/19013/task/19067/stat : 19067 (java) S 19010 19013 16639 0 -1 1077944384 14857 13473 0 0 764 40 5 3 20 0 15 0 416744858 11113615360 200467 33554432000 4194304 4196468 140730529132304 140161496181264 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19068] ppid=19010 vsize=10853140 memory=801868 CPUtime=8.18 cores=0,2,4,6
/proc/19013/task/19068/stat : 19068 (java) S 19010 19013 16639 0 -1 1077944384 14733 13473 0 0 772 38 5 3 20 0 15 0 416744858 11113615360 200467 33554432000 4194304 4196468 140730529132304 140161065609872 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19069] ppid=19010 vsize=10853140 memory=988 CPUtime=8.13 cores=0,2,4,6
/proc/19013/task/19069/stat : 19069 (java) S 19010 19013 16639 0 -1 1077944384 13885 13473 0 0 770 35 5 3 20 0 15 0 416744858 11113615360 200467 33554432000 4194304 4196468 140730529132304 140161064556816 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19070] ppid=19010 vsize=10853140 memory=801868 CPUtime=8.14 cores=0,2,4,6
/proc/19013/task/19070/stat : 19070 (java) S 19010 19013 16639 0 -1 1077944384 15782 13473 0 0 768 38 5 3 20 0 15 0 416744858 11113615360 200467 33554432000 4194304 4196468 140730529132304 140161063504272 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19071] ppid=19010 vsize=10853140 memory=801868 CPUtime=6.58 cores=0,2,4,6
/proc/19013/task/19071/stat : 19071 (java) S 19010 19013 16639 0 -1 1077944384 16565 13473 0 0 619 31 5 3 20 0 15 0 416744859 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160950835952 140161491950210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19072] ppid=19010 vsize=10853140 memory=801864 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19072/stat : 19072 (java) S 19010 19013 16639 0 -1 1077944384 52 13473 0 0 0 0 5 3 20 0 15 0 416744860 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160949782240 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19073] ppid=19010 vsize=10853140 memory=4096 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19073/stat : 19073 (java) S 19010 19013 16639 0 -1 1077944384 6 13473 0 0 0 0 5 3 20 0 15 0 416744860 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160486335744 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19074] ppid=19010 vsize=10853140 memory=801864 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19074/stat : 19074 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744863 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160217901520 140161491957659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19075] ppid=19010 vsize=10853140 memory=801868 CPUtime=7.31 cores=0,2,4,6
/proc/19013/task/19075/stat : 19075 (java) S 19010 19013 16639 0 -1 1077944384 59152 13473 0 0 715 8 5 3 20 0 15 0 416744863 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160916224240 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19076] ppid=19010 vsize=10853140 memory=801868 CPUtime=7.41 cores=0,2,4,6
/proc/19013/task/19076/stat : 19076 (java) S 19010 19013 16639 0 -1 1077944384 65736 13473 0 0 726 7 5 3 20 0 15 0 416744863 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160915171696 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19077] ppid=19010 vsize=10853140 memory=801868 CPUtime=5.02 cores=0,2,4,6
/proc/19013/task/19077/stat : 19077 (java) S 19010 19013 16639 0 -1 1077944384 72238 13473 0 0 484 10 5 3 20 0 15 0 416744863 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160914118640 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19078] ppid=19010 vsize=10853140 memory=801868 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19078/stat : 19078 (java) S 19010 19013 16639 0 -1 1077944384 3 13473 0 0 0 0 5 3 20 0 15 0 416744863 11113615360 200467 33554432000 4194304 4196468 140730529132304 140159748139360 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19079] ppid=19010 vsize=10853140 memory=801868 CPUtime=1.37 cores=0,2,4,6
/proc/19013/task/19079/stat : 19079 (java) S 19010 19013 16639 0 -1 1077944384 1743 13473 0 0 69 60 5 3 20 0 15 0 416744864 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160913067056 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 801868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2357.34 s]
# the end of solver process 19013 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.41 s, system=2.64455 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2357.3 s]
/proc/loadavg: 1.35 1.36 1.38 3/227 19449
/proc/meminfo: memFree=25268976/32770624 swapFree=66939840/67108860
[pid=19013] ppid=19010 vsize=10853140 memory=801868 CPUtime=2400 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19010 19013 16639 0 -1 1077944320 348520 13473 0 0 239733 259 5 3 20 0 15 0 416744848 11113615360 200467 33554432000 4194304 4196468 140730529132304 140730529114848 140161491939063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
/proc/19013/statm: 2713285 200467 3636 1 0 2675341 0
[pid=19013/tid=19066] ppid=19010 vsize=10853140 memory=801868 CPUtime=2340.37 cores=0,2,4,6
/proc/19013/task/19066/stat : 19066 (java) R 19010 19013 16639 0 -1 4202560 71558 13473 0 0 233995 34 5 3 20 0 15 0 416744857 11113615360 200467 33554432000 4194304 4196468 140730529132304 140161463775376 140161099027986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19067] ppid=19010 vsize=10853140 memory=801868 CPUtime=8.12 cores=0,2,4,6
/proc/19013/task/19067/stat : 19067 (java) S 19010 19013 16639 0 -1 1077944384 14857 13473 0 0 764 40 5 3 20 0 15 0 416744858 11113615360 200467 33554432000 4194304 4196468 140730529132304 140161496181264 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19068] ppid=19010 vsize=10853140 memory=801868 CPUtime=8.18 cores=0,2,4,6
/proc/19013/task/19068/stat : 19068 (java) S 19010 19013 16639 0 -1 1077944384 14733 13473 0 0 772 38 5 3 20 0 15 0 416744858 11113615360 200467 33554432000 4194304 4196468 140730529132304 140161065609872 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19069] ppid=19010 vsize=10853140 memory=988 CPUtime=8.13 cores=0,2,4,6
/proc/19013/task/19069/stat : 19069 (java) S 19010 19013 16639 0 -1 1077944384 13885 13473 0 0 770 35 5 3 20 0 15 0 416744858 11113615360 200467 33554432000 4194304 4196468 140730529132304 140161064556816 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19070] ppid=19010 vsize=10853140 memory=801868 CPUtime=8.14 cores=0,2,4,6
/proc/19013/task/19070/stat : 19070 (java) S 19010 19013 16639 0 -1 1077944384 15782 13473 0 0 768 38 5 3 20 0 15 0 416744858 11113615360 200467 33554432000 4194304 4196468 140730529132304 140161063504272 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19071] ppid=19010 vsize=10853140 memory=801868 CPUtime=6.58 cores=0,2,4,6
/proc/19013/task/19071/stat : 19071 (java) S 19010 19013 16639 0 -1 1077944384 16565 13473 0 0 619 31 5 3 20 0 15 0 416744859 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160950835952 140161491950210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19072] ppid=19010 vsize=10853140 memory=801864 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19072/stat : 19072 (java) S 19010 19013 16639 0 -1 1077944384 52 13473 0 0 0 0 5 3 20 0 15 0 416744860 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160949782240 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19073] ppid=19010 vsize=10853140 memory=4096 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19073/stat : 19073 (java) S 19010 19013 16639 0 -1 1077944384 6 13473 0 0 0 0 5 3 20 0 15 0 416744860 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160486335744 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19074] ppid=19010 vsize=10853140 memory=801864 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19074/stat : 19074 (java) S 19010 19013 16639 0 -1 1077944384 2 13473 0 0 0 0 5 3 20 0 15 0 416744863 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160217901520 140161491957659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19075] ppid=19010 vsize=10853140 memory=801868 CPUtime=7.31 cores=0,2,4,6
/proc/19013/task/19075/stat : 19075 (java) S 19010 19013 16639 0 -1 1077944384 59152 13473 0 0 715 8 5 3 20 0 15 0 416744863 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160916224240 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19076] ppid=19010 vsize=10853140 memory=801868 CPUtime=7.41 cores=0,2,4,6
/proc/19013/task/19076/stat : 19076 (java) S 19010 19013 16639 0 -1 1077944384 65736 13473 0 0 726 7 5 3 20 0 15 0 416744863 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160915171696 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19077] ppid=19010 vsize=10853140 memory=801868 CPUtime=5.02 cores=0,2,4,6
/proc/19013/task/19077/stat : 19077 (java) S 19010 19013 16639 0 -1 1077944384 72238 13473 0 0 484 10 5 3 20 0 15 0 416744863 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160914118640 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19078] ppid=19010 vsize=10853140 memory=801868 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19078/stat : 19078 (java) S 19010 19013 16639 0 -1 1077944384 3 13473 0 0 0 0 5 3 20 0 15 0 416744863 11113615360 200467 33554432000 4194304 4196468 140730529132304 140159748139360 140161491949269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
[pid=19013/tid=19079] ppid=19010 vsize=10853140 memory=801868 CPUtime=1.37 cores=0,2,4,6
/proc/19013/task/19079/stat : 19079 (java) S 19010 19013 16639 0 -1 1077944384 1743 13473 0 0 69 60 5 3 20 0 15 0 416744864 11113615360 200467 33554432000 4194304 4196468 140730529132304 140160913067056 140161491950210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20836352 140730529135343 140730529137861 140730529137861 140730529140687 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 801868 KiB
Child status: 143
Real time (s): 2357.34
CPU time (s): 2400.06
CPU user time (s): 2397.41
CPU system time (s): 2.64455
CPU usage (%): 101.812
Max. virtual memory (cumulated for all children) (KiB): 10853140
Max. memory (cumulated for all children) (KiB): 844444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.41
system time used= 2.64455
maximum resident set size= 845988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 196909
involuntary context switches= 6887
# summary of solver processes directly reported to runsolver:
# pid: 19013
# total CPU time (s): 2400.06
# total CPU user time (s): 2397.41
# total CPU system time (s): 2.64455
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5914 second user time and 22.8047 second system time
The end