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 (12424 MiB free)
  memory of node 1: 16384 MiB (10970 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311983-1534548735/watcher-4311983-1534548735 -o /tmp/evaluation-result-4311983-1534548735/solver-4311983-1534548735 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534541040-3481 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 223768492 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311983-1534548735.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=5023, runsolver pid=5020

[startup+0.102343 s]*
/proc/loadavg: 1.93 1.94 1.87 3/220 5038
/proc/meminfo: memFree=23938724/32770624 swapFree=67108840/67108860
[pid=5023] ppid=5020 vsize=14082736 memory=31164 CPUtime=0.13 cores=1,3,5,7
/proc/5023/stat : 5023 (java) S 5020 5023 3449 0 -1 1077944320 6675 0 0 0 11 2 0 0 20 0 15 0 272436652 14420721664 7791 33554432000 4194304 4196468 140721929575664 140721929558208 140047877545719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
/proc/5023/statm: 3520684 7791 3157 1 0 3482761 0
[pid=5023/tid=5025] ppid=5020 vsize=14082736 memory=-8680513978068989120 CPUtime=0.09 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 3449 0 -1 4202560 4715 0 0 0 8 1 0 0 20 0 15 0 272436652 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047881777280 140047860732528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5026] ppid=5020 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047815145744 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5027] ppid=5020 vsize=14082736 memory=139887564842624 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047814093200 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5028] ppid=5020 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047813040656 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5029] ppid=5020 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272436653 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047811988112 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5030] ppid=5020 vsize=14082736 memory=139887564842624 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272436655 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047419804144 140047877556866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5031] ppid=5020 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272436655 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047418750368 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5032] ppid=5020 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272436655 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047417697776 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5033] ppid=5020 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047416646352 140047877564315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5034] ppid=5020 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5034/stat : 5034 (java) S 5020 5023 3449 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 272436658 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047415592944 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5035] ppid=5020 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5035/stat : 5035 (java) S 5020 5023 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272436658 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047414540400 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5036] ppid=5020 vsize=14082736 memory=139887564842624 CPUtime=0.01 cores=1,3,5,7
/proc/5023/task/5036/stat : 5036 (java) S 5020 5023 3449 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 272436658 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047413487856 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5037] ppid=5020 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047412435552 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5038] ppid=5020 vsize=14082736 memory=139887564842624 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436658 14420721664 7791 33554432000 4194304 4196468 140721929575664 140047411383088 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31164 KiB

[startup+0.211232 s]*
/proc/loadavg: 1.93 1.94 1.87 5/220 5038
/proc/meminfo: memFree=23921908/32770624 swapFree=67108840/67108860
[pid=5023] ppid=5020 vsize=14082736 memory=48780 CPUtime=0.3 cores=1,3,5,7
/proc/5023/stat : 5023 (java) S 5020 5023 3449 0 -1 1077944320 10325 0 0 0 28 2 0 0 20 0 15 0 272436652 14420721664 12195 33554432000 4194304 4196468 140721929575664 140721929558208 140047877545719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
/proc/5023/statm: 3520684 12195 3361 1 0 3482761 0
[pid=5023/tid=5025] ppid=5020 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 3449 0 -1 4202560 8013 0 0 0 18 2 0 0 20 0 15 0 272436652 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047881774656 140047862916896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5026] ppid=5020 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047815145744 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5027] ppid=5020 vsize=14082736 memory=139887564847901 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047814093200 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5028] ppid=5020 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047813040656 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5029] ppid=5020 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272436653 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047811988112 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5030] ppid=5020 vsize=14082736 memory=139887564842624 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272436655 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047419804144 140047877556866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5031] ppid=5020 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272436655 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047418750368 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5032] ppid=5020 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272436655 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047417697776 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5033] ppid=5020 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047416646352 140047877564315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5034] ppid=5020 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5023/task/5034/stat : 5034 (java) R 5020 5023 3449 0 -1 4202560 557 0 0 0 2 0 0 0 20 0 15 0 272436658 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047415592944 140047861942735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5035] ppid=5020 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5023/task/5035/stat : 5035 (java) R 5020 5023 3449 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 15 0 272436658 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047414540400 140047877556866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5036] ppid=5020 vsize=14082736 memory=139887564842624 CPUtime=0.06 cores=1,3,5,7
/proc/5023/task/5036/stat : 5036 (java) R 5020 5023 3449 0 -1 4202560 314 0 0 0 6 0 0 0 20 0 15 0 272436658 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047413484792 140047855661814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5037] ppid=5020 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047412435552 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5038] ppid=5020 vsize=14082736 memory=139887564842624 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436658 14420721664 12195 33554432000 4194304 4196468 140721929575664 140047411383088 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 48780 KiB

