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 (2584 MiB free)
memory of node 1: 16384 MiB (9578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295772-1532595056/watcher-4295772-1532595056 -o /tmp/evaluation-result-4295772-1532595056/solver-4295772-1532595056 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532582651-29262 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=396635197 HOME/instance-4295772-1532595056.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=31722, runsolver pid=31719
[startup+0.100093 s]*
/proc/loadavg: 1.38 1.35 1.32 3/207 31779
/proc/meminfo: memFree=12447348/32770624 swapFree=67108852/67108860
[pid=31722] ppid=31719 vsize=9972712 memory=19120 CPUtime=0.09 cores=1,3,5,7
/proc/31722/stat : 31722 (java) S 31719 31722 29230 0 -1 1077944320 4419 13057 0 0 1 0 5 3 20 0 6 0 77068776 10212057088 4780 33554432000 4194304 4196468 140724236719360 140724236701904 140186475536119 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
/proc/31722/statm: 2493178 4780 1935 1 0 2481616 0
[pid=31722/tid=31775] ppid=31719 vsize=9972712 memory=4279135703912971920 CPUtime=0.09 cores=1,3,5,7
/proc/31722/task/31775/stat : 31775 (java) R 31719 31722 29230 0 -1 4202560 2225 13057 0 0 1 0 5 3 20 0 6 0 77068785 10212057088 4780 33554432000 4194304 4196468 140724236719360 140186447372880 140186460848121 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31776] ppid=31719 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31776/stat : 31776 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 6 0 77068786 10212057088 4780 33554432000 4194304 4196468 140724236719360 140186479778704 140186475546325 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31777] ppid=31719 vsize=9972712 memory=140066798204544 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31777/stat : 31777 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 6 0 77068786 10212057088 4780 33554432000 4194304 4196468 140724236719360 140186394598160 140186475546325 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31778] ppid=31719 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31778/stat : 31778 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 6 0 77068786 10212057088 4780 33554432000 4194304 4196468 140724236719360 140186393545872 140186475546325 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31779] ppid=31719 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31779/stat : 31779 (java) S 31719 31722 29230 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 6 0 77068786 10212057088 4780 33554432000 4194304 4196468 140724236719360 140186392493072 140186475546325 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19120 KiB
[startup+0.209833 s]*
/proc/loadavg: 1.38 1.35 1.32 3/216 31788
/proc/meminfo: memFree=12427880/32770624 swapFree=67108852/67108860
[pid=31722] ppid=31719 vsize=10818904 memory=45516 CPUtime=0.26 cores=1,3,5,7
/proc/31722/stat : 31722 (java) S 31719 31722 29230 0 -1 1077944320 9229 13057 0 0 16 2 5 3 20 0 15 0 77068776 11078557696 11379 33554432000 4194304 4196468 140724236719360 140724236701904 140186475536119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
/proc/31722/statm: 2704726 11379 2947 1 0 2667149 0
[pid=31722/tid=31775] ppid=31719 vsize=10818936 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/31722/task/31775/stat : 31775 (java) R 31719 31722 29230 0 -1 4202560 5800 13057 0 0 10 1 5 3 20 0 15 0 77068785 11078590464 11379 33554432000 4194304 4196468 140724236719360 140186447360928 140186468215837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31776] ppid=31719 vsize=10818936 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31776/stat : 31776 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068786 11078590464 11379 33554432000 4194304 4196468 140724236719360 140186479778704 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31777] ppid=31719 vsize=10818936 memory=140066798622935 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31777/stat : 31777 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068786 11078590464 11379 33554432000 4194304 4196468 140724236719360 140186394598160 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31778] ppid=31719 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31778/stat : 31778 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068786 11078590464 11379 33554432000 4194304 4196468 140724236719360 140186393545872 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31779] ppid=31719 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31779/stat : 31779 (java) S 31719 31722 29230 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 77068786 11078590464 11379 33554432000 4194304 4196468 140724236719360 140186392493072 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31780] ppid=31719 vsize=10818936 memory=140066798204544 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31780/stat : 31780 (java) S 31719 31722 29230 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 77068787 11078590464 11379 33554432000 4194304 4196468 140724236719360 140186002139248 140186475547266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31781] ppid=31719 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31781/stat : 31781 (java) S 31719 31722 29230 0 -1 1077944384 13 13057 0 0 0 0 5 3 20 0 15 0 77068788 11078590464 11379 33554432000 4194304 4196468 140724236719360 140185920594720 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31782] ppid=31719 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31782/stat : 31782 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068788 11078590464 11379 33554432000 4194304 4196468 140724236719360 140185316615280 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31783] ppid=31719 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31783/stat : 31783 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11078590464 11379 33554432000 4194304 4196468 140724236719360 140185009215568 140186475554715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31784] ppid=31719 vsize=10818936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31722/task/31784/stat : 31784 (java) S 31719 31722 29230 0 -1 1077944384 480 13057 0 0 1 0 5 3 20 0 15 0 77068791 11078590464 11379 33554432000 4194304 4196468 140724236719360 140186001087088 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31785] ppid=31719 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31785/stat : 31785 (java) S 31719 31722 29230 0 -1 1077944384 131 13057 0 0 0 0 5 3 20 0 15 0 77068791 11078590464 11379 33554432000 4194304 4196468 140724236719360 140186000034288 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31786] ppid=31719 vsize=10818936 memory=140066798204544 CPUtime=0.11 cores=1,3,5,7
/proc/31722/task/31786/stat : 31786 (java) S 31719 31722 29230 0 -1 1077944384 609 13057 0 0 3 0 5 3 20 0 15 0 77068791 11078590464 11379 33554432000 4194304 4196468 140724236719360 140185998982000 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31787] ppid=31719 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31787/stat : 31787 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11078590464 11379 33554432000 4194304 4196468 140724236719360 140184975657952 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31788] ppid=31719 vsize=10818904 memory=140066798204544 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31788/stat : 31788 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068791 11078557696 11379 33554432000 4194304 4196468 140724236719360 140185997928880 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45516 KiB
[startup+0.310278 s]*
/proc/loadavg: 1.38 1.35 1.32 4/216 31788
/proc/meminfo: memFree=12414236/32770624 swapFree=67108852/67108860
[pid=31722] ppid=31719 vsize=10819352 memory=53660 CPUtime=0.39 cores=1,3,5,7
/proc/31722/stat : 31722 (java) S 31719 31722 29230 0 -1 1077944320 10448 13057 0 0 28 3 5 3 20 0 15 0 77068776 11079016448 13415 33554432000 4194304 4196468 140724236719360 140724236701904 140186475536119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
/proc/31722/statm: 2704838 13415 3093 1 0 2667149 0
[pid=31722/tid=31775] ppid=31719 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/31722/task/31775/stat : 31775 (java) R 31719 31722 29230 0 -1 4202560 6999 13057 0 0 19 2 5 3 20 0 15 0 77068785 11079016448 13415 33554432000 4194304 4196468 140724236719360 140186447348128 140186459616606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31776] ppid=31719 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31776/stat : 31776 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068786 11079016448 13415 33554432000 4194304 4196468 140724236719360 140186479778704 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31777] ppid=31719 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31777/stat : 31777 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068786 11079016448 13415 33554432000 4194304 4196468 140724236719360 140186394598160 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31778] ppid=31719 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31778/stat : 31778 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068786 11079016448 13415 33554432000 4194304 4196468 140724236719360 140186393545872 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31779] ppid=31719 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31779/stat : 31779 (java) S 31719 31722 29230 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 77068786 11079016448 13415 33554432000 4194304 4196468 140724236719360 140186392493072 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31780] ppid=31719 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31780/stat : 31780 (java) S 31719 31722 29230 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 77068787 11079016448 13415 33554432000 4194304 4196468 140724236719360 140186002139248 140186475547266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31781] ppid=31719 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31781/stat : 31781 (java) S 31719 31722 29230 0 -1 1077944384 13 13057 0 0 0 0 5 3 20 0 15 0 77068788 11079016448 13415 33554432000 4194304 4196468 140724236719360 140185920594720 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31782] ppid=31719 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31782/stat : 31782 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068788 11079016448 13415 33554432000 4194304 4196468 140724236719360 140185316615280 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31783] ppid=31719 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31783/stat : 31783 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11079016448 13415 33554432000 4194304 4196468 140724236719360 140185009215568 140186475554715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31784] ppid=31719 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31722/task/31784/stat : 31784 (java) S 31719 31722 29230 0 -1 1077944384 481 13057 0 0 1 0 5 3 20 0 15 0 77068791 11079016448 13415 33554432000 4194304 4196468 140724236719360 140186001087088 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31785] ppid=31719 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/31722/task/31785/stat : 31785 (java) S 31719 31722 29230 0 -1 1077944384 135 13057 0 0 1 0 5 3 20 0 15 0 77068791 11079016448 13415 33554432000 4194304 4196468 140724236719360 140186000034288 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31786] ppid=31719 vsize=10819352 memory=140066798204544 CPUtime=0.13 cores=1,3,5,7
/proc/31722/task/31786/stat : 31786 (java) S 31719 31722 29230 0 -1 1077944384 617 13057 0 0 5 0 5 3 20 0 15 0 77068791 11079016448 13415 33554432000 4194304 4196468 140724236719360 140185998982000 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31787] ppid=31719 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31787/stat : 31787 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11079016448 13415 33554432000 4194304 4196468 140724236719360 140184975657952 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31788] ppid=31719 vsize=10819352 memory=140066798204544 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31788/stat : 31788 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068791 11079016448 13415 33554432000 4194304 4196468 140724236719360 140185997928880 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53660 KiB
[startup+0.700739 s]
/proc/loadavg: 1.38 1.35 1.32 3/216 31788
/proc/meminfo: memFree=12404684/32770624 swapFree=67108852/67108860
[pid=31722] ppid=31719 vsize=10819352 memory=86472 CPUtime=0.99 cores=1,3,5,7
/proc/31722/stat : 31722 (java) S 31719 31722 29230 0 -1 1077944320 16738 13057 0 0 86 5 5 3 20 0 15 0 77068776 11079016448 21618 33554432000 4194304 4196468 140724236719360 140724236701904 140186475536119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
/proc/31722/statm: 2704838 21618 3237 1 0 2667149 0
[pid=31722/tid=31775] ppid=31719 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/31722/task/31775/stat : 31775 (java) R 31719 31722 29230 0 -1 4202560 12222 13057 0 0 55 3 5 3 20 0 15 0 77068785 11079016448 21618 33554432000 4194304 4196468 140724236719360 140186447356944 140186455811917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31776] ppid=31719 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31776/stat : 31776 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068786 11079016448 21618 33554432000 4194304 4196468 140724236719360 140186479778704 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31777] ppid=31719 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31777/stat : 31777 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068786 11079016448 21618 33554432000 4194304 4196468 140724236719360 140186394598160 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31778] ppid=31719 vsize=10819352 memory=140066668294960 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31778/stat : 31778 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068786 11079016448 21618 33554432000 4194304 4196468 140724236719360 140186393545872 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31779] ppid=31719 vsize=10819352 memory=140067473457740 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31779/stat : 31779 (java) S 31719 31722 29230 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 77068786 11079016448 21618 33554432000 4194304 4196468 140724236719360 140186392493072 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31780] ppid=31719 vsize=10819352 memory=4612 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31780/stat : 31780 (java) S 31719 31722 29230 0 -1 1077944384 5 13057 0 0 0 0 5 3 20 0 15 0 77068787 11079016448 21618 33554432000 4194304 4196468 140724236719360 140186002139248 140186475547266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31781] ppid=31719 vsize=10819352 memory=4639098309541128813 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31781/stat : 31781 (java) S 31719 31722 29230 0 -1 1077944384 13 13057 0 0 0 0 5 3 20 0 15 0 77068788 11079016448 21618 33554432000 4194304 4196468 140724236719360 140185920594720 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31782] ppid=31719 vsize=10819352 memory=7885635084775281010 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31782/stat : 31782 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068788 11079016448 21618 33554432000 4194304 4196468 140724236719360 140185316615280 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31783] ppid=31719 vsize=10819352 memory=4044 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31783/stat : 31783 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11079016448 21618 33554432000 4194304 4196468 140724236719360 140185009215568 140186475554715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31784] ppid=31719 vsize=10819352 memory=13460 CPUtime=0.18 cores=1,3,5,7
/proc/31722/task/31784/stat : 31784 (java) S 31719 31722 29230 0 -1 1077944384 1086 13057 0 0 10 0 5 3 20 0 15 0 77068791 11079016448 21618 33554432000 4194304 4196468 140724236719360 140186001087088 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31785] ppid=31719 vsize=10819352 memory=16432 CPUtime=0.15 cores=1,3,5,7
/proc/31722/task/31785/stat : 31785 (java) S 31719 31722 29230 0 -1 1077944384 510 13057 0 0 7 0 5 3 20 0 15 0 77068791 11079016448 21618 33554432000 4194304 4196468 140724236719360 140186000034288 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31786] ppid=31719 vsize=10819352 memory=1792 CPUtime=0.21 cores=1,3,5,7
/proc/31722/task/31786/stat : 31786 (java) S 31719 31722 29230 0 -1 1077944384 700 13057 0 0 13 0 5 3 20 0 15 0 77068791 11079016448 21618 33554432000 4194304 4196468 140724236719360 140185998982000 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31787] ppid=31719 vsize=10819352 memory=644 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31787/stat : 31787 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11079016448 21618 33554432000 4194304 4196468 140724236719360 140184975657952 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31788] ppid=31719 vsize=10819352 memory=956 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31788/stat : 31788 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068791 11079016448 21618 33554432000 4194304 4196468 140724236719360 140185997928880 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86472 KiB
[startup+1.50066 s]
/proc/loadavg: 1.38 1.35 1.32 3/216 31788
/proc/meminfo: memFree=12357732/32770624 swapFree=67108852/67108860
[pid=31722] ppid=31719 vsize=10834252 memory=178868 CPUtime=2.41 cores=1,3,5,7
/proc/31722/stat : 31722 (java) S 31719 31722 29230 0 -1 1077944320 23877 13057 0 0 223 10 5 3 20 0 15 0 77068776 11094274048 44717 33554432000 4194304 4196468 140724236719360 140724236701904 140186475536119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
/proc/31722/statm: 2708563 44717 3472 1 0 2670221 0
[pid=31722/tid=31775] ppid=31719 vsize=10834252 memory=63404 CPUtime=1.43 cores=1,3,5,7
/proc/31722/task/31775/stat : 31775 (java) R 31719 31722 29230 0 -1 4202560 17515 13057 0 0 129 6 5 3 20 0 15 0 77068785 11094274048 44717 33554432000 4194304 4196468 140724236719360 140186447366256 140186459579749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31776] ppid=31719 vsize=10834252 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/31722/task/31776/stat : 31776 (java) S 31719 31722 29230 0 -1 1077944384 25 13057 0 0 1 0 5 3 20 0 15 0 77068786 11094274048 44717 33554432000 4194304 4196468 140724236719360 140186479778704 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31777] ppid=31719 vsize=10834252 memory=280133336621216 CPUtime=0.09 cores=1,3,5,7
/proc/31722/task/31777/stat : 31777 (java) S 31719 31722 29230 0 -1 1077944384 25 13057 0 0 1 0 5 3 20 0 15 0 77068786 11094274048 44717 33554432000 4194304 4196468 140724236719360 140186394598160 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31778] ppid=31719 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31722/task/31778/stat : 31778 (java) S 31719 31722 29230 0 -1 1077944384 175 13057 0 0 1 0 5 3 20 0 15 0 77068786 11094274048 44717 33554432000 4194304 4196468 140724236719360 140186393545872 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31779] ppid=31719 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31722/task/31779/stat : 31779 (java) S 31719 31722 29230 0 -1 1077944384 56 13057 0 0 1 0 5 3 20 0 15 0 77068786 11094274048 44717 33554432000 4194304 4196468 140724236719360 140186392493072 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31780] ppid=31719 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31722/task/31780/stat : 31780 (java) S 31719 31722 29230 0 -1 1077944384 54 13057 0 0 1 0 5 3 20 0 15 0 77068787 11094274048 44717 33554432000 4194304 4196468 140724236719360 140186002139248 140186475547266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31781] ppid=31719 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31781/stat : 31781 (java) S 31719 31722 29230 0 -1 1077944384 14 13057 0 0 0 0 5 3 20 0 15 0 77068788 11094274048 44717 33554432000 4194304 4196468 140724236719360 140185920594784 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31782] ppid=31719 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31782/stat : 31782 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068788 11094274048 44717 33554432000 4194304 4196468 140724236719360 140185316615280 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31783] ppid=31719 vsize=10834252 memory=-5921431000321636112 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31783/stat : 31783 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11094274048 44717 33554432000 4194304 4196468 140724236719360 140185009215568 140186475554715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31784] ppid=31719 vsize=10834252 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/31722/task/31784/stat : 31784 (java) S 31719 31722 29230 0 -1 1077944384 1556 13057 0 0 28 0 5 3 20 0 15 0 77068791 11094274048 44717 33554432000 4194304 4196468 140724236719360 140186001087088 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31785] ppid=31719 vsize=10834252 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/31722/task/31785/stat : 31785 (java) S 31719 31722 29230 0 -1 1077944384 850 13057 0 0 20 0 5 3 20 0 15 0 77068791 11094274048 44717 33554432000 4194304 4196468 140724236719360 140186000034288 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31786] ppid=31719 vsize=10834252 memory=6791534058613427641 CPUtime=0.46 cores=1,3,5,7
/proc/31722/task/31786/stat : 31786 (java) R 31719 31722 29230 0 -1 4202560 1410 13057 0 0 38 0 5 3 20 0 15 0 77068791 11094274048 44717 33554432000 4194304 4196468 140724236719360 140185998982000 140186475557466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31787] ppid=31719 vsize=10834252 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31787/stat : 31787 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11094274048 44717 33554432000 4194304 4196468 140724236719360 140184975657952 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31788] ppid=31719 vsize=10834252 memory=280133336865728 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31788/stat : 31788 (java) S 31719 31722 29230 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 77068791 11094274048 44717 33554432000 4194304 4196468 140724236719360 140185997928880 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/31722/task/31775/stat : 31775 (java) R 31719 31722 29230 0 -1 4202560 122507 13057 0 0 235682 59 5 3 20 0 15 0 77068785 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186447370128 140186092975596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31776] ppid=31719 vsize=10850656 memory=723352 CPUtime=14.88 cores=1,3,5,7
/proc/31722/task/31776/stat : 31776 (java) S 31719 31722 29230 0 -1 1077944384 19671 13057 0 0 1415 65 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186479778704 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31777] ppid=31719 vsize=10850656 memory=723352 CPUtime=14.88 cores=1,3,5,7
/proc/31722/task/31777/stat : 31777 (java) S 31719 31722 29230 0 -1 1077944384 19667 13057 0 0 1414 66 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186394598160 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31778] ppid=31719 vsize=10850656 memory=723352 CPUtime=14.87 cores=1,3,5,7
/proc/31722/task/31778/stat : 31778 (java) S 31719 31722 29230 0 -1 1077944384 20286 13057 0 0 1412 67 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186393545872 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31779] ppid=31719 vsize=10850656 memory=723352 CPUtime=14.9 cores=1,3,5,7
/proc/31722/task/31779/stat : 31779 (java) S 31719 31722 29230 0 -1 1077944384 17902 13057 0 0 1414 68 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186392493072 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31780] ppid=31719 vsize=10850656 memory=723352 CPUtime=7.27 cores=1,3,5,7
/proc/31722/task/31780/stat : 31780 (java) S 31719 31722 29230 0 -1 1077944384 15682 13057 0 0 666 53 5 3 20 0 15 0 77068787 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186002139248 140186475547266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31781] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31781/stat : 31781 (java) S 31719 31722 29230 0 -1 1077944384 26 13057 0 0 0 0 5 3 20 0 15 0 77068788 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185920594784 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31782] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31782/stat : 31782 (java) S 31719 31722 29230 0 -1 1077944384 4 13057 0 0 0 0 5 3 20 0 15 0 77068788 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185316615296 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31783] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31783/stat : 31783 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185009215568 140186475554715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31784] ppid=31719 vsize=10850656 memory=56 CPUtime=6.07 cores=1,3,5,7
/proc/31722/task/31784/stat : 31784 (java) S 31719 31722 29230 0 -1 1077944384 37119 13057 0 0 593 6 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186001087088 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31785] ppid=31719 vsize=10850656 memory=723352 CPUtime=5.85 cores=1,3,5,7
/proc/31722/task/31785/stat : 31785 (java) S 31719 31722 29230 0 -1 1077944384 36036 13057 0 0 573 4 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186000034288 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31786] ppid=31719 vsize=10850656 memory=7165352523811075129 CPUtime=2.53 cores=1,3,5,7
/proc/31722/task/31786/stat : 31786 (java) S 31719 31722 29230 0 -1 1077944384 30135 13057 0 0 241 4 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185998982000 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31787] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31787/stat : 31787 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140184975657952 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31788] ppid=31719 vsize=10850656 memory=723352 CPUtime=1.5 cores=1,3,5,7
/proc/31722/task/31788/stat : 31788 (java) S 31719 31722 29230 0 -1 1077944384 2320 13057 0 0 62 80 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185997928880 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
Current children cumulated CPU time: 2439.64 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 723352 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.30 1.32 3/216 32143
/proc/meminfo: memFree=11391740/32770624 swapFree=67108852/67108860
[pid=31722] ppid=31719 vsize=10850656 memory=723352 CPUtime=2500.83 cores=1,3,5,7
/proc/31722/stat : 31722 (java) S 31719 31722 29230 0 -1 1077944320 324746 13057 0 0 249641 434 5 3 20 0 15 0 77068776 11111071744 180838 33554432000 4194304 4196468 140724236719360 140724236701904 140186475536119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
/proc/31722/statm: 2712664 180838 3527 1 0 2674317 0
[pid=31722/tid=31775] ppid=31719 vsize=10850656 memory=723352 CPUtime=2416.79 cores=1,3,5,7
/proc/31722/task/31775/stat : 31775 (java) R 31719 31722 29230 0 -1 4202560 123033 13057 0 0 241612 59 5 3 20 0 15 0 77068785 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186447370304 140186077381052 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31776] ppid=31719 vsize=10850656 memory=723352 CPUtime=15.29 cores=1,3,5,7
/proc/31722/task/31776/stat : 31776 (java) S 31719 31722 29230 0 -1 1077944384 19776 13057 0 0 1456 65 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186479778704 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31777] ppid=31719 vsize=10850656 memory=723352 CPUtime=15.29 cores=1,3,5,7
/proc/31722/task/31777/stat : 31777 (java) S 31719 31722 29230 0 -1 1077944384 20020 13057 0 0 1454 67 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186394598160 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31778] ppid=31719 vsize=10850656 memory=723352 CPUtime=15.29 cores=1,3,5,7
/proc/31722/task/31778/stat : 31778 (java) S 31719 31722 29230 0 -1 1077944384 20413 13057 0 0 1452 69 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186393545872 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31779] ppid=31719 vsize=10850656 memory=723352 CPUtime=15.32 cores=1,3,5,7
/proc/31722/task/31779/stat : 31779 (java) S 31719 31722 29230 0 -1 1077944384 17944 13057 0 0 1455 69 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186392493072 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31780] ppid=31719 vsize=10850656 memory=723352 CPUtime=7.47 cores=1,3,5,7
/proc/31722/task/31780/stat : 31780 (java) S 31719 31722 29230 0 -1 1077944384 15713 13057 0 0 685 54 5 3 20 0 15 0 77068787 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186002139248 140186475547266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31781] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31781/stat : 31781 (java) S 31719 31722 29230 0 -1 1077944384 26 13057 0 0 0 0 5 3 20 0 15 0 77068788 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185920594784 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31782] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31782/stat : 31782 (java) S 31719 31722 29230 0 -1 1077944384 4 13057 0 0 0 0 5 3 20 0 15 0 77068788 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185316615296 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31783] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31783/stat : 31783 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185009215568 140186475554715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31784] ppid=31719 vsize=10850656 memory=723352 CPUtime=6.07 cores=1,3,5,7
/proc/31722/task/31784/stat : 31784 (java) S 31719 31722 29230 0 -1 1077944384 37121 13057 0 0 593 6 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186001087088 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31785] ppid=31719 vsize=10850656 memory=723352 CPUtime=5.85 cores=1,3,5,7
/proc/31722/task/31785/stat : 31785 (java) S 31719 31722 29230 0 -1 1077944384 36038 13057 0 0 573 4 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186000034288 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31786] ppid=31719 vsize=10850656 memory=723352 CPUtime=2.53 cores=1,3,5,7
/proc/31722/task/31786/stat : 31786 (java) S 31719 31722 29230 0 -1 1077944384 30137 13057 0 0 241 4 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185998982000 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31787] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31787/stat : 31787 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140184975657952 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31788] ppid=31719 vsize=10850656 memory=6791534058613427641 CPUtime=1.53 cores=1,3,5,7
/proc/31722/task/31788/stat : 31788 (java) S 31719 31722 29230 0 -1 1077944384 2326 13057 0 0 63 82 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185997928880 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
Current children cumulated CPU time: 2500.83 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 723352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2461.11 s]
/proc/loadavg: 1.12 1.27 1.31 3/216 32143
/proc/meminfo: memFree=11392076/32770624 swapFree=67108852/67108860
[pid=31722] ppid=31719 vsize=10850656 memory=723352 CPUtime=2520.01 cores=1,3,5,7
/proc/31722/stat : 31722 (java) S 31719 31722 29230 0 -1 1077944320 325836 13057 0 0 251557 436 5 3 20 0 15 0 77068776 11111071744 180838 33554432000 4194304 4196468 140724236719360 140724236701904 140186475536119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
/proc/31722/statm: 2712664 180838 3527 1 0 2674317 0
[pid=31722/tid=31775] ppid=31719 vsize=10850656 memory=723352 CPUtime=2435.37 cores=1,3,5,7
/proc/31722/task/31775/stat : 31775 (java) R 31719 31722 29230 0 -1 4202560 123270 13057 0 0 243470 59 5 3 20 0 15 0 77068785 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186447370208 140186091718885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31776] ppid=31719 vsize=10850656 memory=723352 CPUtime=15.43 cores=1,3,5,7
/proc/31722/task/31776/stat : 31776 (java) S 31719 31722 29230 0 -1 1077944384 20103 13057 0 0 1469 66 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186479778704 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31777] ppid=31719 vsize=10850656 memory=0 CPUtime=15.42 cores=1,3,5,7
/proc/31722/task/31777/stat : 31777 (java) S 31719 31722 29230 0 -1 1077944384 20100 13057 0 0 1467 67 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186394598160 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31778] ppid=31719 vsize=10850656 memory=723352 CPUtime=15.42 cores=1,3,5,7
/proc/31722/task/31778/stat : 31778 (java) S 31719 31722 29230 0 -1 1077944384 20514 13057 0 0 1465 69 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186393545872 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31779] ppid=31719 vsize=10850656 memory=723352 CPUtime=15.45 cores=1,3,5,7
/proc/31722/task/31779/stat : 31779 (java) S 31719 31722 29230 0 -1 1077944384 18087 13057 0 0 1468 69 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186392493072 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31780] ppid=31719 vsize=10850656 memory=723352 CPUtime=7.54 cores=1,3,5,7
/proc/31722/task/31780/stat : 31780 (java) S 31719 31722 29230 0 -1 1077944384 15901 13057 0 0 692 54 5 3 20 0 15 0 77068787 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186002139248 140186475547266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31781] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31781/stat : 31781 (java) S 31719 31722 29230 0 -1 1077944384 26 13057 0 0 0 0 5 3 20 0 15 0 77068788 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185920594784 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31782] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31782/stat : 31782 (java) S 31719 31722 29230 0 -1 1077944384 4 13057 0 0 0 0 5 3 20 0 15 0 77068788 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185316615296 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31783] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31783/stat : 31783 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185009215568 140186475554715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31784] ppid=31719 vsize=10850656 memory=723352 CPUtime=6.07 cores=1,3,5,7
/proc/31722/task/31784/stat : 31784 (java) S 31719 31722 29230 0 -1 1077944384 37121 13057 0 0 593 6 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186001087088 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31785] ppid=31719 vsize=10850656 memory=723352 CPUtime=5.85 cores=1,3,5,7
/proc/31722/task/31785/stat : 31785 (java) S 31719 31722 29230 0 -1 1077944384 36038 13057 0 0 573 4 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186000034288 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31786] ppid=31719 vsize=10850656 memory=280133337245424 CPUtime=2.53 cores=1,3,5,7
/proc/31722/task/31786/stat : 31786 (java) S 31719 31722 29230 0 -1 1077944384 30137 13057 0 0 241 4 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185998982000 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31787] ppid=31719 vsize=10850656 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31787/stat : 31787 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140184975657952 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31788] ppid=31719 vsize=10850656 memory=4124 CPUtime=1.54 cores=1,3,5,7
/proc/31722/task/31788/stat : 31788 (java) S 31719 31722 29230 0 -1 1077944384 2340 13057 0 0 64 82 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185997928880 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 723352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2461.14 s]
# the end of solver process 31722 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.65 s, system=4.40898 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2461.11 s]
/proc/loadavg: 1.12 1.27 1.31 3/216 32143
/proc/meminfo: memFree=11392076/32770624 swapFree=67108852/67108860
[pid=31722] ppid=31719 vsize=10850656 memory=723352 CPUtime=2520.01 cores=1,3,5,7
/proc/31722/stat : 31722 (java) S 31719 31722 29230 0 -1 1077944320 325836 13057 0 0 251557 436 5 3 20 0 15 0 77068776 11111071744 180838 33554432000 4194304 4196468 140724236719360 140724236701904 140186475536119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
/proc/31722/statm: 2712664 180838 3527 1 0 2674317 0
[pid=31722/tid=31775] ppid=31719 vsize=10850656 memory=723352 CPUtime=2435.37 cores=1,3,5,7
/proc/31722/task/31775/stat : 31775 (java) R 31719 31722 29230 0 -1 4202560 123270 13057 0 0 243470 59 5 3 20 0 15 0 77068785 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186447370208 140186091718885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31776] ppid=31719 vsize=10850656 memory=723352 CPUtime=15.43 cores=1,3,5,7
/proc/31722/task/31776/stat : 31776 (java) S 31719 31722 29230 0 -1 1077944384 20103 13057 0 0 1469 66 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186479778704 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31777] ppid=31719 vsize=10850656 memory=0 CPUtime=15.42 cores=1,3,5,7
/proc/31722/task/31777/stat : 31777 (java) S 31719 31722 29230 0 -1 1077944384 20100 13057 0 0 1467 67 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186394598160 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31778] ppid=31719 vsize=10850656 memory=723352 CPUtime=15.42 cores=1,3,5,7
/proc/31722/task/31778/stat : 31778 (java) S 31719 31722 29230 0 -1 1077944384 20514 13057 0 0 1465 69 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186393545872 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31779] ppid=31719 vsize=10850656 memory=723352 CPUtime=15.45 cores=1,3,5,7
/proc/31722/task/31779/stat : 31779 (java) S 31719 31722 29230 0 -1 1077944384 18087 13057 0 0 1468 69 5 3 20 0 15 0 77068786 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186392493072 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31780] ppid=31719 vsize=10850656 memory=723352 CPUtime=7.54 cores=1,3,5,7
/proc/31722/task/31780/stat : 31780 (java) S 31719 31722 29230 0 -1 1077944384 15901 13057 0 0 692 54 5 3 20 0 15 0 77068787 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186002139248 140186475547266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31781] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31781/stat : 31781 (java) S 31719 31722 29230 0 -1 1077944384 26 13057 0 0 0 0 5 3 20 0 15 0 77068788 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185920594784 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31782] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31782/stat : 31782 (java) S 31719 31722 29230 0 -1 1077944384 4 13057 0 0 0 0 5 3 20 0 15 0 77068788 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185316615296 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31783] ppid=31719 vsize=10850656 memory=723352 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31783/stat : 31783 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185009215568 140186475554715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31784] ppid=31719 vsize=10850656 memory=723352 CPUtime=6.07 cores=1,3,5,7
/proc/31722/task/31784/stat : 31784 (java) S 31719 31722 29230 0 -1 1077944384 37121 13057 0 0 593 6 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186001087088 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31785] ppid=31719 vsize=10850656 memory=723352 CPUtime=5.85 cores=1,3,5,7
/proc/31722/task/31785/stat : 31785 (java) S 31719 31722 29230 0 -1 1077944384 36038 13057 0 0 573 4 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140186000034288 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31786] ppid=31719 vsize=10850656 memory=280133337245424 CPUtime=2.53 cores=1,3,5,7
/proc/31722/task/31786/stat : 31786 (java) S 31719 31722 29230 0 -1 1077944384 30137 13057 0 0 241 4 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185998982000 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31787] ppid=31719 vsize=10850656 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/31722/task/31787/stat : 31787 (java) S 31719 31722 29230 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140184975657952 140186475546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
[pid=31722/tid=31788] ppid=31719 vsize=10850656 memory=4124 CPUtime=1.54 cores=1,3,5,7
/proc/31722/task/31788/stat : 31788 (java) S 31719 31722 29230 0 -1 1077944384 2340 13057 0 0 64 82 5 3 20 0 15 0 77068791 11111071744 180838 33554432000 4194304 4196468 140724236719360 140185997928880 140186475547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23547904 140724236724847 140724236727644 140724236727644 140724236730319 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 723352 KiB
Child status: 143
Real time (s): 2461.14
CPU time (s): 2520.06
CPU user time (s): 2515.65
CPU system time (s): 4.40898
CPU usage (%): 102.394
Max. virtual memory (cumulated for all children) (KiB): 10851316
Max. memory (cumulated for all children) (KiB): 1584152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.65
system time used= 4.40898
maximum resident set size= 1586704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340529
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214878
involuntary context switches= 5485
# summary of solver processes directly reported to runsolver:
# pid: 31722
# total CPU time (s): 2520.06
# total CPU user time (s): 2515.65
# total CPU system time (s): 4.40898
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4345 second user time and 21.63 second system time
The end