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 (14231 MiB free)
memory of node 1: 16384 MiB (12270 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293452-1532315690/watcher-4293452-1532315690 -o /tmp/evaluation-result-4293452-1532315690/solver-4293452-1532315690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3499 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1894162011 -superng HOME/instance-4293452-1532315690.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7377, runsolver pid=7374
Current StackSize limit: 8192 KiB
[startup+0.100077 s]*
/proc/loadavg: 1.26 1.27 1.41 3/207 7434
/proc/meminfo: memFree=27132068/32770624 swapFree=67108860/67108860
[pid=7377] ppid=7374 vsize=9972712 memory=17224 CPUtime=0.09 cores=0,2,4,6
/proc/7377/stat : 7377 (java) S 7374 7377 3468 0 -1 1077944320 4442 13011 0 0 1 0 5 3 20 0 6 0 49132249 10212057088 4306 33554432000 4194304 4196468 140735847110224 140735847092768 140064187387639 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
/proc/7377/statm: 2493178 4306 1934 1 0 2481616 0
[pid=7377/tid=7430] ppid=7374 vsize=9972712 memory=4718545630382498451 CPUtime=0.09 cores=0,2,4,6
/proc/7377/task/7430/stat : 7430 (java) R 7374 7377 3468 0 -1 4202560 2285 13011 0 0 1 0 5 3 20 0 6 0 49132258 10212057088 4306 33554432000 4194304 4196468 140735847110224 140064159224400 140064180484475 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7431] ppid=7374 vsize=9972712 memory=5793855225438788025 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7431/stat : 7431 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 49132259 10212057088 4306 33554432000 4194304 4196468 140735847110224 140064191630352 140064187397845 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7432] ppid=7374 vsize=9972712 memory=139974428894848 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7432/stat : 7432 (java) S 7374 7377 3468 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 6 0 49132259 10212057088 4306 33554432000 4194304 4196468 140735847110224 140064119110800 140064187397845 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7433] ppid=7374 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7433/stat : 7433 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 49132259 10212057088 4306 33554432000 4194304 4196468 140735847110224 140063760034576 140064187397845 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7434] ppid=7374 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7434/stat : 7434 (java) S 7374 7377 3468 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 6 0 49132259 10212057088 4306 33554432000 4194304 4196468 140735847110224 140063758982032 140064187397845 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17224 KiB
[startup+0.210122 s]*
/proc/loadavg: 1.26 1.27 1.41 3/216 7443
/proc/meminfo: memFree=27109636/32770624 swapFree=67108860/67108860
[pid=7377] ppid=7374 vsize=10818856 memory=40756 CPUtime=0.27 cores=0,2,4,6
/proc/7377/stat : 7377 (java) S 7374 7377 3468 0 -1 1077944320 8612 13011 0 0 17 2 5 3 20 0 15 0 49132249 11078508544 10189 33554432000 4194304 4196468 140735847110224 140735847092768 140064187387639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
/proc/7377/statm: 2704714 10189 2958 1 0 2667149 0
[pid=7377/tid=7430] ppid=7374 vsize=10818856 memory=-2899909650764262549 CPUtime=0.19 cores=0,2,4,6
/proc/7377/task/7430/stat : 7430 (java) R 7374 7377 3468 0 -1 4202560 5443 13011 0 0 10 1 5 3 20 0 15 0 49132258 11078508544 10387 33554432000 4194304 4196468 140735847110224 140064159185296 140064167663388 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7431] ppid=7374 vsize=10818856 memory=4211973700633685386 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7431/stat : 7431 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132259 11078508544 10387 33554432000 4194304 4196468 140735847110224 140064191630352 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7432] ppid=7374 vsize=10818856 memory=139974428894848 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7432/stat : 7432 (java) S 7374 7377 3468 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 49132259 11078508544 10387 33554432000 4194304 4196468 140735847110224 140064119110800 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7433] ppid=7374 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7433/stat : 7433 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132259 11078508544 10387 33554432000 4194304 4196468 140735847110224 140063760034576 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7434] ppid=7374 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7434/stat : 7434 (java) S 7374 7377 3468 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 49132259 11078508544 10453 33554432000 4194304 4196468 140735847110224 140063758982032 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7435] ppid=7374 vsize=10818856 memory=139974428894848 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7435/stat : 7435 (java) S 7374 7377 3468 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 49132260 11078508544 10453 33554432000 4194304 4196468 140735847110224 140063646140656 140064187398786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7436] ppid=7374 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7436/stat : 7436 (java) S 7374 7377 3468 0 -1 1077944384 33 13011 0 0 0 0 5 3 20 0 15 0 49132261 11078508544 10453 33554432000 4194304 4196468 140735847110224 140063645086880 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7437] ppid=7374 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7437/stat : 7437 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132261 11078508544 10453 33554432000 4194304 4196468 140735847110224 140063044264688 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7438] ppid=7374 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7438/stat : 7438 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11078508544 10453 33554432000 4194304 4196468 140735847110224 140062736865232 140064187406235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7439] ppid=7374 vsize=10818856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7377/task/7439/stat : 7439 (java) S 7374 7377 3468 0 -1 1077944384 494 13011 0 0 1 0 5 3 20 0 15 0 49132264 11078508544 10453 33554432000 4194304 4196468 140735847110224 140063611529968 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7440] ppid=7374 vsize=10818856 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/7377/task/7440/stat : 7440 (java) S 7374 7377 3468 0 -1 1077944384 87 13011 0 0 1 0 5 3 20 0 15 0 49132264 11078508544 10453 33554432000 4194304 4196468 140735847110224 140063610477424 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7441] ppid=7374 vsize=10818856 memory=139974428894848 CPUtime=0.11 cores=0,2,4,6
/proc/7377/task/7441/stat : 7441 (java) S 7374 7377 3468 0 -1 1077944384 553 13011 0 0 3 0 5 3 20 0 15 0 49132264 11078508544 10453 33554432000 4194304 4196468 140735847110224 140063609424368 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7442] ppid=7374 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7442/stat : 7442 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11078508544 10453 33554432000 4194304 4196468 140735847110224 140062703307616 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7443] ppid=7374 vsize=10818856 memory=139974428894848 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7443/stat : 7443 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132264 11078508544 10453 33554432000 4194304 4196468 140735847110224 140063608371760 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 40756 KiB
[startup+0.310322 s]*
/proc/loadavg: 1.26 1.27 1.41 3/216 7443
/proc/meminfo: memFree=27098908/32770624 swapFree=67108860/67108860
[pid=7377] ppid=7374 vsize=10819352 memory=51560 CPUtime=0.39 cores=0,2,4,6
/proc/7377/stat : 7377 (java) S 7374 7377 3468 0 -1 1077944320 10488 13011 0 0 29 2 5 3 20 0 15 0 49132249 11079016448 12890 33554432000 4194304 4196468 140735847110224 140735847092768 140064187387639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
/proc/7377/statm: 2704838 12890 3089 1 0 2667149 0
[pid=7377/tid=7430] ppid=7374 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/7377/task/7430/stat : 7430 (java) R 7374 7377 3468 0 -1 4202560 7112 13011 0 0 19 2 5 3 20 0 15 0 49132258 11079016448 12890 33554432000 4194304 4196468 140735847110224 140064159199648 140064170574556 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7431] ppid=7374 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7431/stat : 7431 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132259 11079016448 12890 33554432000 4194304 4196468 140735847110224 140064191630352 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7432] ppid=7374 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7432/stat : 7432 (java) S 7374 7377 3468 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 49132259 11079016448 12890 33554432000 4194304 4196468 140735847110224 140064119110800 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7433] ppid=7374 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7433/stat : 7433 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132259 11079016448 12890 33554432000 4194304 4196468 140735847110224 140063760034576 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7434] ppid=7374 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7434/stat : 7434 (java) S 7374 7377 3468 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 49132259 11079016448 12890 33554432000 4194304 4196468 140735847110224 140063758982032 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7435] ppid=7374 vsize=10819352 memory=139974428894847 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7435/stat : 7435 (java) S 7374 7377 3468 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 49132260 11079016448 12890 33554432000 4194304 4196468 140735847110224 140063646140656 140064187398786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7436] ppid=7374 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7436/stat : 7436 (java) S 7374 7377 3468 0 -1 1077944384 33 13011 0 0 0 0 5 3 20 0 15 0 49132261 11079016448 12890 33554432000 4194304 4196468 140735847110224 140063645086880 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7437] ppid=7374 vsize=10819352 memory=139974428894848 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7437/stat : 7437 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132261 11079016448 12890 33554432000 4194304 4196468 140735847110224 140063044264688 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7438] ppid=7374 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7438/stat : 7438 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11079016448 12890 33554432000 4194304 4196468 140735847110224 140062736865232 140064187406235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7439] ppid=7374 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7377/task/7439/stat : 7439 (java) S 7374 7377 3468 0 -1 1077944384 495 13011 0 0 1 0 5 3 20 0 15 0 49132264 11079016448 12890 33554432000 4194304 4196468 140735847110224 140063611529968 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7440] ppid=7374 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/7377/task/7440/stat : 7440 (java) S 7374 7377 3468 0 -1 1077944384 87 13011 0 0 1 0 5 3 20 0 15 0 49132264 11079016448 12890 33554432000 4194304 4196468 140735847110224 140063610477424 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7441] ppid=7374 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/7377/task/7441/stat : 7441 (java) S 7374 7377 3468 0 -1 1077944384 561 13011 0 0 5 0 5 3 20 0 15 0 49132264 11079016448 12890 33554432000 4194304 4196468 140735847110224 140063609424368 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7442] ppid=7374 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7442/stat : 7442 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11079016448 12890 33554432000 4194304 4196468 140735847110224 140062703307616 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7443] ppid=7374 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7443/stat : 7443 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132264 11079016448 12890 33554432000 4194304 4196468 140735847110224 140063608371760 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51560 KiB
[startup+0.700767 s]
/proc/loadavg: 1.26 1.27 1.41 3/216 7443
/proc/meminfo: memFree=27089976/32770624 swapFree=67108860/67108860
[pid=7377] ppid=7374 vsize=10819352 memory=84996 CPUtime=0.99 cores=0,2,4,6
/proc/7377/stat : 7377 (java) S 7374 7377 3468 0 -1 1077944320 16863 13011 0 0 87 4 5 3 20 0 15 0 49132249 11079016448 21249 33554432000 4194304 4196468 140735847110224 140735847092768 140064187387639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
/proc/7377/statm: 2704838 21249 3243 1 0 2667149 0
[pid=7377/tid=7430] ppid=7374 vsize=10819352 memory=16248 CPUtime=0.67 cores=0,2,4,6
/proc/7377/task/7430/stat : 7430 (java) R 7374 7377 3468 0 -1 4202560 12528 13011 0 0 56 3 5 3 20 0 15 0 49132258 11079016448 21249 33554432000 4194304 4196468 140735847110224 140064159208464 140064168951214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7431] ppid=7374 vsize=10819352 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7431/stat : 7431 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132259 11079016448 21249 33554432000 4194304 4196468 140735847110224 140064191630352 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7432] ppid=7374 vsize=10819352 memory=139974326657538 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7432/stat : 7432 (java) S 7374 7377 3468 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 49132259 11079016448 21249 33554432000 4194304 4196468 140735847110224 140064119110800 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7433] ppid=7374 vsize=10819352 memory=139977279144830 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7433/stat : 7433 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132259 11079016448 21249 33554432000 4194304 4196468 140735847110224 140063760034576 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7434] ppid=7374 vsize=10819352 memory=1240 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7434/stat : 7434 (java) S 7374 7377 3468 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 49132259 11079016448 21249 33554432000 4194304 4196468 140735847110224 140063758982032 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7435] ppid=7374 vsize=10819352 memory=7157735280180091217 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7435/stat : 7435 (java) S 7374 7377 3468 0 -1 1077944384 5 13011 0 0 0 0 5 3 20 0 15 0 49132260 11079016448 21249 33554432000 4194304 4196468 140735847110224 140063646140656 140064187398786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7436] ppid=7374 vsize=10819352 memory=7597685182856913236 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7436/stat : 7436 (java) S 7374 7377 3468 0 -1 1077944384 33 13011 0 0 0 0 5 3 20 0 15 0 49132261 11079016448 21249 33554432000 4194304 4196468 140735847110224 140063645086880 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7437] ppid=7374 vsize=10819352 memory=5788647689011156329 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7437/stat : 7437 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132261 11079016448 21249 33554432000 4194304 4196468 140735847110224 140063044264688 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7438] ppid=7374 vsize=10819352 memory=3054156605368933524 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7438/stat : 7438 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11079016448 21249 33554432000 4194304 4196468 140735847110224 140062736865232 140064187406235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7439] ppid=7374 vsize=10819352 memory=8326441112149131693 CPUtime=0.17 cores=0,2,4,6
/proc/7377/task/7439/stat : 7439 (java) S 7374 7377 3468 0 -1 1077944384 1135 13011 0 0 9 0 5 3 20 0 15 0 49132264 11079016448 21249 33554432000 4194304 4196468 140735847110224 140063611529968 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7440] ppid=7374 vsize=10819352 memory=7679937539659563834 CPUtime=0.15 cores=0,2,4,6
/proc/7377/task/7440/stat : 7440 (java) S 7374 7377 3468 0 -1 1077944384 333 13011 0 0 7 0 5 3 20 0 15 0 49132264 11079016448 21249 33554432000 4194304 4196468 140735847110224 140063610477424 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7441] ppid=7374 vsize=10819352 memory=6944656425123485561 CPUtime=0.21 cores=0,2,4,6
/proc/7377/task/7441/stat : 7441 (java) S 7374 7377 3468 0 -1 1077944384 627 13011 0 0 13 0 5 3 20 0 15 0 49132264 11079016448 21249 33554432000 4194304 4196468 140735847110224 140063609424368 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7442] ppid=7374 vsize=10819352 memory=-9178176116494409632 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7442/stat : 7442 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11079016448 21249 33554432000 4194304 4196468 140735847110224 140062703307616 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7443] ppid=7374 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7443/stat : 7443 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132264 11079016448 21249 33554432000 4194304 4196468 140735847110224 140063608371760 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84996 KiB
[startup+1.50152 s]
/proc/loadavg: 1.24 1.26 1.41 3/216 7443
/proc/meminfo: memFree=27043644/32770624 swapFree=67108860/67108860
[pid=7377] ppid=7374 vsize=10830156 memory=226460 CPUtime=3.17 cores=0,2,4,6
/proc/7377/stat : 7377 (java) S 7374 7377 3468 0 -1 1077944320 24126 13011 0 0 300 9 5 3 20 0 15 0 49132249 11090079744 56615 33554432000 4194304 4196468 140735847110224 140735847092768 140064187387639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
/proc/7377/statm: 2707539 56615 3456 1 0 2669197 0
[pid=7377/tid=7430] ppid=7374 vsize=10830156 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/7377/task/7430/stat : 7430 (java) R 7374 7377 3468 0 -1 4202560 15747 13011 0 0 132 6 5 3 20 0 15 0 49132258 11090079744 56615 33554432000 4194304 4196468 140735847110224 140064159194120 140064171468126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7431] ppid=7374 vsize=10830156 memory=99180 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7431/stat : 7431 (java) S 7374 7377 3468 0 -1 1077944384 18 13011 0 0 0 0 5 3 20 0 15 0 49132259 11090079744 56615 33554432000 4194304 4196468 140735847110224 140064191630352 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7432] ppid=7374 vsize=10830156 memory=5790086053191909267 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7432/stat : 7432 (java) S 7374 7377 3468 0 -1 1077944384 308 13011 0 0 0 0 5 3 20 0 15 0 49132259 11090079744 56615 33554432000 4194304 4196468 140735847110224 140064119110800 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7433] ppid=7374 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7433/stat : 7433 (java) S 7374 7377 3468 0 -1 1077944384 31 13011 0 0 0 0 5 3 20 0 15 0 49132259 11090079744 56615 33554432000 4194304 4196468 140735847110224 140063760034576 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7434] ppid=7374 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7434/stat : 7434 (java) S 7374 7377 3468 0 -1 1077944384 22 13011 0 0 0 0 5 3 20 0 15 0 49132259 11090079744 56615 33554432000 4194304 4196468 140735847110224 140063758982032 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7435] ppid=7374 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7435/stat : 7435 (java) S 7374 7377 3468 0 -1 1077944384 30 13011 0 0 0 0 5 3 20 0 15 0 49132260 11090079744 56615 33554432000 4194304 4196468 140735847110224 140063646140656 140064187398786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7436] ppid=7374 vsize=10830156 memory=-6221781267475802396 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7436/stat : 7436 (java) S 7374 7377 3468 0 -1 1077944384 34 13011 0 0 0 0 5 3 20 0 15 0 49132261 11090079744 56615 33554432000 4194304 4196468 140735847110224 140063645086880 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7437] ppid=7374 vsize=10830156 memory=4128 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7437/stat : 7437 (java) S 7374 7377 3468 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 49132261 11090079744 56615 33554432000 4194304 4196468 140735847110224 140063044264688 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7438] ppid=7374 vsize=10830156 memory=2204 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7438/stat : 7438 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11090079744 56615 33554432000 4194304 4196468 140735847110224 140062736865232 140064187406235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7439] ppid=7374 vsize=10830156 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/7377/task/7439/stat : 7439 (java) R 7374 7377 3468 0 -1 4202560 2180 13011 0 0 52 0 5 3 20 0 15 0 49132264 11090079744 56615 33554432000 4194304 4196468 140735847110224 140063611509088 140064170884427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7440] ppid=7374 vsize=10830156 memory=171907408253738 CPUtime=0.65 cores=0,2,4,6
/proc/7377/task/7440/stat : 7440 (java) R 7374 7377 3468 0 -1 4202560 1644 13011 0 0 57 0 5 3 20 0 15 0 49132264 11090079744 56615 33554432000 4194304 4196468 140735847110224 140063610458832 140064167042448 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7441] ppid=7374 vsize=10830156 memory=266545 CPUtime=0.63 cores=0,2,4,6
/proc/7377/task/7441/stat : 7441 (java) S 7374 7377 3468 0 -1 1077944384 1916 13011 0 0 55 0 5 3 20 0 15 0 49132264 11090079744 56615 33554432000 4194304 4196468 140735847110224 140063609424368 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7442] ppid=7374 vsize=10830156 memory=6935649255759568960 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7442/stat : 7442 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11090079744 56615 33554432000 4194304 4196468 140735847110224 140062703307616 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7443] ppid=7374 vsize=10830156 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7443/stat : 7443 (java) S 7374 7377 3468 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 49132264 11090079744 56615 33554432000 4194304 4196468 140735847110224 140063608371760 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/7377/task/7430/stat : 7430 (java) R 7374 7377 3468 0 -1 4202560 254028 13011 0 0 237137 85 5 3 20 0 15 0 49132258 11178180608 790004 33554432000 4194304 4196468 140735847110224 140064159220768 140063791664432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7431] ppid=7374 vsize=10916192 memory=3159700 CPUtime=6.98 cores=0,2,4,6
/proc/7377/task/7431/stat : 7431 (java) S 7374 7377 3468 0 -1 1077944384 23188 13011 0 0 661 29 5 3 20 0 15 0 49132259 11178180608 790004 33554432000 4194304 4196468 140735847110224 140064191630352 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7432] ppid=7374 vsize=10916192 memory=3160020 CPUtime=6.98 cores=0,2,4,6
/proc/7377/task/7432/stat : 7432 (java) S 7374 7377 3468 0 -1 1077944384 26521 13011 0 0 660 30 5 3 20 0 15 0 49132259 11178180608 790004 33554432000 4194304 4196468 140735847110224 140064119110800 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7433] ppid=7374 vsize=10916192 memory=3159700 CPUtime=7.02 cores=0,2,4,6
/proc/7377/task/7433/stat : 7433 (java) S 7374 7377 3468 0 -1 1077944384 17683 13011 0 0 662 32 5 3 20 0 15 0 49132259 11178180608 790004 33554432000 4194304 4196468 140735847110224 140063760034576 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7434] ppid=7374 vsize=10916192 memory=3160016 CPUtime=7.01 cores=0,2,4,6
/proc/7377/task/7434/stat : 7434 (java) S 7374 7377 3468 0 -1 1077944384 29864 13011 0 0 661 32 5 3 20 0 15 0 49132259 11178180608 790004 33554432000 4194304 4196468 140735847110224 140063758982032 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7435] ppid=7374 vsize=10916192 memory=3160016 CPUtime=2.01 cores=0,2,4,6
/proc/7377/task/7435/stat : 7435 (java) S 7374 7377 3468 0 -1 1077944384 34352 13011 0 0 170 23 5 3 20 0 15 0 49132260 11178180608 790004 33554432000 4194304 4196468 140735847110224 140063646140656 140064187398786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7436] ppid=7374 vsize=10916192 memory=3160016 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7436/stat : 7436 (java) S 7374 7377 3468 0 -1 1077944384 54 13011 0 0 0 0 5 3 20 0 15 0 49132261 11178180608 790004 33554432000 4194304 4196468 140735847110224 140063645086944 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7437] ppid=7374 vsize=10916192 memory=3160020 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7437/stat : 7437 (java) S 7374 7377 3468 0 -1 1077944384 12 13011 0 0 0 0 5 3 20 0 15 0 49132261 11178180608 790004 33554432000 4194304 4196468 140735847110224 140063044264704 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7438] ppid=7374 vsize=10916192 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7438/stat : 7438 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11178180608 790004 33554432000 4194304 4196468 140735847110224 140062736865232 140064187406235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7439] ppid=7374 vsize=10916192 memory=3160016 CPUtime=8.73 cores=0,2,4,6
/proc/7377/task/7439/stat : 7439 (java) S 7374 7377 3468 0 -1 1077944384 56295 13011 0 0 859 6 5 3 20 0 15 0 49132264 11178180608 790004 33554432000 4194304 4196468 140735847110224 140063611529968 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7440] ppid=7374 vsize=10916192 memory=3160016 CPUtime=8.85 cores=0,2,4,6
/proc/7377/task/7440/stat : 7440 (java) S 7374 7377 3468 0 -1 1077944384 52428 13011 0 0 871 6 5 3 20 0 15 0 49132264 11178180608 790004 33554432000 4194304 4196468 140735847110224 140063610477424 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7441] ppid=7374 vsize=10916192 memory=4140 CPUtime=3.15 cores=0,2,4,6
/proc/7377/task/7441/stat : 7441 (java) S 7374 7377 3468 0 -1 1077944384 48265 13011 0 0 300 7 5 3 20 0 15 0 49132264 11178180608 790004 33554432000 4194304 4196468 140735847110224 140063609424368 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7442] ppid=7374 vsize=10916192 memory=1568 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7442/stat : 7442 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11178180608 790004 33554432000 4194304 4196468 140735847110224 140062703307616 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7443] ppid=7374 vsize=10916192 memory=2240 CPUtime=1.41 cores=0,2,4,6
/proc/7377/task/7443/stat : 7443 (java) S 7374 7377 3468 0 -1 1077944384 2068 13011 0 0 71 62 5 3 20 0 15 0 49132264 11178180608 790004 33554432000 4194304 4196468 140735847110224 140063608371760 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
Current children cumulated CPU time: 2423.82 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3160016 KiB
[startup+2442.3 s]
/proc/loadavg: 1.66 1.73 1.68 3/215 7646
/proc/meminfo: memFree=22854144/32770624 swapFree=67108860/67108860
[pid=7377] ppid=7374 vsize=10916192 memory=3160400 CPUtime=2483.93 cores=0,2,4,6
/proc/7377/stat : 7377 (java) S 7374 7377 3468 0 -1 1077944320 550522 13011 0 0 248089 296 5 3 20 0 15 0 49132249 11178180608 790100 33554432000 4194304 4196468 140735847110224 140735847092768 140064187387639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
/proc/7377/statm: 2729048 790100 3541 1 0 2690701 0
[pid=7377/tid=7430] ppid=7374 vsize=10916192 memory=3160400 CPUtime=2432.25 cores=0,2,4,6
/proc/7377/task/7430/stat : 7430 (java) R 7374 7377 3468 0 -1 4202560 256420 13011 0 0 243132 85 5 3 20 0 15 0 49132258 11178180608 790100 33554432000 4194304 4196468 140735847110224 140064159220272 140063803006101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7431] ppid=7374 vsize=10916192 memory=3160268 CPUtime=7.01 cores=0,2,4,6
/proc/7377/task/7431/stat : 7431 (java) S 7374 7377 3468 0 -1 1077944384 23364 13011 0 0 664 29 5 3 20 0 15 0 49132259 11178180608 790100 33554432000 4194304 4196468 140735847110224 140064191630352 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7432] ppid=7374 vsize=10916192 memory=3160268 CPUtime=7.01 cores=0,2,4,6
/proc/7377/task/7432/stat : 7432 (java) S 7374 7377 3468 0 -1 1077944384 26740 13011 0 0 663 30 5 3 20 0 15 0 49132259 11178180608 790100 33554432000 4194304 4196468 140735847110224 140064119110800 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7433] ppid=7374 vsize=10916192 memory=3160268 CPUtime=7.05 cores=0,2,4,6
/proc/7377/task/7433/stat : 7433 (java) S 7374 7377 3468 0 -1 1077944384 18079 13011 0 0 665 32 5 3 20 0 15 0 49132259 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063760034576 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7434] ppid=7374 vsize=10916192 memory=3160268 CPUtime=7.04 cores=0,2,4,6
/proc/7377/task/7434/stat : 7434 (java) S 7374 7377 3468 0 -1 1077944384 30005 13011 0 0 664 32 5 3 20 0 15 0 49132259 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063758982032 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7435] ppid=7374 vsize=10916192 memory=3160268 CPUtime=2.02 cores=0,2,4,6
/proc/7377/task/7435/stat : 7435 (java) S 7374 7377 3468 0 -1 1077944384 34560 13011 0 0 171 23 5 3 20 0 15 0 49132260 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063646140656 140064187398786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7436] ppid=7374 vsize=10916192 memory=3160268 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7436/stat : 7436 (java) S 7374 7377 3468 0 -1 1077944384 54 13011 0 0 0 0 5 3 20 0 15 0 49132261 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063645086944 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7437] ppid=7374 vsize=10916192 memory=3160400 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7437/stat : 7437 (java) S 7374 7377 3468 0 -1 1077944384 12 13011 0 0 0 0 5 3 20 0 15 0 49132261 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063044264704 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7438] ppid=7374 vsize=10916192 memory=3160268 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7438/stat : 7438 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140062736865232 140064187406235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7439] ppid=7374 vsize=10916192 memory=3160400 CPUtime=8.73 cores=0,2,4,6
/proc/7377/task/7439/stat : 7439 (java) S 7374 7377 3468 0 -1 1077944384 56297 13011 0 0 859 6 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063611529968 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7440] ppid=7374 vsize=10916192 memory=3160400 CPUtime=8.85 cores=0,2,4,6
/proc/7377/task/7440/stat : 7440 (java) S 7374 7377 3468 0 -1 1077944384 52430 13011 0 0 871 6 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063610477424 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7441] ppid=7374 vsize=10916192 memory=3160400 CPUtime=3.15 cores=0,2,4,6
/proc/7377/task/7441/stat : 7441 (java) S 7374 7377 3468 0 -1 1077944384 48268 13011 0 0 300 7 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063609424368 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7442] ppid=7374 vsize=10916192 memory=3160400 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7442/stat : 7442 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140062703307616 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7443] ppid=7374 vsize=10916192 memory=3160400 CPUtime=1.44 cores=0,2,4,6
/proc/7377/task/7443/stat : 7443 (java) S 7374 7377 3468 0 -1 1077944384 2099 13011 0 0 73 63 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063608371760 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
Current children cumulated CPU time: 2483.93 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3160400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2478.3 s]
/proc/loadavg: 1.63 1.72 1.68 3/215 7646
/proc/meminfo: memFree=22854988/32770624 swapFree=67108860/67108860
[pid=7377] ppid=7374 vsize=10916192 memory=3160400 CPUtime=2520 cores=0,2,4,6
/proc/7377/stat : 7377 (java) S 7374 7377 3468 0 -1 1077944320 551572 13011 0 0 251695 297 5 3 20 0 15 0 49132249 11178180608 790100 33554432000 4194304 4196468 140735847110224 140735847092768 140064187387639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
/proc/7377/statm: 2729048 790100 3541 1 0 2690701 0
[pid=7377/tid=7430] ppid=7374 vsize=10916192 memory=3160400 CPUtime=2468.23 cores=0,2,4,6
/proc/7377/task/7430/stat : 7430 (java) R 7374 7377 3468 0 -1 4202560 257387 13011 0 0 246729 86 5 3 20 0 15 0 49132258 11178180608 790100 33554432000 4194304 4196468 140735847110224 140064159220512 140063802214440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7431] ppid=7374 vsize=10916192 memory=3160400 CPUtime=7.03 cores=0,2,4,6
/proc/7377/task/7431/stat : 7431 (java) S 7374 7377 3468 0 -1 1077944384 23369 13011 0 0 666 29 5 3 20 0 15 0 49132259 11178180608 790100 33554432000 4194304 4196468 140735847110224 140064191630352 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7432] ppid=7374 vsize=10916192 memory=3160400 CPUtime=7.02 cores=0,2,4,6
/proc/7377/task/7432/stat : 7432 (java) S 7374 7377 3468 0 -1 1077944384 26761 13011 0 0 664 30 5 3 20 0 15 0 49132259 11178180608 790100 33554432000 4194304 4196468 140735847110224 140064119110800 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7433] ppid=7374 vsize=10916192 memory=3160400 CPUtime=7.07 cores=0,2,4,6
/proc/7377/task/7433/stat : 7433 (java) S 7374 7377 3468 0 -1 1077944384 18102 13011 0 0 667 32 5 3 20 0 15 0 49132259 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063760034576 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7434] ppid=7374 vsize=10916192 memory=3160400 CPUtime=7.05 cores=0,2,4,6
/proc/7377/task/7434/stat : 7434 (java) S 7374 7377 3468 0 -1 1077944384 30024 13011 0 0 665 32 5 3 20 0 15 0 49132259 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063758982032 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7435] ppid=7374 vsize=10916192 memory=3160400 CPUtime=2.03 cores=0,2,4,6
/proc/7377/task/7435/stat : 7435 (java) S 7374 7377 3468 0 -1 1077944384 34571 13011 0 0 171 24 5 3 20 0 15 0 49132260 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063646140656 140064187398786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7436] ppid=7374 vsize=10916192 memory=3160400 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7436/stat : 7436 (java) S 7374 7377 3468 0 -1 1077944384 54 13011 0 0 0 0 5 3 20 0 15 0 49132261 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063645086944 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7437] ppid=7374 vsize=10916192 memory=3160400 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7437/stat : 7437 (java) S 7374 7377 3468 0 -1 1077944384 12 13011 0 0 0 0 5 3 20 0 15 0 49132261 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063044264704 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7438] ppid=7374 vsize=10916192 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7438/stat : 7438 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140062736865232 140064187406235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7439] ppid=7374 vsize=10916192 memory=3160400 CPUtime=8.73 cores=0,2,4,6
/proc/7377/task/7439/stat : 7439 (java) S 7374 7377 3468 0 -1 1077944384 56297 13011 0 0 859 6 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063611529968 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7440] ppid=7374 vsize=10916192 memory=3160400 CPUtime=8.85 cores=0,2,4,6
/proc/7377/task/7440/stat : 7440 (java) S 7374 7377 3468 0 -1 1077944384 52430 13011 0 0 871 6 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063610477424 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7441] ppid=7374 vsize=10916192 memory=5787218259806017892 CPUtime=3.15 cores=0,2,4,6
/proc/7377/task/7441/stat : 7441 (java) S 7374 7377 3468 0 -1 1077944384 48268 13011 0 0 300 7 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063609424368 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7442] ppid=7374 vsize=10916192 memory=3160400 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7442/stat : 7442 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140062703307616 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7443] ppid=7374 vsize=10916192 memory=6944656592455359580 CPUtime=1.46 cores=0,2,4,6
/proc/7377/task/7443/stat : 7443 (java) S 7374 7377 3468 0 -1 1077944384 2103 13011 0 0 74 64 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063608371760 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3160400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2478.35 s]
# the end of solver process 7377 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.05 s, system=3.02673 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2478.3 s]
/proc/loadavg: 1.63 1.72 1.68 3/215 7646
/proc/meminfo: memFree=22854988/32770624 swapFree=67108860/67108860
[pid=7377] ppid=7374 vsize=10916192 memory=3160400 CPUtime=2520 cores=0,2,4,6
/proc/7377/stat : 7377 (java) S 7374 7377 3468 0 -1 1077944320 551572 13011 0 0 251695 297 5 3 20 0 15 0 49132249 11178180608 790100 33554432000 4194304 4196468 140735847110224 140735847092768 140064187387639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
/proc/7377/statm: 2729048 790100 3541 1 0 2690701 0
[pid=7377/tid=7430] ppid=7374 vsize=10916192 memory=3160400 CPUtime=2468.23 cores=0,2,4,6
/proc/7377/task/7430/stat : 7430 (java) R 7374 7377 3468 0 -1 4202560 257387 13011 0 0 246729 86 5 3 20 0 15 0 49132258 11178180608 790100 33554432000 4194304 4196468 140735847110224 140064159220512 140063802214440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7431] ppid=7374 vsize=10916192 memory=3160400 CPUtime=7.03 cores=0,2,4,6
/proc/7377/task/7431/stat : 7431 (java) S 7374 7377 3468 0 -1 1077944384 23369 13011 0 0 666 29 5 3 20 0 15 0 49132259 11178180608 790100 33554432000 4194304 4196468 140735847110224 140064191630352 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7432] ppid=7374 vsize=10916192 memory=3160400 CPUtime=7.02 cores=0,2,4,6
/proc/7377/task/7432/stat : 7432 (java) S 7374 7377 3468 0 -1 1077944384 26761 13011 0 0 664 30 5 3 20 0 15 0 49132259 11178180608 790100 33554432000 4194304 4196468 140735847110224 140064119110800 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7433] ppid=7374 vsize=10916192 memory=3160400 CPUtime=7.07 cores=0,2,4,6
/proc/7377/task/7433/stat : 7433 (java) S 7374 7377 3468 0 -1 1077944384 18102 13011 0 0 667 32 5 3 20 0 15 0 49132259 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063760034576 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7434] ppid=7374 vsize=10916192 memory=3160400 CPUtime=7.05 cores=0,2,4,6
/proc/7377/task/7434/stat : 7434 (java) S 7374 7377 3468 0 -1 1077944384 30024 13011 0 0 665 32 5 3 20 0 15 0 49132259 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063758982032 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7435] ppid=7374 vsize=10916192 memory=3160400 CPUtime=2.03 cores=0,2,4,6
/proc/7377/task/7435/stat : 7435 (java) S 7374 7377 3468 0 -1 1077944384 34571 13011 0 0 171 24 5 3 20 0 15 0 49132260 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063646140656 140064187398786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7436] ppid=7374 vsize=10916192 memory=3160400 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7436/stat : 7436 (java) S 7374 7377 3468 0 -1 1077944384 54 13011 0 0 0 0 5 3 20 0 15 0 49132261 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063645086944 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7437] ppid=7374 vsize=10916192 memory=3160400 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7437/stat : 7437 (java) S 7374 7377 3468 0 -1 1077944384 12 13011 0 0 0 0 5 3 20 0 15 0 49132261 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063044264704 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7438] ppid=7374 vsize=10916192 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7438/stat : 7438 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140062736865232 140064187406235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7439] ppid=7374 vsize=10916192 memory=3160400 CPUtime=8.73 cores=0,2,4,6
/proc/7377/task/7439/stat : 7439 (java) S 7374 7377 3468 0 -1 1077944384 56297 13011 0 0 859 6 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063611529968 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7440] ppid=7374 vsize=10916192 memory=3160400 CPUtime=8.85 cores=0,2,4,6
/proc/7377/task/7440/stat : 7440 (java) S 7374 7377 3468 0 -1 1077944384 52430 13011 0 0 871 6 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063610477424 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7441] ppid=7374 vsize=10916192 memory=5787218259806017892 CPUtime=3.15 cores=0,2,4,6
/proc/7377/task/7441/stat : 7441 (java) S 7374 7377 3468 0 -1 1077944384 48268 13011 0 0 300 7 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063609424368 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7442] ppid=7374 vsize=10916192 memory=3160400 CPUtime=0.08 cores=0,2,4,6
/proc/7377/task/7442/stat : 7442 (java) S 7374 7377 3468 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140062703307616 140064187397845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
[pid=7377/tid=7443] ppid=7374 vsize=10916192 memory=6944656592455359580 CPUtime=1.46 cores=0,2,4,6
/proc/7377/task/7443/stat : 7443 (java) S 7374 7377 3468 0 -1 1077944384 2103 13011 0 0 74 64 5 3 20 0 15 0 49132264 11178180608 790100 33554432000 4194304 4196468 140735847110224 140063608371760 140064187398786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28246016 140735847114923 140735847118172 140735847118172 140735847120847 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3160400 KiB
Child status: 143
Real time (s): 2478.35
CPU time (s): 2520.07
CPU user time (s): 2517.05
CPU system time (s): 3.02673
CPU usage (%): 101.683
Max. virtual memory (cumulated for all children) (KiB): 10918888
Max. memory (cumulated for all children) (KiB): 3160400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.05
system time used= 3.02673
maximum resident set size= 3164608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96596
involuntary context switches= 4828
# summary of solver processes directly reported to runsolver:
# pid: 7377
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.05
# total CPU system time (s): 3.02673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7906 second user time and 23.0646 second system time
The end