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 (3919 MiB free)
memory of node 1: 16384 MiB (1540 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403725-1568990441/watcher-4403725-1568990441 -o /var/tmp/evaluation-result-4403725-1568990441/solver-4403725-1568990441 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1915 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2029805863 HOME/instance-4403725-1568990441.xml
running on 4 cores: 0,2,4,6
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=5422, runsolver pid=5419
[startup+0.100094 s]*
/proc/loadavg: 8.16 8.27 8.14 6/233 5438
/proc/meminfo: memFree=5573820/32770624 swapFree=66952588/67108860
[pid=5422] ppid=5419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475299692 115843072 364 33554432000 4194304 5098028 140726724982192 140726724980296 140030023545468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23277568 140726724989782 140726724990041 140726724990041 140726724992966 0
/proc/5422/statm: 28282 364 305 221 0 87 0
[pid=5424] ppid=5422 vsize=15144776 memory=29756 CPUtime=0.13 cores=0,2,4,6
/proc/5424/stat : 5424 (java) S 5422 5422 1883 0 -1 1077944320 5413 0 0 0 12 1 0 0 20 0 15 0 475299693 15508250624 7439 33554432000 4194304 4196468 140732114795136 140732114777680 139818609143543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
/proc/5424/statm: 3786194 7439 3116 1 0 3748377 0
[pid=5424/tid=5425] ppid=5422 vsize=15144776 memory=-2698087569006908830 CPUtime=0.08 cores=0,2,4,6
/proc/5424/task/5425/stat : 5425 (java) R 5422 5422 1883 0 -1 4202560 3358 0 0 0 8 0 0 0 20 0 15 0 475299693 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818613373728 139818593187173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5426] ppid=5422 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5426/stat : 5426 (java) S 5422 5422 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299694 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818567904400 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5427] ppid=5422 vsize=15144776 memory=140349671413376 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5427/stat : 5427 (java) S 5422 5422 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299694 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818200804368 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5428] ppid=5422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5428/stat : 5428 (java) S 5422 5422 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299694 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818199751568 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5429] ppid=5422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5429/stat : 5429 (java) S 5422 5422 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299694 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818198698768 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5430] ppid=5422 vsize=15144776 memory=140349671413376 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5430/stat : 5430 (java) S 5422 5422 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299695 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818077727088 139818609154690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5431] ppid=5422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5431/stat : 5431 (java) S 5422 5422 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475299696 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818076673056 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5432] ppid=5422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5432/stat : 5432 (java) S 5422 5422 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475299696 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818075620208 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5433] ppid=5422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5433/stat : 5433 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299698 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818074568528 139818609162139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5434] ppid=5422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5434/stat : 5434 (java) R 5422 5422 1883 0 -1 4202560 317 0 0 0 0 0 0 0 20 0 15 0 475299698 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818073516912 139818592567373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5435] ppid=5422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5435/stat : 5435 (java) R 5422 5422 1883 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475299698 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818072464112 139818609154690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5436] ppid=5422 vsize=15144776 memory=140349671413376 CPUtime=0.02 cores=0,2,4,6
/proc/5424/task/5436/stat : 5436 (java) R 5422 5422 1883 0 -1 4202560 322 0 0 0 2 0 0 0 20 0 15 0 475299698 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818071411312 139818587277229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5437] ppid=5422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5437/stat : 5437 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299699 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818070358752 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5438] ppid=5422 vsize=15144776 memory=140349671413376 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5438/stat : 5438 (java) S 5422 5422 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299699 15508250624 7439 33554432000 4194304 4196468 140732114795136 139818069306032 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31212 KiB
[startup+0.214155 s]*
/proc/loadavg: 8.16 8.27 8.14 6/233 5438
/proc/meminfo: memFree=5562284/32770624 swapFree=66952588/67108860
[pid=5422] ppid=5419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475299692 115843072 364 33554432000 4194304 5098028 140726724982192 140726724980296 140030023545468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23277568 140726724989782 140726724990041 140726724990041 140726724992966 0
/proc/5422/statm: 28282 364 305 221 0 87 0
[pid=5424] ppid=5422 vsize=15144776 memory=40284 CPUtime=0.34 cores=0,2,4,6
/proc/5424/stat : 5424 (java) S 5422 5422 1883 0 -1 1077944320 8868 0 0 0 32 2 0 0 20 0 15 0 475299693 15508250624 10071 33554432000 4194304 4196468 140732114795136 140732114777680 139818609143543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
/proc/5424/statm: 3786194 10071 3260 1 0 3748377 0
[pid=5424/tid=5425] ppid=5422 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/5424/task/5425/stat : 5425 (java) R 5422 5422 1883 0 -1 4202560 6127 0 0 0 18 2 0 0 20 0 15 0 475299693 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818613380592 139818609155478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5426] ppid=5422 vsize=15144776 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5426/stat : 5426 (java) S 5422 5422 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299694 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818567904400 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5427] ppid=5422 vsize=15144776 memory=3472750146659489440 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5427/stat : 5427 (java) S 5422 5422 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299694 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818200804368 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5428] ppid=5422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5428/stat : 5428 (java) S 5422 5422 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299694 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818199751568 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5429] ppid=5422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5429/stat : 5429 (java) S 5422 5422 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299694 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818198698768 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5430] ppid=5422 vsize=15144776 memory=140349671413376 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5430/stat : 5430 (java) S 5422 5422 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475299695 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818077727088 139818609154690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5431] ppid=5422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5431/stat : 5431 (java) S 5422 5422 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475299696 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818076673056 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5432] ppid=5422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5432/stat : 5432 (java) S 5422 5422 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475299696 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818075620208 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5433] ppid=5422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5433/stat : 5433 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299698 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818074568528 139818609162139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5434] ppid=5422 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5424/task/5434/stat : 5434 (java) S 5422 5422 1883 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 15 0 475299698 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818073516912 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5435] ppid=5422 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5424/task/5435/stat : 5435 (java) S 5422 5422 1883 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 15 0 475299698 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818072464112 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5436] ppid=5422 vsize=15144776 memory=140349671413376 CPUtime=0.08 cores=0,2,4,6
/proc/5424/task/5436/stat : 5436 (java) R 5422 5422 1883 0 -1 4202560 788 0 0 0 8 0 0 0 20 0 15 0 475299698 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818071411312 139818609164890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5437] ppid=5422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5437/stat : 5437 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299699 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818070358752 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5438] ppid=5422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5438/stat : 5438 (java) S 5422 5422 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299699 15508250624 10071 33554432000 4194304 4196468 140732114795136 139818069306032 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41740 KiB
[startup+0.311046 s]*
/proc/loadavg: 8.16 8.27 8.14 7/233 5438
/proc/meminfo: memFree=5554240/32770624 swapFree=66952588/67108860
[pid=5422] ppid=5419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475299692 115843072 364 33554432000 4194304 5098028 140726724982192 140726724980296 140030023545468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23277568 140726724989782 140726724990041 140726724990041 140726724992966 0
/proc/5422/statm: 28282 364 305 221 0 87 0
[pid=5424] ppid=5422 vsize=15149032 memory=49484 CPUtime=0.51 cores=0,2,4,6
/proc/5424/stat : 5424 (java) S 5422 5422 1883 0 -1 1077944320 10159 0 0 0 48 3 0 0 20 0 15 0 475299693 15512608768 12371 33554432000 4194304 4196468 140732114795136 140732114777680 139818609143543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
/proc/5424/statm: 3787258 12371 3366 1 0 3748377 0
[pid=5424/tid=5425] ppid=5422 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/5424/task/5425/stat : 5425 (java) R 5422 5422 1883 0 -1 4202560 7221 0 0 0 27 3 0 0 20 0 15 0 475299693 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818613374656 139818593224030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5426] ppid=5422 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5426/stat : 5426 (java) S 5422 5422 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299694 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818567904400 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5427] ppid=5422 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5427/stat : 5427 (java) S 5422 5422 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299694 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818200804368 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5428] ppid=5422 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5428/stat : 5428 (java) S 5422 5422 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299694 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818199751568 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5429] ppid=5422 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5429/stat : 5429 (java) S 5422 5422 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299694 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818198698768 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5430] ppid=5422 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5430/stat : 5430 (java) S 5422 5422 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475299695 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818077727088 139818609154690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5431] ppid=5422 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5431/stat : 5431 (java) S 5422 5422 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475299696 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818076673056 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5432] ppid=5422 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5432/stat : 5432 (java) S 5422 5422 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475299696 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818075620208 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5433] ppid=5422 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5433/stat : 5433 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299698 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818074568528 139818609162139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5434] ppid=5422 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=0,2,4,6
/proc/5424/task/5434/stat : 5434 (java) S 5422 5422 1883 0 -1 1077944384 499 0 0 0 4 0 0 0 20 0 15 0 475299698 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818073516912 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5435] ppid=5422 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5424/task/5435/stat : 5435 (java) S 5422 5422 1883 0 -1 1077944384 214 0 0 0 3 0 0 0 20 0 15 0 475299698 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818072464112 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5436] ppid=5422 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5424/task/5436/stat : 5436 (java) S 5422 5422 1883 0 -1 1077944384 934 0 0 0 12 0 0 0 20 0 15 0 475299698 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818071411312 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5437] ppid=5422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5437/stat : 5437 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299699 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818070358752 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5438] ppid=5422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5438/stat : 5438 (java) S 5422 5422 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299699 15512608768 12371 33554432000 4194304 4196468 140732114795136 139818069306032 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50940 KiB
[startup+0.702305 s]
/proc/loadavg: 8.16 8.27 8.14 8/232 5438
/proc/meminfo: memFree=5536828/32770624 swapFree=66952588/67108860
[pid=5422] ppid=5419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475299692 115843072 364 33554432000 4194304 5098028 140726724982192 140726724980296 140030023545468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23277568 140726724989782 140726724990041 140726724990041 140726724992966 0
/proc/5422/statm: 28282 364 305 221 0 87 0
[pid=5424] ppid=5422 vsize=15151156 memory=83344 CPUtime=1.69 cores=0,2,4,6
/proc/5424/stat : 5424 (java) S 5422 5422 1883 0 -1 1077944320 14530 0 0 0 164 5 0 0 20 0 15 0 475299693 15514783744 20836 33554432000 4194304 4196468 140732114795136 140732114777680 139818609143543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
/proc/5424/statm: 3787789 20836 3450 1 0 3748889 0
[pid=5424/tid=5425] ppid=5422 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/5424/task/5425/stat : 5425 (java) R 5422 5422 1883 0 -1 4202560 8646 0 0 0 64 4 0 0 20 0 15 0 475299693 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818613380848 139818250174887 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5426] ppid=5422 vsize=15151156 memory=164 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5426/stat : 5426 (java) S 5422 5422 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299694 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818567904400 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5427] ppid=5422 vsize=15151156 memory=6154848828556269427 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5427/stat : 5427 (java) S 5422 5422 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299694 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818200804368 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5428] ppid=5422 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5428/stat : 5428 (java) S 5422 5422 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299694 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818199751568 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5429] ppid=5422 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5429/stat : 5429 (java) S 5422 5422 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299694 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818198698768 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5430] ppid=5422 vsize=15151156 memory=40228 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5430/stat : 5430 (java) S 5422 5422 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475299695 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818077727088 139818609154690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5431] ppid=5422 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5431/stat : 5431 (java) S 5422 5422 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475299696 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818076673056 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5432] ppid=5422 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5432/stat : 5432 (java) S 5422 5422 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475299696 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818075620208 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5433] ppid=5422 vsize=15151156 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5433/stat : 5433 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299698 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818074568528 139818609162139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5434] ppid=5422 vsize=15151156 memory=1044 CPUtime=0.28 cores=0,2,4,6
/proc/5424/task/5434/stat : 5434 (java) R 5422 5422 1883 0 -1 4202560 1327 0 0 0 28 0 0 0 20 0 15 0 475299698 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818073507888 139818594255510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5435] ppid=5422 vsize=15151156 memory=708 CPUtime=0.29 cores=0,2,4,6
/proc/5424/task/5435/stat : 5435 (java) R 5422 5422 1883 0 -1 4202560 1025 0 0 0 29 0 0 0 20 0 15 0 475299698 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818072455088 139818594065310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5436] ppid=5422 vsize=15151156 memory=9364 CPUtime=0.41 cores=0,2,4,6
/proc/5424/task/5436/stat : 5436 (java) R 5422 5422 1883 0 -1 1077944384 2223 0 0 0 41 0 0 0 20 0 15 0 475299698 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818071411312 139818609154690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5437] ppid=5422 vsize=15151156 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5437/stat : 5437 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299699 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818070358752 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5438] ppid=5422 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5438/stat : 5438 (java) S 5422 5422 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299699 15514783744 20836 33554432000 4194304 4196468 140732114795136 139818069306032 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 84800 KiB
[startup+1.50082 s]
/proc/loadavg: 8.16 8.27 8.14 8/232 5438
/proc/meminfo: memFree=5475224/32770624 swapFree=66952588/67108860
[pid=5422] ppid=5419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475299692 115843072 364 33554432000 4194304 5098028 140726724982192 140726724980296 140030023545468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23277568 140726724989782 140726724990041 140726724990041 140726724992966 0
/proc/5422/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/5424/task/5426/stat : 5426 (java) S 5422 5422 1883 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 19 0 475299694 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818567904400 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5427] ppid=5422 vsize=15419460 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5424/task/5427/stat : 5427 (java) S 5422 5422 1883 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 19 0 475299694 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818200804368 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5428] ppid=5422 vsize=15419460 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5424/task/5428/stat : 5428 (java) S 5422 5422 1883 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 19 0 475299694 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818199751568 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5429] ppid=5422 vsize=15419460 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5429/stat : 5429 (java) S 5422 5422 1883 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475299694 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818198698768 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5430] ppid=5422 vsize=15419460 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5430/stat : 5430 (java) S 5422 5422 1883 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 19 0 475299695 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818077727088 139818609154690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5431] ppid=5422 vsize=15419460 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5431/stat : 5431 (java) S 5422 5422 1883 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475299696 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818076673056 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5432] ppid=5422 vsize=15419460 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5432/stat : 5432 (java) S 5422 5422 1883 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475299696 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818075620208 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5433] ppid=5422 vsize=15419460 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5433/stat : 5433 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299698 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818074568528 139818609162139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5434] ppid=5422 vsize=15419460 memory=0 CPUtime=1.15 cores=0,2,4,6
/proc/5424/task/5434/stat : 5434 (java) R 5422 5422 1883 0 -1 4202560 3775 0 0 0 114 1 0 0 20 0 19 0 475299698 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818073502256 139818594066601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5435] ppid=5422 vsize=15419460 memory=0 CPUtime=1.14 cores=0,2,4,6
/proc/5424/task/5435/stat : 5435 (java) R 5422 5422 1883 0 -1 4202560 3889 0 0 0 114 0 0 0 20 0 19 0 475299698 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818072450208 139818586984928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5436] ppid=5422 vsize=15419460 memory=280699064198520 CPUtime=0.64 cores=0,2,4,6
/proc/5424/task/5436/stat : 5436 (java) S 5422 5422 1883 0 -1 1077944384 3272 0 0 0 63 1 0 0 20 0 19 0 475299698 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818071411312 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5437] ppid=5422 vsize=15419460 memory=-3253322038155611931 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5437/stat : 5437 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299699 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818070358752 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5438] ppid=5422 vsize=15419460 memory=-3253322038155611931 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5438/stat : 5438 (java) S 5422 5422 1883 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475299699 15789527040 54691 33554432000 4194304 4196468 140732114795136 139818069306032 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
Current children cumulated CPU time: 4.67 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 220220 KiB
[startup+2.00131 s]*
/proc/loadavg: 8.16 8.27 8.14 15/236 5582
/proc/meminfo: memFree=5239128/32770624 swapFree=66952588/67108860
[pid=5422] ppid=5419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475299692 115843072 364 33554432000 4194304 5098028 140726724982192 140726724980296 140030023545468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23277568 140726724989782 140726724990041 140726724990041 140726724992966 0
/proc/5422/statm: 28282 364 305 221 0 87 0
[pid=5424] ppid=5422 vsize=15553616 memory=362588 CPUtime=6.02 cores=0,2,4,6
/proc/5424/stat : 5424 (java) S 5422 5422 1883 0 -1 1077944320 27663 0 0 0 580 22 0 0 20 0 19 0 475299693 15926902784 90647 33554432000 4194304 4196468 140732114795136 140732114777680 139818609143543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
/proc/5424/statm: 3888404 90647 3506 1 0 3849504 0
[pid=5424/tid=5425] ppid=5422 vsize=15553616 memory=8317482817917895235 CPUtime=1.49 cores=0,2,4,6
/proc/5424/task/5425/stat : 5425 (java) S 5422 5422 1883 0 -1 1077944384 11088 0 0 0 143 6 0 0 20 0 19 0 475299693 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818613384320 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5426] ppid=5422 vsize=15553616 memory=4126316290023845779 CPUtime=0.04 cores=0,2,4,6
/proc/5424/task/5426/stat : 5426 (java) S 5422 5422 1883 0 -1 1077944384 332 0 0 0 3 1 0 0 20 0 19 0 475299694 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818567904400 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5427] ppid=5422 vsize=15553616 memory=-9001733975035308135 CPUtime=0.07 cores=0,2,4,6
/proc/5424/task/5427/stat : 5427 (java) S 5422 5422 1883 0 -1 1077944384 241 0 0 0 5 2 0 0 20 0 19 0 475299694 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818200804368 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5428] ppid=5422 vsize=15553616 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/5424/task/5428/stat : 5428 (java) S 5422 5422 1883 0 -1 1077944384 134 0 0 0 4 2 0 0 20 0 19 0 475299694 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818199751568 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5429] ppid=5422 vsize=15553616 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5424/task/5429/stat : 5429 (java) S 5422 5422 1883 0 -1 1077944384 121 0 0 0 3 2 0 0 20 0 19 0 475299694 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818198698768 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5430] ppid=5422 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5430/stat : 5430 (java) S 5422 5422 1883 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 19 0 475299695 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818077727088 139818609154690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5431] ppid=5422 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5431/stat : 5431 (java) S 5422 5422 1883 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475299696 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818076673120 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5432] ppid=5422 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5432/stat : 5432 (java) S 5422 5422 1883 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475299696 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818075620208 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5433] ppid=5422 vsize=15553616 memory=-3831251742559211316 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5433/stat : 5433 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299698 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818074568528 139818609162139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5434] ppid=5422 vsize=15553616 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/5424/task/5434/stat : 5434 (java) S 5422 5422 1883 0 -1 1077944384 3924 0 0 0 136 1 0 0 20 0 19 0 475299698 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818073516912 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5435] ppid=5422 vsize=15553616 memory=3472328296227680303 CPUtime=1.36 cores=0,2,4,6
/proc/5424/task/5435/stat : 5435 (java) R 5422 5422 1883 0 -1 1077944384 3956 0 0 0 136 0 0 0 20 0 19 0 475299698 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818072464112 139818609154690 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5436] ppid=5422 vsize=15553616 memory=3472468645899093680 CPUtime=0.74 cores=0,2,4,6
/proc/5424/task/5436/stat : 5436 (java) R 5422 5422 1883 0 -1 4202560 3457 0 0 0 73 1 0 0 20 0 19 0 475299698 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818071411312 139818588616649 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5437] ppid=5422 vsize=15553616 memory=6873730494919109728 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5437/stat : 5437 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299699 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818070358752 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5438] ppid=5422 vsize=15553616 memory=140349671413376 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5438/stat : 5438 (java) S 5422 5422 1883 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475299699 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818069306032 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5582] ppid=5422 vsize=15553616 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5582/stat : 5582 (java) R 5422 5422 1883 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 475299893 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818057996592 139818609153749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5583] ppid=5422 vsize=15553616 memory=3472468645899093680 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5583/stat : 5583 (java) R 5422 5422 1883 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 475299893 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818053782224 139818245737774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5584] ppid=5422 vsize=15553616 memory=140349532012663 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5584/stat : 5584 (java) S 5422 5422 1883 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 475299893 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818052730704 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5585] ppid=5422 vsize=15553616 memory=7169338633794804192 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5585/stat : 5585 (java) R 5422 5422 1883 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 475299893 15926902784 90647 33554432000 4194304 4196468 140732114795136 139818056944224 139818249081470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 364044 KiB
[startup+2.40103 s]
/proc/loadavg: 8.16 8.27 8.14 15/236 5582
/proc/meminfo: memFree=5239128/32770624 swapFree=66952588/67108860
[pid=5422] ppid=5419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475299692 115843072 364 33554432000 4194304 5098028 140726724982192 140726724980296 140030023545468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23277568 140726724989782 140726724990041 140726724990041 140726724992966 0
/proc/5422/statm: 28282 364 305 221 0 87 0
[pid=5424] ppid=5422 vsize=15553616 memory=407264 CPUtime=6.98 cores=0,2,4,6
/proc/5424/stat : 5424 (java) S 5422 5422 1883 0 -1 1077944320 31052 0 0 0 671 27 0 0 20 0 19 0 475299693 15926902784 101816 33554432000 4194304 4196468 140732114795136 140732114777680 139818609143543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
/proc/5424/statm: 3888404 101816 3507 1 0 3849504 0
[pid=5424/tid=5425] ppid=5422 vsize=15553616 memory=-7812800578125854342 CPUtime=1.51 cores=0,2,4,6
/proc/5424/task/5425/stat : 5425 (java) S 5422 5422 1883 0 -1 1077944384 11088 0 0 0 144 7 0 0 20 0 19 0 475299693 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818613384320 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5426] ppid=5422 vsize=15553616 memory=7228674670993368683 CPUtime=0.06 cores=0,2,4,6
/proc/5424/task/5426/stat : 5426 (java) S 5422 5422 1883 0 -1 1077944384 406 0 0 0 4 2 0 0 20 0 19 0 475299694 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818567904400 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5427] ppid=5422 vsize=15553616 memory=7445972292138786905 CPUtime=0.08 cores=0,2,4,6
/proc/5424/task/5427/stat : 5427 (java) S 5422 5422 1883 0 -1 1077944384 301 0 0 0 6 2 0 0 20 0 19 0 475299694 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818200804368 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5428] ppid=5422 vsize=15553616 memory=7518313538684938577 CPUtime=0.07 cores=0,2,4,6
/proc/5424/task/5428/stat : 5428 (java) S 5422 5422 1883 0 -1 1077944384 183 0 0 0 5 2 0 0 20 0 19 0 475299694 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818199751568 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5429] ppid=5422 vsize=15553616 memory=7523615452491704178 CPUtime=0.06 cores=0,2,4,6
/proc/5424/task/5429/stat : 5429 (java) S 5422 5422 1883 0 -1 1077944384 226 0 0 0 4 2 0 0 20 0 19 0 475299694 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818198698768 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5430] ppid=5422 vsize=15553616 memory=7300730143334361451 CPUtime=0.01 cores=0,2,4,6
/proc/5424/task/5430/stat : 5430 (java) S 5422 5422 1883 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 19 0 475299695 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818077727088 139818609154690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5431] ppid=5422 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5431/stat : 5431 (java) S 5422 5422 1883 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475299696 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818076673120 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5432] ppid=5422 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5432/stat : 5432 (java) S 5422 5422 1883 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475299696 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818075620208 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5433] ppid=5422 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5433/stat : 5433 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299698 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818074568528 139818609162139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5434] ppid=5422 vsize=15553616 memory=0 CPUtime=1.5 cores=0,2,4,6
/proc/5424/task/5434/stat : 5434 (java) S 5422 5422 1883 0 -1 1077944384 3998 0 0 0 149 1 0 0 20 0 19 0 475299698 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818073516912 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5435] ppid=5422 vsize=15553616 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/5424/task/5435/stat : 5435 (java) S 5422 5422 1883 0 -1 1077944384 3997 0 0 0 148 0 0 0 20 0 19 0 475299698 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818072464112 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5436] ppid=5422 vsize=15553616 memory=0 CPUtime=0.81 cores=0,2,4,6
/proc/5424/task/5436/stat : 5436 (java) R 5422 5422 1883 0 -1 4202560 3585 0 0 0 80 1 0 0 20 0 19 0 475299698 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818071411312 139818609164890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5437] ppid=5422 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5437/stat : 5437 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299699 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818070358752 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5438] ppid=5422 vsize=15553616 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5438/stat : 5438 (java) S 5422 5422 1883 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475299699 15926902784 101816 33554432000 4194304 4196468 140732114795136 139818069306032 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
Current children cumulated CPU time: 6.98 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 408720 KiB
[startup+2.50083 s]
/proc/loadavg: 8.16 8.27 8.14 15/236 5582
/proc/meminfo: memFree=5239128/32770624 swapFree=66952588/67108860
[pid=5422] ppid=5419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475299692 115843072 364 33554432000 4194304 5098028 140726724982192 140726724980296 140030023545468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23277568 140726724989782 140726724990041 140726724990041 140726724992966 0
/proc/5422/statm: 28282 364 305 221 0 87 0
[pid=5424] ppid=5422 vsize=15553616 memory=407276 CPUtime=7.1 cores=0,2,4,6
/proc/5424/stat : 5424 (java) S 5422 5422 1883 0 -1 1077944320 31127 0 0 0 683 27 0 0 20 0 19 0 475299693 15926902784 101819 33554432000 4194304 4196468 140732114795136 140732114777680 139818609143543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
/proc/5424/statm: 3888404 101819 3507 1 0 3849504 0
[pid=5424/tid=5425] ppid=5422 vsize=15553616 memory=118 CPUtime=1.51 cores=0,2,4,6
/proc/5424/task/5425/stat : 5425 (java) S 5422 5422 1883 0 -1 1077944384 11088 0 0 0 144 7 0 0 20 0 19 0 475299693 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818613384320 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5426] ppid=5422 vsize=15553616 memory=65 CPUtime=0.06 cores=0,2,4,6
/proc/5424/task/5426/stat : 5426 (java) S 5422 5422 1883 0 -1 1077944384 406 0 0 0 4 2 0 0 20 0 19 0 475299694 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818567904400 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5427] ppid=5422 vsize=15553616 memory=383772 CPUtime=0.08 cores=0,2,4,6
/proc/5424/task/5427/stat : 5427 (java) S 5422 5422 1883 0 -1 1077944384 301 0 0 0 6 2 0 0 20 0 19 0 475299694 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818200804368 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5428] ppid=5422 vsize=15553616 memory=13564911997421614 CPUtime=0.07 cores=0,2,4,6
/proc/5424/task/5428/stat : 5428 (java) S 5422 5422 1883 0 -1 1077944384 183 0 0 0 5 2 0 0 20 0 19 0 475299694 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818199751568 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5429] ppid=5422 vsize=15553616 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/5424/task/5429/stat : 5429 (java) S 5422 5422 1883 0 -1 1077944384 226 0 0 0 4 2 0 0 20 0 19 0 475299694 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818198698768 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5430] ppid=5422 vsize=15553616 memory=147 CPUtime=0.01 cores=0,2,4,6
/proc/5424/task/5430/stat : 5430 (java) S 5422 5422 1883 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 19 0 475299695 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818077727088 139818609154690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5431] ppid=5422 vsize=15553616 memory=1 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5431/stat : 5431 (java) S 5422 5422 1883 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475299696 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818076673120 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5432] ppid=5422 vsize=15553616 memory=1 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5432/stat : 5432 (java) S 5422 5422 1883 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475299696 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818075620208 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5433] ppid=5422 vsize=15553616 memory=1 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5433/stat : 5433 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299698 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818074568528 139818609162139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5434] ppid=5422 vsize=15553616 memory=280699064168368 CPUtime=1.51 cores=0,2,4,6
/proc/5424/task/5434/stat : 5434 (java) R 5422 5422 1883 0 -1 4202560 3999 0 0 0 150 1 0 0 20 0 19 0 475299698 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818073516912 139818592643926 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5435] ppid=5422 vsize=15553616 memory=10814 CPUtime=1.48 cores=0,2,4,6
/proc/5424/task/5435/stat : 5435 (java) S 5422 5422 1883 0 -1 1077944384 3997 0 0 0 148 0 0 0 20 0 19 0 475299698 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818072464112 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5436] ppid=5422 vsize=15553616 memory=24217 CPUtime=0.81 cores=0,2,4,6
/proc/5424/task/5436/stat : 5436 (java) S 5422 5422 1883 0 -1 1077944384 3591 0 0 0 80 1 0 0 20 0 19 0 475299698 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818071411312 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5437] ppid=5422 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5437/stat : 5437 (java) S 5422 5422 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299699 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818070358752 139818609153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
[pid=5424/tid=5438] ppid=5422 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5438/stat : 5438 (java) S 5422 5422 1883 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475299699 15926902784 101819 33554432000 4194304 4196468 140732114795136 139818069306032 139818609154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140732114797531 140732114797706 140732114797706 140732114800591 0
Current children cumulated CPU time: 7.1 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 408732 KiB
Child status: 0
Real time (s): 2.56922
CPU time (s): 7.28706
CPU user time (s): 7.00645
CPU system time (s): 0.280609
CPU usage (%): 283.629
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 408732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.00645
system time used= 0.280609
maximum resident set size= 409428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4453
involuntary context switches= 87
# summary of solver processes directly reported to runsolver:
# pid: 5422
# total CPU time (s): 7.28706
# total CPU user time (s): 7.00645
# total CPU system time (s): 0.280609
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036613 second user time and 0.078774 second system time
The end