[startup+0.310857 s]*
/proc/loadavg: 1.93 1.94 1.87 3/220 5038
/proc/meminfo: memFree=23917752/32770624 swapFree=67108840/67108860
[pid=5023] ppid=5020 vsize=14082736 memory=52720 CPUtime=0.45 cores=1,3,5,7
/proc/5023/stat : 5023 (java) S 5020 5023 3449 0 -1 1077944320 10728 0 0 0 42 3 0 0 20 0 15 0 272436652 14420721664 13180 33554432000 4194304 4196468 140721929575664 140721929558208 140047877545719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
/proc/5023/statm: 3520684 13180 3410 1 0 3482761 0
[pid=5023/tid=5025] ppid=5020 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 3449 0 -1 4202560 8374 0 0 0 28 2 0 0 20 0 15 0 272436652 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047881753552 140047857821053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5026] ppid=5020 vsize=14082736 memory=290763888105095191 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047815145744 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5027] ppid=5020 vsize=14082736 memory=14271056690833048 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047814093200 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5028] ppid=5020 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047813040656 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5029] ppid=5020 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272436653 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047811988112 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5030] ppid=5020 vsize=14082736 memory=139887564842624 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272436655 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047419804144 140047877556866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5031] ppid=5020 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272436655 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047418750368 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5032] ppid=5020 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272436655 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047417697776 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5033] ppid=5020 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047416646352 140047877564315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5034] ppid=5020 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5023/task/5034/stat : 5034 (java) S 5020 5023 3449 0 -1 1077944384 558 0 0 0 2 0 0 0 20 0 15 0 272436658 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047415592944 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5035] ppid=5020 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5023/task/5035/stat : 5035 (java) S 5020 5023 3449 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 15 0 272436658 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047414540400 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5036] ppid=5020 vsize=14082736 memory=139887564842624 CPUtime=0.08 cores=1,3,5,7
/proc/5023/task/5036/stat : 5036 (java) S 5020 5023 3449 0 -1 1077944384 334 0 0 0 8 0 0 0 20 0 15 0 272436658 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047413487856 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5037] ppid=5020 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047412435552 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5038] ppid=5020 vsize=14082736 memory=139887564842624 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436658 14420721664 13180 33554432000 4194304 4196468 140721929575664 140047411383088 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 52720 KiB

