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 (4167 MiB free)
memory of node 1: 16384 MiB (10439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293569-1532317981/watcher-4293569-1532317981 -o /tmp/evaluation-result-4293569-1532317981/solver-4293569-1532317981 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9832 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=68543810 -superng HOME/instance-4293569-1532317981.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=13755, runsolver pid=13752
[startup+0.100054 s]*
/proc/loadavg: 1.60 1.52 1.51 3/207 13812
/proc/meminfo: memFree=14953604/32770624 swapFree=67108860/67108860
[pid=13755] ppid=13752 vsize=9972712 memory=16948 CPUtime=0.08 cores=1,3,5,7
/proc/13755/stat : 13755 (java) S 13752 13755 9800 0 -1 1077944320 4388 13248 0 0 1 0 5 2 20 0 6 0 49361012 10212057088 4237 33554432000 4194304 4196468 140729777714496 140729777697040 140021441666807 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
/proc/13755/statm: 2493178 4237 1934 1 0 2481616 0
[pid=13755/tid=13808] ppid=13752 vsize=9972712 memory=4279135704047322765 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13808/stat : 13808 (java) R 13752 13755 9800 0 -1 4202560 2213 13248 0 0 0 0 5 2 20 0 6 0 49361021 10212057088 4237 33554432000 4194304 4196468 140729777714496 140021413503568 140021425747294 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13809] ppid=13752 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13809/stat : 13809 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 6 0 49361022 10212057088 4237 33554432000 4194304 4196468 140729777714496 140021445909264 140021441677013 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13810] ppid=13752 vsize=9972712 memory=140151030675072 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13810/stat : 13810 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 6 0 49361022 10212057088 4237 33554432000 4194304 4196468 140729777714496 140021371214736 140021441677013 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13811] ppid=13752 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13811/stat : 13811 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 6 0 49361022 10212057088 4237 33554432000 4194304 4196468 140729777714496 140021013863440 140021441677013 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13812] ppid=13752 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13812/stat : 13812 (java) S 13752 13755 9800 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 6 0 49361022 10212057088 4237 33554432000 4194304 4196468 140729777714496 140021012810896 140021441677013 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16948 KiB
[startup+0.210033 s]*
/proc/loadavg: 1.60 1.52 1.51 3/216 13821
/proc/meminfo: memFree=14929572/32770624 swapFree=67108860/67108860
[pid=13755] ppid=13752 vsize=10818936 memory=44508 CPUtime=0.26 cores=1,3,5,7
/proc/13755/stat : 13755 (java) S 13752 13755 9800 0 -1 1077944320 8981 13248 0 0 17 2 5 2 20 0 15 0 49361012 11078590464 11127 33554432000 4194304 4196468 140729777714496 140729777697040 140021441666807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
/proc/13755/statm: 2704734 11127 2968 1 0 2667157 0
[pid=13755/tid=13808] ppid=13752 vsize=10818936 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/13755/task/13808/stat : 13808 (java) R 13752 13755 9800 0 -1 4202560 5930 13248 0 0 10 1 5 2 20 0 15 0 49361021 11078590464 11444 33554432000 4194304 4196468 140729777714496 140021413491616 140021434346525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13809] ppid=13752 vsize=10818936 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13809/stat : 13809 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361022 11078590464 11444 33554432000 4194304 4196468 140729777714496 140021445909264 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13810] ppid=13752 vsize=10818936 memory=140151030688982 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13810/stat : 13810 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361022 11078590464 11444 33554432000 4194304 4196468 140729777714496 140021371214736 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13811] ppid=13752 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13811/stat : 13811 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361022 11078590464 11444 33554432000 4194304 4196468 140729777714496 140021013863440 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13812] ppid=13752 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13812/stat : 13812 (java) S 13752 13755 9800 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 49361022 11078590464 11444 33554432000 4194304 4196468 140729777714496 140021012810896 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13813] ppid=13752 vsize=10818936 memory=140151030675072 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13813/stat : 13813 (java) S 13752 13755 9800 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 49361023 11078590464 11444 33554432000 4194304 4196468 140729777714496 140020968232944 140021441677954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13814] ppid=13752 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13814/stat : 13814 (java) S 13752 13755 9800 0 -1 1077944384 13 13248 0 0 0 0 5 2 20 0 15 0 49361024 11078590464 11444 33554432000 4194304 4196468 140729777714496 140020899898272 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13815] ppid=13752 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13815/stat : 13815 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361024 11078590464 11444 33554432000 4194304 4196468 140729777714496 140020295918576 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13816] ppid=13752 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13816/stat : 13816 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11078590464 11444 33554432000 4194304 4196468 140729777714496 140019988519120 140021441685403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13817] ppid=13752 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13755/task/13817/stat : 13817 (java) S 13752 13755 9800 0 -1 1077944384 499 13248 0 0 1 0 5 2 20 0 15 0 49361027 11078590464 11444 33554432000 4194304 4196468 140729777714496 140020866341360 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13818] ppid=13752 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13755/task/13818/stat : 13818 (java) S 13752 13755 9800 0 -1 1077944384 86 13248 0 0 1 0 5 2 20 0 15 0 49361027 11078590464 11444 33554432000 4194304 4196468 140729777714496 140020865288816 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13819] ppid=13752 vsize=10818936 memory=140151030675072 CPUtime=0.1 cores=1,3,5,7
/proc/13755/task/13819/stat : 13819 (java) S 13752 13755 9800 0 -1 1077944384 546 13248 0 0 3 0 5 2 20 0 15 0 49361027 11078590464 11444 33554432000 4194304 4196468 140729777714496 140020864236272 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13820] ppid=13752 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13820/stat : 13820 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11078590464 11444 33554432000 4194304 4196468 140729777714496 140019954961504 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13821] ppid=13752 vsize=10818904 memory=140151030675072 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13821/stat : 13821 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361027 11078557696 11444 33554432000 4194304 4196468 140729777714496 140020863183152 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 44508 KiB
[startup+0.310458 s]*
/proc/loadavg: 1.60 1.52 1.51 4/216 13821
/proc/meminfo: memFree=14916300/32770624 swapFree=67108860/67108860
[pid=13755] ppid=13752 vsize=10819352 memory=53656 CPUtime=0.38 cores=1,3,5,7
/proc/13755/stat : 13755 (java) S 13752 13755 9800 0 -1 1077944320 10486 13248 0 0 28 3 5 2 20 0 15 0 49361012 11079016448 13414 33554432000 4194304 4196468 140729777714496 140729777697040 140021441666807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
/proc/13755/statm: 2704838 13414 3087 1 0 2667149 0
[pid=13755/tid=13808] ppid=13752 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/13755/task/13808/stat : 13808 (java) R 13752 13755 9800 0 -1 4202560 7129 13248 0 0 19 2 5 2 20 0 15 0 49361021 11079016448 13414 33554432000 4194304 4196468 140729777714496 140021413478816 140021425747294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13809] ppid=13752 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13809/stat : 13809 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361022 11079016448 13414 33554432000 4194304 4196468 140729777714496 140021445909264 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13810] ppid=13752 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13810/stat : 13810 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361022 11079016448 13414 33554432000 4194304 4196468 140729777714496 140021371214736 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13811] ppid=13752 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13811/stat : 13811 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361022 11079016448 13414 33554432000 4194304 4196468 140729777714496 140021013863440 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13812] ppid=13752 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13812/stat : 13812 (java) S 13752 13755 9800 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 49361022 11079016448 13414 33554432000 4194304 4196468 140729777714496 140021012810896 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13813] ppid=13752 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13813/stat : 13813 (java) S 13752 13755 9800 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 49361023 11079016448 13414 33554432000 4194304 4196468 140729777714496 140020968232944 140021441677954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13814] ppid=13752 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13814/stat : 13814 (java) S 13752 13755 9800 0 -1 1077944384 13 13248 0 0 0 0 5 2 20 0 15 0 49361024 11079016448 13414 33554432000 4194304 4196468 140729777714496 140020899898272 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13815] ppid=13752 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13815/stat : 13815 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361024 11079016448 13414 33554432000 4194304 4196468 140729777714496 140020295918576 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13816] ppid=13752 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13816/stat : 13816 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11079016448 13414 33554432000 4194304 4196468 140729777714496 140019988519120 140021441685403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13817] ppid=13752 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13755/task/13817/stat : 13817 (java) S 13752 13755 9800 0 -1 1077944384 499 13248 0 0 1 0 5 2 20 0 15 0 49361027 11079016448 13414 33554432000 4194304 4196468 140729777714496 140020866341360 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13818] ppid=13752 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13755/task/13818/stat : 13818 (java) S 13752 13755 9800 0 -1 1077944384 87 13248 0 0 1 0 5 2 20 0 15 0 49361027 11079016448 13414 33554432000 4194304 4196468 140729777714496 140020865288816 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13819] ppid=13752 vsize=10819352 memory=140151030675072 CPUtime=0.12 cores=1,3,5,7
/proc/13755/task/13819/stat : 13819 (java) S 13752 13755 9800 0 -1 1077944384 554 13248 0 0 5 0 5 2 20 0 15 0 49361027 11079016448 13414 33554432000 4194304 4196468 140729777714496 140020864236272 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13820] ppid=13752 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13820/stat : 13820 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11079016448 13414 33554432000 4194304 4196468 140729777714496 140019954961504 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13821] ppid=13752 vsize=10819352 memory=140151030675072 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13821/stat : 13821 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361027 11079016448 13414 33554432000 4194304 4196468 140729777714496 140020863183152 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53656 KiB
[startup+0.700792 s]
/proc/loadavg: 1.60 1.52 1.51 3/216 13821
/proc/meminfo: memFree=14906552/32770624 swapFree=67108860/67108860
[pid=13755] ppid=13752 vsize=10819352 memory=86612 CPUtime=0.98 cores=1,3,5,7
/proc/13755/stat : 13755 (java) S 13752 13755 9800 0 -1 1077944320 16760 13248 0 0 87 4 5 2 20 0 15 0 49361012 11079016448 21653 33554432000 4194304 4196468 140729777714496 140729777697040 140021441666807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
/proc/13755/statm: 2704838 21653 3237 1 0 2667149 0
[pid=13755/tid=13808] ppid=13752 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/13755/task/13808/stat : 13808 (java) R 13752 13755 9800 0 -1 4202560 12324 13248 0 0 56 3 5 2 20 0 15 0 49361021 11079016448 21653 33554432000 4194304 4196468 140729777714496 140021413487632 140021421942631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13809] ppid=13752 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13809/stat : 13809 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361022 11079016448 21653 33554432000 4194304 4196468 140729777714496 140021445909264 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13810] ppid=13752 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13810/stat : 13810 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361022 11079016448 21653 33554432000 4194304 4196468 140729777714496 140021371214736 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13811] ppid=13752 vsize=10819352 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13811/stat : 13811 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361022 11079016448 21653 33554432000 4194304 4196468 140729777714496 140021013863440 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13812] ppid=13752 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13812/stat : 13812 (java) S 13752 13755 9800 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 49361022 11079016448 21653 33554432000 4194304 4196468 140729777714496 140021012810896 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13813] ppid=13752 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13813/stat : 13813 (java) S 13752 13755 9800 0 -1 1077944384 6 13248 0 0 0 0 5 2 20 0 15 0 49361023 11079016448 21653 33554432000 4194304 4196468 140729777714496 140020968232944 140021441677954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13814] ppid=13752 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13814/stat : 13814 (java) S 13752 13755 9800 0 -1 1077944384 13 13248 0 0 0 0 5 2 20 0 15 0 49361024 11079016448 21653 33554432000 4194304 4196468 140729777714496 140020899898272 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13815] ppid=13752 vsize=10819352 memory=140150889919248 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13815/stat : 13815 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361024 11079016448 21653 33554432000 4194304 4196468 140729777714496 140020295918576 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13816] ppid=13752 vsize=10819352 memory=140153372803665 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13816/stat : 13816 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11079016448 21653 33554432000 4194304 4196468 140729777714496 140019988519120 140021441685403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13817] ppid=13752 vsize=10819352 memory=14004 CPUtime=0.13 cores=1,3,5,7
/proc/13755/task/13817/stat : 13817 (java) S 13752 13755 9800 0 -1 1077944384 874 13248 0 0 6 0 5 2 20 0 15 0 49361027 11079016448 21653 33554432000 4194304 4196468 140729777714496 140020866341360 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13818] ppid=13752 vsize=10819352 memory=4639098309541127269 CPUtime=0.17 cores=1,3,5,7
/proc/13755/task/13818/stat : 13818 (java) S 13752 13755 9800 0 -1 1077944384 707 13248 0 0 10 0 5 2 20 0 15 0 49361027 11079016448 21653 33554432000 4194304 4196468 140729777714496 140020865288816 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13819] ppid=13752 vsize=10819352 memory=7813023418146120529 CPUtime=0.2 cores=1,3,5,7
/proc/13755/task/13819/stat : 13819 (java) S 13752 13755 9800 0 -1 1077944384 631 13248 0 0 13 0 5 2 20 0 15 0 49361027 11079016448 21653 33554432000 4194304 4196468 140729777714496 140020864236272 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13820] ppid=13752 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13820/stat : 13820 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11079016448 21653 33554432000 4194304 4196468 140729777714496 140019954961504 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13821] ppid=13752 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13821/stat : 13821 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361027 11079016448 21653 33554432000 4194304 4196468 140729777714496 140020863183152 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86612 KiB
[startup+1.50079 s]
/proc/loadavg: 1.60 1.52 1.51 4/216 13821
/proc/meminfo: memFree=14860128/32770624 swapFree=67108860/67108860
[pid=13755] ppid=13752 vsize=10832204 memory=191928 CPUtime=2.81 cores=1,3,5,7
/proc/13755/stat : 13755 (java) S 13752 13755 9800 0 -1 1077944320 24494 13248 0 0 263 11 5 2 20 0 15 0 49361012 11092176896 47982 33554432000 4194304 4196468 140729777714496 140729777697040 140021441666807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
/proc/13755/statm: 2708051 47982 3449 1 0 2669709 0
[pid=13755/tid=13808] ppid=13752 vsize=10832204 memory=12848 CPUtime=1.44 cores=1,3,5,7
/proc/13755/task/13808/stat : 13808 (java) S 13752 13755 9800 0 -1 1077944384 16955 13248 0 0 131 6 5 2 20 0 15 0 49361021 11092176896 47982 33554432000 4194304 4196468 140729777714496 140021413480032 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13809] ppid=13752 vsize=10832204 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13809/stat : 13809 (java) S 13752 13755 9800 0 -1 1077944384 58 13248 0 0 0 0 5 2 20 0 15 0 49361022 11092176896 47982 33554432000 4194304 4196468 140729777714496 140021445909264 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13810] ppid=13752 vsize=10832204 memory=3136 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13810/stat : 13810 (java) S 13752 13755 9800 0 -1 1077944384 167 13248 0 0 0 0 5 2 20 0 15 0 49361022 11092176896 47982 33554432000 4194304 4196468 140729777714496 140021371214736 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13811] ppid=13752 vsize=10832204 memory=3129400 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13811/stat : 13811 (java) S 13752 13755 9800 0 -1 1077944384 20 13248 0 0 0 0 5 2 20 0 15 0 49361022 11092176896 47982 33554432000 4194304 4196468 140729777714496 140021013863440 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13812] ppid=13752 vsize=10832204 memory=86612 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13812/stat : 13812 (java) S 13752 13755 9800 0 -1 1077944384 29 13248 0 0 0 0 5 2 20 0 15 0 49361022 11092176896 47982 33554432000 4194304 4196468 140729777714496 140021012810896 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13813] ppid=13752 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13813/stat : 13813 (java) R 13752 13755 9800 0 -1 4202560 40 13248 0 0 0 0 5 2 20 0 15 0 49361023 11092176896 47982 33554432000 4194304 4196468 140729777714496 140020968231232 140021423305145 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13814] ppid=13752 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13814/stat : 13814 (java) S 13752 13755 9800 0 -1 1077944384 13 13248 0 0 0 0 5 2 20 0 15 0 49361024 11092176896 47982 33554432000 4194304 4196468 140729777714496 140020899898272 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13815] ppid=13752 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13815/stat : 13815 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361024 11092176896 47982 33554432000 4194304 4196468 140729777714496 140020295918576 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13816] ppid=13752 vsize=10832204 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13816/stat : 13816 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11092176896 47982 33554432000 4194304 4196468 140729777714496 140019988519120 140021441685403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13817] ppid=13752 vsize=10832204 memory=6935649255759568960 CPUtime=0.48 cores=1,3,5,7
/proc/13755/task/13817/stat : 13817 (java) S 13752 13755 9800 0 -1 1077944384 2265 13248 0 0 40 1 5 2 20 0 15 0 49361027 11092176896 47982 33554432000 4194304 4196468 140729777714496 140020866341360 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13818] ppid=13752 vsize=10832204 memory=280301780114368 CPUtime=0.53 cores=1,3,5,7
/proc/13755/task/13818/stat : 13818 (java) S 13752 13755 9800 0 -1 1077944384 1279 13248 0 0 46 0 5 2 20 0 15 0 49361027 11092176896 47982 33554432000 4194304 4196468 140729777714496 140020865288816 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13819] ppid=13752 vsize=10832204 memory=6944656592452938395 CPUtime=0.5 cores=1,3,5,7
/proc/13755/task/13819/stat : 13819 (java) S 13752 13755 9800 0 -1 1077944384 1468 13248 0 0 42 1 5 2 20 0 15 0 49361027 11092176896 47982 33554432000 4194304 4196468 140729777714496 140020864236272 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13820] ppid=13752 vsize=10832204 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13820/stat : 13820 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11092176896 47982 33554432000 4194304 4196468 140729777714496 140019954961504 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13821] ppid=13752 vsize=10832204 memory=4206468019014099040 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13821/stat : 13821 (java) S 13752 13755 9800 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 49361027 11092176896 47982 33554432000 4194304 4196468 140729777714496 140020863183152 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/13755/task/13808/stat : 13808 (java) R 13752 13755 9800 0 -1 4202560 264083 13248 0 0 229842 72 5 2 20 0 15 0 49361021 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140021413501840 140021069271822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13809] ppid=13752 vsize=10852704 memory=4885056 CPUtime=21.83 cores=1,3,5,7
/proc/13755/task/13809/stat : 13809 (java) S 13752 13755 9800 0 -1 1077944384 47818 13248 0 0 2102 74 5 2 20 0 15 0 49361022 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140021445909264 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13810] ppid=13752 vsize=10852704 memory=4885056 CPUtime=21.75 cores=1,3,5,7
/proc/13755/task/13810/stat : 13810 (java) S 13752 13755 9800 0 -1 1077944384 41086 13248 0 0 2093 75 5 2 20 0 15 0 49361022 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140021371214736 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13811] ppid=13752 vsize=10852704 memory=4885056 CPUtime=21.78 cores=1,3,5,7
/proc/13755/task/13811/stat : 13811 (java) S 13752 13755 9800 0 -1 1077944384 40629 13248 0 0 2096 75 5 2 20 0 15 0 49361022 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140021013863440 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13812] ppid=13752 vsize=10852704 memory=4885056 CPUtime=21.79 cores=1,3,5,7
/proc/13755/task/13812/stat : 13812 (java) S 13752 13755 9800 0 -1 1077944384 46184 13248 0 0 2097 75 5 2 20 0 15 0 49361022 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140021012810896 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13813] ppid=13752 vsize=10852704 memory=4885056 CPUtime=0.81 cores=1,3,5,7
/proc/13755/task/13813/stat : 13813 (java) S 13752 13755 9800 0 -1 1077944384 48313 13248 0 0 65 9 5 2 20 0 15 0 49361023 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140020968232944 140021441677954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13814] ppid=13752 vsize=10852704 memory=4885056 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13814/stat : 13814 (java) S 13752 13755 9800 0 -1 1077944384 22 13248 0 0 0 0 5 2 20 0 15 0 49361024 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140020899898400 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13815] ppid=13752 vsize=10852704 memory=4885056 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13815/stat : 13815 (java) S 13752 13755 9800 0 -1 1077944384 21 13248 0 0 0 0 5 2 20 0 15 0 49361024 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140020295918592 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13816] ppid=13752 vsize=10852704 memory=4885056 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13816/stat : 13816 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140019988519120 140021441685403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13817] ppid=13752 vsize=10852704 memory=4885056 CPUtime=10.03 cores=1,3,5,7
/proc/13755/task/13817/stat : 13817 (java) S 13752 13755 9800 0 -1 1077944384 92763 13248 0 0 988 8 5 2 20 0 15 0 49361027 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140020866341360 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13818] ppid=13752 vsize=10852704 memory=4885056 CPUtime=11.33 cores=1,3,5,7
/proc/13755/task/13818/stat : 13818 (java) S 13752 13755 9800 0 -1 1077944384 108939 13248 0 0 1116 10 5 2 20 0 15 0 49361027 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140020865288816 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13819] ppid=13752 vsize=10852704 memory=4885056 CPUtime=3.91 cores=1,3,5,7
/proc/13755/task/13819/stat : 13819 (java) S 13752 13755 9800 0 -1 1077944384 83489 13248 0 0 373 11 5 2 20 0 15 0 49361027 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140020864236272 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13820] ppid=13752 vsize=10852704 memory=276 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13820/stat : 13820 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140019954961504 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13821] ppid=13752 vsize=10852704 memory=4885056 CPUtime=1.44 cores=1,3,5,7
/proc/13755/task/13821/stat : 13821 (java) S 13752 13755 9800 0 -1 1077944384 3048 13248 0 0 60 77 5 2 20 0 15 0 49361027 11113168896 1221264 33554432000 4194304 4196468 140729777714496 140020863183152 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
Current children cumulated CPU time: 2413.37 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4885056 KiB
[startup+2382.3 s]
/proc/loadavg: 1.62 1.54 1.54 3/215 14170
/proc/meminfo: memFree=11005548/32770624 swapFree=67108860/67108860
[pid=13755] ppid=13752 vsize=10852704 memory=4884040 CPUtime=2473.75 cores=1,3,5,7
/proc/13755/stat : 13755 (java) S 13752 13755 9800 0 -1 1077944320 792483 13248 0 0 246891 477 5 2 20 0 15 0 49361012 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140729777697040 140021441666807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
/proc/13755/statm: 2713176 1221010 3533 1 0 2674829 0
[pid=13755/tid=13808] ppid=13752 vsize=10852704 memory=1236 CPUtime=2359.1 cores=1,3,5,7
/proc/13755/task/13808/stat : 13808 (java) R 13752 13755 9800 0 -1 4202560 269918 13248 0 0 235830 73 5 2 20 0 15 0 49361021 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140021413501928 140021063283704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13809] ppid=13752 vsize=10852704 memory=4884040 CPUtime=21.93 cores=1,3,5,7
/proc/13755/task/13809/stat : 13809 (java) S 13752 13755 9800 0 -1 1077944384 48748 13248 0 0 2112 74 5 2 20 0 15 0 49361022 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140021445909264 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13810] ppid=13752 vsize=10852704 memory=4885056 CPUtime=21.85 cores=1,3,5,7
/proc/13755/task/13810/stat : 13810 (java) S 13752 13755 9800 0 -1 1077944384 41989 13248 0 0 2103 75 5 2 20 0 15 0 49361022 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140021371214736 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13811] ppid=13752 vsize=10852704 memory=4884036 CPUtime=21.87 cores=1,3,5,7
/proc/13755/task/13811/stat : 13811 (java) S 13752 13755 9800 0 -1 1077944384 43050 13248 0 0 2105 75 5 2 20 0 15 0 49361022 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140021013863440 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13812] ppid=13752 vsize=10852704 memory=4884036 CPUtime=21.88 cores=1,3,5,7
/proc/13755/task/13812/stat : 13812 (java) S 13752 13755 9800 0 -1 1077944384 47118 13248 0 0 2106 75 5 2 20 0 15 0 49361022 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140021012810896 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13813] ppid=13752 vsize=10852704 memory=4884040 CPUtime=0.82 cores=1,3,5,7
/proc/13755/task/13813/stat : 13813 (java) S 13752 13755 9800 0 -1 1077944384 48648 13248 0 0 66 9 5 2 20 0 15 0 49361023 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140020968232944 140021441677954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13814] ppid=13752 vsize=10852704 memory=4884040 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13814/stat : 13814 (java) S 13752 13755 9800 0 -1 1077944384 22 13248 0 0 0 0 5 2 20 0 15 0 49361024 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140020899898400 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13815] ppid=13752 vsize=10852704 memory=4884028 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13815/stat : 13815 (java) S 13752 13755 9800 0 -1 1077944384 21 13248 0 0 0 0 5 2 20 0 15 0 49361024 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140020295918592 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13816] ppid=13752 vsize=10852704 memory=4884040 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13816/stat : 13816 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140019988519120 140021441685403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13817] ppid=13752 vsize=10852704 memory=4884040 CPUtime=10.06 cores=1,3,5,7
/proc/13755/task/13817/stat : 13817 (java) S 13752 13755 9800 0 -1 1077944384 93097 13248 0 0 991 8 5 2 20 0 15 0 49361027 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140020866341360 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13818] ppid=13752 vsize=10852704 memory=4884028 CPUtime=11.37 cores=1,3,5,7
/proc/13755/task/13818/stat : 13818 (java) S 13752 13755 9800 0 -1 1077944384 110934 13248 0 0 1120 10 5 2 20 0 15 0 49361027 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140020865288816 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13819] ppid=13752 vsize=10852704 memory=4884040 CPUtime=3.92 cores=1,3,5,7
/proc/13755/task/13819/stat : 13819 (java) S 13752 13755 9800 0 -1 1077944384 83581 13248 0 0 374 11 5 2 20 0 15 0 49361027 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140020864236272 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13820] ppid=13752 vsize=10852704 memory=4884040 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13820/stat : 13820 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140019954961504 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13821] ppid=13752 vsize=10852704 memory=2340 CPUtime=1.48 cores=1,3,5,7
/proc/13755/task/13821/stat : 13821 (java) S 13752 13755 9800 0 -1 1077944384 3159 13248 0 0 62 79 5 2 20 0 15 0 49361027 11113168896 1221010 33554432000 4194304 4196468 140729777714496 140020863183152 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
Current children cumulated CPU time: 2473.75 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4884040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2428.11 s]
/proc/loadavg: 1.62 1.56 1.54 3/215 14171
/proc/meminfo: memFree=11030088/32770624 swapFree=67108860/67108860
[pid=13755] ppid=13752 vsize=10852704 memory=4884060 CPUtime=2520 cores=1,3,5,7
/proc/13755/stat : 13755 (java) S 13752 13755 9800 0 -1 1077944320 814956 13248 0 0 251512 481 5 2 20 0 15 0 49361012 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140729777697040 140021441666807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
/proc/13755/statm: 2713176 1221015 3533 1 0 2674829 0
[pid=13755/tid=13808] ppid=13752 vsize=10852704 memory=4884060 CPUtime=2404.8 cores=1,3,5,7
/proc/13755/task/13808/stat : 13808 (java) R 13752 13755 9800 0 -1 4202560 276005 13248 0 0 240399 74 5 2 20 0 15 0 49361021 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140021413502080 140021069271065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13809] ppid=13752 vsize=10852704 memory=4884060 CPUtime=22.01 cores=1,3,5,7
/proc/13755/task/13809/stat : 13809 (java) S 13752 13755 9800 0 -1 1077944384 49659 13248 0 0 2120 74 5 2 20 0 15 0 49361022 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140021445909264 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13810] ppid=13752 vsize=10852704 memory=4884060 CPUtime=21.93 cores=1,3,5,7
/proc/13755/task/13810/stat : 13810 (java) S 13752 13755 9800 0 -1 1077944384 42815 13248 0 0 2110 76 5 2 20 0 15 0 49361022 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140021371214736 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13811] ppid=13752 vsize=10852704 memory=4884060 CPUtime=21.95 cores=1,3,5,7
/proc/13755/task/13811/stat : 13811 (java) S 13752 13755 9800 0 -1 1077944384 43906 13248 0 0 2113 75 5 2 20 0 15 0 49361022 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140021013863440 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13812] ppid=13752 vsize=10852704 memory=4884060 CPUtime=21.96 cores=1,3,5,7
/proc/13755/task/13812/stat : 13812 (java) S 13752 13755 9800 0 -1 1077944384 49336 13248 0 0 2114 75 5 2 20 0 15 0 49361022 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140021012810896 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13813] ppid=13752 vsize=10852704 memory=4884060 CPUtime=0.82 cores=1,3,5,7
/proc/13755/task/13813/stat : 13813 (java) S 13752 13755 9800 0 -1 1077944384 48945 13248 0 0 66 9 5 2 20 0 15 0 49361023 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020968232944 140021441677954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13814] ppid=13752 vsize=10852704 memory=4884060 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13814/stat : 13814 (java) S 13752 13755 9800 0 -1 1077944384 22 13248 0 0 0 0 5 2 20 0 15 0 49361024 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020899898400 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13815] ppid=13752 vsize=10852704 memory=4884044 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13815/stat : 13815 (java) S 13752 13755 9800 0 -1 1077944384 21 13248 0 0 0 0 5 2 20 0 15 0 49361024 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020295918592 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13816] ppid=13752 vsize=10852704 memory=4884044 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13816/stat : 13816 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140019988519120 140021441685403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13817] ppid=13752 vsize=10852704 memory=4884040 CPUtime=10.2 cores=1,3,5,7
/proc/13755/task/13817/stat : 13817 (java) S 13752 13755 9800 0 -1 1077944384 96863 13248 0 0 1004 9 5 2 20 0 15 0 49361027 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020866341360 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13818] ppid=13752 vsize=10852704 memory=4884048 CPUtime=11.41 cores=1,3,5,7
/proc/13755/task/13818/stat : 13818 (java) S 13752 13755 9800 0 -1 1077944384 114874 13248 0 0 1123 11 5 2 20 0 15 0 49361027 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020865288816 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13819] ppid=13752 vsize=10852704 memory=4884060 CPUtime=3.95 cores=1,3,5,7
/proc/13755/task/13819/stat : 13819 (java) S 13752 13755 9800 0 -1 1077944384 86799 13248 0 0 376 12 5 2 20 0 15 0 49361027 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020864236272 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13820] ppid=13752 vsize=10852704 memory=4884060 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13820/stat : 13820 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140019954961504 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13821] ppid=13752 vsize=10852704 memory=4140 CPUtime=1.5 cores=1,3,5,7
/proc/13755/task/13821/stat : 13821 (java) S 13752 13755 9800 0 -1 1077944384 3513 13248 0 0 63 80 5 2 20 0 15 0 49361027 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020863183152 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4884060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2428.17 s]
# the end of solver process 13755 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.21 s, system=4.87136 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2428.11 s]
/proc/loadavg: 1.62 1.56 1.54 3/215 14171
/proc/meminfo: memFree=11030088/32770624 swapFree=67108860/67108860
[pid=13755] ppid=13752 vsize=10852704 memory=4884060 CPUtime=2520 cores=1,3,5,7
/proc/13755/stat : 13755 (java) S 13752 13755 9800 0 -1 1077944320 814956 13248 0 0 251512 481 5 2 20 0 15 0 49361012 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140729777697040 140021441666807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
/proc/13755/statm: 2713176 1221015 3533 1 0 2674829 0
[pid=13755/tid=13808] ppid=13752 vsize=10852704 memory=4884060 CPUtime=2404.8 cores=1,3,5,7
/proc/13755/task/13808/stat : 13808 (java) R 13752 13755 9800 0 -1 4202560 276005 13248 0 0 240399 74 5 2 20 0 15 0 49361021 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140021413502080 140021069271065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13809] ppid=13752 vsize=10852704 memory=4884060 CPUtime=22.01 cores=1,3,5,7
/proc/13755/task/13809/stat : 13809 (java) S 13752 13755 9800 0 -1 1077944384 49659 13248 0 0 2120 74 5 2 20 0 15 0 49361022 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140021445909264 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13810] ppid=13752 vsize=10852704 memory=4884060 CPUtime=21.93 cores=1,3,5,7
/proc/13755/task/13810/stat : 13810 (java) S 13752 13755 9800 0 -1 1077944384 42815 13248 0 0 2110 76 5 2 20 0 15 0 49361022 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140021371214736 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13811] ppid=13752 vsize=10852704 memory=4884060 CPUtime=21.95 cores=1,3,5,7
/proc/13755/task/13811/stat : 13811 (java) S 13752 13755 9800 0 -1 1077944384 43906 13248 0 0 2113 75 5 2 20 0 15 0 49361022 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140021013863440 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13812] ppid=13752 vsize=10852704 memory=4884060 CPUtime=21.96 cores=1,3,5,7
/proc/13755/task/13812/stat : 13812 (java) S 13752 13755 9800 0 -1 1077944384 49336 13248 0 0 2114 75 5 2 20 0 15 0 49361022 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140021012810896 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13813] ppid=13752 vsize=10852704 memory=4884060 CPUtime=0.82 cores=1,3,5,7
/proc/13755/task/13813/stat : 13813 (java) S 13752 13755 9800 0 -1 1077944384 48945 13248 0 0 66 9 5 2 20 0 15 0 49361023 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020968232944 140021441677954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13814] ppid=13752 vsize=10852704 memory=4884060 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13814/stat : 13814 (java) S 13752 13755 9800 0 -1 1077944384 22 13248 0 0 0 0 5 2 20 0 15 0 49361024 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020899898400 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13815] ppid=13752 vsize=10852704 memory=4884044 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13815/stat : 13815 (java) S 13752 13755 9800 0 -1 1077944384 21 13248 0 0 0 0 5 2 20 0 15 0 49361024 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020295918592 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13816] ppid=13752 vsize=10852704 memory=4884044 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13816/stat : 13816 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140019988519120 140021441685403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13817] ppid=13752 vsize=10852704 memory=4884040 CPUtime=10.2 cores=1,3,5,7
/proc/13755/task/13817/stat : 13817 (java) S 13752 13755 9800 0 -1 1077944384 96863 13248 0 0 1004 9 5 2 20 0 15 0 49361027 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020866341360 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13818] ppid=13752 vsize=10852704 memory=4884048 CPUtime=11.41 cores=1,3,5,7
/proc/13755/task/13818/stat : 13818 (java) S 13752 13755 9800 0 -1 1077944384 114874 13248 0 0 1123 11 5 2 20 0 15 0 49361027 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020865288816 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13819] ppid=13752 vsize=10852704 memory=4884060 CPUtime=3.95 cores=1,3,5,7
/proc/13755/task/13819/stat : 13819 (java) S 13752 13755 9800 0 -1 1077944384 86799 13248 0 0 376 12 5 2 20 0 15 0 49361027 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020864236272 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13820] ppid=13752 vsize=10852704 memory=4884060 CPUtime=0.07 cores=1,3,5,7
/proc/13755/task/13820/stat : 13820 (java) S 13752 13755 9800 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 49361027 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140019954961504 140021441677013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
[pid=13755/tid=13821] ppid=13752 vsize=10852704 memory=4140 CPUtime=1.5 cores=1,3,5,7
/proc/13755/task/13821/stat : 13821 (java) S 13752 13755 9800 0 -1 1077944384 3513 13248 0 0 63 80 5 2 20 0 15 0 49361027 11113168896 1221015 33554432000 4194304 4196468 140729777714496 140020863183152 140021441677954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140729777719469 140729777722716 140729777722716 140729777725391 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4884060 KiB
Child status: 143
Real time (s): 2428.17
CPU time (s): 2520.08
CPU user time (s): 2515.21
CPU system time (s): 4.87136
CPU usage (%): 103.785
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 4885056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.21
system time used= 4.87136
maximum resident set size= 4888296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 829944
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72330
involuntary context switches= 3306
# summary of solver processes directly reported to runsolver:
# pid: 13755
# total CPU time (s): 2520.08
# total CPU user time (s): 2515.21
# total CPU system time (s): 4.87136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6415 second user time and 23.3822 second system time
The end