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 (14389 MiB free)
memory of node 1: 16384 MiB (15439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259544-1502647778/watcher-4259544-1502647778 -o /tmp/evaluation-result-4259544-1502647778/solver-4259544-1502647778 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259544-1502647778.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=31830, runsolver pid=31827
[startup+0.100136 s]*
/proc/loadavg: 1.70 1.73 1.86 3/209 31867
/proc/meminfo: memFree=30535112/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31827 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/31830/stat : 31830 (bash) S 31827 31830 8289 0 -1 4202496 899 6474 0 0 0 0 0 1 20 0 1 0 112593017 9867264 378 18446744073709551615 4194304 5098028 140735642928320 140735642922328 140287093902336 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 6 0 0 7196144 7232144 18403328 140735642935796 140735642935881 140735642935881 140735642939370 0
/proc/31830/statm: 2409 378 297 221 0 118 0
[pid=31860] ppid=31830 vsize=9636 memory=708 CPUtime=0 cores=1,3,5,7
/proc/31860/stat : 31860 (bash) S 31830 31830 8289 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 112593025 9867264 177 18446744073709551615 4194304 5098028 140735642928320 140735642921000 140287093727868 0 65536 1 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18403328 140735642935796 140735642935881 140735642935881 140735642939370 0
/proc/31860/statm: 2409 177 96 221 0 118 0
[pid=31861] ppid=31860 vsize=10019364 memory=19388 CPUtime=0.01 cores=1,3,5,7
/proc/31861/stat : 31861 (java) S 31860 31830 8289 0 -1 1077944320 3660 0 0 0 1 0 0 0 20 0 7 0 112593025 10259828736 4847 18446744073709551615 4194304 4196468 140730542851280 140730542833824 139961478463223 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21139456 140730542858840 140730542858854 140730542858854 140730542862287 0
/proc/31861/statm: 2504841 4847 1988 1 0 2494338 0
[pid=31861/tid=31863] ppid=31860 vsize=10019364 memory=8326441112148417179 CPUtime=0.01 cores=1,3,5,7
/proc/31861/task/31863/stat : 31863 (java) R 31860 31830 8289 0 -1 4202560 2382 0 0 0 1 0 0 0 20 0 7 0 112593026 10259828736 4847 18446744073709551615 4194304 4196468 140730542851280 139961482705680 139961458679472 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21139456 140730542858840 140730542858854 140730542858854 140730542862287 0
[pid=31861/tid=31864] ppid=31860 vsize=10019364 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31861/task/31864/stat : 31864 (java) S 31860 31830 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 112593026 10259828736 4847 18446744073709551615 4194304 4196468 140730542851280 139961089993232 139961478473429 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21139456 140730542858840 140730542858854 140730542858854 140730542862287 0
[pid=31861/tid=31865] ppid=31860 vsize=10019364 memory=139735558305408 CPUtime=0 cores=1,3,5,7
/proc/31861/task/31865/stat : 31865 (java) S 31860 31830 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 112593026 10259828736 4847 18446744073709551615 4194304 4196468 140730542851280 139961088940688 139961478473429 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21139456 140730542858840 140730542858854 140730542858854 140730542862287 0
[pid=31861/tid=31866] ppid=31860 vsize=10019364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31861/task/31866/stat : 31866 (java) S 31860 31830 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 112593026 10259828736 4847 18446744073709551615 4194304 4196468 140730542851280 139961087887632 139961478473429 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21139456 140730542858840 140730542858854 140730542858854 140730542862287 0
[pid=31861/tid=31867] ppid=31860 vsize=10019364 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31861/task/31867/stat : 31867 (java) S 31860 31830 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 112593026 10259828736 4847 18446744073709551615 4194304 4196468 140730542851280 139961086835088 139961478473429 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21139456 140730542858840 140730542858854 140730542858854 140730542862287 0
[pid=31861/tid=31868] ppid=31860 vsize=10019364 memory=139735558305408 CPUtime=0 cores=1,3,5,7
/proc/31861/task/31868/stat : 31868 (java) S 31860 31830 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 112593028 10259828736 4847 18446744073709551615 4194304 4196468 140730542851280 139961041885936 139961478474370 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21139456 140730542858840 140730542858854 140730542858854 140730542862287 0
[pid=31862] ppid=31860 vsize=9872 memory=972 CPUtime=0 cores=1,3,5,7
/proc/31862/stat : 31862 (awk) S 31860 31830 8289 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 112593025 10108928 243 18446744073709551615 4194304 4609284 140730308895984 140730308895160 140342197730304 0 0 1 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 30363648 140730308903552 140730308903582 140730308903582 140730308906987 0
/proc/31862/statm: 2468 243 202 102 0 88 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10048508 KiB
Current children cumulated memory: 22580 KiB
[startup+0.210451 s]*
/proc/loadavg: 1.70 1.73 1.86 3/206 31884
/proc/meminfo: memFree=30538304/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31827 vsize=13374796 memory=16948 CPUtime=0.08 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31827 31830 8289 0 -1 1077944320 4431 12476 0 0 1 0 5 2 20 0 6 0 112593017 13695791104 4237 18446744073709551615 4194304 4196468 140733431035616 140733431018160 140457443774199 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
/proc/31830/statm: 3343699 4237 1942 1 0 3333196 0
[pid=31830/tid=31880] ppid=31827 vsize=13375824 memory=7077796292425249400 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31880/stat : 31880 (java) R 31827 31830 8289 0 -1 4202560 2281 12476 0 0 1 0 5 2 20 0 7 0 112593037 13696843776 4237 18446744073709551615 4194304 4196468 140733431035616 140457448016512 140457429737469 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31881] ppid=31827 vsize=13375824 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31881/stat : 31881 (java) S 31827 31830 8289 0 -1 1077944384 2 12476 0 0 0 0 5 2 20 0 7 0 112593038 13696843776 4237 18446744073709551615 4194304 4196468 140733431035616 140457378208144 140457443784405 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31882] ppid=31827 vsize=13441360 memory=139735558305408 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31882/stat : 31882 (java) S 31827 31830 8289 0 -1 1077944384 1 12476 0 0 0 0 5 2 20 0 7 0 112593038 13763952640 4237 18446744073709551615 4194304 4196468 140733431035616 140457377155344 140457443784405 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31883] ppid=31827 vsize=13441360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31883/stat : 31883 (java) S 31827 31830 8289 0 -1 1077944384 1 12476 0 0 0 0 5 2 20 0 7 0 112593038 13763952640 4237 18446744073709551615 4194304 4196468 140733431035616 140457042164368 140457443784405 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31884] ppid=31827 vsize=13441360 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31884/stat : 31884 (java) S 31827 31830 8289 0 -1 1077944384 2 12476 0 0 0 0 5 2 20 0 7 0 112593038 13763952640 4237 18446744073709551615 4194304 4196468 140733431035616 140457041111568 140457443784405 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31885] ppid=31827 vsize=13441360 memory=139735558305408 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31885/stat : 31885 (java) S 31827 31830 8289 0 -1 1077944384 2 12476 0 0 0 0 5 2 20 0 7 0 112593039 13763952640 4237 18446744073709551615 4194304 4196468 140733431035616 140457012058736 140457443785346 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13374796 KiB
Current children cumulated memory: 16948 KiB
[startup+0.310377 s]*
/proc/loadavg: 1.70 1.73 1.86 5/215 31893
/proc/meminfo: memFree=30533440/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31827 vsize=13973936 memory=23884 CPUtime=0.15 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31827 31830 8289 0 -1 1077944320 5870 12476 0 0 7 1 5 2 20 0 15 0 112593017 14309310464 5971 18446744073709551615 4194304 4196468 140733431035616 140733431018160 140457443774199 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
/proc/31830/statm: 3493484 5971 2681 1 0 3482965 0
[pid=31830/tid=31880] ppid=31827 vsize=13973936 memory=7077796292425249400 CPUtime=0.12 cores=1,3,5,7
/proc/31830/task/31880/stat : 31880 (java) R 31827 31830 8289 0 -1 4202560 2981 12476 0 0 5 0 5 2 20 0 15 0 112593037 14309310464 5971 18446744073709551615 4194304 4196468 140733431035616 140457448000544 140457429842318 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31881] ppid=31827 vsize=13973936 memory=139735418916271 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31881/stat : 31881 (java) S 31827 31830 8289 0 -1 1077944384 2 12476 0 0 0 0 5 2 20 0 15 0 112593038 14309310464 5971 18446744073709551615 4194304 4196468 140733431035616 140457378208144 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31882] ppid=31827 vsize=13973936 memory=139735558305408 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31882/stat : 31882 (java) S 31827 31830 8289 0 -1 1077944384 1 12476 0 0 0 0 5 2 20 0 15 0 112593038 14309310464 5971 18446744073709551615 4194304 4196468 140733431035616 140457377155344 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31883] ppid=31827 vsize=13973936 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31883/stat : 31883 (java) S 31827 31830 8289 0 -1 1077944384 1 12476 0 0 0 0 5 2 20 0 15 0 112593038 14309310464 5971 18446744073709551615 4194304 4196468 140733431035616 140457042164368 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31884] ppid=31827 vsize=13973936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31884/stat : 31884 (java) S 31827 31830 8289 0 -1 1077944384 2 12476 0 0 0 0 5 2 20 0 15 0 112593038 14309310464 5971 18446744073709551615 4194304 4196468 140733431035616 140457041111568 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31885] ppid=31827 vsize=13973936 memory=139735558305408 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31885/stat : 31885 (java) S 31827 31830 8289 0 -1 1077944384 2 12476 0 0 0 0 5 2 20 0 15 0 112593039 14309310464 5971 18446744073709551615 4194304 4196468 140733431035616 140457012058736 140457443785346 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31886] ppid=31827 vsize=13973936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31886/stat : 31886 (java) S 31827 31830 8289 0 -1 1077944384 33 12476 0 0 0 0 5 2 20 0 15 0 112593039 14309310464 5971 18446744073709551615 4194304 4196468 140733431035616 140457011004704 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31887] ppid=31827 vsize=13973936 memory=279470837841792 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31887/stat : 31887 (java) S 31827 31830 8289 0 -1 1077944384 21 12476 0 0 0 0 5 2 20 0 15 0 112593040 14309310464 6483 18446744073709551615 4194304 4196468 140733431035616 140457009952368 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31888] ppid=31827 vsize=13973936 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31888/stat : 31888 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14309310464 6483 18446744073709551615 4194304 4196468 140733431035616 140457008900688 140457443792795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31889] ppid=31827 vsize=13973936 memory=139735419053856 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31889/stat : 31889 (java) R 31827 31830 8289 0 -1 1077944384 301 12476 0 0 0 0 5 2 20 0 15 0 112593042 14309310464 6483 18446744073709551615 4194304 4196468 140733431035616 140457007847536 140457443785346 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31890] ppid=31827 vsize=13973936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31890/stat : 31890 (java) S 31827 31830 8289 0 -1 1077944384 128 12476 0 0 0 0 5 2 20 0 15 0 112593042 14309310464 6483 18446744073709551615 4194304 4196468 140733431035616 140457006794736 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31891] ppid=31827 vsize=13973936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31891/stat : 31891 (java) S 31827 31830 8289 0 -1 1077944384 236 12476 0 0 0 0 5 2 20 0 15 0 112593042 14309310464 6483 18446744073709551615 4194304 4196468 140733431035616 140457005742448 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31892] ppid=31827 vsize=13973936 memory=139735558305408 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31892/stat : 31892 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14309310464 6483 18446744073709551615 4194304 4196468 140733431035616 140457004689888 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31893] ppid=31827 vsize=13973936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31893/stat : 31893 (java) S 31827 31830 8289 0 -1 1077944384 1 12476 0 0 0 0 5 2 20 0 15 0 112593048 14309310464 6483 18446744073709551615 4194304 4196468 140733431035616 140457003637680 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13973936 KiB
Current children cumulated memory: 23884 KiB
[startup+0.700749 s]
/proc/loadavg: 1.70 1.73 1.86 4/215 31893
/proc/meminfo: memFree=30503104/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31827 vsize=13974784 memory=57168 CPUtime=0.69 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31827 31830 8289 0 -1 1077944320 13860 12476 0 0 58 4 5 2 20 0 15 0 112593017 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140733431018160 140457443774199 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
/proc/31830/statm: 3493696 14292 3104 1 0 3482965 0
[pid=31830/tid=31880] ppid=31827 vsize=13974784 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/31830/task/31880/stat : 31880 (java) R 31827 31830 8289 0 -1 4202560 10174 12476 0 0 40 3 5 2 20 0 15 0 112593037 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457447997936 140457436011326 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31881] ppid=31827 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31881/stat : 31881 (java) S 31827 31830 8289 0 -1 1077944384 2 12476 0 0 0 0 5 2 20 0 15 0 112593038 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457378208144 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31882] ppid=31827 vsize=13974784 memory=170 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31882/stat : 31882 (java) S 31827 31830 8289 0 -1 1077944384 1 12476 0 0 0 0 5 2 20 0 15 0 112593038 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457377155344 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31883] ppid=31827 vsize=13974784 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31883/stat : 31883 (java) S 31827 31830 8289 0 -1 1077944384 1 12476 0 0 0 0 5 2 20 0 15 0 112593038 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457042164368 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31884] ppid=31827 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31884/stat : 31884 (java) S 31827 31830 8289 0 -1 1077944384 2 12476 0 0 0 0 5 2 20 0 15 0 112593038 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457041111568 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31885] ppid=31827 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31885/stat : 31885 (java) S 31827 31830 8289 0 -1 1077944384 5 12476 0 0 0 0 5 2 20 0 15 0 112593039 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457012058736 140457443785346 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31886] ppid=31827 vsize=13974784 memory=26 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31886/stat : 31886 (java) S 31827 31830 8289 0 -1 1077944384 33 12476 0 0 0 0 5 2 20 0 15 0 112593039 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457011004704 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31887] ppid=31827 vsize=13974784 memory=52120 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31887/stat : 31887 (java) S 31827 31830 8289 0 -1 1077944384 21 12476 0 0 0 0 5 2 20 0 15 0 112593040 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457009952368 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31888] ppid=31827 vsize=13974784 memory=-8774313645642428999 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31888/stat : 31888 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457008900688 140457443792795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31889] ppid=31827 vsize=13974784 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/31830/task/31889/stat : 31889 (java) S 31827 31830 8289 0 -1 1077944384 512 12476 0 0 3 0 5 2 20 0 15 0 112593042 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457007847536 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31890] ppid=31827 vsize=13974784 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31830/task/31890/stat : 31890 (java) S 31827 31830 8289 0 -1 1077944384 353 12476 0 0 2 0 5 2 20 0 15 0 112593042 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457006794736 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31891] ppid=31827 vsize=13974784 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/31830/task/31891/stat : 31891 (java) R 31827 31830 8289 0 -1 4202560 596 12476 0 0 10 0 5 2 20 0 15 0 112593042 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457005742448 140457427854686 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31892] ppid=31827 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31892/stat : 31892 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457004689888 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31893] ppid=31827 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31893/stat : 31893 (java) S 31827 31830 8289 0 -1 1077944384 1 12476 0 0 0 0 5 2 20 0 15 0 112593048 14310178816 14292 18446744073709551615 4194304 4196468 140733431035616 140457003637680 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 57168 KiB
[startup+1.50069 s]
/proc/loadavg: 1.70 1.73 1.86 3/215 31893
/proc/meminfo: memFree=30461048/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31827 vsize=13985408 memory=160612 CPUtime=1.88 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31827 31830 8289 0 -1 1077944320 31857 12476 0 0 171 10 5 2 20 0 15 0 112593017 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140733431018160 140457443774199 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
/proc/31830/statm: 3496352 40153 3370 1 0 3485525 0
[pid=31830/tid=31880] ppid=31827 vsize=13985408 memory=7233435676566974052 CPUtime=1.28 cores=1,3,5,7
/proc/31830/task/31880/stat : 31880 (java) S 31827 31830 8289 0 -1 1077944384 24726 12476 0 0 114 7 5 2 20 0 15 0 112593037 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457447996000 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31881] ppid=31827 vsize=13985408 memory=4168 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31881/stat : 31881 (java) S 31827 31830 8289 0 -1 1077944384 194 12476 0 0 0 0 5 2 20 0 15 0 112593038 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457378208144 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31882] ppid=31827 vsize=13985408 memory=54520 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31882/stat : 31882 (java) S 31827 31830 8289 0 -1 1077944384 42 12476 0 0 0 0 5 2 20 0 15 0 112593038 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457377155344 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31883] ppid=31827 vsize=13985408 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31883/stat : 31883 (java) S 31827 31830 8289 0 -1 1077944384 71 12476 0 0 0 0 5 2 20 0 15 0 112593038 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457042164368 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31884] ppid=31827 vsize=13985408 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31884/stat : 31884 (java) S 31827 31830 8289 0 -1 1077944384 55 12476 0 0 0 0 5 2 20 0 15 0 112593038 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457041111568 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31885] ppid=31827 vsize=13985408 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31885/stat : 31885 (java) R 31827 31830 8289 0 -1 4202560 1477 12476 0 0 0 0 5 2 20 0 15 0 112593039 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457012057024 140457429465895 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31886] ppid=31827 vsize=13985408 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31886/stat : 31886 (java) S 31827 31830 8289 0 -1 1077944384 33 12476 0 0 0 0 5 2 20 0 15 0 112593039 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457011004704 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31887] ppid=31827 vsize=13985408 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31887/stat : 31887 (java) S 31827 31830 8289 0 -1 1077944384 21 12476 0 0 0 0 5 2 20 0 15 0 112593040 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457009952368 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31888] ppid=31827 vsize=13985408 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31888/stat : 31888 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457008900688 140457443792795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31889] ppid=31827 vsize=13985408 memory=7 CPUtime=0.23 cores=1,3,5,7
/proc/31830/task/31889/stat : 31889 (java) S 31827 31830 8289 0 -1 1077944384 902 12476 0 0 16 0 5 2 20 0 15 0 112593042 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457007847536 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31890] ppid=31827 vsize=13985408 memory=1228 CPUtime=0.2 cores=1,3,5,7
/proc/31830/task/31890/stat : 31890 (java) S 31827 31830 8289 0 -1 1077944384 767 12476 0 0 13 0 5 2 20 0 15 0 112593042 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457006794736 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31891] ppid=31827 vsize=13985408 memory=14356 CPUtime=0.3 cores=1,3,5,7
/proc/31830/task/31891/stat : 31891 (java) S 31827 31830 8289 0 -1 1077944384 1410 12476 0 0 23 0 5 2 20 0 15 0 112593042 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457005738320 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31892] ppid=31827 vsize=13985408 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31892/stat : 31892 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457004689888 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31893] ppid=31827 vsize=13985408 memory=2012 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31893/stat : 31893 (java) S 31827 31830 8289 0 -1 1077944384 5 12476 0 0 0 0 5 2 20 0 15 0 112593048 14321057792 40153 18446744073709551615 4194304 4196468 140733431035616 140457003637680 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 160612 KiB
[startup+3.11419 s]
/proc/loadavg: 1.70 1.73 1.86 4/215 31893
/proc/meminfo: memFree=30299688/32770624 swapFree=67108860/67108860
################
# More data... #
################
/proc/31830/task/31880/stat : 31880 (java) R 31827 31830 8289 0 -1 4202560 56837 12476 0 0 16040 23 5 2 20 0 15 0 112593037 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457448007440 140457068629738 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31881] ppid=31827 vsize=14067516 memory=810068 CPUtime=0.64 cores=1,3,5,7
/proc/31830/task/31881/stat : 31881 (java) S 31827 31830 8289 0 -1 1077944384 1113 12476 0 0 52 5 5 2 20 0 15 0 112593038 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457378208144 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31882] ppid=31827 vsize=14067516 memory=810068 CPUtime=0.66 cores=1,3,5,7
/proc/31830/task/31882/stat : 31882 (java) S 31827 31830 8289 0 -1 1077944384 3121 12476 0 0 54 5 5 2 20 0 15 0 112593038 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457377155344 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31883] ppid=31827 vsize=14067516 memory=810068 CPUtime=0.64 cores=1,3,5,7
/proc/31830/task/31883/stat : 31883 (java) S 31827 31830 8289 0 -1 1077944384 1726 12476 0 0 52 5 5 2 20 0 15 0 112593038 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457042164368 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31884] ppid=31827 vsize=14067516 memory=810068 CPUtime=0.64 cores=1,3,5,7
/proc/31830/task/31884/stat : 31884 (java) S 31827 31830 8289 0 -1 1077944384 1634 12476 0 0 53 4 5 2 20 0 15 0 112593038 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457041111568 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31885] ppid=31827 vsize=14067516 memory=13894 CPUtime=0.69 cores=1,3,5,7
/proc/31830/task/31885/stat : 31885 (java) S 31827 31830 8289 0 -1 1077944384 4445 12476 0 0 60 2 5 2 20 0 15 0 112593039 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457012058736 140457443785346 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31886] ppid=31827 vsize=14067516 memory=11399 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31886/stat : 31886 (java) S 31827 31830 8289 0 -1 1077944384 56 12476 0 0 0 0 5 2 20 0 15 0 112593039 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457011004832 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31887] ppid=31827 vsize=14067516 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31887/stat : 31887 (java) S 31827 31830 8289 0 -1 1077944384 43 12476 0 0 0 0 5 2 20 0 15 0 112593040 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457009952384 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31888] ppid=31827 vsize=14067516 memory=2440 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31888/stat : 31888 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457008900688 140457443792795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31889] ppid=31827 vsize=14067516 memory=810068 CPUtime=10.29 cores=1,3,5,7
/proc/31830/task/31889/stat : 31889 (java) S 31827 31830 8289 0 -1 1077944384 12541 12476 0 0 1018 4 5 2 20 0 15 0 112593042 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457007847536 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31890] ppid=31827 vsize=14067516 memory=810068 CPUtime=9.68 cores=1,3,5,7
/proc/31830/task/31890/stat : 31890 (java) S 31827 31830 8289 0 -1 1077944384 8973 12476 0 0 957 4 5 2 20 0 15 0 112593042 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457006794736 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31891] ppid=31827 vsize=14067516 memory=956 CPUtime=3.08 cores=1,3,5,7
/proc/31830/task/31891/stat : 31891 (java) S 31827 31830 8289 0 -1 1077944384 11422 12476 0 0 296 5 5 2 20 0 15 0 112593042 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457005742448 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31892] ppid=31827 vsize=14067516 memory=2248 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31892/stat : 31892 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457004689888 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31893] ppid=31827 vsize=14067516 memory=810068 CPUtime=0.15 cores=1,3,5,7
/proc/31830/task/31893/stat : 31893 (java) S 31827 31830 8289 0 -1 1077944384 452 12476 0 0 4 4 5 2 20 0 15 0 112593048 14405136384 202517 18446744073709551615 4194304 4196468 140733431035616 140457003637680 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
Current children cumulated CPU time: 186.66 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 810068 KiB
[startup+222.301 s]
/proc/loadavg: 2.08 1.77 1.84 3/214 32028
/proc/meminfo: memFree=29726568/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31827 vsize=14067516 memory=810160 CPUtime=247.4 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31827 31830 8289 0 -1 1077944320 107829 12476 0 0 24662 71 5 2 20 0 15 0 112593017 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140733431018160 140457443774199 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
/proc/31830/statm: 3516879 202540 3472 1 0 3505493 0
[pid=31830/tid=31880] ppid=31827 vsize=14067516 memory=810160 CPUtime=220.04 cores=1,3,5,7
/proc/31830/task/31880/stat : 31880 (java) R 31827 31830 8289 0 -1 4202560 58127 12476 0 0 21973 24 5 2 20 0 15 0 112593037 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457448007552 140457066530289 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31881] ppid=31827 vsize=14067516 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/31830/task/31881/stat : 31881 (java) S 31827 31830 8289 0 -1 1077944384 2580 12476 0 0 76 7 5 2 20 0 15 0 112593038 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457378208144 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31882] ppid=31827 vsize=14067516 memory=810160 CPUtime=0.92 cores=1,3,5,7
/proc/31830/task/31882/stat : 31882 (java) S 31827 31830 8289 0 -1 1077944384 3142 12476 0 0 78 7 5 2 20 0 15 0 112593038 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457377155344 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31883] ppid=31827 vsize=14067516 memory=810160 CPUtime=0.91 cores=1,3,5,7
/proc/31830/task/31883/stat : 31883 (java) S 31827 31830 8289 0 -1 1077944384 1842 12476 0 0 77 7 5 2 20 0 15 0 112593038 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457042164368 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31884] ppid=31827 vsize=14067516 memory=4168 CPUtime=0.9 cores=1,3,5,7
/proc/31830/task/31884/stat : 31884 (java) S 31827 31830 8289 0 -1 1077944384 1682 12476 0 0 78 5 5 2 20 0 15 0 112593038 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457041111568 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31885] ppid=31827 vsize=14067516 memory=810160 CPUtime=1 cores=1,3,5,7
/proc/31830/task/31885/stat : 31885 (java) S 31827 31830 8289 0 -1 1077944384 4779 12476 0 0 89 4 5 2 20 0 15 0 112593039 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457012058736 140457443785346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31886] ppid=31827 vsize=14067516 memory=4168 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31886/stat : 31886 (java) S 31827 31830 8289 0 -1 1077944384 56 12476 0 0 0 0 5 2 20 0 15 0 112593039 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457011004832 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31887] ppid=31827 vsize=14067516 memory=810160 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31887/stat : 31887 (java) S 31827 31830 8289 0 -1 1077944384 43 12476 0 0 0 0 5 2 20 0 15 0 112593040 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457009952384 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31888] ppid=31827 vsize=14067516 memory=810160 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31888/stat : 31888 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457008900688 140457443792795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31889] ppid=31827 vsize=14067516 memory=1296 CPUtime=10.3 cores=1,3,5,7
/proc/31830/task/31889/stat : 31889 (java) S 31827 31830 8289 0 -1 1077944384 12543 12476 0 0 1018 5 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457007847536 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31890] ppid=31827 vsize=14067516 memory=2440 CPUtime=9.68 cores=1,3,5,7
/proc/31830/task/31890/stat : 31890 (java) S 31827 31830 8289 0 -1 1077944384 8976 12476 0 0 957 4 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457006794736 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31891] ppid=31827 vsize=14067516 memory=1724 CPUtime=3.08 cores=1,3,5,7
/proc/31830/task/31891/stat : 31891 (java) S 31827 31830 8289 0 -1 1077944384 11424 12476 0 0 296 5 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457005742448 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31892] ppid=31827 vsize=14067516 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31892/stat : 31892 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457004689888 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31893] ppid=31827 vsize=14067516 memory=2972 CPUtime=0.19 cores=1,3,5,7
/proc/31830/task/31893/stat : 31893 (java) S 31827 31830 8289 0 -1 1077944384 474 12476 0 0 6 6 5 2 20 0 15 0 112593048 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457003637680 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
Current children cumulated CPU time: 247.4 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 810160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+226.901 s]
/proc/loadavg: 1.99 1.76 1.84 3/214 32028
/proc/meminfo: memFree=29726564/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31827 vsize=14067516 memory=810160 CPUtime=252.06 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31827 31830 8289 0 -1 1077944320 107863 12476 0 0 25128 71 5 2 20 0 15 0 112593017 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140733431018160 140457443774199 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
/proc/31830/statm: 3516879 202540 3472 1 0 3505493 0
[pid=31830/tid=31880] ppid=31827 vsize=14067516 memory=810160 CPUtime=224.6 cores=1,3,5,7
/proc/31830/task/31880/stat : 31880 (java) R 31827 31830 8289 0 -1 4202560 58160 12476 0 0 22429 24 5 2 20 0 15 0 112593037 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457448007824 140457068490216 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31881] ppid=31827 vsize=14067516 memory=810160 CPUtime=0.92 cores=1,3,5,7
/proc/31830/task/31881/stat : 31881 (java) S 31827 31830 8289 0 -1 1077944384 2581 12476 0 0 78 7 5 2 20 0 15 0 112593038 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457378208144 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31882] ppid=31827 vsize=14067516 memory=810160 CPUtime=0.94 cores=1,3,5,7
/proc/31830/task/31882/stat : 31882 (java) S 31827 31830 8289 0 -1 1077944384 3142 12476 0 0 80 7 5 2 20 0 15 0 112593038 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457377155344 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31883] ppid=31827 vsize=14067516 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/31830/task/31883/stat : 31883 (java) S 31827 31830 8289 0 -1 1077944384 1842 12476 0 0 78 7 5 2 20 0 15 0 112593038 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457042164368 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31884] ppid=31827 vsize=14067516 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/31830/task/31884/stat : 31884 (java) S 31827 31830 8289 0 -1 1077944384 1682 12476 0 0 80 5 5 2 20 0 15 0 112593038 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457041111568 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31885] ppid=31827 vsize=14067516 memory=810160 CPUtime=1.02 cores=1,3,5,7
/proc/31830/task/31885/stat : 31885 (java) S 31827 31830 8289 0 -1 1077944384 4779 12476 0 0 91 4 5 2 20 0 15 0 112593039 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457012058736 140457443785346 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31886] ppid=31827 vsize=14067516 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31886/stat : 31886 (java) S 31827 31830 8289 0 -1 1077944384 56 12476 0 0 0 0 5 2 20 0 15 0 112593039 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457011004832 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31887] ppid=31827 vsize=14067516 memory=2972 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31887/stat : 31887 (java) S 31827 31830 8289 0 -1 1077944384 43 12476 0 0 0 0 5 2 20 0 15 0 112593040 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457009952384 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31888] ppid=31827 vsize=14067516 memory=810160 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31888/stat : 31888 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457008900688 140457443792795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31889] ppid=31827 vsize=14067516 memory=1724 CPUtime=10.3 cores=1,3,5,7
/proc/31830/task/31889/stat : 31889 (java) S 31827 31830 8289 0 -1 1077944384 12543 12476 0 0 1018 5 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457007847536 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31890] ppid=31827 vsize=14067516 memory=810160 CPUtime=9.68 cores=1,3,5,7
/proc/31830/task/31890/stat : 31890 (java) S 31827 31830 8289 0 -1 1077944384 8976 12476 0 0 957 4 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457006794736 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31891] ppid=31827 vsize=14067516 memory=810160 CPUtime=3.08 cores=1,3,5,7
/proc/31830/task/31891/stat : 31891 (java) S 31827 31830 8289 0 -1 1077944384 11424 12476 0 0 296 5 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457005742448 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31892] ppid=31827 vsize=14067516 memory=810160 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31892/stat : 31892 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457004689888 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31893] ppid=31827 vsize=14067516 memory=1200 CPUtime=0.19 cores=1,3,5,7
/proc/31830/task/31893/stat : 31893 (java) S 31827 31830 8289 0 -1 1077944384 474 12476 0 0 6 6 5 2 20 0 15 0 112593048 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457003637680 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 810160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+226.934 s]
# the end of solver process 31830 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.361 s, system=0.760398 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+226.901 s]
/proc/loadavg: 1.99 1.76 1.84 3/214 32028
/proc/meminfo: memFree=29726564/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31827 vsize=14067516 memory=810160 CPUtime=252.06 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31827 31830 8289 0 -1 1077944320 107863 12476 0 0 25128 71 5 2 20 0 15 0 112593017 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140733431018160 140457443774199 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
/proc/31830/statm: 3516879 202540 3472 1 0 3505493 0
[pid=31830/tid=31880] ppid=31827 vsize=14067516 memory=810160 CPUtime=224.6 cores=1,3,5,7
/proc/31830/task/31880/stat : 31880 (java) R 31827 31830 8289 0 -1 4202560 58160 12476 0 0 22429 24 5 2 20 0 15 0 112593037 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457448007824 140457068490216 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31881] ppid=31827 vsize=14067516 memory=810160 CPUtime=0.92 cores=1,3,5,7
/proc/31830/task/31881/stat : 31881 (java) S 31827 31830 8289 0 -1 1077944384 2581 12476 0 0 78 7 5 2 20 0 15 0 112593038 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457378208144 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31882] ppid=31827 vsize=14067516 memory=810160 CPUtime=0.94 cores=1,3,5,7
/proc/31830/task/31882/stat : 31882 (java) S 31827 31830 8289 0 -1 1077944384 3142 12476 0 0 80 7 5 2 20 0 15 0 112593038 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457377155344 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31883] ppid=31827 vsize=14067516 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/31830/task/31883/stat : 31883 (java) S 31827 31830 8289 0 -1 1077944384 1842 12476 0 0 78 7 5 2 20 0 15 0 112593038 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457042164368 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31884] ppid=31827 vsize=14067516 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/31830/task/31884/stat : 31884 (java) S 31827 31830 8289 0 -1 1077944384 1682 12476 0 0 80 5 5 2 20 0 15 0 112593038 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457041111568 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31885] ppid=31827 vsize=14067516 memory=810160 CPUtime=1.02 cores=1,3,5,7
/proc/31830/task/31885/stat : 31885 (java) S 31827 31830 8289 0 -1 1077944384 4779 12476 0 0 91 4 5 2 20 0 15 0 112593039 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457012058736 140457443785346 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31886] ppid=31827 vsize=14067516 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31886/stat : 31886 (java) S 31827 31830 8289 0 -1 1077944384 56 12476 0 0 0 0 5 2 20 0 15 0 112593039 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457011004832 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31887] ppid=31827 vsize=14067516 memory=2972 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31887/stat : 31887 (java) S 31827 31830 8289 0 -1 1077944384 43 12476 0 0 0 0 5 2 20 0 15 0 112593040 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457009952384 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31888] ppid=31827 vsize=14067516 memory=810160 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31888/stat : 31888 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457008900688 140457443792795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31889] ppid=31827 vsize=14067516 memory=1724 CPUtime=10.3 cores=1,3,5,7
/proc/31830/task/31889/stat : 31889 (java) S 31827 31830 8289 0 -1 1077944384 12543 12476 0 0 1018 5 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457007847536 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31890] ppid=31827 vsize=14067516 memory=810160 CPUtime=9.68 cores=1,3,5,7
/proc/31830/task/31890/stat : 31890 (java) S 31827 31830 8289 0 -1 1077944384 8976 12476 0 0 957 4 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457006794736 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31891] ppid=31827 vsize=14067516 memory=810160 CPUtime=3.08 cores=1,3,5,7
/proc/31830/task/31891/stat : 31891 (java) S 31827 31830 8289 0 -1 1077944384 11424 12476 0 0 296 5 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457005742448 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31892] ppid=31827 vsize=14067516 memory=810160 CPUtime=0.07 cores=1,3,5,7
/proc/31830/task/31892/stat : 31892 (java) S 31827 31830 8289 0 -1 1077944384 3 12476 0 0 0 0 5 2 20 0 15 0 112593042 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457004689888 140457443784405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
[pid=31830/tid=31893] ppid=31827 vsize=14067516 memory=1200 CPUtime=0.19 cores=1,3,5,7
/proc/31830/task/31893/stat : 31893 (java) S 31827 31830 8289 0 -1 1077944384 474 12476 0 0 6 6 5 2 20 0 15 0 112593048 14405136384 202540 18446744073709551615 4194304 4196468 140733431035616 140457003637680 140457443785346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33947648 140733431044016 140733431046801 140733431046801 140733431050191 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 810160 KiB
Child status: 143
Real time (s): 226.934
CPU time (s): 252.121
CPU user time (s): 251.361
CPU system time (s): 0.760398
CPU usage (%): 111.099
Max. virtual memory (cumulated for all children) (KiB): 14070232
Max. memory (cumulated for all children) (KiB): 813344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.361
system time used= 0.760398
maximum resident set size= 813344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123944
page faults= 0
swaps= 0
block input operations= 0
block output operations= 560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38741
involuntary context switches= 758
# summary of solver processes directly reported to runsolver:
# pid: 31830
# total CPU time (s): 252.121
# total CPU user time (s): 251.361
# total CPU system time (s): 0.760398
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37492 second user time and 2.21063 second system time
The end