[startup+0.700709 s]
/proc/loadavg: 1.93 1.94 1.87 3/220 5038
/proc/meminfo: memFree=23893692/32770624 swapFree=67108840/67108860
[pid=5023] ppid=5020 vsize=14084804 memory=90588 CPUtime=0.99 cores=1,3,5,7
/proc/5023/stat : 5023 (java) S 5020 5023 3449 0 -1 1077944320 17568 0 0 0 94 5 0 0 20 0 15 0 272436652 14422839296 22647 33554432000 4194304 4196468 140721929575664 140721929558208 140047877545719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
/proc/5023/statm: 3521201 22647 3498 1 0 3483273 0
[pid=5023/tid=5025] ppid=5020 vsize=14084804 memory=1784 CPUtime=0.67 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 3449 0 -1 4202560 14820 0 0 0 63 4 0 0 20 0 15 0 272436652 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047881760848 140047877567645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5026] ppid=5020 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047815145744 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5027] ppid=5020 vsize=14084804 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047814093200 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5028] ppid=5020 vsize=14084804 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047813040656 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5029] ppid=5020 vsize=14084804 memory=5728 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272436653 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047811988112 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5030] ppid=5020 vsize=14084804 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272436655 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047419804144 140047877556866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5031] ppid=5020 vsize=14084804 memory=1092 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272436655 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047418750368 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5032] ppid=5020 vsize=14084804 memory=836 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272436655 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047417697776 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5033] ppid=5020 vsize=14084804 memory=10692 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047416646352 140047877564315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5034] ppid=5020 vsize=14084804 memory=7450174591119418944 CPUtime=0.07 cores=1,3,5,7
/proc/5023/task/5034/stat : 5034 (java) S 5020 5023 3449 0 -1 1077944384 706 0 0 0 7 0 0 0 20 0 15 0 272436658 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047415592944 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5035] ppid=5020 vsize=14084804 memory=6442510787546475095 CPUtime=0.07 cores=1,3,5,7
/proc/5023/task/5035/stat : 5035 (java) S 5020 5023 3449 0 -1 1077944384 237 0 0 0 7 0 0 0 20 0 15 0 272436658 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047414540400 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5036] ppid=5020 vsize=14084804 memory=7523071198212214892 CPUtime=0.15 cores=1,3,5,7
/proc/5023/task/5036/stat : 5036 (java) S 5020 5023 3449 0 -1 1077944384 423 0 0 0 15 0 0 0 20 0 15 0 272436658 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047413487856 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5037] ppid=5020 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047412435552 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5038] ppid=5020 vsize=14084804 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436658 14422839296 22647 33554432000 4194304 4196468 140721929575664 140047411383088 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90588 KiB

[startup+1.50074 s]
/proc/loadavg: 1.93 1.94 1.87 4/220 5038
/proc/meminfo: memFree=23847220/32770624 swapFree=67108840/67108860
[pid=5023] ppid=5020 vsize=14086852 memory=196828 CPUtime=2.81 cores=1,3,5,7
/proc/5023/stat : 5023 (java) S 5020 5023 3449 0 -1 1077944320 20689 0 0 0 274 7 0 0 20 0 15 0 272436652 14424936448 49207 33554432000 4194304 4196468 140721929575664 140721929558208 140047877545719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
/proc/5023/statm: 3521713 49207 3548 1 0 3483785 0
[pid=5023/tid=5025] ppid=5020 vsize=14086852 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 3449 0 -1 4202560 16040 0 0 0 142 5 0 0 20 0 15 0 272436652 14424936448 49207 33554432000 4194304 4196468 140721929575664 140047881781536 140047496844340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5026] ppid=5020 vsize=14086852 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14424936448 49207 33554432000 4194304 4196468 140721929575664 140047815145744 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5027] ppid=5020 vsize=14086852 memory=-2843874019102283166 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14424936448 49207 33554432000 4194304 4196468 140721929575664 140047814093200 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5028] ppid=5020 vsize=14086852 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436653 14424936448 49207 33554432000 4194304 4196468 140721929575664 140047813040656 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5029] ppid=5020 vsize=14086852 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272436653 14424936448 49207 33554432000 4194304 4196468 140721929575664 140047811988112 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5030] ppid=5020 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 3449 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 272436655 14424936448 49207 33554432000 4194304 4196468 140721929575664 140047419804144 140047877556866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0

################
# More data... #
################

