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 (15053 MiB free)
memory of node 1: 16384 MiB (15420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393073-1568351929/watcher-4393073-1568351929 -o /tmp/evaluation-result-4393073-1568351929/solver-4393073-1568351929 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568348173-2742 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 565846959 HOME/instance-4393073-1568351929.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2873, runsolver pid=2870
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.74 2.00 1.44 7/232 2889
/proc/meminfo: memFree=31187812/32770624 swapFree=66921440/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411448931 115843072 362 33554432000 4194304 5098028 140723047354048 140723047352152 140299305648764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31678464 140723047355259 140723047355501 140723047355501 140723047358410 0
/proc/2873/statm: 28282 362 304 221 0 87 0
[pid=2875] ppid=2873 vsize=15144768 memory=29320 CPUtime=0.12 cores=1,3,5,7
/proc/2875/stat : 2875 (java) S 2873 2873 2710 0 -1 1077944320 5760 0 0 0 11 1 0 0 20 0 15 0 411448931 15508242432 7330 33554432000 4194304 4196468 140732529162800 140732529145344 140092746419959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
/proc/2875/statm: 3786192 7330 3174 1 0 3748377 0
[pid=2875/tid=2876] ppid=2873 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/2875/task/2876/stat : 2876 (java) R 2873 2873 2710 0 -1 4202560 3657 0 0 0 8 1 0 0 20 0 15 0 411448931 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092750641232 140092746431894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2877] ppid=2873 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411448932 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092338314000 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2878] ppid=2873 vsize=15144768 memory=140368728217216 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411448932 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092337261456 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2879] ppid=2873 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411448932 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092336208912 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2880] ppid=2873 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411448932 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092335156368 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2881] ppid=2873 vsize=15144768 memory=140368728217216 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411448933 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092306827248 140092746431106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2882] ppid=2873 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 2710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411448934 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092305773472 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2883] ppid=2873 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 2710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411448934 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092236620784 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2884] ppid=2873 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411448936 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092235569360 140092746438555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2885] ppid=2873 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2885/stat : 2885 (java) S 2873 2873 2710 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 411448936 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092234516976 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2886] ppid=2873 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2886/stat : 2886 (java) S 2873 2873 2710 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 411448936 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092233464432 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2887] ppid=2873 vsize=15144768 memory=140368728217216 CPUtime=0.02 cores=1,3,5,7
/proc/2875/task/2887/stat : 2887 (java) R 2873 2873 2710 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 411448936 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092232411888 140092746431894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2888] ppid=2873 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411448937 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092231359584 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2889] ppid=2873 vsize=15144768 memory=140368728217216 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411448937 15508242432 7330 33554432000 4194304 4196468 140732529162800 140092230306096 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30768 KiB
[startup+0.210693 s]*
/proc/loadavg: 4.74 2.00 1.44 8/232 2889
/proc/meminfo: memFree=31163284/32770624 swapFree=66921440/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411448931 115843072 362 33554432000 4194304 5098028 140723047354048 140723047352152 140299305648764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31678464 140723047355259 140723047355501 140723047355501 140723047358410 0
/proc/2873/statm: 28282 362 304 221 0 87 0
[pid=2875] ppid=2873 vsize=15144768 memory=40464 CPUtime=0.34 cores=1,3,5,7
/proc/2875/stat : 2875 (java) S 2873 2873 2710 0 -1 1077944320 9367 0 0 0 31 3 0 0 20 0 15 0 411448931 15508242432 10116 33554432000 4194304 4196468 140732529162800 140732529145344 140092746419959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
/proc/2875/statm: 3786192 10116 3298 1 0 3748377 0
[pid=2875/tid=2876] ppid=2873 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/2875/task/2876/stat : 2876 (java) R 2873 2873 2710 0 -1 4202560 6652 0 0 0 18 2 0 0 20 0 15 0 411448931 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092750655760 140092730500446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2877] ppid=2873 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411448932 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092338314000 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2878] ppid=2873 vsize=15144768 memory=140368728233483 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411448932 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092337261456 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2879] ppid=2873 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411448932 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092336208912 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2880] ppid=2873 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411448932 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092335156368 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2881] ppid=2873 vsize=15144768 memory=140368728217216 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 2710 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411448933 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092306827248 140092746431106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2882] ppid=2873 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 2710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411448934 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092305773472 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2883] ppid=2873 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 2710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411448934 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092236620784 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2884] ppid=2873 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411448936 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092235569360 140092746438555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2885] ppid=2873 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2875/task/2885/stat : 2885 (java) S 2873 2873 2710 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 15 0 411448936 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092234516976 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2886] ppid=2873 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/2875/task/2886/stat : 2886 (java) S 2873 2873 2710 0 -1 1077944384 270 0 0 0 3 0 0 0 20 0 15 0 411448936 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092233464432 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2887] ppid=2873 vsize=15144768 memory=140368728217216 CPUtime=0.08 cores=1,3,5,7
/proc/2875/task/2887/stat : 2887 (java) S 2873 2873 2710 0 -1 1077944384 776 0 0 0 8 0 0 0 20 0 15 0 411448936 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092232411888 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2888] ppid=2873 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411448937 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092231359584 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2889] ppid=2873 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411448937 15508242432 10116 33554432000 4194304 4196468 140732529162800 140092230306096 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41912 KiB
[startup+0.558175 s]*
/proc/loadavg: 4.74 2.00 1.44 8/232 2889
/proc/meminfo: memFree=31162640/32770624 swapFree=66921440/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411448931 115843072 362 33554432000 4194304 5098028 140723047354048 140723047352152 140299305648764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31678464 140723047355259 140723047355501 140723047355501 140723047358410 0
/proc/2873/statm: 28282 362 304 221 0 87 0
[pid=2875] ppid=2873 vsize=15151148 memory=55672 CPUtime=0.77 cores=1,3,5,7
/proc/2875/stat : 2875 (java) S 2873 2873 2710 0 -1 1077944320 11720 0 0 0 72 5 0 0 20 0 15 0 411448931 15514775552 13918 33554432000 4194304 4196468 140732529162800 140732529145344 140092746419959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
/proc/2875/statm: 3787787 13918 3419 1 0 3748889 0
[pid=2875/tid=2876] ppid=2873 vsize=15151148 memory=8317482817917895235 CPUtime=0.4 cores=1,3,5,7
/proc/2875/task/2876/stat : 2876 (java) R 2873 2873 2710 0 -1 4202560 8317 0 0 0 37 3 0 0 20 0 15 0 411448931 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092750632448 140092730730425 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2877] ppid=2873 vsize=15151148 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411448932 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092338314000 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2878] ppid=2873 vsize=15151148 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411448932 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092337261456 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2879] ppid=2873 vsize=15151148 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411448932 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092336208912 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2880] ppid=2873 vsize=15151148 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411448932 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092335156368 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2881] ppid=2873 vsize=15151148 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 2710 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411448933 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092306827248 140092746431106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2882] ppid=2873 vsize=15151148 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 2710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411448934 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092305773472 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2883] ppid=2873 vsize=15151148 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 2710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411448934 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092236620784 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2884] ppid=2873 vsize=15151148 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411448936 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092235569360 140092746438555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2885] ppid=2873 vsize=15151148 memory=-8412656567168561567 CPUtime=0.09 cores=1,3,5,7
/proc/2875/task/2885/stat : 2885 (java) S 2873 2873 2710 0 -1 1077944384 624 0 0 0 9 0 0 0 20 0 15 0 411448936 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092234516976 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2886] ppid=2873 vsize=15151148 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/2875/task/2886/stat : 2886 (java) R 2873 2873 2710 0 -1 4202560 351 0 0 0 6 0 0 0 20 0 15 0 411448936 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092233464432 140092739405001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2887] ppid=2873 vsize=15151148 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/2875/task/2887/stat : 2887 (java) R 2873 2873 2710 0 -1 1077944384 1127 0 0 0 19 0 0 0 20 0 15 0 411448936 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092232409680 140092746430165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2888] ppid=2873 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411448937 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092231359584 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2889] ppid=2873 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411448937 15514775552 13918 33554432000 4194304 4196468 140732529162800 140092230306096 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 57120 KiB
[startup+0.714436 s]*
/proc/loadavg: 4.74 2.00 1.44 10/232 2889
/proc/meminfo: memFree=31136520/32770624 swapFree=66921440/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411448931 115843072 362 33554432000 4194304 5098028 140723047354048 140723047352152 140299305648764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31678464 140723047355259 140723047355501 140723047355501 140723047358410 0
/proc/2873/statm: 28282 362 304 221 0 87 0
[pid=2875] ppid=2873 vsize=15151148 memory=82016 CPUtime=1.26 cores=1,3,5,7
/proc/2875/stat : 2875 (java) S 2873 2873 2710 0 -1 1077944320 14219 0 0 0 120 6 0 0 20 0 15 0 411448931 15514775552 20504 33554432000 4194304 4196468 140732529162800 140732529145344 140092746419959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
/proc/2875/statm: 3787787 20504 3449 1 0 3748889 0
[pid=2875/tid=2876] ppid=2873 vsize=15217712 memory=8317482817917895235 CPUtime=0.56 cores=1,3,5,7
/proc/2875/task/2876/stat : 2876 (java) S 2873 2873 2710 0 -1 1077944384 9118 0 0 0 52 4 0 0 20 0 16 0 411448931 15582937088 21107 33554432000 4194304 4196468 140732529162800 140092750660736 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2877] ppid=2873 vsize=15217712 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 411448932 15582937088 21107 33554432000 4194304 4196468 140732529162800 140092338314000 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2878] ppid=2873 vsize=15217712 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 411448932 15582937088 21107 33554432000 4194304 4196468 140732529162800 140092337261456 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2879] ppid=2873 vsize=15218740 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 411448932 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092336208912 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2880] ppid=2873 vsize=15218740 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 411448932 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092335156368 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2881] ppid=2873 vsize=15218740 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 2710 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 17 0 411448933 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092306827248 140092746431106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2882] ppid=2873 vsize=15218740 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 2710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 411448934 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092305773472 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2883] ppid=2873 vsize=15218740 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 2710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 411448934 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092236620784 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2884] ppid=2873 vsize=15218740 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 411448936 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092235569360 140092746438555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2885] ppid=2873 vsize=15218740 memory=-8412656567168561567 CPUtime=0.19 cores=1,3,5,7
/proc/2875/task/2885/stat : 2885 (java) R 2873 2873 2710 0 -1 4202560 1016 0 0 0 19 0 0 0 20 0 17 0 411448936 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092234510168 140092739516795 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2886] ppid=2873 vsize=15218740 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/2875/task/2886/stat : 2886 (java) R 2873 2873 2710 0 -1 4202560 1048 0 0 0 18 0 0 0 20 0 17 0 411448936 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092233450456 140092731546269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2887] ppid=2873 vsize=15218740 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/2875/task/2887/stat : 2887 (java) R 2873 2873 2710 0 -1 1077944384 1799 0 0 0 30 0 0 0 20 0 17 0 411448936 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092232411888 140092746431106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2888] ppid=2873 vsize=15218740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 411448937 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092231359584 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2889] ppid=2873 vsize=15218740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 411448937 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092230306096 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2890] ppid=2873 vsize=15218740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2890/stat : 2890 (java) S 2873 2873 2710 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 17 0 411449003 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092221336144 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2891] ppid=2873 vsize=15218740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2891/stat : 2891 (java) R 2873 2873 2710 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 411449003 15583989760 21107 33554432000 4194304 4196468 140732529162800 140092221340384 140092739159809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 83464 KiB
[startup+1.50096 s]
/proc/loadavg: 4.74 2.00 1.44 12/236 2893
################
# More data... #
################
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 2710 0 -1 1077944384 833 0 0 0 0 3 0 0 20 0 19 0 411448937 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092230306096 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2890] ppid=2873 vsize=15417404 memory=1552 CPUtime=105.09 cores=1,3,5,7
/proc/2875/task/2890/stat : 2890 (java) R 2873 2873 2710 0 -1 4202560 743 0 0 0 10509 0 0 0 20 0 19 0 411449003 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092221332200 140092388494080 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2891] ppid=2873 vsize=15417404 memory=7964 CPUtime=106.1 cores=1,3,5,7
/proc/2875/task/2891/stat : 2891 (java) R 2873 2873 2710 0 -1 4202560 2466 0 0 0 10609 1 0 0 20 0 19 0 411449003 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092220281288 140092387962915 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2892] ppid=2873 vsize=15417404 memory=3444 CPUtime=106.58 cores=1,3,5,7
/proc/2875/task/2892/stat : 2892 (java) R 2873 2873 2710 0 -1 4202560 644 0 0 0 10658 0 0 0 20 0 19 0 411449003 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092219227952 140092388380185 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2893] ppid=2873 vsize=15417404 memory=1556 CPUtime=106.24 cores=1,3,5,7
/proc/2875/task/2893/stat : 2893 (java) R 2873 2873 2710 0 -1 4202560 1615 0 0 0 10624 0 0 0 20 0 19 0 411449004 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092218178144 140092388155029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
Current children cumulated CPU time: 428.92 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 230824 KiB
[startup+108.601 s]
/proc/loadavg: 7.79 3.95 2.21 9/237 2981
/proc/meminfo: memFree=30988576/32770624 swapFree=66921440/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411448931 115843072 362 33554432000 4194304 5098028 140723047354048 140723047352152 140299305648764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31678464 140723047355259 140723047355501 140723047355501 140723047358410 0
/proc/2873/statm: 28282 362 304 221 0 87 0
[pid=2875] ppid=2873 vsize=15417404 memory=229376 CPUtime=430.48 cores=1,3,5,7
/proc/2875/stat : 2875 (java) S 2873 2873 2710 0 -1 1077944320 49355 0 0 0 43031 17 0 0 20 0 19 0 411448931 15787421696 57344 33554432000 4194304 4196468 140732529162800 140732529145344 140092746419959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
/proc/2875/statm: 3854351 57344 3528 1 0 3815453 0
[pid=2875/tid=2876] ppid=2873 vsize=15417404 memory=804 CPUtime=0.56 cores=1,3,5,7
/proc/2875/task/2876/stat : 2876 (java) S 2873 2873 2710 0 -1 1077944384 9118 0 0 0 52 4 0 0 20 0 19 0 411448931 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092750660736 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2877] ppid=2873 vsize=15417404 memory=4100 CPUtime=0.05 cores=1,3,5,7
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 2710 0 -1 1077944384 2209 0 0 0 4 1 0 0 20 0 19 0 411448932 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092338314000 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2878] ppid=2873 vsize=15417404 memory=1804 CPUtime=0.05 cores=1,3,5,7
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 2710 0 -1 1077944384 1313 0 0 0 4 1 0 0 20 0 19 0 411448932 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092337261456 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2879] ppid=2873 vsize=15417404 memory=920 CPUtime=0.05 cores=1,3,5,7
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 2710 0 -1 1077944384 1295 0 0 0 4 1 0 0 20 0 19 0 411448932 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092336208912 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2880] ppid=2873 vsize=15417404 memory=3804 CPUtime=0.05 cores=1,3,5,7
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 2710 0 -1 1077944384 711 0 0 0 4 1 0 0 20 0 19 0 411448932 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092335156368 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2881] ppid=2873 vsize=15417404 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 2710 0 -1 1077944384 1396 0 0 0 1 0 0 0 20 0 19 0 411448933 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092306827248 140092746431106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2882] ppid=2873 vsize=15417404 memory=220640 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 2710 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 411448934 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092305773536 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2883] ppid=2873 vsize=15417404 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 2710 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 19 0 411448934 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092236620800 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2884] ppid=2873 vsize=15417404 memory=3012 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411448936 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092235569360 140092746438555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2885] ppid=2873 vsize=15417404 memory=1452 CPUtime=1.68 cores=1,3,5,7
/proc/2875/task/2885/stat : 2885 (java) S 2873 2873 2710 0 -1 1077944384 9304 0 0 0 167 1 0 0 20 0 19 0 411448936 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092234516976 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2886] ppid=2873 vsize=15417404 memory=225956 CPUtime=1.77 cores=1,3,5,7
/proc/2875/task/2886/stat : 2886 (java) S 2873 2873 2710 0 -1 1077944384 8812 0 0 0 176 1 0 0 20 0 19 0 411448936 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092233464432 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2887] ppid=2873 vsize=15417404 memory=1164 CPUtime=0.55 cores=1,3,5,7
/proc/2875/task/2887/stat : 2887 (java) S 2873 2873 2710 0 -1 1077944384 7452 0 0 0 54 1 0 0 20 0 19 0 411448936 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092232411888 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2888] ppid=2873 vsize=15417404 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411448937 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092231359584 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2889] ppid=2873 vsize=15417404 memory=4126316290023845779 CPUtime=0.03 cores=1,3,5,7
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 2710 0 -1 1077944384 833 0 0 0 0 3 0 0 20 0 19 0 411448937 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092230306096 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2890] ppid=2873 vsize=15417404 memory=175 CPUtime=105.47 cores=1,3,5,7
/proc/2875/task/2890/stat : 2890 (java) R 2873 2873 2710 0 -1 4202560 743 0 0 0 10547 0 0 0 20 0 19 0 411449003 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092221332200 140092387963014 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2891] ppid=2873 vsize=15417404 memory=55 CPUtime=106.49 cores=1,3,5,7
/proc/2875/task/2891/stat : 2891 (java) R 2873 2873 2710 0 -1 4202560 2467 0 0 0 10648 1 0 0 20 0 19 0 411449003 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092220281288 140092387899959 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2892] ppid=2873 vsize=15417404 memory=140368591334693 CPUtime=106.97 cores=1,3,5,7
/proc/2875/task/2892/stat : 2892 (java) R 2873 2873 2710 0 -1 4202560 644 0 0 0 10697 0 0 0 20 0 19 0 411449003 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092219227952 140092387996601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2893] ppid=2873 vsize=15417404 memory=301794158561729935 CPUtime=106.63 cores=1,3,5,7
/proc/2875/task/2893/stat : 2893 (java) R 2873 2873 2710 0 -1 4202560 1615 0 0 0 10663 0 0 0 20 0 19 0 411449004 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092218178144 140092387899988 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
Current children cumulated CPU time: 430.48 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 230824 KiB
[startup+109.001 s]
/proc/loadavg: 7.79 3.95 2.21 9/237 2981
/proc/meminfo: memFree=30988576/32770624 swapFree=66921440/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411448931 115843072 362 33554432000 4194304 5098028 140723047354048 140723047352152 140299305648764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31678464 140723047355259 140723047355501 140723047355501 140723047358410 0
/proc/2873/statm: 28282 362 304 221 0 87 0
[pid=2875] ppid=2873 vsize=15417404 memory=229376 CPUtime=432.08 cores=1,3,5,7
/proc/2875/stat : 2875 (java) S 2873 2873 2710 0 -1 1077944320 49359 0 0 0 43191 17 0 0 20 0 19 0 411448931 15787421696 57344 33554432000 4194304 4196468 140732529162800 140732529145344 140092746419959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
/proc/2875/statm: 3854351 57344 3528 1 0 3815453 0
[pid=2875/tid=2876] ppid=2873 vsize=15417404 memory=229376 CPUtime=0.56 cores=1,3,5,7
/proc/2875/task/2876/stat : 2876 (java) S 2873 2873 2710 0 -1 1077944384 9118 0 0 0 52 4 0 0 20 0 19 0 411448931 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092750660736 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2877] ppid=2873 vsize=15417404 memory=9364 CPUtime=0.05 cores=1,3,5,7
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 2710 0 -1 1077944384 2209 0 0 0 4 1 0 0 20 0 19 0 411448932 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092338314000 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2878] ppid=2873 vsize=15417404 memory=1120 CPUtime=0.05 cores=1,3,5,7
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 2710 0 -1 1077944384 1313 0 0 0 4 1 0 0 20 0 19 0 411448932 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092337261456 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2879] ppid=2873 vsize=15417404 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 2710 0 -1 1077944384 1295 0 0 0 4 1 0 0 20 0 19 0 411448932 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092336208912 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2880] ppid=2873 vsize=15417404 memory=18256 CPUtime=0.05 cores=1,3,5,7
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 2710 0 -1 1077944384 711 0 0 0 4 1 0 0 20 0 19 0 411448932 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092335156368 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2881] ppid=2873 vsize=15417404 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 2710 0 -1 1077944384 1396 0 0 0 1 0 0 0 20 0 19 0 411448933 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092306827248 140092746431106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2882] ppid=2873 vsize=15417404 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 2710 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 411448934 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092305773536 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2883] ppid=2873 vsize=15417404 memory=1680 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 2710 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 19 0 411448934 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092236620800 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2884] ppid=2873 vsize=15417404 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411448936 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092235569360 140092746438555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2885] ppid=2873 vsize=15417404 memory=888 CPUtime=1.68 cores=1,3,5,7
/proc/2875/task/2885/stat : 2885 (java) S 2873 2873 2710 0 -1 1077944384 9304 0 0 0 167 1 0 0 20 0 19 0 411448936 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092234516976 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2886] ppid=2873 vsize=15417404 memory=1984 CPUtime=1.77 cores=1,3,5,7
/proc/2875/task/2886/stat : 2886 (java) S 2873 2873 2710 0 -1 1077944384 8812 0 0 0 176 1 0 0 20 0 19 0 411448936 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092233464432 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2887] ppid=2873 vsize=15417404 memory=2552 CPUtime=0.55 cores=1,3,5,7
/proc/2875/task/2887/stat : 2887 (java) S 2873 2873 2710 0 -1 1077944384 7452 0 0 0 54 1 0 0 20 0 19 0 411448936 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092232411888 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2888] ppid=2873 vsize=15417404 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411448937 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092231359584 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2889] ppid=2873 vsize=15417404 memory=7964 CPUtime=0.03 cores=1,3,5,7
/proc/2875/task/2889/stat : 2889 (java) R 2873 2873 2710 0 -1 1077944384 833 0 0 0 0 3 0 0 20 0 19 0 411448937 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092230306096 140092746431106 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2890] ppid=2873 vsize=15417404 memory=3444 CPUtime=105.87 cores=1,3,5,7
/proc/2875/task/2890/stat : 2890 (java) R 2873 2873 2710 0 -1 4202560 744 0 0 0 10587 0 0 0 20 0 19 0 411449003 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092221332200 140092387899053 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2891] ppid=2873 vsize=15417404 memory=1556 CPUtime=106.89 cores=1,3,5,7
/proc/2875/task/2891/stat : 2891 (java) R 2873 2873 2710 0 -1 4202560 2468 0 0 0 10688 1 0 0 20 0 19 0 411449003 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092220281288 140092388671469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2892] ppid=2873 vsize=15417404 memory=2832 CPUtime=107.37 cores=1,3,5,7
/proc/2875/task/2892/stat : 2892 (java) R 2873 2873 2710 0 -1 4202560 645 0 0 0 10737 0 0 0 20 0 19 0 411449003 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092219227952 140092387374312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2893] ppid=2873 vsize=15417404 memory=984 CPUtime=107.03 cores=1,3,5,7
/proc/2875/task/2893/stat : 2893 (java) R 2873 2873 2710 0 -1 4202560 1616 0 0 0 10703 0 0 0 20 0 19 0 411449004 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092218178144 140092388155736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
Current children cumulated CPU time: 432.08 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 230824 KiB
[startup+109.101 s]
/proc/loadavg: 7.79 3.95 2.21 9/237 2981
/proc/meminfo: memFree=30988576/32770624 swapFree=66921440/67108860
[pid=2873] ppid=2870 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2873/stat : 2873 (xcsp3-exec) S 2870 2873 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411448931 115843072 362 33554432000 4194304 5098028 140723047354048 140723047352152 140299305648764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31678464 140723047355259 140723047355501 140723047355501 140723047358410 0
/proc/2873/statm: 28282 362 304 221 0 87 0
[pid=2875] ppid=2873 vsize=15417404 memory=229376 CPUtime=432.47 cores=1,3,5,7
/proc/2875/stat : 2875 (java) S 2873 2873 2710 0 -1 1077944320 49359 0 0 0 43230 17 0 0 20 0 19 0 411448931 15787421696 57344 33554432000 4194304 4196468 140732529162800 140732529145344 140092746419959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
/proc/2875/statm: 3854351 57344 3528 1 0 3815453 0
[pid=2875/tid=2876] ppid=2873 vsize=15417404 memory=229376 CPUtime=0.56 cores=1,3,5,7
/proc/2875/task/2876/stat : 2876 (java) S 2873 2873 2710 0 -1 1077944384 9118 0 0 0 52 4 0 0 20 0 19 0 411448931 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092750660736 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2877] ppid=2873 vsize=15417404 memory=1448 CPUtime=0.05 cores=1,3,5,7
/proc/2875/task/2877/stat : 2877 (java) S 2873 2873 2710 0 -1 1077944384 2209 0 0 0 4 1 0 0 20 0 19 0 411448932 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092338314000 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2878] ppid=2873 vsize=15417404 memory=1448 CPUtime=0.05 cores=1,3,5,7
/proc/2875/task/2878/stat : 2878 (java) S 2873 2873 2710 0 -1 1077944384 1313 0 0 0 4 1 0 0 20 0 19 0 411448932 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092337261456 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2879] ppid=2873 vsize=15417404 memory=1448 CPUtime=0.05 cores=1,3,5,7
/proc/2875/task/2879/stat : 2879 (java) S 2873 2873 2710 0 -1 1077944384 1295 0 0 0 4 1 0 0 20 0 19 0 411448932 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092336208912 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2880] ppid=2873 vsize=15417404 memory=220588 CPUtime=0.05 cores=1,3,5,7
/proc/2875/task/2880/stat : 2880 (java) S 2873 2873 2710 0 -1 1077944384 711 0 0 0 4 1 0 0 20 0 19 0 411448932 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092335156368 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2881] ppid=2873 vsize=15417404 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/2875/task/2881/stat : 2881 (java) S 2873 2873 2710 0 -1 1077944384 1396 0 0 0 1 0 0 0 20 0 19 0 411448933 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092306827248 140092746431106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2882] ppid=2873 vsize=15417404 memory=220588 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2882/stat : 2882 (java) S 2873 2873 2710 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 411448934 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092305773536 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2883] ppid=2873 vsize=15417404 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2883/stat : 2883 (java) S 2873 2873 2710 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 19 0 411448934 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092236620800 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2884] ppid=2873 vsize=15417404 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2884/stat : 2884 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411448936 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092235569360 140092746438555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2885] ppid=2873 vsize=15417404 memory=2636 CPUtime=1.68 cores=1,3,5,7
/proc/2875/task/2885/stat : 2885 (java) S 2873 2873 2710 0 -1 1077944384 9304 0 0 0 167 1 0 0 20 0 19 0 411448936 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092234516976 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2886] ppid=2873 vsize=15417404 memory=2636 CPUtime=1.77 cores=1,3,5,7
/proc/2875/task/2886/stat : 2886 (java) S 2873 2873 2710 0 -1 1077944384 8812 0 0 0 176 1 0 0 20 0 19 0 411448936 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092233464432 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2887] ppid=2873 vsize=15417404 memory=1412 CPUtime=0.55 cores=1,3,5,7
/proc/2875/task/2887/stat : 2887 (java) S 2873 2873 2710 0 -1 1077944384 7452 0 0 0 54 1 0 0 20 0 19 0 411448936 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092232411888 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2888] ppid=2873 vsize=15417404 memory=988 CPUtime=0 cores=1,3,5,7
/proc/2875/task/2888/stat : 2888 (java) S 2873 2873 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411448937 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092231359584 140092746430165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2889] ppid=2873 vsize=15417404 memory=2016 CPUtime=0.03 cores=1,3,5,7
/proc/2875/task/2889/stat : 2889 (java) S 2873 2873 2710 0 -1 1077944384 833 0 0 0 0 3 0 0 20 0 19 0 411448937 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092230306096 140092746431106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2890] ppid=2873 vsize=15417404 memory=1284 CPUtime=105.97 cores=1,3,5,7
/proc/2875/task/2890/stat : 2890 (java) R 2873 2873 2710 0 -1 4202560 744 0 0 0 10597 0 0 0 20 0 19 0 411449003 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092221332200 140092387533383 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2891] ppid=2873 vsize=15417404 memory=1448 CPUtime=106.99 cores=1,3,5,7
/proc/2875/task/2891/stat : 2891 (java) R 2873 2873 2710 0 -1 4202560 2468 0 0 0 10698 1 0 0 20 0 19 0 411449003 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092220281288 140092387899040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2892] ppid=2873 vsize=15417404 memory=220640 CPUtime=107.47 cores=1,3,5,7
/proc/2875/task/2892/stat : 2892 (java) R 2873 2873 2710 0 -1 4202560 645 0 0 0 10747 0 0 0 20 0 19 0 411449003 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092219227952 140092387962995 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
[pid=2875/tid=2893] ppid=2873 vsize=15417404 memory=1448 CPUtime=107.13 cores=1,3,5,7
/proc/2875/task/2893/stat : 2893 (java) R 2873 2873 2710 0 -1 4202560 1616 0 0 0 10713 0 0 0 20 0 19 0 411449004 15787421696 57344 33554432000 4194304 4196468 140732529162800 140092218178144 140092388670782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140732529165295 140732529165466 140732529165466 140732529168335 0
Current children cumulated CPU time: 432.47 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 230824 KiB
Child status: 0
Real time (s): 109.138
CPU time (s): 432.567
CPU user time (s): 432.382
CPU system time (s): 0.184828
CPU usage (%): 396.349
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 230824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 432.382
system time used= 0.184828
maximum resident set size= 230912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51350
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4906
involuntary context switches= 8712
# summary of solver processes directly reported to runsolver:
# pid: 2873
# total CPU time (s): 432.567
# total CPU user time (s): 432.382
# total CPU system time (s): 0.184828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.680018 second user time and 1.26981 second system time
The end