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 (13090 MiB free)
memory of node 1: 16384 MiB (10056 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394350-1568351809/watcher-4394350-1568351809 -o /tmp/evaluation-result-4394350-1568351809/solver-4394350-1568351809 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568351220-12150 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2026472241 HOME/instance-4394350-1568351809.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12497, runsolver pid=12494
Current StackSize limit: 8192 KiB
[startup+0.100589 s]*
/proc/loadavg: 7.95 7.24 6.57 7/233 12513
/proc/meminfo: memFree=23688344/32770624 swapFree=66959216/67108860
[pid=12497] ppid=12494 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12497/stat : 12497 (xcsp3-exec) S 12494 12497 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411121159 115843072 363 33554432000 4194304 5098028 140721778772544 140721778770648 139664619397756 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13791232 140721778774906 140721778775149 140721778775149 140721778778058 0
/proc/12497/statm: 28282 363 304 221 0 87 0
[pid=12499] ppid=12497 vsize=15144768 memory=27220 CPUtime=0.13 cores=0,2,4,6
/proc/12499/stat : 12499 (java) S 12497 12497 12119 0 -1 1077944320 5782 0 0 0 11 2 0 0 20 0 15 0 411121159 15508242432 6805 33554432000 4194304 4196468 140730647771296 140730647753840 139807324798711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
/proc/12499/statm: 3786192 6805 3120 1 0 3748377 0
[pid=12499/tid=12500] ppid=12497 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/12499/task/12500/stat : 12500 (java) R 12497 12497 12119 0 -1 4202560 3635 0 0 0 8 1 0 0 20 0 15 0 411121160 15508242432 6805 33554432000 4194304 4196468 140730647771296 139807329032520 139807308879198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12501] ppid=12497 vsize=15144768 memory=3472467961040549072 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12501/stat : 12501 (java) S 12497 12497 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121161 15508242432 6805 33554432000 4194304 4196468 140730647771296 139807294511888 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12502] ppid=12497 vsize=15144768 memory=139832145397376 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12502/stat : 12502 (java) S 12497 12497 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121161 15508242432 6805 33554432000 4194304 4196468 140730647771296 139807293459344 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12503] ppid=12497 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12503/stat : 12503 (java) S 12497 12497 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121161 15508242432 6805 33554432000 4194304 4196468 140730647771296 139806915562512 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12504] ppid=12497 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12504/stat : 12504 (java) S 12497 12497 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121161 15508242432 6805 33554432000 4194304 4196468 140730647771296 139806914509968 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12505] ppid=12497 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12505/stat : 12505 (java) S 12497 12497 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121162 15508242432 6805 33554432000 4194304 4196468 140730647771296 139806792783856 139807324809858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12506] ppid=12497 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12506/stat : 12506 (java) S 12497 12497 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411121162 15508242432 6805 33554432000 4194304 4196468 140730647771296 139806791730080 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12507] ppid=12497 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12507/stat : 12507 (java) S 12497 12497 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411121163 15508242432 6805 33554432000 4194304 4196468 140730647771296 139806790677488 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12508] ppid=12497 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12508/stat : 12508 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121165 15508242432 6805 33554432000 4194304 4196468 140730647771296 139806789626064 139807324817307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12509] ppid=12497 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12509/stat : 12509 (java) R 12497 12497 12119 0 -1 4202560 322 0 0 0 0 0 0 0 20 0 15 0 411121165 15508242432 6805 33554432000 4194304 4196468 140730647771296 139806788565216 139807308234449 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12510] ppid=12497 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12510/stat : 12510 (java) S 12497 12497 12119 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 411121165 15508242432 6805 33554432000 4194304 4196468 140730647771296 139806787521136 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12511] ppid=12497 vsize=15144768 memory=139832145397376 CPUtime=0.02 cores=0,2,4,6
/proc/12499/task/12511/stat : 12511 (java) R 12497 12497 12119 0 -1 4202560 415 0 0 0 2 0 0 0 20 0 15 0 411121165 15508242432 6805 33554432000 4194304 4196468 140730647771296 139806786468592 139807308879198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12512] ppid=12497 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12512/stat : 12512 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121165 15508242432 6805 33554432000 4194304 4196468 140730647771296 139806785416288 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12513] ppid=12497 vsize=15144768 memory=139832145397376 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12513/stat : 12513 (java) S 12497 12497 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121165 15508242432 6805 33554432000 4194304 4196468 140730647771296 139806784362800 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 28672 KiB
[startup+0.211033 s]*
/proc/loadavg: 7.95 7.24 6.57 6/233 12513
/proc/meminfo: memFree=23675616/32770624 swapFree=66959216/67108860
[pid=12497] ppid=12494 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12497/stat : 12497 (xcsp3-exec) S 12494 12497 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411121159 115843072 363 33554432000 4194304 5098028 140721778772544 140721778770648 139664619397756 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13791232 140721778774906 140721778775149 140721778775149 140721778778058 0
/proc/12497/statm: 28282 363 304 221 0 87 0
[pid=12499] ppid=12497 vsize=15144768 memory=39184 CPUtime=0.34 cores=0,2,4,6
/proc/12499/stat : 12499 (java) S 12497 12497 12119 0 -1 1077944320 9515 0 0 0 31 3 0 0 20 0 15 0 411121159 15508242432 9796 33554432000 4194304 4196468 140730647771296 140730647753840 139807324798711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
/proc/12499/statm: 3786192 9796 3304 1 0 3748377 0
[pid=12499/tid=12500] ppid=12497 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=0,2,4,6
/proc/12499/task/12500/stat : 12500 (java) R 12497 12497 12119 0 -1 4202560 6617 0 0 0 18 2 0 0 20 0 15 0 411121160 15508242432 9796 33554432000 4194304 4196468 140730647771296 139807329032832 139807308879198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12501] ppid=12497 vsize=15144768 memory=3472467961040549072 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12501/stat : 12501 (java) S 12497 12497 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121161 15508242432 9796 33554432000 4194304 4196468 140730647771296 139807294511888 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12502] ppid=12497 vsize=15144768 memory=139832145397376 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12502/stat : 12502 (java) S 12497 12497 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121161 15508242432 9796 33554432000 4194304 4196468 140730647771296 139807293459344 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12503] ppid=12497 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12503/stat : 12503 (java) S 12497 12497 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121161 15508242432 9796 33554432000 4194304 4196468 140730647771296 139806915562512 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12504] ppid=12497 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12504/stat : 12504 (java) S 12497 12497 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121161 15508242432 9796 33554432000 4194304 4196468 140730647771296 139806914509968 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12505] ppid=12497 vsize=15144768 memory=139832145397376 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12505/stat : 12505 (java) S 12497 12497 12119 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411121162 15508242432 9796 33554432000 4194304 4196468 140730647771296 139806792783856 139807324809858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12506] ppid=12497 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12506/stat : 12506 (java) S 12497 12497 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411121162 15508242432 9796 33554432000 4194304 4196468 140730647771296 139806791730080 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12507] ppid=12497 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12507/stat : 12507 (java) S 12497 12497 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411121163 15508242432 9796 33554432000 4194304 4196468 140730647771296 139806790677488 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12508] ppid=12497 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12508/stat : 12508 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121165 15508242432 9796 33554432000 4194304 4196468 140730647771296 139806789626064 139807324817307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12509] ppid=12497 vsize=15144768 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12499/task/12509/stat : 12509 (java) S 12497 12497 12119 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 15 0 411121165 15508242432 9796 33554432000 4194304 4196468 140730647771296 139806788573680 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12510] ppid=12497 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/12499/task/12510/stat : 12510 (java) S 12497 12497 12119 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 15 0 411121165 15508242432 9796 33554432000 4194304 4196468 140730647771296 139806787521136 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12511] ppid=12497 vsize=15144768 memory=139832145397376 CPUtime=0.08 cores=0,2,4,6
/proc/12499/task/12511/stat : 12511 (java) R 12497 12497 12119 0 -1 4202560 949 0 0 0 8 0 0 0 20 0 15 0 411121165 15508242432 9796 33554432000 4194304 4196468 140730647771296 139806786468592 139807317905685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12512] ppid=12497 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12512/stat : 12512 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121165 15508242432 9796 33554432000 4194304 4196468 140730647771296 139806785416288 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12513] ppid=12497 vsize=15144768 memory=139832145397376 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12513/stat : 12513 (java) S 12497 12497 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121165 15508242432 9796 33554432000 4194304 4196468 140730647771296 139806784362800 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 40636 KiB
[startup+0.312309 s]*
/proc/loadavg: 7.95 7.24 6.57 8/233 12513
/proc/meminfo: memFree=23669288/32770624 swapFree=66959216/67108860
[pid=12497] ppid=12494 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12497/stat : 12497 (xcsp3-exec) S 12494 12497 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411121159 115843072 363 33554432000 4194304 5098028 140721778772544 140721778770648 139664619397756 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13791232 140721778774906 140721778775149 140721778775149 140721778778058 0
/proc/12497/statm: 28282 363 304 221 0 87 0
[pid=12499] ppid=12497 vsize=15149024 memory=48812 CPUtime=0.53 cores=0,2,4,6
/proc/12499/stat : 12499 (java) S 12497 12497 12119 0 -1 1077944320 11069 0 0 0 49 4 0 0 20 0 15 0 411121159 15512600576 12203 33554432000 4194304 4196468 140730647771296 140730647753840 139807324798711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
/proc/12499/statm: 3787256 12203 3367 1 0 3748377 0
[pid=12499/tid=12500] ppid=12497 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=0,2,4,6
/proc/12499/task/12500/stat : 12500 (java) R 12497 12497 12119 0 -1 4202560 7751 0 0 0 27 3 0 0 20 0 15 0 411121160 15512600576 12231 33554432000 4194304 4196468 140730647771296 139807329033104 139807324820637 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12501] ppid=12497 vsize=15149024 memory=3472467961040549072 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12501/stat : 12501 (java) S 12497 12497 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121161 15512600576 12231 33554432000 4194304 4196468 140730647771296 139807294511888 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12502] ppid=12497 vsize=15149024 memory=139832145397376 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12502/stat : 12502 (java) S 12497 12497 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121161 15512600576 12231 33554432000 4194304 4196468 140730647771296 139807293459344 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12503] ppid=12497 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12503/stat : 12503 (java) S 12497 12497 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121161 15512600576 12231 33554432000 4194304 4196468 140730647771296 139806915562512 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12504] ppid=12497 vsize=15149024 memory=139831988594719 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12504/stat : 12504 (java) S 12497 12497 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411121161 15512600576 12231 33554432000 4194304 4196468 140730647771296 139806914509968 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12505] ppid=12497 vsize=15149024 memory=279663977168672 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12505/stat : 12505 (java) S 12497 12497 12119 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411121162 15512600576 12231 33554432000 4194304 4196468 140730647771296 139806792783856 139807324809858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12506] ppid=12497 vsize=15149024 memory=139831988571663 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12506/stat : 12506 (java) S 12497 12497 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411121162 15512600576 12231 33554432000 4194304 4196468 140730647771296 139806791730080 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12507] ppid=12497 vsize=15149024 memory=279664133978208 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12507/stat : 12507 (java) S 12497 12497 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411121163 15512600576 12231 33554432000 4194304 4196468 140730647771296 139806790677488 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12508] ppid=12497 vsize=15149024 memory=139831988576271 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12508/stat : 12508 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121165 15512600576 12231 33554432000 4194304 4196468 140730647771296 139806789626064 139807324817307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12509] ppid=12497 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12499/task/12509/stat : 12509 (java) S 12497 12497 12119 0 -1 1077944384 443 0 0 0 3 0 0 0 20 0 15 0 411121165 15512600576 12231 33554432000 4194304 4196468 140730647771296 139806788573680 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12510] ppid=12497 vsize=15149024 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/12499/task/12510/stat : 12510 (java) R 12497 12497 12119 0 -1 4202560 389 0 0 0 6 0 0 0 20 0 15 0 411121165 15512600576 12231 33554432000 4194304 4196468 140730647771296 139806787511520 139807304045134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12511] ppid=12497 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/12499/task/12511/stat : 12511 (java) S 12497 12497 12119 0 -1 1077944384 1184 0 0 0 12 0 0 0 20 0 15 0 411121165 15512600576 12231 33554432000 4194304 4196468 140730647771296 139806786468592 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12512] ppid=12497 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12512/stat : 12512 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411121165 15512600576 12231 33554432000 4194304 4196468 140730647771296 139806785416288 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12513] ppid=12497 vsize=15149024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12513/stat : 12513 (java) S 12497 12497 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411121165 15512600576 12231 33554432000 4194304 4196468 140730647771296 139806784362800 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50264 KiB
[startup+0.700807 s]
/proc/loadavg: 7.87 7.23 6.57 9/233 12513
/proc/meminfo: memFree=23650472/32770624 swapFree=66959216/67108860
[pid=12497] ppid=12494 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12497/stat : 12497 (xcsp3-exec) S 12494 12497 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411121159 115843072 363 33554432000 4194304 5098028 140721778772544 140721778770648 139664619397756 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13791232 140721778774906 140721778775149 140721778775149 140721778778058 0
/proc/12497/statm: 28282 363 304 221 0 87 0
[pid=12499] ppid=12497 vsize=15417404 memory=86512 CPUtime=1.58 cores=0,2,4,6
/proc/12499/stat : 12499 (java) S 12497 12497 12119 0 -1 1077944320 15398 0 0 0 151 7 0 0 20 0 19 0 411121159 15787421696 21628 33554432000 4194304 4196468 140730647771296 140730647753840 139807324798711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
/proc/12499/statm: 3854351 21628 3451 1 0 3815453 0
[pid=12499/tid=12500] ppid=12497 vsize=15417404 memory=4639059877604708710 CPUtime=0.61 cores=0,2,4,6
/proc/12499/task/12500/stat : 12500 (java) S 12497 12497 12119 0 -1 1077944384 9322 0 0 0 57 4 0 0 20 0 19 0 411121160 15787421696 21628 33554432000 4194304 4196468 140730647771296 139807329039488 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12501] ppid=12497 vsize=15417404 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12501/stat : 12501 (java) S 12497 12497 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411121161 15787421696 21628 33554432000 4194304 4196468 140730647771296 139807294511888 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12502] ppid=12497 vsize=15417404 memory=6935649255945366865 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12502/stat : 12502 (java) S 12497 12497 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411121161 15787421696 21628 33554432000 4194304 4196468 140730647771296 139807293459344 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12503] ppid=12497 vsize=15417404 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12503/stat : 12503 (java) S 12497 12497 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411121161 15787421696 21628 33554432000 4194304 4196468 140730647771296 139806915562512 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12504] ppid=12497 vsize=15417404 memory=7100839870106604183 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12504/stat : 12504 (java) S 12497 12497 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411121161 15787421696 21628 33554432000 4194304 4196468 140730647771296 139806914509968 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12505] ppid=12497 vsize=15417404 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12505/stat : 12505 (java) S 12497 12497 12119 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 411121162 15787421696 21628 33554432000 4194304 4196468 140730647771296 139806792783856 139807324809858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12506] ppid=12497 vsize=15417404 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12506/stat : 12506 (java) S 12497 12497 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411121162 15787421696 21628 33554432000 4194304 4196468 140730647771296 139806791730080 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12507] ppid=12497 vsize=15417404 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12507/stat : 12507 (java) S 12497 12497 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 411121163 15787421696 21628 33554432000 4194304 4196468 140730647771296 139806790677488 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12508] ppid=12497 vsize=15417404 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12508/stat : 12508 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121165 15787421696 21628 33554432000 4194304 4196468 140730647771296 139806789626064 139807324817307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12509] ppid=12497 vsize=15417404 memory=1660 CPUtime=0.22 cores=0,2,4,6
/proc/12499/task/12509/stat : 12509 (java) R 12497 12497 12119 0 -1 4202560 1300 0 0 0 22 0 0 0 20 0 19 0 411121165 15787421696 21628 33554432000 4194304 4196468 140730647771296 139806788563056 139807308299094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12510] ppid=12497 vsize=15417404 memory=38820 CPUtime=0.22 cores=0,2,4,6
/proc/12499/task/12510/stat : 12510 (java) R 12497 12497 12119 0 -1 4202560 1066 0 0 0 22 0 0 0 20 0 19 0 411121165 15787421696 21628 33554432000 4194304 4196468 140730647771296 139806787514160 139807310862688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12511] ppid=12497 vsize=15417404 memory=988 CPUtime=0.37 cores=0,2,4,6
/proc/12499/task/12511/stat : 12511 (java) R 12497 12497 12119 0 -1 1077944384 2209 0 0 0 37 0 0 0 20 0 19 0 411121165 15787421696 21628 33554432000 4194304 4196468 140730647771296 139806786468720 139807324808917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12512] ppid=12497 vsize=15417404 memory=5793994532452520804 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12512/stat : 12512 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121165 15787421696 21628 33554432000 4194304 4196468 140730647771296 139806785416288 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12513] ppid=12497 vsize=15417404 memory=8099279071866868843 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12513/stat : 12513 (java) S 12497 12497 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411121165 15787421696 21628 33554432000 4194304 4196468 140730647771296 139806784362800 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 87964 KiB
[startup+1.50755 s]
/proc/loadavg: 7.87 7.23 6.57 11/237 12549
/proc/meminfo: memFree=23550160/32770624 swapFree=66959216/67108860
[pid=12497] ppid=12494 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12497/stat : 12497 (xcsp3-exec) S 12494 12497 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411121159 115843072 363 33554432000 4194304 5098028 140721778772544 140721778770648 139664619397756 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13791232 140721778774906 140721778775149 140721778775149 140721778778058 0
/proc/12497/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/12499/task/12513/stat : 12513 (java) S 12497 12497 12119 0 -1 1077944384 853 0 0 0 0 3 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806784362800 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12578] ppid=12497 vsize=15487044 memory=3300 CPUtime=219.74 cores=0,2,4,6
/proc/12499/task/12578/stat : 12578 (java) R 12497 12497 12119 0 -1 4202560 894 0 0 0 21974 0 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806770126216 139806966331508 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12579] ppid=12497 vsize=15487044 memory=1452 CPUtime=219.95 cores=0,2,4,6
/proc/12499/task/12579/stat : 12579 (java) R 12497 12497 12119 0 -1 4202560 2556 0 0 0 21995 0 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806775390184 139806964955420 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12580] ppid=12497 vsize=15487044 memory=1452 CPUtime=219.35 cores=0,2,4,6
/proc/12499/task/12580/stat : 12580 (java) R 12497 12497 12119 0 -1 4202560 2034 0 0 0 21934 1 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806774337536 139806966331508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12581] ppid=12497 vsize=15487044 memory=3360 CPUtime=220.1 cores=0,2,4,6
/proc/12499/task/12581/stat : 12581 (java) R 12497 12497 12119 0 -1 4202560 1459 0 0 0 22010 0 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806773287920 139806966331865 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
Current children cumulated CPU time: 895.78 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 228612 KiB
[startup+226.402 s]
/proc/loadavg: 8.69 7.96 7.00 10/237 12874
/proc/meminfo: memFree=25432712/32770624 swapFree=66959216/67108860
[pid=12497] ppid=12494 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12497/stat : 12497 (xcsp3-exec) S 12494 12497 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411121159 115843072 363 33554432000 4194304 5098028 140721778772544 140721778770648 139664619397756 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13791232 140721778774906 140721778775149 140721778775149 140721778778058 0
/proc/12497/statm: 28282 363 304 221 0 87 0
[pid=12499] ppid=12497 vsize=15487044 memory=227160 CPUtime=898.96 cores=0,2,4,6
/proc/12499/stat : 12499 (java) S 12497 12497 12119 0 -1 1077944320 55254 0 0 0 89870 26 0 0 20 0 19 0 411121159 15858733056 56790 33554432000 4194304 4196468 140730647771296 140730647753840 139807324798711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
/proc/12499/statm: 3871761 56790 3527 1 0 3832863 0
[pid=12499/tid=12500] ppid=12497 vsize=15487044 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/12499/task/12500/stat : 12500 (java) S 12497 12497 12119 0 -1 1077944384 9419 0 0 0 57 4 0 0 20 0 19 0 411121160 15858733056 56790 33554432000 4194304 4196468 140730647771296 139807329039488 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12501] ppid=12497 vsize=15487044 memory=6791534058613427641 CPUtime=0.22 cores=0,2,4,6
/proc/12499/task/12501/stat : 12501 (java) S 12497 12497 12119 0 -1 1077944384 3193 0 0 0 19 3 0 0 20 0 19 0 411121161 15858733056 56790 33554432000 4194304 4196468 140730647771296 139807294511888 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12502] ppid=12497 vsize=15487044 memory=227160 CPUtime=0.2 cores=0,2,4,6
/proc/12499/task/12502/stat : 12502 (java) S 12497 12497 12119 0 -1 1077944384 1023 0 0 0 18 2 0 0 20 0 19 0 411121161 15858733056 56790 33554432000 4194304 4196468 140730647771296 139807293459344 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12503] ppid=12497 vsize=15487044 memory=5964 CPUtime=0.22 cores=0,2,4,6
/proc/12499/task/12503/stat : 12503 (java) S 12497 12497 12119 0 -1 1077944384 1600 0 0 0 19 3 0 0 20 0 19 0 411121161 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806915562512 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12504] ppid=12497 vsize=15487044 memory=1060 CPUtime=0.22 cores=0,2,4,6
/proc/12499/task/12504/stat : 12504 (java) S 12497 12497 12119 0 -1 1077944384 1760 0 0 0 19 3 0 0 20 0 19 0 411121161 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806914509968 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12505] ppid=12497 vsize=15487044 memory=2828 CPUtime=0.16 cores=0,2,4,6
/proc/12499/task/12505/stat : 12505 (java) S 12497 12497 12119 0 -1 1077944384 2568 0 0 0 14 2 0 0 20 0 19 0 411121162 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806792783856 139807324809858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12506] ppid=12497 vsize=15487044 memory=288292160212830026 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12506/stat : 12506 (java) S 12497 12497 12119 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 411121162 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806791730144 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12507] ppid=12497 vsize=15487044 memory=-2892745056951965031 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12507/stat : 12507 (java) S 12497 12497 12119 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 411121163 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806790677504 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12508] ppid=12497 vsize=15487044 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12508/stat : 12508 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806789626064 139807324817307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12509] ppid=12497 vsize=15487044 memory=4945125699554088323 CPUtime=2.38 cores=0,2,4,6
/proc/12499/task/12509/stat : 12509 (java) S 12497 12497 12119 0 -1 1077944384 8698 0 0 0 237 1 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806788573680 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12510] ppid=12497 vsize=15487044 memory=-2025810976467231676 CPUtime=2.35 cores=0,2,4,6
/proc/12499/task/12510/stat : 12510 (java) S 12497 12497 12119 0 -1 1077944384 10299 0 0 0 234 1 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806787521136 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12511] ppid=12497 vsize=15487044 memory=8546823402028195750 CPUtime=0.71 cores=0,2,4,6
/proc/12499/task/12511/stat : 12511 (java) S 12497 12497 12119 0 -1 1077944384 5607 0 0 0 70 1 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806786468592 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12512] ppid=12497 vsize=15487044 memory=-2672971631320983069 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12512/stat : 12512 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806785416288 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12513] ppid=12497 vsize=15487044 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/12499/task/12513/stat : 12513 (java) S 12497 12497 12119 0 -1 1077944384 853 0 0 0 0 3 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806784362800 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12578] ppid=12497 vsize=15487044 memory=227160 CPUtime=220.52 cores=0,2,4,6
/proc/12499/task/12578/stat : 12578 (java) R 12497 12497 12119 0 -1 4202560 895 0 0 0 22052 0 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806770126216 139806966412904 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12579] ppid=12497 vsize=15487044 memory=3360 CPUtime=220.75 cores=0,2,4,6
/proc/12499/task/12579/stat : 12579 (java) R 12497 12497 12119 0 -1 4202560 2556 0 0 0 22075 0 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806775389896 139806965659022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12580] ppid=12497 vsize=15487044 memory=776 CPUtime=220.14 cores=0,2,4,6
/proc/12499/task/12580/stat : 12580 (java) R 12497 12497 12119 0 -1 4202560 2034 0 0 0 22013 1 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806774337392 139806966330324 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12581] ppid=12497 vsize=15487044 memory=1564 CPUtime=220.9 cores=0,2,4,6
/proc/12499/task/12581/stat : 12581 (java) R 12497 12497 12119 0 -1 4202560 1495 0 0 0 22090 0 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806773287696 139806966330979 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
Current children cumulated CPU time: 898.96 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 228612 KiB
[startup+226.802 s]
/proc/loadavg: 8.69 7.96 7.00 10/237 12874
/proc/meminfo: memFree=25432712/32770624 swapFree=66959216/67108860
[pid=12497] ppid=12494 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12497/stat : 12497 (xcsp3-exec) S 12494 12497 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411121159 115843072 363 33554432000 4194304 5098028 140721778772544 140721778770648 139664619397756 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13791232 140721778774906 140721778775149 140721778775149 140721778778058 0
/proc/12497/statm: 28282 363 304 221 0 87 0
[pid=12499] ppid=12497 vsize=15487044 memory=227160 CPUtime=900.55 cores=0,2,4,6
/proc/12499/stat : 12499 (java) S 12497 12497 12119 0 -1 1077944320 55256 0 0 0 90029 26 0 0 20 0 19 0 411121159 15858733056 56790 33554432000 4194304 4196468 140730647771296 140730647753840 139807324798711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
/proc/12499/statm: 3871761 56790 3527 1 0 3832863 0
[pid=12499/tid=12500] ppid=12497 vsize=15487044 memory=7373329805177482348 CPUtime=0.61 cores=0,2,4,6
/proc/12499/task/12500/stat : 12500 (java) S 12497 12497 12119 0 -1 1077944384 9419 0 0 0 57 4 0 0 20 0 19 0 411121160 15858733056 56790 33554432000 4194304 4196468 140730647771296 139807329039488 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12501] ppid=12497 vsize=15487044 memory=1452 CPUtime=0.22 cores=0,2,4,6
/proc/12499/task/12501/stat : 12501 (java) S 12497 12497 12119 0 -1 1077944384 3193 0 0 0 19 3 0 0 20 0 19 0 411121161 15858733056 56790 33554432000 4194304 4196468 140730647771296 139807294511888 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12502] ppid=12497 vsize=15487044 memory=288230574492221466 CPUtime=0.21 cores=0,2,4,6
/proc/12499/task/12502/stat : 12502 (java) S 12497 12497 12119 0 -1 1077944384 1023 0 0 0 19 2 0 0 20 0 19 0 411121161 15858733056 56790 33554432000 4194304 4196468 140730647771296 139807293459344 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12503] ppid=12497 vsize=15487044 memory=288230621803970871 CPUtime=0.22 cores=0,2,4,6
/proc/12499/task/12503/stat : 12503 (java) S 12497 12497 12119 0 -1 1077944384 1600 0 0 0 19 3 0 0 20 0 19 0 411121161 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806915562512 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12504] ppid=12497 vsize=15487044 memory=15818902244428187 CPUtime=0.22 cores=0,2,4,6
/proc/12499/task/12504/stat : 12504 (java) S 12497 12497 12119 0 -1 1077944384 1760 0 0 0 19 3 0 0 20 0 19 0 411121161 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806914509968 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12505] ppid=12497 vsize=15487044 memory=800 CPUtime=0.16 cores=0,2,4,6
/proc/12499/task/12505/stat : 12505 (java) S 12497 12497 12119 0 -1 1077944384 2569 0 0 0 14 2 0 0 20 0 19 0 411121162 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806792783856 139807324809858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12506] ppid=12497 vsize=15487044 memory=4112 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12506/stat : 12506 (java) S 12497 12497 12119 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 411121162 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806791730144 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12507] ppid=12497 vsize=15487044 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12507/stat : 12507 (java) S 12497 12497 12119 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 411121163 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806790677504 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12508] ppid=12497 vsize=15487044 memory=920 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12508/stat : 12508 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806789626064 139807324817307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12509] ppid=12497 vsize=15487044 memory=3844 CPUtime=2.38 cores=0,2,4,6
/proc/12499/task/12509/stat : 12509 (java) S 12497 12497 12119 0 -1 1077944384 8698 0 0 0 237 1 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806788573680 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12510] ppid=12497 vsize=15487044 memory=2592 CPUtime=2.35 cores=0,2,4,6
/proc/12499/task/12510/stat : 12510 (java) S 12497 12497 12119 0 -1 1077944384 10299 0 0 0 234 1 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806787521136 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12511] ppid=12497 vsize=15487044 memory=2688 CPUtime=0.71 cores=0,2,4,6
/proc/12499/task/12511/stat : 12511 (java) S 12497 12497 12119 0 -1 1077944384 5607 0 0 0 70 1 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806786468592 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12512] ppid=12497 vsize=15487044 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12512/stat : 12512 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806785416288 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12513] ppid=12497 vsize=15487044 memory=3212 CPUtime=0.03 cores=0,2,4,6
/proc/12499/task/12513/stat : 12513 (java) S 12497 12497 12119 0 -1 1077944384 853 0 0 0 0 3 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806784362800 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12578] ppid=12497 vsize=15487044 memory=1452 CPUtime=220.92 cores=0,2,4,6
/proc/12499/task/12578/stat : 12578 (java) R 12497 12497 12119 0 -1 4202560 895 0 0 0 22092 0 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806770126216 139806965660591 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12579] ppid=12497 vsize=15487044 memory=227160 CPUtime=221.15 cores=0,2,4,6
/proc/12499/task/12579/stat : 12579 (java) R 12497 12497 12119 0 -1 4202560 2556 0 0 0 22115 0 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806775393024 139806968261213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12580] ppid=12497 vsize=15487044 memory=-7003737579269690708 CPUtime=220.54 cores=0,2,4,6
/proc/12499/task/12580/stat : 12580 (java) R 12497 12497 12119 0 -1 4202560 2034 0 0 0 22053 1 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806774337392 139806966104295 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12581] ppid=12497 vsize=15487044 memory=1760 CPUtime=221.29 cores=0,2,4,6
/proc/12499/task/12581/stat : 12581 (java) R 12497 12497 12119 0 -1 4202560 1496 0 0 0 22129 0 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806773285392 139806966256988 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
Current children cumulated CPU time: 900.55 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 228612 KiB
[startup+226.902 s]
/proc/loadavg: 8.69 7.96 7.00 10/237 12874
/proc/meminfo: memFree=25432712/32770624 swapFree=66959216/67108860
[pid=12497] ppid=12494 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12497/stat : 12497 (xcsp3-exec) S 12494 12497 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411121159 115843072 363 33554432000 4194304 5098028 140721778772544 140721778770648 139664619397756 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13791232 140721778774906 140721778775149 140721778775149 140721778778058 0
/proc/12497/statm: 28282 363 304 221 0 87 0
[pid=12499] ppid=12497 vsize=15487044 memory=227160 CPUtime=900.95 cores=0,2,4,6
/proc/12499/stat : 12499 (java) S 12497 12497 12119 0 -1 1077944320 55256 0 0 0 90069 26 0 0 20 0 19 0 411121159 15858733056 56790 33554432000 4194304 4196468 140730647771296 140730647753840 139807324798711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
/proc/12499/statm: 3871761 56790 3527 1 0 3832863 0
[pid=12499/tid=12500] ppid=12497 vsize=15487044 memory=227160 CPUtime=0.61 cores=0,2,4,6
/proc/12499/task/12500/stat : 12500 (java) S 12497 12497 12119 0 -1 1077944384 9419 0 0 0 57 4 0 0 20 0 19 0 411121160 15858733056 56790 33554432000 4194304 4196468 140730647771296 139807329039488 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12501] ppid=12497 vsize=15487044 memory=227160 CPUtime=0.22 cores=0,2,4,6
/proc/12499/task/12501/stat : 12501 (java) S 12497 12497 12119 0 -1 1077944384 3193 0 0 0 19 3 0 0 20 0 19 0 411121161 15858733056 56790 33554432000 4194304 4196468 140730647771296 139807294511888 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12502] ppid=12497 vsize=15487044 memory=1452 CPUtime=0.21 cores=0,2,4,6
/proc/12499/task/12502/stat : 12502 (java) S 12497 12497 12119 0 -1 1077944384 1023 0 0 0 19 2 0 0 20 0 19 0 411121161 15858733056 56790 33554432000 4194304 4196468 140730647771296 139807293459344 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12503] ppid=12497 vsize=15487044 memory=1452 CPUtime=0.22 cores=0,2,4,6
/proc/12499/task/12503/stat : 12503 (java) S 12497 12497 12119 0 -1 1077944384 1600 0 0 0 19 3 0 0 20 0 19 0 411121161 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806915562512 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12504] ppid=12497 vsize=15487044 memory=227160 CPUtime=0.22 cores=0,2,4,6
/proc/12499/task/12504/stat : 12504 (java) S 12497 12497 12119 0 -1 1077944384 1760 0 0 0 19 3 0 0 20 0 19 0 411121161 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806914509968 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12505] ppid=12497 vsize=15487044 memory=227160 CPUtime=0.16 cores=0,2,4,6
/proc/12499/task/12505/stat : 12505 (java) S 12497 12497 12119 0 -1 1077944384 2569 0 0 0 14 2 0 0 20 0 19 0 411121162 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806792783856 139807324809858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12506] ppid=12497 vsize=15487044 memory=227160 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12506/stat : 12506 (java) S 12497 12497 12119 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 411121162 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806791730144 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12507] ppid=12497 vsize=15487044 memory=227160 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12507/stat : 12507 (java) S 12497 12497 12119 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 411121163 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806790677504 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12508] ppid=12497 vsize=15487044 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12508/stat : 12508 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806789626064 139807324817307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12509] ppid=12497 vsize=15487044 memory=212824 CPUtime=2.38 cores=0,2,4,6
/proc/12499/task/12509/stat : 12509 (java) S 12497 12497 12119 0 -1 1077944384 8698 0 0 0 237 1 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806788573680 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12510] ppid=12497 vsize=15487044 memory=227160 CPUtime=2.35 cores=0,2,4,6
/proc/12499/task/12510/stat : 12510 (java) S 12497 12497 12119 0 -1 1077944384 10299 0 0 0 234 1 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806787521136 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12511] ppid=12497 vsize=15487044 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/12499/task/12511/stat : 12511 (java) S 12497 12497 12119 0 -1 1077944384 5607 0 0 0 70 1 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806786468592 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12512] ppid=12497 vsize=15487044 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12499/task/12512/stat : 12512 (java) S 12497 12497 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806785416288 139807324808917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12513] ppid=12497 vsize=15487044 memory=227160 CPUtime=0.03 cores=0,2,4,6
/proc/12499/task/12513/stat : 12513 (java) S 12497 12497 12119 0 -1 1077944384 853 0 0 0 0 3 0 0 20 0 19 0 411121165 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806784362800 139807324809858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12578] ppid=12497 vsize=15487044 memory=1452 CPUtime=221.02 cores=0,2,4,6
/proc/12499/task/12578/stat : 12578 (java) R 12497 12497 12119 0 -1 4202560 895 0 0 0 22102 0 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806770126216 139806966330664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12579] ppid=12497 vsize=15487044 memory=3620 CPUtime=221.25 cores=0,2,4,6
/proc/12499/task/12579/stat : 12579 (java) R 12497 12497 12119 0 -1 4202560 2556 0 0 0 22125 0 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806775393024 139806964955008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12580] ppid=12497 vsize=15487044 memory=1660 CPUtime=220.64 cores=0,2,4,6
/proc/12499/task/12580/stat : 12580 (java) R 12497 12497 12119 0 -1 4202560 2034 0 0 0 22063 1 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806774337392 139806965657344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
[pid=12499/tid=12581] ppid=12497 vsize=15487044 memory=38820 CPUtime=221.39 cores=0,2,4,6
/proc/12499/task/12581/stat : 12581 (java) R 12497 12497 12119 0 -1 4202560 1496 0 0 0 22139 0 0 0 20 0 19 0 411121569 15858733056 56790 33554432000 4194304 4196468 140730647771296 139806773285392 139806967947226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35385344 140730647774191 140730647774362 140730647774362 140730647777231 0
Current children cumulated CPU time: 900.95 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 228612 KiB
Child status: 0
Real time (s): 226.934
CPU time (s): 901.066
CPU user time (s): 900.793
CPU system time (s): 0.272996
CPU usage (%): 397.06
Max. virtual memory (cumulated for all children) (KiB): 15600172
Max. memory (cumulated for all children) (KiB): 228612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 900.793
system time used= 0.272996
maximum resident set size= 227160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13162
involuntary context switches= 18781
# summary of solver processes directly reported to runsolver:
# pid: 12497
# total CPU time (s): 901.066
# total CPU user time (s): 900.793
# total CPU system time (s): 0.272996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38228 second user time and 2.56157 second system time
The end