[startup+3.03295 s]
# the end of solver process 5023 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.55671 s, system=0.107542 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60087 s]
/proc/loadavg: 1.93 1.94 1.87 4/220 5038
/proc/meminfo: memFree=23847220/32770624 swapFree=67108840/67108860
[pid=5023] ppid=5020 vsize=14086852 memory=215488 CPUtime=2.92 cores=1,3,5,7
/proc/5023/stat : 5023 (java) S 5020 5023 3449 0 -1 1077944320 21238 0 0 0 285 7 0 0 20 0 15 0 272436652 14424936448 53872 33554432000 4194304 4196468 140721929575664 140721929558208 140047877545719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
/proc/5023/statm: 3521713 53872 3550 1 0 3483785 0
[pid=5023/tid=5025] ppid=5020 vsize=14086852 memory=0 CPUtime=1.56 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 3449 0 -1 4202560 16061 0 0 0 151 5 0 0 20 0 15 0 272436652 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047881782808 140047496844127 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5026] ppid=5020 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 3449 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 272436653 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047815145744 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5027] ppid=5020 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 3449 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 272436653 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047814093200 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5028] ppid=5020 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 3449 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 272436653 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047813040656 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5029] ppid=5020 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 3449 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 272436653 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047811988112 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5030] ppid=5020 vsize=14086852 memory=139887564844337 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 3449 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 272436655 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047419804144 140047877556866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5031] ppid=5020 vsize=14086852 memory=5939517190303869802 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 3449 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 272436655 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047418750368 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5032] ppid=5020 vsize=14086852 memory=7309167735419596644 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 3449 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 272436655 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047417697776 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5033] ppid=5020 vsize=14086852 memory=5931348737964200016 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047416646352 140047877564315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5034] ppid=5020 vsize=14086852 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/5023/task/5034/stat : 5034 (java) S 5020 5023 3449 0 -1 1077944384 1433 0 0 0 45 0 0 0 20 0 15 0 272436658 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047415592944 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5035] ppid=5020 vsize=14086852 memory=161491105985253 CPUtime=0.43 cores=1,3,5,7
/proc/5023/task/5035/stat : 5035 (java) S 5020 5023 3449 0 -1 1077944384 633 0 0 0 43 0 0 0 20 0 15 0 272436658 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047414540400 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5036] ppid=5020 vsize=14086852 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/5023/task/5036/stat : 5036 (java) S 5020 5023 3449 0 -1 1077944384 1440 0 0 0 43 0 0 0 20 0 15 0 272436658 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047413487856 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5037] ppid=5020 vsize=14086852 memory=-5921431000321636112 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047412435552 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5038] ppid=5020 vsize=14086852 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272436658 14424936448 53872 33554432000 4194304 4196468 140721929575664 140047411383088 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 215488 KiB

[startup+2.40067 s]
/proc/loadavg: 1.93 1.94 1.87 5/220 5038
/proc/meminfo: memFree=23745080/32770624 swapFree=67108840/67108860
[pid=5023] ppid=5020 vsize=14090948 memory=232524 CPUtime=4.9 cores=1,3,5,7
/proc/5023/stat : 5023 (java) S 5020 5023 3449 0 -1 1077944320 30839 0 0 0 481 9 0 0 20 0 15 0 272436652 14429130752 58131 33554432000 4194304 4196468 140721929575664 140721929558208 140047877545719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
/proc/5023/statm: 3522737 58131 3556 1 0 3484809 0
[pid=5023/tid=5025] ppid=5020 vsize=14090948 memory=924 CPUtime=2.36 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 3449 0 -1 4202560 18532 0 0 0 230 6 0 0 20 0 15 0 272436652 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047881783224 140047499930449 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5026] ppid=5020 vsize=14090948 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 3449 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 272436653 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047815145744 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5027] ppid=5020 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 3449 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 272436653 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047814093200 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5028] ppid=5020 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 3449 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 272436653 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047813040656 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5029] ppid=5020 vsize=14090948 memory=-6873162000112450758 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 3449 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 272436653 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047811988112 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5030] ppid=5020 vsize=14090948 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 3449 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 272436655 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047419804144 140047877556866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5031] ppid=5020 vsize=14090948 memory=-7088785026379990432 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 3449 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 272436655 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047418750368 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5032] ppid=5020 vsize=14090948 memory=6944656425122700657 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 3449 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 272436655 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047417697776 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5033] ppid=5020 vsize=14090948 memory=-7673225154500992928 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047416646352 140047877564315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5034] ppid=5020 vsize=14090948 memory=6944656592455360560 CPUtime=0.91 cores=1,3,5,7
/proc/5023/task/5034/stat : 5034 (java) R 5020 5023 3449 0 -1 4202560 3268 0 0 0 91 0 0 0 20 0 15 0 272436658 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047415592944 140047856791518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5035] ppid=5020 vsize=14090948 memory=7014751519734322276 CPUtime=0.88 cores=1,3,5,7
/proc/5023/task/5035/stat : 5035 (java) S 5020 5023 3449 0 -1 1077944384 2455 0 0 0 88 0 0 0 20 0 15 0 272436658 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047414540400 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5036] ppid=5020 vsize=14090948 memory=7014751519734322276 CPUtime=0.7 cores=1,3,5,7
/proc/5023/task/5036/stat : 5036 (java) S 5020 5023 3449 0 -1 1077944384 4906 0 0 0 69 1 0 0 20 0 15 0 272436658 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047413487856 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5037] ppid=5020 vsize=14090948 memory=7014751519734322276 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047412435552 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5038] ppid=5020 vsize=14090948 memory=7014751519734322276 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 3449 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 272436658 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047411383088 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
Current children cumulated CPU time: 4.9 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 232524 KiB

