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 (14119 MiB free)
memory of node 1: 16384 MiB (15402 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393014-1568316850/watcher-4393014-1568316850 -o /tmp/evaluation-result-4393014-1568316850/solver-4393014-1568316850 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 245619347 HOME/instance-4393014-1568316850.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17641, runsolver pid=17638
[startup+0.100081 s]*
/proc/loadavg: 7.57 8.23 8.06 7/233 17657
/proc/meminfo: memFree=30213212/32770624 swapFree=66920708/67108860
[pid=17641] ppid=17638 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17641/stat : 17641 (xcsp3-exec) S 17638 17641 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407941134 115843072 363 33554432000 4194304 5098028 140725149001232 140725148999336 139805065359996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35520512 140725149008763 140725149009005 140725149009005 140725149011914 0
/proc/17641/statm: 28282 363 304 221 0 87 0
[pid=17643] ppid=17641 vsize=15144768 memory=29604 CPUtime=0.13 cores=1,3,5,7
/proc/17643/stat : 17643 (java) S 17641 17641 14254 0 -1 1077944320 5856 0 0 0 12 1 0 0 20 0 15 0 407941134 15508242432 7401 33554432000 4194304 4196468 140735315812880 140735315795424 140423093952247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
/proc/17643/statm: 3786192 7401 3134 1 0 3748377 0
[pid=17643/tid=17644] ppid=17641 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/17643/task/17644/stat : 17644 (java) R 17641 17641 14254 0 -1 4202560 3731 0 0 0 8 1 0 0 20 0 15 0 407941134 15508242432 7401 33554432000 4194304 4196468 140735315812880 140423098174944 140423093964182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17645] ppid=17641 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17645/stat : 17645 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941135 15508242432 7401 33554432000 4194304 4196468 140735315812880 140423021992720 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17646] ppid=17641 vsize=15144768 memory=288370902414014080 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17646/stat : 17646 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941135 15508242432 7401 33554432000 4194304 4196468 140735315812880 140423020940176 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17647] ppid=17641 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17647/stat : 17647 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941135 15508242432 7401 33554432000 4194304 4196468 140735315812880 140423019887632 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17648] ppid=17641 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17648/stat : 17648 (java) S 17641 17641 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407941135 15508242432 7401 33554432000 4194304 4196468 140735315812880 140423018835088 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17649] ppid=17641 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17649/stat : 17649 (java) S 17641 17641 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407941136 15508242432 7401 33554432000 4194304 4196468 140735315812880 140422562461680 140423093963394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17650] ppid=17641 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17650/stat : 17650 (java) S 17641 17641 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407941137 15508242432 7401 33554432000 4194304 4196468 140735315812880 140422561407904 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17651] ppid=17641 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17651/stat : 17651 (java) S 17641 17641 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407941137 15508242432 7401 33554432000 4194304 4196468 140735315812880 140422560355312 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17652] ppid=17641 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17652/stat : 17652 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407941139 15508242432 7401 33554432000 4194304 4196468 140735315812880 140422559303888 140423093970843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17653] ppid=17641 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17653/stat : 17653 (java) S 17641 17641 14254 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 407941139 15508242432 7401 33554432000 4194304 4196468 140735315812880 140422558251504 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17654] ppid=17641 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17654/stat : 17654 (java) S 17641 17641 14254 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 407941139 15508242432 7401 33554432000 4194304 4196468 140735315812880 140422557198960 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17655] ppid=17641 vsize=15144768 memory=140526262302336 CPUtime=0.02 cores=1,3,5,7
/proc/17643/task/17655/stat : 17655 (java) R 17641 17641 14254 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 407941139 15508242432 7401 33554432000 4194304 4196468 140735315812880 140422556143952 140423093964182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17656] ppid=17641 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17656/stat : 17656 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407941140 15508242432 7401 33554432000 4194304 4196468 140735315812880 140422555094112 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17657] ppid=17641 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17657/stat : 17657 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941140 15508242432 7401 33554432000 4194304 4196468 140735315812880 140422554040624 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31056 KiB
[startup+0.210774 s]*
/proc/loadavg: 7.57 8.23 8.06 6/233 17657
/proc/meminfo: memFree=30200852/32770624 swapFree=66920708/67108860
[pid=17641] ppid=17638 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17641/stat : 17641 (xcsp3-exec) S 17638 17641 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407941134 115843072 363 33554432000 4194304 5098028 140725149001232 140725148999336 139805065359996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35520512 140725149008763 140725149009005 140725149009005 140725149011914 0
/proc/17641/statm: 28282 363 304 221 0 87 0
[pid=17643] ppid=17641 vsize=15144768 memory=40976 CPUtime=0.34 cores=1,3,5,7
/proc/17643/stat : 17643 (java) S 17641 17641 14254 0 -1 1077944320 9484 0 0 0 31 3 0 0 20 0 15 0 407941134 15508242432 10244 33554432000 4194304 4196468 140735315812880 140735315795424 140423093952247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
/proc/17643/statm: 3786192 10244 3296 1 0 3748377 0
[pid=17643/tid=17644] ppid=17641 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17643/task/17644/stat : 17644 (java) R 17641 17641 14254 0 -1 4202560 6642 0 0 0 18 2 0 0 20 0 15 0 407941134 15508242432 10244 33554432000 4194304 4196468 140735315812880 140423098187232 140423078032734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17645] ppid=17641 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17645/stat : 17645 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941135 15508242432 10244 33554432000 4194304 4196468 140735315812880 140423021992720 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17646] ppid=17641 vsize=15144768 memory=140526262318415 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17646/stat : 17646 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941135 15508242432 10244 33554432000 4194304 4196468 140735315812880 140423020940176 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17647] ppid=17641 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17647/stat : 17647 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941135 15508242432 10244 33554432000 4194304 4196468 140735315812880 140423019887632 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17648] ppid=17641 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17648/stat : 17648 (java) S 17641 17641 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407941135 15508242432 10244 33554432000 4194304 4196468 140735315812880 140423018835088 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17649] ppid=17641 vsize=15144768 memory=140526262302336 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17649/stat : 17649 (java) S 17641 17641 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407941136 15508242432 10244 33554432000 4194304 4196468 140735315812880 140422562461680 140423093963394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17650] ppid=17641 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17650/stat : 17650 (java) S 17641 17641 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407941137 15508242432 10244 33554432000 4194304 4196468 140735315812880 140422561407904 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17651] ppid=17641 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17651/stat : 17651 (java) S 17641 17641 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407941137 15508242432 10306 33554432000 4194304 4196468 140735315812880 140422560355312 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17652] ppid=17641 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17652/stat : 17652 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407941139 15508242432 10306 33554432000 4194304 4196468 140735315812880 140422559303888 140423093970843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17653] ppid=17641 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17643/task/17653/stat : 17653 (java) S 17641 17641 14254 0 -1 1077944384 576 0 0 0 3 0 0 0 20 0 15 0 407941139 15508242432 10306 33554432000 4194304 4196468 140735315812880 140422558251504 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17654] ppid=17641 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/17643/task/17654/stat : 17654 (java) S 17641 17641 14254 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 15 0 407941139 15508242432 10306 33554432000 4194304 4196468 140735315812880 140422557198960 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17655] ppid=17641 vsize=15144768 memory=140526262302336 CPUtime=0.08 cores=1,3,5,7
/proc/17643/task/17655/stat : 17655 (java) S 17641 17641 14254 0 -1 1077944384 749 0 0 0 8 0 0 0 20 0 15 0 407941139 15508242432 10306 33554432000 4194304 4196468 140735315812880 140422556146416 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17656] ppid=17641 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17656/stat : 17656 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407941140 15508242432 10306 33554432000 4194304 4196468 140735315812880 140422555094112 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17657] ppid=17641 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17657/stat : 17657 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941140 15508242432 10306 33554432000 4194304 4196468 140735315812880 140422554040624 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42428 KiB
[startup+0.310611 s]*
/proc/loadavg: 7.57 8.23 8.06 7/233 17657
/proc/meminfo: memFree=30192392/32770624 swapFree=66920708/67108860
[pid=17641] ppid=17638 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17641/stat : 17641 (xcsp3-exec) S 17638 17641 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407941134 115843072 363 33554432000 4194304 5098028 140725149001232 140725148999336 139805065359996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35520512 140725149008763 140725149009005 140725149009005 140725149011914 0
/proc/17641/statm: 28282 363 304 221 0 87 0
[pid=17643] ppid=17641 vsize=15149024 memory=51396 CPUtime=0.53 cores=1,3,5,7
/proc/17643/stat : 17643 (java) S 17641 17641 14254 0 -1 1077944320 10899 0 0 0 50 3 0 0 20 0 15 0 407941134 15512600576 12849 33554432000 4194304 4196468 140735315812880 140735315795424 140423093952247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
/proc/17643/statm: 3787256 12849 3356 1 0 3748377 0
[pid=17643/tid=17644] ppid=17641 vsize=15149024 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/17643/task/17644/stat : 17644 (java) R 17641 17641 14254 0 -1 4202560 7827 0 0 0 27 2 0 0 20 0 15 0 407941134 15512600576 12849 33554432000 4194304 4196468 140735315812880 140423098183360 140423093974173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17645] ppid=17641 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17645/stat : 17645 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941135 15512600576 12849 33554432000 4194304 4196468 140735315812880 140423021992720 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17646] ppid=17641 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17646/stat : 17646 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941135 15512600576 12849 33554432000 4194304 4196468 140735315812880 140423020940176 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17647] ppid=17641 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17647/stat : 17647 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941135 15512600576 12849 33554432000 4194304 4196468 140735315812880 140423019887632 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17648] ppid=17641 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17648/stat : 17648 (java) S 17641 17641 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407941135 15512600576 12849 33554432000 4194304 4196468 140735315812880 140423018835088 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17649] ppid=17641 vsize=15149024 memory=-7377628861284532383 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17649/stat : 17649 (java) S 17641 17641 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407941136 15512600576 12849 33554432000 4194304 4196468 140735315812880 140422562461680 140423093963394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17650] ppid=17641 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17650/stat : 17650 (java) S 17641 17641 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407941137 15512600576 12849 33554432000 4194304 4196468 140735315812880 140422561407904 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17651] ppid=17641 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17651/stat : 17651 (java) S 17641 17641 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407941137 15512600576 12849 33554432000 4194304 4196468 140735315812880 140422560355312 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17652] ppid=17641 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17652/stat : 17652 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407941139 15512600576 12849 33554432000 4194304 4196468 140735315812880 140422559303888 140423093970843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17653] ppid=17641 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/17643/task/17653/stat : 17653 (java) S 17641 17641 14254 0 -1 1077944384 674 0 0 0 5 0 0 0 20 0 15 0 407941139 15512600576 12849 33554432000 4194304 4196468 140735315812880 140422558251504 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17654] ppid=17641 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17643/task/17654/stat : 17654 (java) S 17641 17641 14254 0 -1 1077944384 237 0 0 0 3 0 0 0 20 0 15 0 407941139 15512600576 12849 33554432000 4194304 4196468 140735315812880 140422557198960 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17655] ppid=17641 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17643/task/17655/stat : 17655 (java) S 17641 17641 14254 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 15 0 407941139 15512600576 12849 33554432000 4194304 4196468 140735315812880 140422556146416 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17656] ppid=17641 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17656/stat : 17656 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407941140 15512600576 12849 33554432000 4194304 4196468 140735315812880 140422555094112 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17657] ppid=17641 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17657/stat : 17657 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941140 15512600576 12849 33554432000 4194304 4196468 140735315812880 140422554040624 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52848 KiB
[startup+0.701733 s]
/proc/loadavg: 7.57 8.23 8.06 11/233 17657
/proc/meminfo: memFree=30115540/32770624 swapFree=66920708/67108860
[pid=17641] ppid=17638 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17641/stat : 17641 (xcsp3-exec) S 17638 17641 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407941134 115843072 363 33554432000 4194304 5098028 140725149001232 140725148999336 139805065359996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35520512 140725149008763 140725149009005 140725149009005 140725149011914 0
/proc/17641/statm: 28282 363 304 221 0 87 0
[pid=17643] ppid=17641 vsize=15149100 memory=253836 CPUtime=1.51 cores=1,3,5,7
/proc/17643/stat : 17643 (java) S 17641 17641 14254 0 -1 1077944320 14124 0 0 0 138 13 0 0 20 0 15 0 407941134 15512678400 63459 33554432000 4194304 4196468 140735315812880 140735315795424 140423093952247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
/proc/17643/statm: 3787275 63459 3453 1 0 3748377 0
[pid=17643/tid=17644] ppid=17641 vsize=15149100 memory=-3704326594973231466 CPUtime=0.65 cores=1,3,5,7
/proc/17643/task/17644/stat : 17644 (java) R 17641 17641 14254 0 -1 4202560 8247 0 0 0 60 5 0 0 20 0 15 0 407941134 15512678400 63459 33554432000 4194304 4196468 140735315812880 140423098188728 140422700618692 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17645] ppid=17641 vsize=15149100 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17643/task/17645/stat : 17645 (java) S 17641 17641 14254 0 -1 1077944384 31 0 0 0 0 1 0 0 20 0 15 0 407941135 15512678400 63459 33554432000 4194304 4196468 140735315812880 140423021992720 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17646] ppid=17641 vsize=15149100 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17643/task/17646/stat : 17646 (java) S 17641 17641 14254 0 -1 1077944384 42 0 0 0 1 2 0 0 20 0 15 0 407941135 15512678400 63459 33554432000 4194304 4196468 140735315812880 140423020940176 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17647] ppid=17641 vsize=15149100 memory=708 CPUtime=0.01 cores=1,3,5,7
/proc/17643/task/17647/stat : 17647 (java) S 17641 17641 14254 0 -1 1077944384 26 0 0 0 0 1 0 0 20 0 15 0 407941135 15512678400 63459 33554432000 4194304 4196468 140735315812880 140423019887632 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17648] ppid=17641 vsize=15149100 memory=9364 CPUtime=0.01 cores=1,3,5,7
/proc/17643/task/17648/stat : 17648 (java) S 17641 17641 14254 0 -1 1077944384 40 0 0 0 0 1 0 0 20 0 15 0 407941135 15512678400 63459 33554432000 4194304 4196468 140735315812880 140423018835088 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17649] ppid=17641 vsize=15149100 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17649/stat : 17649 (java) S 17641 17641 14254 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 407941136 15512678400 63459 33554432000 4194304 4196468 140735315812880 140422562461680 140423093963394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17650] ppid=17641 vsize=15149100 memory=776 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17650/stat : 17650 (java) S 17641 17641 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407941137 15512678400 63459 33554432000 4194304 4196468 140735315812880 140422561407904 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17651] ppid=17641 vsize=15149100 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17651/stat : 17651 (java) S 17641 17641 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407941137 15512678400 63459 33554432000 4194304 4196468 140735315812880 140422560355312 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17652] ppid=17641 vsize=15149100 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17652/stat : 17652 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407941139 15512678400 63459 33554432000 4194304 4196468 140735315812880 140422559303888 140423093970843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17653] ppid=17641 vsize=15149100 memory=3444 CPUtime=0.27 cores=1,3,5,7
/proc/17643/task/17653/stat : 17653 (java) R 17641 17641 14254 0 -1 4202560 1710 0 0 0 27 0 0 0 20 0 15 0 407941139 15512678400 63459 33554432000 4194304 4196468 140735315812880 140422558237640 140423073208867 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17654] ppid=17641 vsize=15149100 memory=1556 CPUtime=0.21 cores=1,3,5,7
/proc/17643/task/17654/stat : 17654 (java) R 17641 17641 14254 0 -1 4202560 1258 0 0 0 21 0 0 0 20 0 15 0 407941139 15512678400 63459 33554432000 4194304 4196468 140735315812880 140422557185032 140423075473429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17655] ppid=17641 vsize=15149100 memory=2832 CPUtime=0.24 cores=1,3,5,7
/proc/17643/task/17655/stat : 17655 (java) R 17641 17641 14254 0 -1 4202560 1392 0 0 0 24 0 0 0 20 0 15 0 407941139 15512678400 63459 33554432000 4194304 4196468 140735315812880 140422556146416 140423087049083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17656] ppid=17641 vsize=15149100 memory=984 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17656/stat : 17656 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407941140 15512678400 63459 33554432000 4194304 4196468 140735315812880 140422555094112 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17657] ppid=17641 vsize=15149100 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17657/stat : 17657 (java) S 17641 17641 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407941140 15512678400 63459 33554432000 4194304 4196468 140735315812880 140422554040624 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15262228 KiB
Current children cumulated memory: 255288 KiB
[startup+1.50078 s]
/proc/loadavg: 7.57 8.23 8.06 8/233 17657
/proc/meminfo: memFree=29960524/32770624 swapFree=66920708/67108860
[pid=17641] ppid=17638 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17641/stat : 17641 (xcsp3-exec) S 17638 17641 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407941134 115843072 363 33554432000 4194304 5098028 140725149001232 140725148999336 139805065359996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35520512 140725149008763 140725149009005 140725149009005 140725149011914 0
/proc/17641/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/17643/task/17657/stat : 17657 (java) S 17641 17641 14254 0 -1 1077944384 857 0 0 0 1 2 0 0 20 0 19 0 407941140 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422554040624 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17659] ppid=17641 vsize=15417404 memory=3152 CPUtime=59.93 cores=1,3,5,7
/proc/17643/task/17659/stat : 17659 (java) R 17641 17641 14254 0 -1 4202560 1119 0 0 0 5993 0 0 0 20 0 19 0 407943150 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421949803256 140422703271590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17660] ppid=17641 vsize=15417404 memory=1448 CPUtime=60.12 cores=1,3,5,7
/proc/17643/task/17660/stat : 17660 (java) R 17641 17641 14254 0 -1 4202560 1952 0 0 0 6012 0 0 0 20 0 19 0 407943151 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421948753656 140422702921411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17661] ppid=17641 vsize=15417404 memory=1242720 CPUtime=60.18 cores=1,3,5,7
/proc/17643/task/17661/stat : 17661 (java) R 17641 17641 14254 0 -1 4202560 1001 0 0 0 6018 0 0 0 20 0 19 0 407943151 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421947699040 140422703274220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17662] ppid=17641 vsize=15417404 memory=1412 CPUtime=59.09 cores=1,3,5,7
/proc/17643/task/17662/stat : 17662 (java) R 17641 17641 14254 0 -1 4202560 2694 0 0 0 5909 0 0 0 20 0 19 0 407943151 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421946646744 140422703272005 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
Current children cumulated CPU time: 273.84 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4633100 KiB
[startup+81.2018 s]
/proc/loadavg: 7.89 8.09 8.02 9/238 17668
/proc/meminfo: memFree=25585304/32770624 swapFree=66920708/67108860
[pid=17641] ppid=17638 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17641/stat : 17641 (xcsp3-exec) S 17638 17641 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407941134 115843072 363 33554432000 4194304 5098028 140725149001232 140725148999336 139805065359996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35520512 140725149008763 140725149009005 140725149009005 140725149011914 0
/proc/17641/statm: 28282 363 304 221 0 87 0
[pid=17643] ppid=17641 vsize=15417404 memory=4631648 CPUtime=275.43 cores=1,3,5,7
/proc/17643/stat : 17643 (java) S 17641 17641 14254 0 -1 1077944320 74474 0 0 0 27213 330 0 0 20 0 19 0 407941134 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140735315795424 140423093952247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
/proc/17643/statm: 3854351 1157912 3520 1 0 3815453 0
[pid=17643/tid=17644] ppid=17641 vsize=15417404 memory=14981065810905736 CPUtime=15.74 cores=1,3,5,7
/proc/17643/task/17644/stat : 17644 (java) S 17641 17641 14254 0 -1 1077944384 15735 0 0 0 1537 37 0 0 20 0 19 0 407941134 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423098193024 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17645] ppid=17641 vsize=15417404 memory=984 CPUtime=3.43 cores=1,3,5,7
/proc/17643/task/17645/stat : 17645 (java) S 17641 17641 14254 0 -1 1077944384 7754 0 0 0 271 72 0 0 20 0 19 0 407941135 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423021992720 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17646] ppid=17641 vsize=15417404 memory=14012 CPUtime=3.43 cores=1,3,5,7
/proc/17643/task/17646/stat : 17646 (java) S 17641 17641 14254 0 -1 1077944384 3937 0 0 0 271 72 0 0 20 0 19 0 407941135 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423020940176 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17647] ppid=17641 vsize=15417404 memory=5180 CPUtime=3.4 cores=1,3,5,7
/proc/17643/task/17647/stat : 17647 (java) S 17641 17641 14254 0 -1 1077944384 3012 0 0 0 272 68 0 0 20 0 19 0 407941135 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423019887632 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17648] ppid=17641 vsize=15417404 memory=2120 CPUtime=3.39 cores=1,3,5,7
/proc/17643/task/17648/stat : 17648 (java) S 17641 17641 14254 0 -1 1077944384 7646 0 0 0 267 72 0 0 20 0 19 0 407941135 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423018835088 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17649] ppid=17641 vsize=15417404 memory=12020 CPUtime=0.94 cores=1,3,5,7
/proc/17643/task/17649/stat : 17649 (java) S 17641 17641 14254 0 -1 1077944384 5161 0 0 0 93 1 0 0 20 0 19 0 407941136 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422562461680 140423093963394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17650] ppid=17641 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17650/stat : 17650 (java) S 17641 17641 14254 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 407941137 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422561407968 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17651] ppid=17641 vsize=15417404 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17651/stat : 17651 (java) S 17641 17641 14254 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 407941137 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422560355328 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17652] ppid=17641 vsize=15417404 memory=888 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17652/stat : 17652 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407941139 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422559303888 140423093970843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17653] ppid=17641 vsize=15417404 memory=1984 CPUtime=1.75 cores=1,3,5,7
/proc/17643/task/17653/stat : 17653 (java) S 17641 17641 14254 0 -1 1077944384 7131 0 0 0 174 1 0 0 20 0 19 0 407941139 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422558251504 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17654] ppid=17641 vsize=15417404 memory=2552 CPUtime=1.66 cores=1,3,5,7
/proc/17643/task/17654/stat : 17654 (java) S 17641 17641 14254 0 -1 1077944384 8596 0 0 0 166 0 0 0 20 0 19 0 407941139 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422557198960 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17655] ppid=17641 vsize=15417404 memory=1760 CPUtime=0.61 cores=1,3,5,7
/proc/17643/task/17655/stat : 17655 (java) S 17641 17641 14254 0 -1 1077944384 6548 0 0 0 60 1 0 0 20 0 19 0 407941139 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422556146416 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17656] ppid=17641 vsize=15417404 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17656/stat : 17656 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407941140 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422555094112 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17657] ppid=17641 vsize=15417404 memory=16884 CPUtime=0.03 cores=1,3,5,7
/proc/17643/task/17657/stat : 17657 (java) S 17641 17641 14254 0 -1 1077944384 857 0 0 0 1 2 0 0 20 0 19 0 407941140 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422554040624 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17659] ppid=17641 vsize=15417404 memory=988 CPUtime=60.33 cores=1,3,5,7
/proc/17643/task/17659/stat : 17659 (java) R 17641 17641 14254 0 -1 4202560 1119 0 0 0 6033 0 0 0 20 0 19 0 407943150 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421949803256 140422702921823 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17660] ppid=17641 vsize=15417404 memory=2016 CPUtime=60.52 cores=1,3,5,7
/proc/17643/task/17660/stat : 17660 (java) R 17641 17641 14254 0 -1 4202560 1952 0 0 0 6052 0 0 0 20 0 19 0 407943151 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421948753656 140422703271811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17661] ppid=17641 vsize=15417404 memory=1284 CPUtime=60.58 cores=1,3,5,7
/proc/17643/task/17661/stat : 17661 (java) R 17641 17641 14254 0 -1 4202560 1001 0 0 0 6058 0 0 0 20 0 19 0 407943151 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421947699040 140422702920928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17662] ppid=17641 vsize=15417404 memory=288230574492221466 CPUtime=59.48 cores=1,3,5,7
/proc/17643/task/17662/stat : 17662 (java) R 17641 17641 14254 0 -1 4202560 2694 0 0 0 5948 0 0 0 20 0 19 0 407943151 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421946646744 140422703271509 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
Current children cumulated CPU time: 275.43 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4633100 KiB
[startup+81.6017 s]
/proc/loadavg: 7.89 8.09 8.02 9/238 17668
/proc/meminfo: memFree=25585304/32770624 swapFree=66920708/67108860
[pid=17641] ppid=17638 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17641/stat : 17641 (xcsp3-exec) S 17638 17641 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407941134 115843072 363 33554432000 4194304 5098028 140725149001232 140725148999336 139805065359996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35520512 140725149008763 140725149009005 140725149009005 140725149011914 0
/proc/17641/statm: 28282 363 304 221 0 87 0
[pid=17643] ppid=17641 vsize=15417404 memory=4631648 CPUtime=277.03 cores=1,3,5,7
/proc/17643/stat : 17643 (java) S 17641 17641 14254 0 -1 1077944320 74492 0 0 0 27373 330 0 0 20 0 19 0 407941134 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140735315795424 140423093952247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
/proc/17643/statm: 3854351 1157912 3520 1 0 3815453 0
[pid=17643/tid=17644] ppid=17641 vsize=15417404 memory=1452 CPUtime=15.74 cores=1,3,5,7
/proc/17643/task/17644/stat : 17644 (java) S 17641 17641 14254 0 -1 1077944384 15735 0 0 0 1537 37 0 0 20 0 19 0 407941134 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423098193024 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17645] ppid=17641 vsize=15417404 memory=4631648 CPUtime=3.43 cores=1,3,5,7
/proc/17643/task/17645/stat : 17645 (java) S 17641 17641 14254 0 -1 1077944384 7754 0 0 0 271 72 0 0 20 0 19 0 407941135 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423021992720 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17646] ppid=17641 vsize=15417404 memory=1044 CPUtime=3.43 cores=1,3,5,7
/proc/17643/task/17646/stat : 17646 (java) S 17641 17641 14254 0 -1 1077944384 3937 0 0 0 271 72 0 0 20 0 19 0 407941135 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423020940176 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17647] ppid=17641 vsize=15417404 memory=708 CPUtime=3.4 cores=1,3,5,7
/proc/17643/task/17647/stat : 17647 (java) S 17641 17641 14254 0 -1 1077944384 3012 0 0 0 272 68 0 0 20 0 19 0 407941135 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423019887632 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17648] ppid=17641 vsize=15417404 memory=9364 CPUtime=3.39 cores=1,3,5,7
/proc/17643/task/17648/stat : 17648 (java) S 17641 17641 14254 0 -1 1077944384 7646 0 0 0 267 72 0 0 20 0 19 0 407941135 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423018835088 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17649] ppid=17641 vsize=15417404 memory=1120 CPUtime=0.94 cores=1,3,5,7
/proc/17643/task/17649/stat : 17649 (java) S 17641 17641 14254 0 -1 1077944384 5161 0 0 0 93 1 0 0 20 0 19 0 407941136 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422562461680 140423093963394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17650] ppid=17641 vsize=15417404 memory=776 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17650/stat : 17650 (java) S 17641 17641 14254 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 407941137 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422561407968 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17651] ppid=17641 vsize=15417404 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17651/stat : 17651 (java) S 17641 17641 14254 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 407941137 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422560355328 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17652] ppid=17641 vsize=15417404 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17652/stat : 17652 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407941139 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422559303888 140423093970843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17653] ppid=17641 vsize=15417404 memory=4631648 CPUtime=1.75 cores=1,3,5,7
/proc/17643/task/17653/stat : 17653 (java) S 17641 17641 14254 0 -1 1077944384 7131 0 0 0 174 1 0 0 20 0 19 0 407941139 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422558251504 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17654] ppid=17641 vsize=15417404 memory=3052 CPUtime=1.66 cores=1,3,5,7
/proc/17643/task/17654/stat : 17654 (java) S 17641 17641 14254 0 -1 1077944384 8596 0 0 0 166 0 0 0 20 0 19 0 407941139 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422557198960 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17655] ppid=17641 vsize=15417404 memory=1452 CPUtime=0.61 cores=1,3,5,7
/proc/17643/task/17655/stat : 17655 (java) S 17641 17641 14254 0 -1 1077944384 6548 0 0 0 60 1 0 0 20 0 19 0 407941139 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422556146416 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17656] ppid=17641 vsize=15417404 memory=4631648 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17656/stat : 17656 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407941140 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422555094112 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17657] ppid=17641 vsize=15417404 memory=1164 CPUtime=0.03 cores=1,3,5,7
/proc/17643/task/17657/stat : 17657 (java) S 17641 17641 14254 0 -1 1077944384 857 0 0 0 1 2 0 0 20 0 19 0 407941140 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422554040624 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17659] ppid=17641 vsize=15417404 memory=7378702019057838144 CPUtime=60.73 cores=1,3,5,7
/proc/17643/task/17659/stat : 17659 (java) R 17641 17641 14254 0 -1 4202560 1119 0 0 0 6073 0 0 0 20 0 19 0 407943150 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421949803256 140422703082020 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17660] ppid=17641 vsize=15417404 memory=6081660953947891304 CPUtime=60.92 cores=1,3,5,7
/proc/17643/task/17660/stat : 17660 (java) R 17641 17641 14254 0 -1 4202560 1952 0 0 0 6092 0 0 0 20 0 19 0 407943151 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421948753656 140422703271522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17661] ppid=17641 vsize=15417404 memory=6946913829496710762 CPUtime=60.98 cores=1,3,5,7
/proc/17643/task/17661/stat : 17661 (java) R 17641 17641 14254 0 -1 4202560 1019 0 0 0 6098 0 0 0 20 0 19 0 407943151 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421947699040 140422703420336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17662] ppid=17641 vsize=15417404 memory=1284 CPUtime=59.87 cores=1,3,5,7
/proc/17643/task/17662/stat : 17662 (java) R 17641 17641 14254 0 -1 4202560 2694 0 0 0 5987 0 0 0 20 0 19 0 407943151 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421946646744 140422702921388 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
Current children cumulated CPU time: 277.03 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4633100 KiB
[startup+81.7017 s]
/proc/loadavg: 7.89 8.09 8.02 9/238 17668
/proc/meminfo: memFree=25585304/32770624 swapFree=66920708/67108860
[pid=17641] ppid=17638 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17641/stat : 17641 (xcsp3-exec) S 17638 17641 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407941134 115843072 363 33554432000 4194304 5098028 140725149001232 140725148999336 139805065359996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35520512 140725149008763 140725149009005 140725149009005 140725149011914 0
/proc/17641/statm: 28282 363 304 221 0 87 0
[pid=17643] ppid=17641 vsize=15417404 memory=4631648 CPUtime=277.43 cores=1,3,5,7
/proc/17643/stat : 17643 (java) S 17641 17641 14254 0 -1 1077944320 74492 0 0 0 27413 330 0 0 20 0 19 0 407941134 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140735315795424 140423093952247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
/proc/17643/statm: 3854351 1157912 3520 1 0 3815453 0
[pid=17643/tid=17644] ppid=17641 vsize=15417404 memory=4631648 CPUtime=15.74 cores=1,3,5,7
/proc/17643/task/17644/stat : 17644 (java) S 17641 17641 14254 0 -1 1077944384 15735 0 0 0 1537 37 0 0 20 0 19 0 407941134 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423098193024 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17645] ppid=17641 vsize=15417404 memory=4631648 CPUtime=3.43 cores=1,3,5,7
/proc/17643/task/17645/stat : 17645 (java) S 17641 17641 14254 0 -1 1077944384 7754 0 0 0 271 72 0 0 20 0 19 0 407941135 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423021992720 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17646] ppid=17641 vsize=15417404 memory=4631648 CPUtime=3.43 cores=1,3,5,7
/proc/17643/task/17646/stat : 17646 (java) S 17641 17641 14254 0 -1 1077944384 3937 0 0 0 271 72 0 0 20 0 19 0 407941135 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423020940176 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17647] ppid=17641 vsize=15417404 memory=1452 CPUtime=3.4 cores=1,3,5,7
/proc/17643/task/17647/stat : 17647 (java) S 17641 17641 14254 0 -1 1077944384 3012 0 0 0 272 68 0 0 20 0 19 0 407941135 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423019887632 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17648] ppid=17641 vsize=15417404 memory=164 CPUtime=3.39 cores=1,3,5,7
/proc/17643/task/17648/stat : 17648 (java) S 17641 17641 14254 0 -1 1077944384 7646 0 0 0 267 72 0 0 20 0 19 0 407941135 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140423018835088 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17649] ppid=17641 vsize=15417404 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/17643/task/17649/stat : 17649 (java) S 17641 17641 14254 0 -1 1077944384 5161 0 0 0 93 1 0 0 20 0 19 0 407941136 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422562461680 140423093963394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17650] ppid=17641 vsize=15417404 memory=15315853380637 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17650/stat : 17650 (java) S 17641 17641 14254 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 407941137 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422561407968 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17651] ppid=17641 vsize=15417404 memory=7379821360432300132 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17651/stat : 17651 (java) S 17641 17641 14254 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 407941137 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422560355328 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17652] ppid=17641 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17652/stat : 17652 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407941139 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422559303888 140423093970843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17653] ppid=17641 vsize=15417404 memory=0 CPUtime=1.75 cores=1,3,5,7
/proc/17643/task/17653/stat : 17653 (java) S 17641 17641 14254 0 -1 1077944384 7131 0 0 0 174 1 0 0 20 0 19 0 407941139 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422558251504 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17654] ppid=17641 vsize=15417404 memory=2552 CPUtime=1.66 cores=1,3,5,7
/proc/17643/task/17654/stat : 17654 (java) S 17641 17641 14254 0 -1 1077944384 8596 0 0 0 166 0 0 0 20 0 19 0 407941139 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422557198960 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17655] ppid=17641 vsize=15417404 memory=1760 CPUtime=0.61 cores=1,3,5,7
/proc/17643/task/17655/stat : 17655 (java) S 17641 17641 14254 0 -1 1077944384 6548 0 0 0 60 1 0 0 20 0 19 0 407941139 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422556146416 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17656] ppid=17641 vsize=15417404 memory=166 CPUtime=0 cores=1,3,5,7
/proc/17643/task/17656/stat : 17656 (java) S 17641 17641 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407941140 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422555094112 140423093962453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17657] ppid=17641 vsize=15417404 memory=61 CPUtime=0.03 cores=1,3,5,7
/proc/17643/task/17657/stat : 17657 (java) S 17641 17641 14254 0 -1 1077944384 857 0 0 0 1 2 0 0 20 0 19 0 407941140 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140422554040624 140423093963394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17659] ppid=17641 vsize=15417404 memory=6791534058613427641 CPUtime=60.83 cores=1,3,5,7
/proc/17643/task/17659/stat : 17659 (java) R 17641 17641 14254 0 -1 4202560 1119 0 0 0 6083 0 0 0 20 0 19 0 407943150 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421949803256 140422703271585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17660] ppid=17641 vsize=15417404 memory=16884 CPUtime=61.02 cores=1,3,5,7
/proc/17643/task/17660/stat : 17660 (java) R 17641 17641 14254 0 -1 4202560 1952 0 0 0 6102 0 0 0 20 0 19 0 407943151 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421948753656 140422703271910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17661] ppid=17641 vsize=15417404 memory=988 CPUtime=61.08 cores=1,3,5,7
/proc/17643/task/17661/stat : 17661 (java) R 17641 17641 14254 0 -1 4202560 1019 0 0 0 6108 0 0 0 20 0 19 0 407943151 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421947699040 140422703420362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
[pid=17643/tid=17662] ppid=17641 vsize=15417404 memory=2016 CPUtime=59.97 cores=1,3,5,7
/proc/17643/task/17662/stat : 17662 (java) R 17641 17641 14254 0 -1 4202560 2694 0 0 0 5997 0 0 0 20 0 19 0 407943151 15787421696 1157912 33554432000 4194304 4196468 140735315812880 140421946646744 140422703420362 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24408064 140735315821551 140735315821722 140735315821722 140735315824591 0
Current children cumulated CPU time: 277.43 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4633100 KiB
Child status: 0
Real time (s): 81.7491
CPU time (s): 277.543
CPU user time (s): 274.22
CPU system time (s): 3.32299
CPU usage (%): 339.506
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 4633100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 274.22
system time used= 3.32299
maximum resident set size= 4631808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5077
involuntary context switches= 3741
# summary of solver processes directly reported to runsolver:
# pid: 17641
# total CPU time (s): 277.543
# total CPU user time (s): 274.22
# total CPU system time (s): 3.32299
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.537772 second user time and 0.951075 second system time
The end