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 (13861 MiB free)
memory of node 1: 16384 MiB (12092 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396019-1568405873/watcher-4396019-1568405873 -o /tmp/evaluation-result-4396019-1568405873/solver-4396019-1568405873 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568399721-12058 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=496605565 HOME/instance-4396019-1568405873.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13914, runsolver pid=13911
Current StackSize limit: 8192 KiB
[startup+0.10013 s]*
/proc/loadavg: 2.16 1.74 1.62 3/219 13971
/proc/meminfo: memFree=26570488/32770624 swapFree=66959224/67108860
[pid=13914] ppid=13911 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/13914/stat : 13914 (java) S 13911 13914 12027 0 -1 1077944320 4464 13146 0 0 1 0 5 3 20 0 6 0 416527462 10212057088 4203 33554432000 4194304 4196468 140732815750720 140732815733264 140559016181495 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
/proc/13914/statm: 2493178 4203 1935 1 0 2481616 0
[pid=13914/tid=13967] ppid=13911 vsize=9972712 memory=4628411388058700198 CPUtime=0.09 cores=0,2,4,6
/proc/13914/task/13967/stat : 13967 (java) R 13911 13914 12027 0 -1 4202560 2266 13146 0 0 1 0 5 3 20 0 6 0 416527471 10212057088 4203 33554432000 4194304 4196468 140732815750720 140558988018256 140559001864021 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13968] ppid=13911 vsize=9972712 memory=5793855351786297785 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13968/stat : 13968 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 6 0 416527472 10212057088 4203 33554432000 4194304 4196468 140732815750720 140559020424080 140559016191701 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13969] ppid=13911 vsize=9972712 memory=140100776404608 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13969/stat : 13969 (java) S 13911 13914 12027 0 -1 1077944384 1 13146 0 0 0 0 5 3 20 0 6 0 416527472 10212057088 4203 33554432000 4194304 4196468 140732815750720 140558919314192 140559016191701 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13970] ppid=13911 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13970/stat : 13970 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 6 0 416527472 10212057088 4203 33554432000 4194304 4196468 140732815750720 140558918261904 140559016191701 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13971] ppid=13911 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13971/stat : 13971 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 6 0 416527472 10212057088 4203 33554432000 4194304 4196468 140732815750720 140558917209104 140559016191701 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210203 s]*
/proc/loadavg: 2.16 1.74 1.62 6/228 13980
/proc/meminfo: memFree=26550288/32770624 swapFree=66959224/67108860
[pid=13914] ppid=13911 vsize=10819664 memory=39680 CPUtime=0.26 cores=0,2,4,6
/proc/13914/stat : 13914 (java) S 13911 13914 12027 0 -1 1077944320 7191 13146 0 0 17 1 5 3 20 0 15 0 416527462 11079335936 9920 33554432000 4194304 4196468 140732815750720 140732815733264 140559016181495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
/proc/13914/statm: 2704916 9920 3180 1 0 2667149 0
[pid=13914/tid=13967] ppid=13911 vsize=10819664 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/13914/task/13967/stat : 13967 (java) R 13911 13914 12027 0 -1 4202560 3679 13146 0 0 11 0 5 3 20 0 15 0 416527471 11079335936 9920 33554432000 4194304 4196468 140732815750720 140558988014208 140559000261982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13968] ppid=13911 vsize=10819664 memory=4211973826981195146 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13968/stat : 13968 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 15 0 416527472 11079335936 9920 33554432000 4194304 4196468 140732815750720 140559020424080 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13969] ppid=13911 vsize=10819664 memory=140100776404608 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13969/stat : 13969 (java) S 13911 13914 12027 0 -1 1077944384 1 13146 0 0 0 0 5 3 20 0 15 0 416527472 11079335936 9920 33554432000 4194304 4196468 140732815750720 140558919314192 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13970] ppid=13911 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13970/stat : 13970 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 15 0 416527472 11079335936 9920 33554432000 4194304 4196468 140732815750720 140558918261904 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13971] ppid=13911 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13971/stat : 13971 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 15 0 416527472 11079335936 9920 33554432000 4194304 4196468 140732815750720 140558917209104 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13972] ppid=13911 vsize=10819664 memory=140100776404608 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13972/stat : 13972 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 15 0 416527473 11079335936 9920 33554432000 4194304 4196468 140732815750720 140558475221104 140559016192642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13973] ppid=13911 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13973/stat : 13973 (java) S 13911 13914 12027 0 -1 1077944384 13 13146 0 0 0 0 5 3 20 0 15 0 416527474 11079335936 9920 33554432000 4194304 4196468 140732815750720 140558374789920 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13974] ppid=13911 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13974/stat : 13974 (java) S 13911 13914 12027 0 -1 1077944384 1 13146 0 0 0 0 5 3 20 0 15 0 416527474 11079335936 9920 33554432000 4194304 4196468 140732815750720 140557770810480 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13975] ppid=13911 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13975/stat : 13975 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11079335936 9920 33554432000 4194304 4196468 140732815750720 140557530519632 140559016200091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13976] ppid=13911 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13914/task/13976/stat : 13976 (java) S 13911 13914 12027 0 -1 1077944384 468 13146 0 0 1 0 5 3 20 0 15 0 416527477 11079335936 9920 33554432000 4194304 4196468 140732815750720 140558474168944 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13977] ppid=13911 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13914/task/13977/stat : 13977 (java) S 13911 13914 12027 0 -1 1077944384 202 13146 0 0 1 0 5 3 20 0 15 0 416527477 11079335936 9920 33554432000 4194304 4196468 140732815750720 140558473116144 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13978] ppid=13911 vsize=10819664 memory=140100776404608 CPUtime=0.11 cores=0,2,4,6
/proc/13914/task/13978/stat : 13978 (java) S 13911 13914 12027 0 -1 1077944384 603 13146 0 0 3 0 5 3 20 0 15 0 416527477 11079335936 9920 33554432000 4194304 4196468 140732815750720 140558472063856 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13979] ppid=13911 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13979/stat : 13979 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11079335936 9920 33554432000 4194304 4196468 140732815750720 140557496962016 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13980] ppid=13911 vsize=10819664 memory=140100776404608 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13980/stat : 13980 (java) S 13911 13914 12027 0 -1 1077944384 1 13146 0 0 0 0 5 3 20 0 15 0 416527477 11079335936 9920 33554432000 4194304 4196468 140732815750720 140558471010736 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39680 KiB
[startup+0.311205 s]*
/proc/loadavg: 2.16 1.74 1.62 3/228 13980
/proc/meminfo: memFree=26536800/32770624 swapFree=66959224/67108860
[pid=13914] ppid=13911 vsize=10820148 memory=50820 CPUtime=0.4 cores=0,2,4,6
/proc/13914/stat : 13914 (java) S 13911 13914 12027 0 -1 1077944320 10884 13146 0 0 30 2 5 3 20 0 15 0 416527462 11079831552 12705 33554432000 4194304 4196468 140732815750720 140732815733264 140559016181495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
/proc/13914/statm: 2705037 12705 3312 1 0 2667149 0
[pid=13914/tid=13967] ppid=13911 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/13914/task/13967/stat : 13967 (java) R 13911 13914 12027 0 -1 4202560 7356 13146 0 0 20 1 5 3 20 0 15 0 416527471 11079831552 12705 33554432000 4194304 4196468 140732815750720 140558987986864 140559000261982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13968] ppid=13911 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13968/stat : 13968 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 15 0 416527472 11079831552 12705 33554432000 4194304 4196468 140732815750720 140559020424080 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13969] ppid=13911 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13969/stat : 13969 (java) S 13911 13914 12027 0 -1 1077944384 1 13146 0 0 0 0 5 3 20 0 15 0 416527472 11079831552 12705 33554432000 4194304 4196468 140732815750720 140558919314192 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13970] ppid=13911 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13970/stat : 13970 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 15 0 416527472 11079831552 12705 33554432000 4194304 4196468 140732815750720 140558918261904 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13971] ppid=13911 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13971/stat : 13971 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 15 0 416527472 11079831552 12705 33554432000 4194304 4196468 140732815750720 140558917209104 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13972] ppid=13911 vsize=10820148 memory=140100776404607 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13972/stat : 13972 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 15 0 416527473 11079831552 12705 33554432000 4194304 4196468 140732815750720 140558475221104 140559016192642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13973] ppid=13911 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13973/stat : 13973 (java) S 13911 13914 12027 0 -1 1077944384 13 13146 0 0 0 0 5 3 20 0 15 0 416527474 11079831552 12705 33554432000 4194304 4196468 140732815750720 140558374789920 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13974] ppid=13911 vsize=10820148 memory=140100776404608 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13974/stat : 13974 (java) S 13911 13914 12027 0 -1 1077944384 1 13146 0 0 0 0 5 3 20 0 15 0 416527474 11079831552 12705 33554432000 4194304 4196468 140732815750720 140557770810480 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13975] ppid=13911 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13975/stat : 13975 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11079831552 12705 33554432000 4194304 4196468 140732815750720 140557530519632 140559016200091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13976] ppid=13911 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13914/task/13976/stat : 13976 (java) S 13911 13914 12027 0 -1 1077944384 469 13146 0 0 2 0 5 3 20 0 15 0 416527477 11079831552 12705 33554432000 4194304 4196468 140732815750720 140558474168944 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13977] ppid=13911 vsize=10820148 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/13914/task/13977/stat : 13977 (java) S 13911 13914 12027 0 -1 1077944384 211 13146 0 0 2 0 5 3 20 0 15 0 416527477 11079831552 12705 33554432000 4194304 4196468 140732815750720 140558473116144 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13978] ppid=13911 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13914/task/13978/stat : 13978 (java) S 13911 13914 12027 0 -1 1077944384 612 13146 0 0 5 0 5 3 20 0 15 0 416527477 11079831552 12705 33554432000 4194304 4196468 140732815750720 140558472063856 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13979] ppid=13911 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13979/stat : 13979 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11079831552 12705 33554432000 4194304 4196468 140732815750720 140557496962016 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13980] ppid=13911 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13980/stat : 13980 (java) S 13911 13914 12027 0 -1 1077944384 1 13146 0 0 0 0 5 3 20 0 15 0 416527477 11079831552 12705 33554432000 4194304 4196468 140732815750720 140558471010736 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50820 KiB
[startup+0.705248 s]
/proc/loadavg: 2.16 1.74 1.62 3/228 13980
/proc/meminfo: memFree=26524184/32770624 swapFree=66959224/67108860
[pid=13914] ppid=13911 vsize=10824360 memory=83420 CPUtime=1.15 cores=0,2,4,6
/proc/13914/stat : 13914 (java) S 13911 13914 12027 0 -1 1077944320 15055 13146 0 0 103 4 5 3 20 0 15 0 416527462 11084144640 20855 33554432000 4194304 4196468 140732815750720 140732815733264 140559016181495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
/proc/13914/statm: 2706090 20855 3506 1 0 2668173 0
[pid=13914/tid=13967] ppid=13911 vsize=10824360 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/13914/task/13967/stat : 13967 (java) R 13911 13914 12027 0 -1 4202560 10449 13146 0 0 57 3 5 3 20 0 15 0 416527471 11084144640 20855 33554432000 4194304 4196468 140732815750720 140558987974608 140559000225125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13968] ppid=13911 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13968/stat : 13968 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 15 0 416527472 11084144640 20855 33554432000 4194304 4196468 140732815750720 140559020424080 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13969] ppid=13911 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13969/stat : 13969 (java) S 13911 13914 12027 0 -1 1077944384 1 13146 0 0 0 0 5 3 20 0 15 0 416527472 11084144640 20855 33554432000 4194304 4196468 140732815750720 140558919314192 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13970] ppid=13911 vsize=10824360 memory=280198163666840 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13970/stat : 13970 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 15 0 416527472 11084144640 20855 33554432000 4194304 4196468 140732815750720 140558918261904 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13971] ppid=13911 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13971/stat : 13971 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 15 0 416527472 11084144640 20855 33554432000 4194304 4196468 140732815750720 140558917209104 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13972] ppid=13911 vsize=10824360 memory=280201250759040 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13972/stat : 13972 (java) S 13911 13914 12027 0 -1 1077944384 5 13146 0 0 0 0 5 3 20 0 15 0 416527473 11084144640 20855 33554432000 4194304 4196468 140732815750720 140558475221104 140559016192642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13973] ppid=13911 vsize=10824360 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13973/stat : 13973 (java) S 13911 13914 12027 0 -1 1077944384 13 13146 0 0 0 0 5 3 20 0 15 0 416527474 11084144640 20855 33554432000 4194304 4196468 140732815750720 140558374789920 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13974] ppid=13911 vsize=10824360 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13974/stat : 13974 (java) S 13911 13914 12027 0 -1 1077944384 1 13146 0 0 0 0 5 3 20 0 15 0 416527474 11084144640 20855 33554432000 4194304 4196468 140732815750720 140557770810480 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13975] ppid=13911 vsize=10824360 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13975/stat : 13975 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11084144640 20855 33554432000 4194304 4196468 140732815750720 140557530519632 140559016200091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13976] ppid=13911 vsize=10824360 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/13914/task/13976/stat : 13976 (java) R 13911 13914 12027 0 -1 4202560 946 13146 0 0 15 0 5 3 20 0 15 0 416527477 11084144640 20855 33554432000 4194304 4196468 140732815750720 140558474150144 140559009287212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13977] ppid=13911 vsize=10824360 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/13914/task/13977/stat : 13977 (java) S 13911 13914 12027 0 -1 1077944384 620 13146 0 0 12 0 5 3 20 0 15 0 416527477 11084144640 20855 33554432000 4194304 4196468 140732815750720 140558473116144 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13978] ppid=13911 vsize=10824360 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/13914/task/13978/stat : 13978 (java) S 13911 13914 12027 0 -1 1077944384 801 13146 0 0 17 0 5 3 20 0 15 0 416527477 11084144640 20855 33554432000 4194304 4196468 140732815750720 140558472063856 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13979] ppid=13911 vsize=10824360 memory=30305 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13979/stat : 13979 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11084144640 20855 33554432000 4194304 4196468 140732815750720 140557496962016 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13980] ppid=13911 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13980/stat : 13980 (java) S 13911 13914 12027 0 -1 1077944384 1 13146 0 0 0 0 5 3 20 0 15 0 416527477 11084144640 20855 33554432000 4194304 4196468 140732815750720 140558471010736 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83420 KiB
[startup+1.5008 s]
/proc/loadavg: 2.16 1.74 1.62 5/228 13980
/proc/meminfo: memFree=26476152/32770624 swapFree=66959224/67108860
[pid=13914] ppid=13911 vsize=10832628 memory=199868 CPUtime=2.98 cores=0,2,4,6
/proc/13914/stat : 13914 (java) S 13911 13914 12027 0 -1 1077944320 23963 13146 0 0 281 9 5 3 20 0 15 0 416527462 11092611072 49967 33554432000 4194304 4196468 140732815750720 140732815733264 140559016181495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
/proc/13914/statm: 2708157 49967 3581 1 0 2670221 0
[pid=13914/tid=13967] ppid=13911 vsize=10832628 memory=3620 CPUtime=1.43 cores=0,2,4,6
/proc/13914/task/13967/stat : 13967 (java) R 13911 13914 12027 0 -1 4202560 14894 13146 0 0 130 5 5 3 20 0 15 0 416527471 11092611072 49967 33554432000 4194304 4196468 140732815750720 140558987999264 140559001549632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13968] ppid=13911 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13914/task/13968/stat : 13968 (java) S 13911 13914 12027 0 -1 1077944384 30 13146 0 0 1 0 5 3 20 0 15 0 416527472 11092611072 49967 33554432000 4194304 4196468 140732815750720 140559020424080 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13969] ppid=13911 vsize=10832628 memory=56 CPUtime=0.09 cores=0,2,4,6
/proc/13914/task/13969/stat : 13969 (java) S 13911 13914 12027 0 -1 1077944384 50 13146 0 0 1 0 5 3 20 0 15 0 416527472 11092611072 49967 33554432000 4194304 4196468 140732815750720 140558919314192 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13970] ppid=13911 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13914/task/13970/stat : 13970 (java) S 13911 13914 12027 0 -1 1077944384 239 13146 0 0 1 0 5 3 20 0 15 0 416527472 11092611072 49967 33554432000 4194304 4196468 140732815750720 140558918261904 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13971] ppid=13911 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13914/task/13971/stat : 13971 (java) S 13911 13914 12027 0 -1 1077944384 72 13146 0 0 1 0 5 3 20 0 15 0 416527472 11092611072 49967 33554432000 4194304 4196468 140732815750720 140558917209104 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13972] ppid=13911 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13914/task/13972/stat : 13972 (java) S 13911 13914 12027 0 -1 1077944384 1080 13146 0 0 1 0 5 3 20 0 15 0 416527473 11092611072 49967 33554432000 4194304 4196468 140732815750720 140558475221104 140559016192642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13973] ppid=13911 vsize=10832628 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13973/stat : 13973 (java) S 13911 13914 12027 0 -1 1077944384 13 13146 0 0 0 0 5 3 20 0 15 0 416527474 11092611072 49967 33554432000 4194304 4196468 140732815750720 140558374789984 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13974] ppid=13911 vsize=10832628 memory=49 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13974/stat : 13974 (java) S 13911 13914 12027 0 -1 1077944384 2 13146 0 0 0 0 5 3 20 0 15 0 416527474 11092611072 49967 33554432000 4194304 4196468 140732815750720 140557770810496 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13975] ppid=13911 vsize=10832628 memory=46 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13975/stat : 13975 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11092611072 49967 33554432000 4194304 4196468 140732815750720 140557530519632 140559016200091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13976] ppid=13911 vsize=10832628 memory=40 CPUtime=0.58 cores=0,2,4,6
/proc/13914/task/13976/stat : 13976 (java) S 13911 13914 12027 0 -1 1077944384 1634 13146 0 0 50 0 5 3 20 0 15 0 416527477 11092611072 49967 33554432000 4194304 4196468 140732815750720 140558474168944 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13977] ppid=13911 vsize=10832628 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/13914/task/13977/stat : 13977 (java) S 13911 13914 12027 0 -1 1077944384 1559 13146 0 0 47 1 5 3 20 0 15 0 416527477 11092611072 49967 33554432000 4194304 4196468 140732815750720 140558473116144 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13978] ppid=13911 vsize=10832628 memory=56 CPUtime=0.51 cores=0,2,4,6
/proc/13914/task/13978/stat : 13978 (java) S 13911 13914 12027 0 -1 1077944384 2172 13146 0 0 43 0 5 3 20 0 15 0 416527477 11092611072 49967 33554432000 4194304 4196468 140732815750720 140558472063856 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13979] ppid=13911 vsize=10832628 memory=1966185 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13979/stat : 13979 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11092611072 49967 33554432000 4194304 4196468 140732815750720 140557496962016 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13980] ppid=13911 vsize=10832628 memory=1967572 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13980/stat : 13980 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11092611072 49967 33554432000 4194304 4196468 140732815750720 140558471010736 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10832628 KiB
################
# More data... #
################
/proc/13914/task/13967/stat : 13967 (java) R 13911 13914 12027 0 -1 4202560 71821 13146 0 0 235809 52 5 3 20 0 15 0 416527471 11107311616 280518 33554432000 4194304 4196468 140732815750720 140558988016640 140558608512949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13968] ppid=13911 vsize=10846984 memory=1122072 CPUtime=11.78 cores=0,2,4,6
/proc/13914/task/13968/stat : 13968 (java) S 13911 13914 12027 0 -1 1077944384 17338 13146 0 0 1119 51 5 3 20 0 15 0 416527472 11107311616 280518 33554432000 4194304 4196468 140732815750720 140559020424080 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13969] ppid=13911 vsize=10846984 memory=1122072 CPUtime=11.71 cores=0,2,4,6
/proc/13914/task/13969/stat : 13969 (java) S 13911 13914 12027 0 -1 1077944384 31545 13146 0 0 1115 48 5 3 20 0 15 0 416527472 11107311616 280518 33554432000 4194304 4196468 140732815750720 140558919314192 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13970] ppid=13911 vsize=10846984 memory=1122072 CPUtime=11.73 cores=0,2,4,6
/proc/13914/task/13970/stat : 13970 (java) S 13911 13914 12027 0 -1 1077944384 19865 13146 0 0 1113 52 5 3 20 0 15 0 416527472 11107311616 280518 33554432000 4194304 4196468 140732815750720 140558918261904 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13971] ppid=13911 vsize=10846984 memory=1122072 CPUtime=11.74 cores=0,2,4,6
/proc/13914/task/13971/stat : 13971 (java) S 13911 13914 12027 0 -1 1077944384 19453 13146 0 0 1110 56 5 3 20 0 15 0 416527472 11107311616 280518 33554432000 4194304 4196468 140732815750720 140558917209104 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13972] ppid=13911 vsize=10846984 memory=1119920 CPUtime=9.31 cores=0,2,4,6
/proc/13914/task/13972/stat : 13972 (java) S 13911 13914 12027 0 -1 1077944384 17601 13146 0 0 871 52 5 3 20 0 15 0 416527473 11107311616 280518 33554432000 4194304 4196468 140732815750720 140558475221104 140559016192642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13973] ppid=13911 vsize=10846984 memory=1122036 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13973/stat : 13973 (java) S 13911 13914 12027 0 -1 1077944384 16 13146 0 0 0 0 5 3 20 0 15 0 416527474 11107311616 280518 33554432000 4194304 4196468 140732815750720 140558374790048 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13974] ppid=13911 vsize=10846984 memory=1122072 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13974/stat : 13974 (java) S 13911 13914 12027 0 -1 1077944384 5 13146 0 0 0 0 5 3 20 0 15 0 416527474 11107311616 280518 33554432000 4194304 4196468 140732815750720 140557770810496 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13975] ppid=13911 vsize=10846984 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13975/stat : 13975 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11107311616 280518 33554432000 4194304 4196468 140732815750720 140557530519632 140559016200091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13976] ppid=13911 vsize=10846984 memory=33 CPUtime=4.09 cores=0,2,4,6
/proc/13914/task/13976/stat : 13976 (java) S 13911 13914 12027 0 -1 1077944384 29357 13146 0 0 394 7 5 3 20 0 15 0 416527477 11107311616 280518 33554432000 4194304 4196468 140732815750720 140558474168944 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13977] ppid=13911 vsize=10846984 memory=7738993133012674663 CPUtime=3.76 cores=0,2,4,6
/proc/13914/task/13977/stat : 13977 (java) S 13911 13914 12027 0 -1 1077944384 26177 13146 0 0 364 4 5 3 20 0 15 0 416527477 11107311616 280518 33554432000 4194304 4196468 140732815750720 140558473116144 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13978] ppid=13911 vsize=10846984 memory=5976 CPUtime=1.83 cores=0,2,4,6
/proc/13914/task/13978/stat : 13978 (java) S 13911 13914 12027 0 -1 1077944384 21773 13146 0 0 171 4 5 3 20 0 15 0 416527477 11107311616 280518 33554432000 4194304 4196468 140732815750720 140558472063856 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13979] ppid=13911 vsize=10846984 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13979/stat : 13979 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11107311616 280518 33554432000 4194304 4196468 140732815750720 140557496962016 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13980] ppid=13911 vsize=10846984 memory=2828 CPUtime=1.55 cores=0,2,4,6
/proc/13914/task/13980/stat : 13980 (java) S 13911 13914 12027 0 -1 1077944384 2137 13146 0 0 71 76 5 3 20 0 15 0 416527477 11107311616 280518 33554432000 4194304 4196468 140732815750720 140558471010736 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
Current children cumulated CPU time: 2425.59 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1122072 KiB
[startup+2442.3 s]
/proc/loadavg: 1.80 1.63 1.51 3/229 14333
/proc/meminfo: memFree=24986900/32770624 swapFree=66959224/67108860
[pid=13914] ppid=13911 vsize=10846984 memory=1124988 CPUtime=2486.54 cores=0,2,4,6
/proc/13914/stat : 13914 (java) S 13911 13914 12027 0 -1 1077944320 261368 13146 0 0 248294 352 5 3 20 0 15 0 416527462 11107311616 281247 33554432000 4194304 4196468 140732815750720 140732815733264 140559016181495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
/proc/13914/statm: 2711746 281247 3626 1 0 2673805 0
[pid=13914/tid=13967] ppid=13911 vsize=10846984 memory=1124980 CPUtime=2418.07 cores=0,2,4,6
/proc/13914/task/13967/stat : 13967 (java) R 13911 13914 12027 0 -1 4202560 72659 13146 0 0 241746 53 5 3 20 0 15 0 416527471 11107311616 281247 33554432000 4194304 4196468 140732815750720 140558988016544 140558608106592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13968] ppid=13911 vsize=10846984 memory=1122156 CPUtime=12.1 cores=0,2,4,6
/proc/13914/task/13968/stat : 13968 (java) S 13911 13914 12027 0 -1 1077944384 17400 13146 0 0 1149 53 5 3 20 0 15 0 416527472 11107311616 281247 33554432000 4194304 4196468 140732815750720 140559020424080 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13969] ppid=13911 vsize=10846984 memory=1122156 CPUtime=12.02 cores=0,2,4,6
/proc/13914/task/13969/stat : 13969 (java) S 13911 13914 12027 0 -1 1077944384 31746 13146 0 0 1145 49 5 3 20 0 15 0 416527472 11107311616 281247 33554432000 4194304 4196468 140732815750720 140558919314192 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13970] ppid=13911 vsize=10846984 memory=120061515820336 CPUtime=12.06 cores=0,2,4,6
/proc/13914/task/13970/stat : 13970 (java) S 13911 13914 12027 0 -1 1077944384 20485 13146 0 0 1144 54 5 3 20 0 15 0 416527472 11107311616 281247 33554432000 4194304 4196468 140732815750720 140558918261904 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13971] ppid=13911 vsize=10846984 memory=1122156 CPUtime=12.06 cores=0,2,4,6
/proc/13914/task/13971/stat : 13971 (java) S 13911 13914 12027 0 -1 1077944384 19478 13146 0 0 1141 57 5 3 20 0 15 0 416527472 11107311616 281247 33554432000 4194304 4196468 140732815750720 140558917209104 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13972] ppid=13911 vsize=10846984 memory=1124980 CPUtime=9.57 cores=0,2,4,6
/proc/13914/task/13972/stat : 13972 (java) S 13911 13914 12027 0 -1 1077944384 17889 13146 0 0 896 53 5 3 20 0 15 0 416527473 11107311616 281247 33554432000 4194304 4196468 140732815750720 140558475221104 140559016192642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13973] ppid=13911 vsize=10846984 memory=1124988 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13973/stat : 13973 (java) S 13911 13914 12027 0 -1 1077944384 16 13146 0 0 0 0 5 3 20 0 15 0 416527474 11107311616 281247 33554432000 4194304 4196468 140732815750720 140558374790048 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13974] ppid=13911 vsize=10846984 memory=1124980 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13974/stat : 13974 (java) S 13911 13914 12027 0 -1 1077944384 5 13146 0 0 0 0 5 3 20 0 15 0 416527474 11107311616 281247 33554432000 4194304 4196468 140732815750720 140557770810496 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13975] ppid=13911 vsize=10846984 memory=1124988 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13975/stat : 13975 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11107311616 281247 33554432000 4194304 4196468 140732815750720 140557530519632 140559016200091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13976] ppid=13911 vsize=10846984 memory=1124988 CPUtime=4.09 cores=0,2,4,6
/proc/13914/task/13976/stat : 13976 (java) S 13911 13914 12027 0 -1 1077944384 29360 13146 0 0 394 7 5 3 20 0 15 0 416527477 11107311616 281247 33554432000 4194304 4196468 140732815750720 140558474168944 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13977] ppid=13911 vsize=10846984 memory=1122156 CPUtime=3.76 cores=0,2,4,6
/proc/13914/task/13977/stat : 13977 (java) S 13911 13914 12027 0 -1 1077944384 26179 13146 0 0 364 4 5 3 20 0 15 0 416527477 11107311616 281247 33554432000 4194304 4196468 140732815750720 140558473116144 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13978] ppid=13911 vsize=10846984 memory=1124988 CPUtime=1.84 cores=0,2,4,6
/proc/13914/task/13978/stat : 13978 (java) S 13911 13914 12027 0 -1 1077944384 21778 13146 0 0 172 4 5 3 20 0 15 0 416527477 11107311616 281247 33554432000 4194304 4196468 140732815750720 140558472063856 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13979] ppid=13911 vsize=10846984 memory=1122156 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13979/stat : 13979 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11107311616 281247 33554432000 4194304 4196468 140732815750720 140557496962016 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13980] ppid=13911 vsize=10846984 memory=1124988 CPUtime=1.59 cores=0,2,4,6
/proc/13914/task/13980/stat : 13980 (java) S 13911 13914 12027 0 -1 1077944384 2158 13146 0 0 73 78 5 3 20 0 15 0 416527477 11107311616 281247 33554432000 4194304 4196468 140732815750720 140558471010736 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
Current children cumulated CPU time: 2486.54 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1124988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475.3 s]
/proc/loadavg: 1.80 1.64 1.51 3/229 14337
/proc/meminfo: memFree=25064952/32770624 swapFree=66959224/67108860
[pid=13914] ppid=13911 vsize=10846984 memory=1132568 CPUtime=2520.04 cores=0,2,4,6
/proc/13914/stat : 13914 (java) S 13911 13914 12027 0 -1 1077944320 262784 13146 0 0 251639 357 5 3 20 0 15 0 416527462 11107311616 283142 33554432000 4194304 4196468 140732815750720 140732815733264 140559016181495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
/proc/13914/statm: 2711746 283142 3626 1 0 2673805 0
[pid=13914/tid=13967] ppid=13911 vsize=10846984 memory=1132568 CPUtime=2450.72 cores=0,2,4,6
/proc/13914/task/13967/stat : 13967 (java) R 13911 13914 12027 0 -1 4202560 73106 13146 0 0 245011 53 5 3 20 0 15 0 416527471 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558988016544 140558608672180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13968] ppid=13911 vsize=10846984 memory=1132568 CPUtime=12.28 cores=0,2,4,6
/proc/13914/task/13968/stat : 13968 (java) S 13911 13914 12027 0 -1 1077944384 17417 13146 0 0 1166 54 5 3 20 0 15 0 416527472 11107311616 283142 33554432000 4194304 4196468 140732815750720 140559020424080 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13969] ppid=13911 vsize=10846984 memory=1130500 CPUtime=12.19 cores=0,2,4,6
/proc/13914/task/13969/stat : 13969 (java) S 13911 13914 12027 0 -1 1077944384 32235 13146 0 0 1161 50 5 3 20 0 15 0 416527472 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558919314192 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13970] ppid=13911 vsize=10846984 memory=1132548 CPUtime=12.22 cores=0,2,4,6
/proc/13914/task/13970/stat : 13970 (java) S 13911 13914 12027 0 -1 1077944384 20551 13146 0 0 1160 54 5 3 20 0 15 0 416527472 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558918261904 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13971] ppid=13911 vsize=10846984 memory=1130124 CPUtime=12.23 cores=0,2,4,6
/proc/13914/task/13971/stat : 13971 (java) S 13911 13914 12027 0 -1 1077944384 19620 13146 0 0 1157 58 5 3 20 0 15 0 416527472 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558917209104 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13972] ppid=13911 vsize=10846984 memory=1126156 CPUtime=9.7 cores=0,2,4,6
/proc/13914/task/13972/stat : 13972 (java) S 13911 13914 12027 0 -1 1077944384 18123 13146 0 0 908 54 5 3 20 0 15 0 416527473 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558475221104 140559016192642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13973] ppid=13911 vsize=10846984 memory=1132568 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13973/stat : 13973 (java) S 13911 13914 12027 0 -1 1077944384 16 13146 0 0 0 0 5 3 20 0 15 0 416527474 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558374790048 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13974] ppid=13911 vsize=10846984 memory=1132568 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13974/stat : 13974 (java) S 13911 13914 12027 0 -1 1077944384 5 13146 0 0 0 0 5 3 20 0 15 0 416527474 11107311616 283142 33554432000 4194304 4196468 140732815750720 140557770810496 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13975] ppid=13911 vsize=10846984 memory=1132568 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13975/stat : 13975 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11107311616 283142 33554432000 4194304 4196468 140732815750720 140557530519632 140559016200091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13976] ppid=13911 vsize=10846984 memory=2580 CPUtime=4.09 cores=0,2,4,6
/proc/13914/task/13976/stat : 13976 (java) S 13911 13914 12027 0 -1 1077944384 29362 13146 0 0 394 7 5 3 20 0 15 0 416527477 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558474168944 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13977] ppid=13911 vsize=10846984 memory=10604 CPUtime=3.76 cores=0,2,4,6
/proc/13914/task/13977/stat : 13977 (java) S 13911 13914 12027 0 -1 1077944384 26181 13146 0 0 364 4 5 3 20 0 15 0 416527477 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558473116144 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13978] ppid=13911 vsize=10846984 memory=3360 CPUtime=1.84 cores=0,2,4,6
/proc/13914/task/13978/stat : 13978 (java) S 13911 13914 12027 0 -1 1077944384 21780 13146 0 0 172 4 5 3 20 0 15 0 416527477 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558472063856 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13979] ppid=13911 vsize=10846984 memory=1132568 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13979/stat : 13979 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11107311616 283142 33554432000 4194304 4196468 140732815750720 140557496962016 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13980] ppid=13911 vsize=10846984 memory=1132568 CPUtime=1.61 cores=0,2,4,6
/proc/13914/task/13980/stat : 13980 (java) S 13911 13914 12027 0 -1 1077944384 2173 13146 0 0 74 79 5 3 20 0 15 0 416527477 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558471010736 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1132568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.33 s]
# the end of solver process 13914 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.47 s, system=3.62167 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2475.3 s]
/proc/loadavg: 1.80 1.64 1.51 3/229 14337
/proc/meminfo: memFree=25064952/32770624 swapFree=66959224/67108860
[pid=13914] ppid=13911 vsize=10846984 memory=1132568 CPUtime=2520.04 cores=0,2,4,6
/proc/13914/stat : 13914 (java) S 13911 13914 12027 0 -1 1077944320 262784 13146 0 0 251639 357 5 3 20 0 15 0 416527462 11107311616 283142 33554432000 4194304 4196468 140732815750720 140732815733264 140559016181495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
/proc/13914/statm: 2711746 283142 3626 1 0 2673805 0
[pid=13914/tid=13967] ppid=13911 vsize=10846984 memory=1132568 CPUtime=2450.72 cores=0,2,4,6
/proc/13914/task/13967/stat : 13967 (java) R 13911 13914 12027 0 -1 4202560 73106 13146 0 0 245011 53 5 3 20 0 15 0 416527471 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558988016544 140558608672180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13968] ppid=13911 vsize=10846984 memory=1132568 CPUtime=12.28 cores=0,2,4,6
/proc/13914/task/13968/stat : 13968 (java) S 13911 13914 12027 0 -1 1077944384 17417 13146 0 0 1166 54 5 3 20 0 15 0 416527472 11107311616 283142 33554432000 4194304 4196468 140732815750720 140559020424080 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13969] ppid=13911 vsize=10846984 memory=1130500 CPUtime=12.19 cores=0,2,4,6
/proc/13914/task/13969/stat : 13969 (java) S 13911 13914 12027 0 -1 1077944384 32235 13146 0 0 1161 50 5 3 20 0 15 0 416527472 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558919314192 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13970] ppid=13911 vsize=10846984 memory=1132548 CPUtime=12.22 cores=0,2,4,6
/proc/13914/task/13970/stat : 13970 (java) S 13911 13914 12027 0 -1 1077944384 20551 13146 0 0 1160 54 5 3 20 0 15 0 416527472 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558918261904 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13971] ppid=13911 vsize=10846984 memory=1130124 CPUtime=12.23 cores=0,2,4,6
/proc/13914/task/13971/stat : 13971 (java) S 13911 13914 12027 0 -1 1077944384 19620 13146 0 0 1157 58 5 3 20 0 15 0 416527472 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558917209104 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13972] ppid=13911 vsize=10846984 memory=1126156 CPUtime=9.7 cores=0,2,4,6
/proc/13914/task/13972/stat : 13972 (java) S 13911 13914 12027 0 -1 1077944384 18123 13146 0 0 908 54 5 3 20 0 15 0 416527473 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558475221104 140559016192642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13973] ppid=13911 vsize=10846984 memory=1132568 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13973/stat : 13973 (java) S 13911 13914 12027 0 -1 1077944384 16 13146 0 0 0 0 5 3 20 0 15 0 416527474 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558374790048 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13974] ppid=13911 vsize=10846984 memory=1132568 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13974/stat : 13974 (java) S 13911 13914 12027 0 -1 1077944384 5 13146 0 0 0 0 5 3 20 0 15 0 416527474 11107311616 283142 33554432000 4194304 4196468 140732815750720 140557770810496 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13975] ppid=13911 vsize=10846984 memory=1132568 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13975/stat : 13975 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11107311616 283142 33554432000 4194304 4196468 140732815750720 140557530519632 140559016200091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13976] ppid=13911 vsize=10846984 memory=2580 CPUtime=4.09 cores=0,2,4,6
/proc/13914/task/13976/stat : 13976 (java) S 13911 13914 12027 0 -1 1077944384 29362 13146 0 0 394 7 5 3 20 0 15 0 416527477 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558474168944 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13977] ppid=13911 vsize=10846984 memory=10604 CPUtime=3.76 cores=0,2,4,6
/proc/13914/task/13977/stat : 13977 (java) S 13911 13914 12027 0 -1 1077944384 26181 13146 0 0 364 4 5 3 20 0 15 0 416527477 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558473116144 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13978] ppid=13911 vsize=10846984 memory=3360 CPUtime=1.84 cores=0,2,4,6
/proc/13914/task/13978/stat : 13978 (java) S 13911 13914 12027 0 -1 1077944384 21780 13146 0 0 172 4 5 3 20 0 15 0 416527477 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558472063856 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13979] ppid=13911 vsize=10846984 memory=1132568 CPUtime=0.08 cores=0,2,4,6
/proc/13914/task/13979/stat : 13979 (java) S 13911 13914 12027 0 -1 1077944384 3 13146 0 0 0 0 5 3 20 0 15 0 416527477 11107311616 283142 33554432000 4194304 4196468 140732815750720 140557496962016 140559016191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
[pid=13914/tid=13980] ppid=13911 vsize=10846984 memory=1132568 CPUtime=1.61 cores=0,2,4,6
/proc/13914/task/13980/stat : 13980 (java) S 13911 13914 12027 0 -1 1077944384 2173 13146 0 0 74 79 5 3 20 0 15 0 416527477 11107311616 283142 33554432000 4194304 4196468 140732815750720 140558471010736 140559016192642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7421952 140732815751920 140732815754437 140732815754437 140732815757263 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1132568 KiB
Child status: 143
Real time (s): 2475.33
CPU time (s): 2520.09
CPU user time (s): 2516.47
CPU system time (s): 3.62167
CPU usage (%): 101.808
Max. virtual memory (cumulated for all children) (KiB): 10849728
Max. memory (cumulated for all children) (KiB): 1279800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.47
system time used= 3.62167
maximum resident set size= 1281336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276600
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 265879
involuntary context switches= 11274
# summary of solver processes directly reported to runsolver:
# pid: 13914
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.47
# total CPU system time (s): 3.62167
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7991 second user time and 23.6063 second system time
The end