[startup+2.80066 s]
/proc/loadavg: 1.93 1.94 1.87 5/220 5038
/proc/meminfo: memFree=23745080/32770624 swapFree=67108840/67108860
[pid=5023] ppid=5020 vsize=14090948 memory=232524 CPUtime=5.33 cores=1,3,5,7
/proc/5023/stat : 5023 (java) S 5020 5023 3449 0 -1 1077944320 30868 0 0 0 524 9 0 0 20 0 15 0 272436652 14429130752 58131 33554432000 4194304 4196468 140721929575664 140721929558208 140047877545719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
/proc/5023/statm: 3522737 58131 3556 1 0 3484809 0
[pid=5023/tid=5025] ppid=5020 vsize=14090948 memory=8112282956445269571 CPUtime=2.76 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 3449 0 -1 4202560 18549 0 0 0 270 6 0 0 20 0 15 0 272436652 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047881783224 140047500191229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5026] ppid=5020 vsize=14090948 memory=6656426053176224419 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 3449 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 272436653 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047815145744 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5027] ppid=5020 vsize=14090948 memory=-2897801490638248215 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 3449 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 272436653 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047814093200 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5028] ppid=5020 vsize=14090948 memory=664970774371478172 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 3449 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 272436653 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047813040656 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5029] ppid=5020 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 3449 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 272436653 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047811988112 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5030] ppid=5020 vsize=14090948 memory=10 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 3449 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 272436655 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047419804144 140047877556866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5031] ppid=5020 vsize=14090948 memory=7524855942533206745 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 3449 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 272436655 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047418750368 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5032] ppid=5020 vsize=14090948 memory=10 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 3449 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 272436655 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047417697776 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5033] ppid=5020 vsize=14090948 memory=2608 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047416646352 140047877564315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5034] ppid=5020 vsize=14090948 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/5023/task/5034/stat : 5034 (java) S 5020 5023 3449 0 -1 1077944384 3275 0 0 0 93 0 0 0 20 0 15 0 272436658 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047415592944 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5035] ppid=5020 vsize=14090948 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/5023/task/5035/stat : 5035 (java) R 5020 5023 3449 0 -1 4202560 2459 0 0 0 89 0 0 0 20 0 15 0 272436658 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047414525712 140047861029128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5036] ppid=5020 vsize=14090948 memory=8243122710528917583 CPUtime=0.7 cores=1,3,5,7
/proc/5023/task/5036/stat : 5036 (java) S 5020 5023 3449 0 -1 1077944384 4906 0 0 0 69 1 0 0 20 0 15 0 272436658 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047413487856 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5037] ppid=5020 vsize=14090948 memory=14617 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047412435552 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5038] ppid=5020 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 3449 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 272436658 14429130752 58131 33554432000 4194304 4196468 140721929575664 140047411383088 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
Current children cumulated CPU time: 5.33 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 232524 KiB

