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 (13163 MiB free)
memory of node 1: 16384 MiB (15349 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392913-1568314344/watcher-4392913-1568314344 -o /tmp/evaluation-result-4392913-1568314344/solver-4392913-1568314344 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1462847203 HOME/instance-4392913-1568314344.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=15598, runsolver pid=15595
[startup+0.100091 s]*
/proc/loadavg: 6.73 7.74 5.82 7/233 15614
/proc/meminfo: memFree=29179664/32770624 swapFree=66996212/67108860
[pid=15598] ppid=15595 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15598/stat : 15598 (xcsp3-exec) S 15595 15598 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407689065 115843072 362 33554432000 4194304 5098028 140731142860288 140731142858392 139841069015676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9588736 140731142861690 140731142861933 140731142861933 140731142864842 0
/proc/15598/statm: 28282 362 304 221 0 87 0
[pid=15600] ppid=15598 vsize=15144768 memory=29044 CPUtime=0.13 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15598 15598 14062 0 -1 1077944320 5727 0 0 0 12 1 0 0 20 0 15 0 407689065 15508242432 7261 33554432000 4194304 4196468 140726807902560 140726807885104 139641371774711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
/proc/15600/statm: 3786192 7261 3118 1 0 3748377 0
[pid=15600/tid=15601] ppid=15598 vsize=15144768 memory=-2698087569006908830 CPUtime=0.08 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (java) R 15598 15598 14062 0 -1 4202560 3652 0 0 0 8 0 0 0 20 0 15 0 407689065 15508242432 7261 33554432000 4194304 4196468 140726807902560 139641376004784 139641364011838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15602] ppid=15598 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689066 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640964095120 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15603] ppid=15598 vsize=15144768 memory=140042001176192 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689066 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640963042320 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15604] ppid=15598 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689066 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640961989520 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15605] ppid=15598 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15598 15598 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407689066 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640960936720 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15606] ppid=15598 vsize=15144768 memory=140042001176192 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15598 15598 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407689068 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640245786992 139641371785858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15607] ppid=15598 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15598 15598 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407689068 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640244732960 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15608] ppid=15598 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15598 15598 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407689068 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640243680112 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15609] ppid=15598 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407689071 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640242628432 139641371793307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15610] ppid=15598 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) R 15598 15598 14062 0 -1 4202560 297 0 0 0 0 0 0 0 20 0 15 0 407689071 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640241577112 139641351638655 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15611] ppid=15598 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) S 15598 15598 14062 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 407689071 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640240524016 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15612] ppid=15598 vsize=15144768 memory=140042001176192 CPUtime=0.02 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) S 15598 15598 14062 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 15 0 407689071 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640239471216 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15613] ppid=15598 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407689071 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640238418656 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15614] ppid=15598 vsize=15144768 memory=140042001176192 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689071 15508242432 7261 33554432000 4194304 4196468 140726807902560 139640237365936 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30492 KiB
[startup+0.214502 s]*
/proc/loadavg: 6.73 7.74 5.82 6/233 15614
/proc/meminfo: memFree=29165484/32770624 swapFree=66996212/67108860
[pid=15598] ppid=15595 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15598/stat : 15598 (xcsp3-exec) S 15595 15598 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407689065 115843072 362 33554432000 4194304 5098028 140731142860288 140731142858392 139841069015676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9588736 140731142861690 140731142861933 140731142861933 140731142864842 0
/proc/15598/statm: 28282 362 304 221 0 87 0
[pid=15600] ppid=15598 vsize=15144768 memory=40164 CPUtime=0.35 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15598 15598 14062 0 -1 1077944320 9331 0 0 0 33 2 0 0 20 0 15 0 407689065 15508242432 10041 33554432000 4194304 4196468 140726807902560 140726807885104 139641371774711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
/proc/15600/statm: 3786192 10041 3273 1 0 3748377 0
[pid=15600/tid=15601] ppid=15598 vsize=15144768 memory=7883960649037381690 CPUtime=0.21 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (java) R 15598 15598 14062 0 -1 4202560 6633 0 0 0 19 2 0 0 20 0 15 0 407689065 15508242432 10041 33554432000 4194304 4196468 140726807902560 139641376009696 139641371786646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15602] ppid=15598 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689066 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640964095120 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15603] ppid=15598 vsize=15144768 memory=2855612 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689066 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640963042320 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15604] ppid=15598 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689066 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640961989520 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15605] ppid=15598 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15598 15598 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407689066 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640960936720 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15606] ppid=15598 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15598 15598 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407689068 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640245786992 139641371785858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15607] ppid=15598 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15598 15598 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407689068 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640244732960 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15608] ppid=15598 vsize=15144768 memory=140042001176192 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15598 15598 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407689068 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640243680112 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15609] ppid=15598 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407689071 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640242628432 139641371793307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15610] ppid=15598 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15598 15598 14062 0 -1 1077944384 449 0 0 0 3 0 0 0 20 0 15 0 407689071 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640241576816 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15611] ppid=15598 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) S 15598 15598 14062 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 15 0 407689071 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640240524016 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15612] ppid=15598 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) R 15598 15598 14062 0 -1 4202560 788 0 0 0 8 0 0 0 20 0 15 0 407689071 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640239471216 139641371796058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15613] ppid=15598 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407689071 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640238418656 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15614] ppid=15598 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689071 15508242432 10041 33554432000 4194304 4196468 140726807902560 139640237365936 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41612 KiB
[startup+0.310568 s]*
/proc/loadavg: 6.73 7.74 5.82 7/233 15614
/proc/meminfo: memFree=29157592/32770624 swapFree=66996212/67108860
[pid=15598] ppid=15595 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15598/stat : 15598 (xcsp3-exec) S 15595 15598 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407689065 115843072 362 33554432000 4194304 5098028 140731142860288 140731142858392 139841069015676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9588736 140731142861690 140731142861933 140731142861933 140731142864842 0
/proc/15598/statm: 28282 362 304 221 0 87 0
[pid=15600] ppid=15598 vsize=15149024 memory=49932 CPUtime=0.53 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15598 15598 14062 0 -1 1077944320 10769 0 0 0 50 3 0 0 20 0 15 0 407689065 15512600576 12483 33554432000 4194304 4196468 140726807902560 140726807885104 139641371774711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
/proc/15600/statm: 3787256 12483 3373 1 0 3748377 0
[pid=15600/tid=15601] ppid=15598 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (java) R 15598 15598 14062 0 -1 4202560 7768 0 0 0 28 2 0 0 20 0 15 0 407689065 15512600576 12483 33554432000 4194304 4196468 140726807902560 139641376001768 139641355855198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15602] ppid=15598 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689066 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640964095120 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15603] ppid=15598 vsize=15149024 memory=2855103 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689066 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640963042320 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15604] ppid=15598 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689066 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640961989520 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15605] ppid=15598 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15598 15598 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407689066 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640960936720 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15606] ppid=15598 vsize=15149024 memory=140042001176192 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15598 15598 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407689068 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640245786992 139641371785858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15607] ppid=15598 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15598 15598 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407689068 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640244732960 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15608] ppid=15598 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15598 15598 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407689068 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640243680112 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15609] ppid=15598 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407689071 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640242628432 139641371793307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15610] ppid=15598 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15598 15598 14062 0 -1 1077944384 464 0 0 0 5 0 0 0 20 0 15 0 407689071 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640241576816 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15611] ppid=15598 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) R 15598 15598 14062 0 -1 4202560 298 0 0 0 4 0 0 0 20 0 15 0 407689071 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640240523200 139641353319371 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15612] ppid=15598 vsize=15149024 memory=140042001176192 CPUtime=0.12 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) S 15598 15598 14062 0 -1 1077944384 943 0 0 0 12 0 0 0 20 0 15 0 407689071 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640239471216 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15613] ppid=15598 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407689071 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640238418656 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15614] ppid=15598 vsize=15149024 memory=140042001176192 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689071 15512600576 12483 33554432000 4194304 4196468 140726807902560 139640237365936 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51380 KiB
[startup+0.701286 s]
/proc/loadavg: 6.73 7.74 5.82 7/233 15614
/proc/meminfo: memFree=29088144/32770624 swapFree=66996212/67108860
[pid=15598] ppid=15595 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15598/stat : 15598 (xcsp3-exec) S 15595 15598 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407689065 115843072 362 33554432000 4194304 5098028 140731142860288 140731142858392 139841069015676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9588736 140731142861690 140731142861933 140731142861933 140731142864842 0
/proc/15598/statm: 28282 362 304 221 0 87 0
[pid=15600] ppid=15598 vsize=15151148 memory=193620 CPUtime=1.73 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15598 15598 14062 0 -1 1077944320 16101 0 0 0 167 6 0 0 20 0 15 0 407689065 15514775552 48405 33554432000 4194304 4196468 140726807902560 140726807885104 139641371774711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
/proc/15600/statm: 3787787 48405 3458 1 0 3748889 0
[pid=15600/tid=15601] ppid=15598 vsize=15151148 memory=11932 CPUtime=0.66 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (java) R 15598 15598 14062 0 -1 4202560 8600 0 0 0 62 4 0 0 20 0 15 0 407689065 15514775552 48405 33554432000 4194304 4196468 140726807902560 139641376010864 139641355934945 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15602] ppid=15598 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407689066 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640964095120 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15603] ppid=15598 vsize=15151148 memory=500 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15598 15598 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407689066 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640963042320 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15604] ppid=15598 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689066 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640961989520 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15605] ppid=15598 vsize=15151148 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15598 15598 14062 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 407689066 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640960936720 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15606] ppid=15598 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15598 15598 14062 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 407689068 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640245786992 139641371785858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15607] ppid=15598 vsize=15151148 memory=876 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15598 15598 14062 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 407689068 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640244732960 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15608] ppid=15598 vsize=15151148 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15598 15598 14062 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 407689068 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640243680112 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15609] ppid=15598 vsize=15151148 memory=7086240636179075427 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407689071 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640242628432 139641371793307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15610] ppid=15598 vsize=15151148 memory=7453282923427948884 CPUtime=0.28 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) R 15598 15598 14062 0 -1 4202560 1959 0 0 0 28 0 0 0 20 0 15 0 407689071 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640241562912 139641354979112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15611] ppid=15598 vsize=15151148 memory=7223879631928058176 CPUtime=0.32 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) R 15598 15598 14062 0 -1 4202560 1517 0 0 0 32 0 0 0 20 0 15 0 407689071 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640240515056 139641353297679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15612] ppid=15598 vsize=15151148 memory=8514726395714826909 CPUtime=0.41 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) R 15598 15598 14062 0 -1 4202560 2611 0 0 0 40 1 0 0 20 0 15 0 407689071 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640239470320 139641364871547 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15613] ppid=15598 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407689071 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640238418656 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15614] ppid=15598 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15598 15598 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407689071 15514775552 48405 33554432000 4194304 4196468 140726807902560 139640237365936 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 195068 KiB
[startup+1.50133 s]
/proc/loadavg: 6.73 7.74 5.82 8/233 15614
/proc/meminfo: memFree=29009280/32770624 swapFree=66996212/67108860
[pid=15598] ppid=15595 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15598/stat : 15598 (xcsp3-exec) S 15595 15598 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407689065 115843072 362 33554432000 4194304 5098028 140731142860288 140731142858392 139841069015676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9588736 140731142861690 140731142861933 140731142861933 140731142864842 0
/proc/15598/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3466528 KiB
[startup+555.201 s]
/proc/loadavg: 8.56 8.27 6.96 9/237 15914
/proc/meminfo: memFree=18552968/32770624 swapFree=66996220/67108860
[pid=15598] ppid=15595 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15598/stat : 15598 (xcsp3-exec) S 15595 15598 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407689065 115843072 362 33554432000 4194304 5098028 140731142860288 140731142858392 139841069015676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9588736 140731142861690 140731142861933 140731142861933 140731142864842 0
/proc/15598/statm: 28282 362 304 221 0 87 0
[pid=15600] ppid=15598 vsize=15419452 memory=3465080 CPUtime=2206.63 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15598 15598 14062 0 -1 1077944320 114634 0 0 0 220551 112 0 0 20 0 19 0 407689065 15789518848 866270 33554432000 4194304 4196468 140726807902560 140726807885104 139641371774711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
/proc/15600/statm: 3854863 866270 3535 1 0 3815965 0
[pid=15600/tid=15601] ppid=15598 vsize=15419452 memory=22916 CPUtime=3 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (java) S 15598 15598 14062 0 -1 1077944384 9901 0 0 0 290 10 0 0 20 0 19 0 407689065 15789518848 866270 33554432000 4194304 4196468 140726807902560 139641376015488 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15602] ppid=15598 vsize=15419452 memory=984 CPUtime=0.36 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) S 15598 15598 14062 0 -1 1077944384 2170 0 0 0 28 8 0 0 20 0 19 0 407689066 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640964095120 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15603] ppid=15598 vsize=15419452 memory=6791534058613427641 CPUtime=0.36 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15598 15598 14062 0 -1 1077944384 1336 0 0 0 28 8 0 0 20 0 19 0 407689066 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640963042320 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15604] ppid=15598 vsize=15419452 memory=3465080 CPUtime=0.4 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15598 15598 14062 0 -1 1077944384 3014 0 0 0 31 9 0 0 20 0 19 0 407689066 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640961989520 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15605] ppid=15598 vsize=15419452 memory=7091870251727677504 CPUtime=0.35 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15598 15598 14062 0 -1 1077944384 2080 0 0 0 27 8 0 0 20 0 19 0 407689066 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640960936720 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15606] ppid=15598 vsize=15419452 memory=7737865218749382756 CPUtime=0.06 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15598 15598 14062 0 -1 1077944384 4783 0 0 0 4 2 0 0 20 0 19 0 407689068 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640245786992 139641371785858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15607] ppid=15598 vsize=15419452 memory=7451036680982127211 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15598 15598 14062 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 407689068 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640244733024 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15608] ppid=15598 vsize=15419452 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15598 15598 14062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407689068 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640243680128 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15609] ppid=15598 vsize=15419452 memory=948 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407689071 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640242628432 139641371793307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15610] ppid=15598 vsize=15419452 memory=2832 CPUtime=5.08 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15598 15598 14062 0 -1 1077944384 23021 0 0 0 505 3 0 0 20 0 19 0 407689071 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640241576816 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15611] ppid=15598 vsize=15419452 memory=9404 CPUtime=5.39 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) S 15598 15598 14062 0 -1 1077944384 17326 0 0 0 537 2 0 0 20 0 19 0 407689071 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640240524016 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15612] ppid=15598 vsize=15419452 memory=1548 CPUtime=1.05 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) S 15598 15598 14062 0 -1 1077944384 12395 0 0 0 104 1 0 0 20 0 19 0 407689071 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640239471216 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15613] ppid=15598 vsize=15419452 memory=628 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407689071 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640238418656 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15614] ppid=15598 vsize=15419452 memory=1448 CPUtime=0.26 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15598 15598 14062 0 -1 1077944384 1157 0 0 0 0 26 0 0 20 0 19 0 407689071 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640237365936 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15617] ppid=15598 vsize=15419452 memory=3465080 CPUtime=548.51 cores=1,3,5,7
/proc/15600/task/15617/stat : 15617 (java) R 15598 15598 14062 0 -1 4202560 2605 0 0 0 54850 1 0 0 20 0 19 0 407689386 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640226056896 139641017917013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15618] ppid=15598 vsize=15419452 memory=5444 CPUtime=548.54 cores=1,3,5,7
/proc/15600/task/15618/stat : 15618 (java) R 15598 15598 14062 0 -1 4202560 28373 0 0 0 54801 53 0 0 20 0 19 0 407689386 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640225005512 139641020161011 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15619] ppid=15598 vsize=15419452 memory=1448 CPUtime=545.82 cores=1,3,5,7
/proc/15600/task/15619/stat : 15619 (java) R 15598 15598 14062 0 -1 4202560 1713 0 0 0 54581 1 0 0 20 0 19 0 407689386 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640223952664 139641017917013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15620] ppid=15598 vsize=15419452 memory=1448 CPUtime=547.32 cores=1,3,5,7
/proc/15600/task/15620/stat : 15620 (java) R 15598 15598 14062 0 -1 4202560 3459 0 0 0 54731 1 0 0 20 0 19 0 407689386 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640222900872 139641018516757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
Current children cumulated CPU time: 2206.63 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3466528 KiB
[startup+556.001 s]*
/proc/loadavg: 8.56 8.27 6.96 9/237 15914
/proc/meminfo: memFree=18552968/32770624 swapFree=66996220/67108860
[pid=15598] ppid=15595 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15598/stat : 15598 (xcsp3-exec) S 15595 15598 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407689065 115843072 362 33554432000 4194304 5098028 140731142860288 140731142858392 139841069015676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9588736 140731142861690 140731142861933 140731142861933 140731142864842 0
/proc/15598/statm: 28282 362 304 221 0 87 0
[pid=15600] ppid=15598 vsize=15419452 memory=3465080 CPUtime=2209.85 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15598 15598 14062 0 -1 1077944320 114636 0 0 0 220873 112 0 0 20 0 19 0 407689065 15789518848 866270 33554432000 4194304 4196468 140726807902560 140726807885104 139641371774711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
/proc/15600/statm: 3854863 866270 3535 1 0 3815965 0
[pid=15600/tid=15601] ppid=15598 vsize=15419452 memory=8317482817917895235 CPUtime=3 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (java) S 15598 15598 14062 0 -1 1077944384 9901 0 0 0 290 10 0 0 20 0 19 0 407689065 15789518848 866270 33554432000 4194304 4196468 140726807902560 139641376015488 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15602] ppid=15598 vsize=15419452 memory=4126316290023845779 CPUtime=0.36 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) S 15598 15598 14062 0 -1 1077944384 2170 0 0 0 28 8 0 0 20 0 19 0 407689066 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640964095120 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15603] ppid=15598 vsize=15419452 memory=1556 CPUtime=0.36 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15598 15598 14062 0 -1 1077944384 1336 0 0 0 28 8 0 0 20 0 19 0 407689066 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640963042320 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15604] ppid=15598 vsize=15419452 memory=500 CPUtime=0.4 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15598 15598 14062 0 -1 1077944384 3014 0 0 0 31 9 0 0 20 0 19 0 407689066 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640961989520 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15605] ppid=15598 vsize=15419452 memory=928 CPUtime=0.35 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15598 15598 14062 0 -1 1077944384 2080 0 0 0 27 8 0 0 20 0 19 0 407689066 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640960936720 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15606] ppid=15598 vsize=15419452 memory=1528 CPUtime=0.06 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15598 15598 14062 0 -1 1077944384 4783 0 0 0 4 2 0 0 20 0 19 0 407689068 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640245786992 139641371785858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15607] ppid=15598 vsize=15419452 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15598 15598 14062 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 407689068 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640244733024 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15608] ppid=15598 vsize=15419452 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15598 15598 14062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407689068 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640243680128 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15609] ppid=15598 vsize=15419452 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407689071 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640242628432 139641371793307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15610] ppid=15598 vsize=15419452 memory=772 CPUtime=5.08 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15598 15598 14062 0 -1 1077944384 23021 0 0 0 505 3 0 0 20 0 19 0 407689071 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640241576816 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15611] ppid=15598 vsize=15419452 memory=4008 CPUtime=5.39 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) S 15598 15598 14062 0 -1 1077944384 17326 0 0 0 537 2 0 0 20 0 19 0 407689071 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640240524016 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15612] ppid=15598 vsize=15419452 memory=948 CPUtime=1.05 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) S 15598 15598 14062 0 -1 1077944384 12395 0 0 0 104 1 0 0 20 0 19 0 407689071 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640239471216 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15613] ppid=15598 vsize=15419452 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407689071 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640238418656 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15614] ppid=15598 vsize=15419452 memory=9404 CPUtime=0.26 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15598 15598 14062 0 -1 1077944384 1157 0 0 0 0 26 0 0 20 0 19 0 407689071 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640237365936 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15617] ppid=15598 vsize=15419452 memory=1548 CPUtime=549.32 cores=1,3,5,7
/proc/15600/task/15617/stat : 15617 (java) R 15598 15598 14062 0 -1 4202560 2605 0 0 0 54931 1 0 0 20 0 19 0 407689386 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640226056896 139641017917013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15618] ppid=15598 vsize=15419452 memory=628 CPUtime=549.35 cores=1,3,5,7
/proc/15600/task/15618/stat : 15618 (java) R 15598 15598 14062 0 -1 4202560 28375 0 0 0 54882 53 0 0 20 0 19 0 407689386 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640225005512 139641020161326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15619] ppid=15598 vsize=15419452 memory=1056 CPUtime=546.63 cores=1,3,5,7
/proc/15600/task/15619/stat : 15619 (java) R 15598 15598 14062 0 -1 4202560 1713 0 0 0 54662 1 0 0 20 0 19 0 407689386 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640223952664 139641018516124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15620] ppid=15598 vsize=15419452 memory=1556 CPUtime=548.11 cores=1,3,5,7
/proc/15600/task/15620/stat : 15620 (java) R 15598 15598 14062 0 -1 4202560 3459 0 0 0 54810 1 0 0 20 0 19 0 407689386 15789518848 866270 33554432000 4194304 4196468 140726807902560 139640222900872 139641017923447 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
Current children cumulated CPU time: 2209.85 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3466528 KiB
[startup+556.401 s]
/proc/loadavg: 8.56 8.27 6.96 9/237 15914
/proc/meminfo: memFree=18552968/32770624 swapFree=66996220/67108860
[pid=15598] ppid=15595 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15598/stat : 15598 (xcsp3-exec) S 15595 15598 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407689065 115843072 362 33554432000 4194304 5098028 140731142860288 140731142858392 139841069015676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9588736 140731142861690 140731142861933 140731142861933 140731142864842 0
/proc/15598/statm: 28282 362 304 221 0 87 0
[pid=15600] ppid=15598 vsize=15419452 memory=3468660 CPUtime=2211.41 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15598 15598 14062 0 -1 1077944320 114675 0 0 0 221029 112 0 0 20 0 19 0 407689065 15789518848 867165 33554432000 4194304 4196468 140726807902560 140726807885104 139641371774711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
/proc/15600/statm: 3854863 867165 3535 1 0 3815965 0
[pid=15600/tid=15601] ppid=15598 vsize=15419452 memory=916 CPUtime=3 cores=1,3,5,7
/proc/15600/task/15601/stat : 15601 (java) S 15598 15598 14062 0 -1 1077944384 9901 0 0 0 290 10 0 0 20 0 19 0 407689065 15789518848 867165 33554432000 4194304 4196468 140726807902560 139641376015488 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15602] ppid=15598 vsize=15419452 memory=3848 CPUtime=0.37 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) S 15598 15598 14062 0 -1 1077944384 2171 0 0 0 29 8 0 0 20 0 19 0 407689066 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640964095120 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15603] ppid=15598 vsize=15419452 memory=2688 CPUtime=0.36 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15598 15598 14062 0 -1 1077944384 1341 0 0 0 28 8 0 0 20 0 19 0 407689066 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640963042320 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15604] ppid=15598 vsize=15419452 memory=2596 CPUtime=0.4 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15598 15598 14062 0 -1 1077944384 3015 0 0 0 31 9 0 0 20 0 19 0 407689066 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640961989520 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15605] ppid=15598 vsize=15419452 memory=1412 CPUtime=0.35 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15598 15598 14062 0 -1 1077944384 2081 0 0 0 27 8 0 0 20 0 19 0 407689066 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640960936720 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15606] ppid=15598 vsize=15419452 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15598 15598 14062 0 -1 1077944384 4797 0 0 0 4 2 0 0 20 0 19 0 407689068 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640245786992 139641371785858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15607] ppid=15598 vsize=15419452 memory=3465080 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15598 15598 14062 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 407689068 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640244733024 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15608] ppid=15598 vsize=15419452 memory=11932 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15598 15598 14062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407689068 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640243680128 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15609] ppid=15598 vsize=15419452 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407689071 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640242628432 139641371793307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15610] ppid=15598 vsize=15419452 memory=500 CPUtime=5.08 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15598 15598 14062 0 -1 1077944384 23021 0 0 0 505 3 0 0 20 0 19 0 407689071 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640241576816 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15611] ppid=15598 vsize=15419452 memory=928 CPUtime=5.39 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) S 15598 15598 14062 0 -1 1077944384 17326 0 0 0 537 2 0 0 20 0 19 0 407689071 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640240524016 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15612] ppid=15598 vsize=15419452 memory=1528 CPUtime=1.05 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) S 15598 15598 14062 0 -1 1077944384 12395 0 0 0 104 1 0 0 20 0 19 0 407689071 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640239471216 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15613] ppid=15598 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15598 15598 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407689071 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640238418656 139641371784917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15614] ppid=15598 vsize=15419452 memory=876 CPUtime=0.26 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15598 15598 14062 0 -1 1077944384 1157 0 0 0 0 26 0 0 20 0 19 0 407689071 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640237365936 139641371785858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15617] ppid=15598 vsize=15419452 memory=1980 CPUtime=549.7 cores=1,3,5,7
/proc/15600/task/15617/stat : 15617 (java) R 15598 15598 14062 0 -1 4202560 2606 0 0 0 54969 1 0 0 20 0 19 0 407689386 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640226057096 139641018515429 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15618] ppid=15598 vsize=15419452 memory=2552 CPUtime=549.73 cores=1,3,5,7
/proc/15600/task/15618/stat : 15618 (java) R 15598 15598 14062 0 -1 4202560 28384 0 0 0 54920 53 0 0 20 0 19 0 407689386 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640225005232 139641018795082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15619] ppid=15598 vsize=15419452 memory=1760 CPUtime=547.02 cores=1,3,5,7
/proc/15600/task/15619/stat : 15619 (java) R 15598 15598 14062 0 -1 4202560 1717 0 0 0 54701 1 0 0 20 0 19 0 407689386 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640223952400 139641017916553 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
[pid=15600/tid=15620] ppid=15598 vsize=15419452 memory=111632 CPUtime=548.5 cores=1,3,5,7
/proc/15600/task/15620/stat : 15620 (java) R 15598 15598 14062 0 -1 4202560 3462 0 0 0 54849 1 0 0 20 0 19 0 407689386 15789518848 867165 33554432000 4194304 4196468 140726807902560 139640222902832 139641017922755 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21270528 140726807905263 140726807905434 140726807905434 140726807908303 0
Current children cumulated CPU time: 2211.41 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3470108 KiB
[startup+556.801 s]
/proc/loadavg: 8.56 8.27 6.96 9/237 15914
/proc/meminfo: memFree=18552968/32770624 swapFree=66996220/67108860
[pid=15598] ppid=15595 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15598/stat : 15598 (xcsp3-exec) S 15595 15598 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407689065 115843072 362 33554432000 4194304 5098028 140731142860288 140731142858392 139841069015676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9588736 140731142861690 140731142861933 140731142861933 140731142864842 0
/proc/15598/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 556.812
CPU time (s): 2212.98
CPU user time (s): 2211.83
CPU system time (s): 1.14914
CPU usage (%): 397.438
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 3470108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2211.83
system time used= 1.14914
maximum resident set size= 3469228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15833
involuntary context switches= 36857
# summary of solver processes directly reported to runsolver:
# pid: 15598
# total CPU time (s): 2212.98
# total CPU user time (s): 2211.83
# total CPU system time (s): 1.14914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.70207 second user time and 6.52052 second system time
The end