[startup+3.00114 s]*
/proc/loadavg: 1.93 1.94 1.87 4/220 5038
/proc/meminfo: memFree=23737644/32770624 swapFree=67108840/67108860
[pid=5023] ppid=5020 vsize=14090948 memory=232848 CPUtime=5.63 cores=1,3,5,7
/proc/5023/stat : 5023 (java) S 5020 5023 3449 0 -1 1077944320 31437 0 0 0 554 9 0 0 20 0 15 0 272436652 14429130752 58212 33554432000 4194304 4196468 140721929575664 140721929558208 140047877545719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
/proc/5023/statm: 3522737 58212 3574 1 0 3484809 0
[pid=5023/tid=5025] ppid=5020 vsize=14090948 memory=7022364594140610616 CPUtime=2.97 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 3449 0 -1 4202560 19058 0 0 0 291 6 0 0 20 0 15 0 272436652 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047881780192 140047877557654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5026] ppid=5020 vsize=14090948 memory=365 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 3449 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 272436653 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047815145744 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5027] ppid=5020 vsize=14090948 memory=139887564847901 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 3449 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 272436653 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047814093200 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5028] ppid=5020 vsize=14090948 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 3449 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 272436653 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047813040656 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5029] ppid=5020 vsize=14090948 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 3449 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 272436653 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047811988112 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5030] ppid=5020 vsize=14090948 memory=3471342283885680304 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 3449 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 272436655 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047419804144 140047877556866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5031] ppid=5020 vsize=14090948 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 3449 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 272436655 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047418750368 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5032] ppid=5020 vsize=14090948 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 3449 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 272436655 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047417697776 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5033] ppid=5020 vsize=14090948 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047416646352 140047877564315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5034] ppid=5020 vsize=14090948 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/5023/task/5034/stat : 5034 (java) S 5020 5023 3449 0 -1 1077944384 3290 0 0 0 97 0 0 0 20 0 15 0 272436658 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047415592944 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5035] ppid=5020 vsize=14090948 memory=3472328296227680299 CPUtime=0.93 cores=1,3,5,7
/proc/5023/task/5035/stat : 5035 (java) S 5020 5023 3449 0 -1 1077944384 2486 0 0 0 93 0 0 0 20 0 15 0 272436658 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047414540400 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5036] ppid=5020 vsize=14090948 memory=3472468166612653744 CPUtime=0.71 cores=1,3,5,7
/proc/5023/task/5036/stat : 5036 (java) R 5020 5023 3449 0 -1 4202560 4929 0 0 0 70 1 0 0 20 0 15 0 272436658 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047413487856 140047856514702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5037] ppid=5020 vsize=14090948 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272436658 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047412435552 140047877555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
[pid=5023/tid=5038] ppid=5020 vsize=14090948 memory=3472468166612653744 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 3449 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 272436658 14429130752 58217 33554432000 4194304 4196468 140721929575664 140047411383088 140047877556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29732864 140721929577545 140721929577737 140721929577737 140721929580495 0
Current children cumulated CPU time: 5.63 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 232848 KiB

Child status: 0
Real time (s): 3.033
CPU time (s): 5.66425
CPU user time (s): 5.55671
CPU system time (s): 0.107542
CPU usage (%): 186.754
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 232848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.55671
system time used= 0.107542
maximum resident set size= 233392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2673
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 5023
#   total CPU time (s): 5.66425
#   total CPU user time (s): 5.55671
#   total CPU system time (s): 0.107542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043094 second user time and 0.077169 second system time

The end