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 (2993 MiB free)
memory of node 1: 16384 MiB (2747 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403397-1568988162/watcher-4403397-1568988162 -o /tmp/evaluation-result-4403397-1568988162/solver-4403397-1568988162 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1864340657 HOME/instance-4403397-1568988162.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=8577, runsolver pid=8574
[startup+0.100957 s]*
/proc/loadavg: 7.27 4.04 2.18 7/233 8593
/proc/meminfo: memFree=5861952/32770624 swapFree=66986244/67108860
[pid=8577] ppid=8574 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8577/stat : 8577 (xcsp3-exec) S 8574 8577 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475073066 115843072 362 33554432000 4194304 5098028 140730960458000 140730960456104 140711888704124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31682560 140730960462714 140730960462957 140730960462957 140730960465866 0
/proc/8577/statm: 28282 362 304 221 0 87 0
[pid=8579] ppid=8577 vsize=15144776 memory=29056 CPUtime=0.13 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8577 8577 7690 0 -1 1077944320 5698 0 0 0 12 1 0 0 20 0 15 0 475073067 15508250624 7264 33554432000 4194304 4196468 140729424013376 140729423995920 140595624222455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
/proc/8579/statm: 3786194 7264 3145 1 0 3748377 0
[pid=8579/tid=8580] ppid=8577 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8580/stat : 8580 (java) R 8577 8577 7690 0 -1 4202560 3598 0 0 0 9 0 0 0 20 0 15 0 475073067 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595628457680 140595235566066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8581] ppid=8577 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8581/stat : 8581 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073068 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595560459024 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8582] ppid=8577 vsize=15144776 memory=140058182416000 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8582/stat : 8582 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073068 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595559406480 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8583] ppid=8577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8583/stat : 8583 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073068 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595558353936 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8584] ppid=8577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8584/stat : 8584 (java) S 8577 8577 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475073068 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595557301392 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8585] ppid=8577 vsize=15144776 memory=140058182416000 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) S 8577 8577 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475073069 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595159980016 140595624233602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8586] ppid=8577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8577 8577 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475073070 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595158926240 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8587] ppid=8577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8577 8577 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475073070 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595157873648 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8588] ppid=8577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475073072 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595156822224 140595624241051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8589] ppid=8577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8577 8577 7690 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 15 0 475073072 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595155769840 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8590] ppid=8577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8590/stat : 8590 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475073072 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595154717296 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8591] ppid=8577 vsize=15144776 memory=140058182416000 CPUtime=0.02 cores=0,2,4,6
/proc/8579/task/8591/stat : 8591 (java) R 8577 8577 7690 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 475073072 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595153664752 140595616459582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8592] ppid=8577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8592/stat : 8592 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475073072 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595152612448 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8593] ppid=8577 vsize=15144776 memory=140058182416000 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8593/stat : 8593 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073073 15508250624 7264 33554432000 4194304 4196468 140729424013376 140595151558960 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30504 KiB
[startup+0.210935 s]*
/proc/loadavg: 7.27 4.04 2.18 8/233 8593
/proc/meminfo: memFree=5848764/32770624 swapFree=66986244/67108860
[pid=8577] ppid=8574 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8577/stat : 8577 (xcsp3-exec) S 8574 8577 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475073066 115843072 362 33554432000 4194304 5098028 140730960458000 140730960456104 140711888704124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31682560 140730960462714 140730960462957 140730960462957 140730960465866 0
/proc/8577/statm: 28282 362 304 221 0 87 0
[pid=8579] ppid=8577 vsize=15144776 memory=40884 CPUtime=0.34 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8577 8577 7690 0 -1 1077944320 9457 0 0 0 32 2 0 0 20 0 15 0 475073067 15508250624 10221 33554432000 4194304 4196468 140729424013376 140729423995920 140595624222455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
/proc/8579/statm: 3786194 10221 3299 1 0 3748377 0
[pid=8579/tid=8580] ppid=8577 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/8579/task/8580/stat : 8580 (java) R 8577 8577 7690 0 -1 4202560 6633 0 0 0 18 1 0 0 20 0 15 0 475073067 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595628459920 140595624234390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8581] ppid=8577 vsize=15144776 memory=1898699 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8581/stat : 8581 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073068 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595560459024 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8582] ppid=8577 vsize=15144776 memory=3384478 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8582/stat : 8582 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073068 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595559406480 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8583] ppid=8577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8583/stat : 8583 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073068 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595558353936 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8584] ppid=8577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8584/stat : 8584 (java) S 8577 8577 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475073068 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595557301392 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8585] ppid=8577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) S 8577 8577 7690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475073069 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595159980016 140595624233602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8586] ppid=8577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8577 8577 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475073070 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595158926240 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8587] ppid=8577 vsize=15144776 memory=140058182416000 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8577 8577 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475073070 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595157873648 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8588] ppid=8577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475073072 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595156822224 140595624241051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8589] ppid=8577 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8577 8577 7690 0 -1 1077944384 658 0 0 0 2 0 0 0 20 0 15 0 475073072 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595155769840 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8590] ppid=8577 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8579/task/8590/stat : 8590 (java) S 8577 8577 7690 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 15 0 475073072 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595154717296 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8591] ppid=8577 vsize=15144776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8579/task/8591/stat : 8591 (java) S 8577 8577 7690 0 -1 1077944384 739 0 0 0 7 0 0 0 20 0 15 0 475073072 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595153664752 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8592] ppid=8577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8592/stat : 8592 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475073072 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595152612448 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8593] ppid=8577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8593/stat : 8593 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073073 15508250624 10221 33554432000 4194304 4196468 140729424013376 140595151558960 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42332 KiB
[startup+0.310742 s]*
/proc/loadavg: 7.27 4.04 2.18 7/233 8593
/proc/meminfo: memFree=5840372/32770624 swapFree=66986244/67108860
[pid=8577] ppid=8574 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8577/stat : 8577 (xcsp3-exec) S 8574 8577 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475073066 115843072 362 33554432000 4194304 5098028 140730960458000 140730960456104 140711888704124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31682560 140730960462714 140730960462957 140730960462957 140730960465866 0
/proc/8577/statm: 28282 362 304 221 0 87 0
[pid=8579] ppid=8577 vsize=15149032 memory=50412 CPUtime=0.53 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8577 8577 7690 0 -1 1077944320 10888 0 0 0 49 4 0 0 20 0 15 0 475073067 15512608768 12603 33554432000 4194304 4196468 140729424013376 140729423995920 140595624222455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
/proc/8579/statm: 3787258 12603 3364 1 0 3748377 0
[pid=8579/tid=8580] ppid=8577 vsize=15149032 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/8579/task/8580/stat : 8580 (java) R 8577 8577 7690 0 -1 4202560 7823 0 0 0 27 2 0 0 20 0 15 0 475073067 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595628449072 140595608302942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8581] ppid=8577 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8581/stat : 8581 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073068 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595560459024 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8582] ppid=8577 vsize=15149032 memory=14128961566500879 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8582/stat : 8582 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073068 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595559406480 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8583] ppid=8577 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8583/stat : 8583 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073068 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595558353936 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8584] ppid=8577 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8584/stat : 8584 (java) S 8577 8577 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475073068 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595557301392 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8585] ppid=8577 vsize=15149032 memory=140058182416000 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) S 8577 8577 7690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475073069 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595159980016 140595624233602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8586] ppid=8577 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8577 8577 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475073070 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595158926240 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8587] ppid=8577 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8577 8577 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475073070 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595157873648 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8588] ppid=8577 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475073072 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595156822224 140595624241051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8589] ppid=8577 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8577 8577 7690 0 -1 1077944384 804 0 0 0 5 0 0 0 20 0 15 0 475073072 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595155769840 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8590] ppid=8577 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8579/task/8590/stat : 8590 (java) S 8577 8577 7690 0 -1 1077944384 134 0 0 0 3 0 0 0 20 0 15 0 475073072 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595154717296 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8591] ppid=8577 vsize=15149032 memory=140058182416000 CPUtime=0.12 cores=0,2,4,6
/proc/8579/task/8591/stat : 8591 (java) S 8577 8577 7690 0 -1 1077944384 831 0 0 0 12 0 0 0 20 0 15 0 475073072 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595153664752 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8592] ppid=8577 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8592/stat : 8592 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475073072 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595152612448 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8593] ppid=8577 vsize=15149032 memory=140058182416000 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8593/stat : 8593 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073073 15512608768 12610 33554432000 4194304 4196468 140729424013376 140595151558960 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51860 KiB
[startup+0.701111 s]
/proc/loadavg: 7.27 4.04 2.18 10/233 8593
/proc/meminfo: memFree=5734292/32770624 swapFree=66986244/67108860
[pid=8577] ppid=8574 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8577/stat : 8577 (xcsp3-exec) S 8574 8577 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475073066 115843072 362 33554432000 4194304 5098028 140730960458000 140730960456104 140711888704124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31682560 140730960462714 140730960462957 140730960462957 140730960465866 0
/proc/8577/statm: 28282 362 304 221 0 87 0
[pid=8579] ppid=8577 vsize=15151156 memory=265536 CPUtime=1.51 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8577 8577 7690 0 -1 1077944320 13707 0 0 0 138 13 0 0 20 0 15 0 475073067 15514783744 66384 33554432000 4194304 4196468 140729424013376 140729423995920 140595624222455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
/proc/8579/statm: 3787789 66384 3453 1 0 3748889 0
[pid=8579/tid=8580] ppid=8577 vsize=15151156 memory=2120 CPUtime=0.65 cores=0,2,4,6
/proc/8579/task/8580/stat : 8580 (java) R 8577 8577 7690 0 -1 4202560 8303 0 0 0 60 5 0 0 20 0 15 0 475073067 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595628460080 140595237088543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8581] ppid=8577 vsize=15151156 memory=532 CPUtime=0.02 cores=0,2,4,6
/proc/8579/task/8581/stat : 8581 (java) S 8577 8577 7690 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 15 0 475073068 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595560459024 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8582] ppid=8577 vsize=15151156 memory=1564 CPUtime=0.02 cores=0,2,4,6
/proc/8579/task/8582/stat : 8582 (java) S 8577 8577 7690 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 15 0 475073068 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595559406480 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8583] ppid=8577 vsize=15151156 memory=924 CPUtime=0.02 cores=0,2,4,6
/proc/8579/task/8583/stat : 8583 (java) S 8577 8577 7690 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 15 0 475073068 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595558353936 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8584] ppid=8577 vsize=15151156 memory=1680 CPUtime=0.02 cores=0,2,4,6
/proc/8579/task/8584/stat : 8584 (java) S 8577 8577 7690 0 -1 1077944384 41 0 0 0 1 1 0 0 20 0 15 0 475073068 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595557301392 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8585] ppid=8577 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) S 8577 8577 7690 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475073069 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595159980016 140595624233602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8586] ppid=8577 vsize=15151156 memory=912 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8577 8577 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475073070 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595158926240 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8587] ppid=8577 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8577 8577 7690 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475073070 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595157873648 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8588] ppid=8577 vsize=15151156 memory=7086240636095582563 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475073072 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595156822224 140595624241051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8589] ppid=8577 vsize=15151156 memory=7453282923444726100 CPUtime=0.24 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) R 8577 8577 7690 0 -1 4202560 1535 0 0 0 24 0 0 0 20 0 15 0 475073072 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595155754832 140595607497008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8590] ppid=8577 vsize=15151156 memory=4639059877604708710 CPUtime=0.23 cores=0,2,4,6
/proc/8579/task/8590/stat : 8590 (java) R 8577 8577 7690 0 -1 4202560 1004 0 0 0 23 0 0 0 20 0 15 0 475073072 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595154703176 140595609347864 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8591] ppid=8577 vsize=15151156 memory=8514726395715219869 CPUtime=0.23 cores=0,2,4,6
/proc/8579/task/8591/stat : 8591 (java) S 8577 8577 7690 0 -1 1077944384 1366 0 0 0 23 0 0 0 20 0 15 0 475073072 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595153664752 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8592] ppid=8577 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8592/stat : 8592 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475073072 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595152612448 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8593] ppid=8577 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8593/stat : 8593 (java) S 8577 8577 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475073073 15514783744 66384 33554432000 4194304 4196468 140729424013376 140595151558960 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 266984 KiB
[startup+1.50093 s]
/proc/loadavg: 7.27 4.04 2.18 6/233 8593
/proc/meminfo: memFree=5513728/32770624 swapFree=66986244/67108860
[pid=8577] ppid=8574 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8577/stat : 8577 (xcsp3-exec) S 8574 8577 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475073066 115843072 362 33554432000 4194304 5098028 140730960458000 140730960456104 140711888704124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31682560 140730960462714 140730960462957 140730960462957 140730960465866 0
/proc/8577/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/8579/task/8590/stat : 8590 (java) S 8577 8577 7690 0 -1 1077944384 3405 0 0 0 87 0 0 0 20 0 15 0 475073072 15514783744 1484715 33554432000 4194304 4196468 140729424013376 140595154717296 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8591] ppid=8577 vsize=15151156 memory=5524200 CPUtime=0.41 cores=0,2,4,6
/proc/8579/task/8591/stat : 8591 (java) S 8577 8577 7690 0 -1 1077944384 3161 0 0 0 40 1 0 0 20 0 15 0 475073072 15514783744 1484715 33554432000 4194304 4196468 140729424013376 140595153664752 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8592] ppid=8577 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8592/stat : 8592 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475073072 15514783744 1484715 33554432000 4194304 4196468 140729424013376 140595152612448 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8593] ppid=8577 vsize=15151156 memory=5938360 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8593/stat : 8593 (java) S 8577 8577 7690 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 15 0 475073073 15514783744 1484715 33554432000 4194304 4196468 140729424013376 140595151558960 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
Current children cumulated CPU time: 41.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 5940308 KiB
[startup+23.2008 s]
/proc/loadavg: 6.60 4.10 2.24 6/233 8596
/proc/meminfo: memFree=222324/32770624 swapFree=66986244/67108860
[pid=8577] ppid=8574 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8577/stat : 8577 (xcsp3-exec) S 8574 8577 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475073066 115843072 362 33554432000 4194304 5098028 140730960458000 140730960456104 140711888704124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31682560 140730960462714 140730960462957 140730960462957 140730960465866 0
/proc/8577/statm: 28282 362 304 221 0 87 0
[pid=8579] ppid=8577 vsize=15151156 memory=5948904 CPUtime=42.52 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8577 8577 7690 0 -1 1077944320 634780 0 0 0 3679 573 0 0 20 0 15 0 475073067 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140729423995920 140595624222455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
/proc/8579/statm: 3787789 1487226 3503 1 0 3748889 0
[pid=8579/tid=8580] ppid=8577 vsize=15151156 memory=988 CPUtime=12.94 cores=0,2,4,6
/proc/8579/task/8580/stat : 8580 (java) R 8577 8577 7690 0 -1 4202560 17195 0 0 0 1268 26 0 0 20 0 15 0 475073067 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595628460880 140595238520649 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8581] ppid=8577 vsize=15151156 memory=0 CPUtime=5.65 cores=0,2,4,6
/proc/8579/task/8581/stat : 8581 (java) S 8577 8577 7690 0 -1 1077944384 138855 0 0 0 432 133 0 0 20 0 15 0 475073068 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595560459024 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8582] ppid=8577 vsize=15151156 memory=0 CPUtime=5.67 cores=0,2,4,6
/proc/8579/task/8582/stat : 8582 (java) S 8577 8577 7690 0 -1 1077944384 173246 0 0 0 428 139 0 0 20 0 15 0 475073068 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595559406480 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8583] ppid=8577 vsize=15151156 memory=1448 CPUtime=5.69 cores=0,2,4,6
/proc/8579/task/8583/stat : 8583 (java) S 8577 8577 7690 0 -1 1077944384 140303 0 0 0 442 127 0 0 20 0 15 0 475073068 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595558353936 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8584] ppid=8577 vsize=15151156 memory=8112282956445269571 CPUtime=5.65 cores=0,2,4,6
/proc/8579/task/8584/stat : 8584 (java) S 8577 8577 7690 0 -1 1077944384 131931 0 0 0 426 139 0 0 20 0 15 0 475073068 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595557301392 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8585] ppid=8577 vsize=15151156 memory=5938860 CPUtime=4.52 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) S 8577 8577 7690 0 -1 1077944384 20444 0 0 0 449 3 0 0 20 0 15 0 475073069 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595159980016 140595624233602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8586] ppid=8577 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8577 8577 7690 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 475073070 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595158926304 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8587] ppid=8577 vsize=15151156 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8577 8577 7690 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 475073070 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595157873664 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8588] ppid=8577 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475073072 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595156822224 140595624241051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8589] ppid=8577 vsize=15151156 memory=3962152 CPUtime=1.05 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8577 8577 7690 0 -1 1077944384 4660 0 0 0 105 0 0 0 20 0 15 0 475073072 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595155769840 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8590] ppid=8577 vsize=15151156 memory=6048 CPUtime=0.87 cores=0,2,4,6
/proc/8579/task/8590/stat : 8590 (java) S 8577 8577 7690 0 -1 1077944384 3405 0 0 0 87 0 0 0 20 0 15 0 475073072 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595154717296 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8591] ppid=8577 vsize=15151156 memory=7552 CPUtime=0.41 cores=0,2,4,6
/proc/8579/task/8591/stat : 8591 (java) S 8577 8577 7690 0 -1 1077944384 3161 0 0 0 40 1 0 0 20 0 15 0 475073072 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595153664752 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8592] ppid=8577 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8592/stat : 8592 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475073072 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595152612448 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8593] ppid=8577 vsize=15151156 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8593/stat : 8593 (java) S 8577 8577 7690 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 15 0 475073073 15514783744 1487226 33554432000 4194304 4196468 140729424013376 140595151558960 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
Current children cumulated CPU time: 42.52 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 5950352 KiB
[startup+24.0007 s]*
/proc/loadavg: 6.60 4.10 2.24 11/237 8600
/proc/meminfo: memFree=225068/32770624 swapFree=66986244/67108860
[pid=8577] ppid=8574 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8577/stat : 8577 (xcsp3-exec) S 8574 8577 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475073066 115843072 362 33554432000 4194304 5098028 140730960458000 140730960456104 140711888704124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31682560 140730960462714 140730960462957 140730960462957 140730960465866 0
/proc/8577/statm: 28282 362 304 221 0 87 0
[pid=8579] ppid=8577 vsize=15417412 memory=5949728 CPUtime=43.44 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8577 8577 7690 0 -1 1077944320 647441 0 0 0 3770 574 0 0 20 0 19 0 475073067 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140729423995920 140595624222455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
/proc/8579/statm: 3854353 1487432 3503 1 0 3815453 0
[pid=8579/tid=8580] ppid=8577 vsize=15417412 memory=8317482817917895235 CPUtime=13.7 cores=0,2,4,6
/proc/8579/task/8580/stat : 8580 (java) S 8577 8577 7690 0 -1 1077944384 23626 0 0 0 1344 26 0 0 20 0 19 0 475073067 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595628463232 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8581] ppid=8577 vsize=15417412 memory=4126316290023845779 CPUtime=5.65 cores=0,2,4,6
/proc/8579/task/8581/stat : 8581 (java) S 8577 8577 7690 0 -1 1077944384 138855 0 0 0 432 133 0 0 20 0 19 0 475073068 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595560459024 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8582] ppid=8577 vsize=15417412 memory=780 CPUtime=5.67 cores=0,2,4,6
/proc/8579/task/8582/stat : 8582 (java) S 8577 8577 7690 0 -1 1077944384 173246 0 0 0 428 139 0 0 20 0 19 0 475073068 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595559406480 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8583] ppid=8577 vsize=15417412 memory=3616 CPUtime=5.69 cores=0,2,4,6
/proc/8579/task/8583/stat : 8583 (java) S 8577 8577 7690 0 -1 1077944384 140303 0 0 0 442 127 0 0 20 0 19 0 475073068 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595558353936 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8584] ppid=8577 vsize=15417412 memory=1112 CPUtime=5.65 cores=0,2,4,6
/proc/8579/task/8584/stat : 8584 (java) S 8577 8577 7690 0 -1 1077944384 131931 0 0 0 426 139 0 0 20 0 19 0 475073068 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595557301392 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8585] ppid=8577 vsize=15417412 memory=6048 CPUtime=4.52 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) S 8577 8577 7690 0 -1 1077944384 20474 0 0 0 449 3 0 0 20 0 19 0 475073069 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595159980016 140595624233602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8586] ppid=8577 vsize=15417412 memory=7552 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8577 8577 7690 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 475073070 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595158926304 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8587] ppid=8577 vsize=15417412 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8577 8577 7690 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 19 0 475073070 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595157873664 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8588] ppid=8577 vsize=15417412 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475073072 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595156822224 140595624241051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8589] ppid=8577 vsize=15417412 memory=912 CPUtime=1.06 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) R 8577 8577 7690 0 -1 1077944384 5011 0 0 0 106 0 0 0 20 0 19 0 475073072 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595155769840 140595624233602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8590] ppid=8577 vsize=15417412 memory=1984 CPUtime=0.88 cores=0,2,4,6
/proc/8579/task/8590/stat : 8590 (java) R 8577 8577 7690 0 -1 4202560 3485 0 0 0 88 0 0 0 20 0 19 0 475073072 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595154717296 140595610283472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8591] ppid=8577 vsize=15417412 memory=2480 CPUtime=0.43 cores=0,2,4,6
/proc/8579/task/8591/stat : 8591 (java) S 8577 8577 7690 0 -1 1077944384 3854 0 0 0 42 1 0 0 20 0 19 0 475073072 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595153664752 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8592] ppid=8577 vsize=15417412 memory=1768 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8592/stat : 8592 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475073072 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595152612448 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8593] ppid=8577 vsize=15417412 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8593/stat : 8593 (java) S 8577 8577 7690 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 19 0 475073073 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595151558960 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8597] ppid=8577 vsize=15417412 memory=796 CPUtime=0.02 cores=0,2,4,6
/proc/8579/task/8597/stat : 8597 (java) R 8577 8577 7690 0 -1 4202560 2142 0 0 0 2 0 0 0 20 0 19 0 475075464 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595075172072 140595239560886 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8598] ppid=8577 vsize=15417412 memory=4104 CPUtime=0.02 cores=0,2,4,6
/proc/8579/task/8598/stat : 8598 (java) R 8577 8577 7690 0 -1 4202560 1090 0 0 0 2 0 0 0 20 0 19 0 475075464 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595074120512 140595239560771 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8599] ppid=8577 vsize=15417412 memory=1804 CPUtime=0.02 cores=0,2,4,6
/proc/8579/task/8599/stat : 8599 (java) R 8577 8577 7690 0 -1 4202560 37 0 0 0 2 0 0 0 20 0 19 0 475075464 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595073071144 140595234439918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8600] ppid=8577 vsize=15417412 memory=916 CPUtime=0.02 cores=0,2,4,6
/proc/8579/task/8600/stat : 8600 (java) R 8577 8577 7690 0 -1 4202560 1836 0 0 0 2 0 0 0 20 0 19 0 475075464 15787429888 1487432 33554432000 4194304 4196468 140729424013376 140595072015560 140595239592462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
Current children cumulated CPU time: 43.44 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 5951176 KiB
[startup+24.2011 s]
/proc/loadavg: 6.60 4.10 2.24 11/237 8600
/proc/meminfo: memFree=225068/32770624 swapFree=66986244/67108860
[pid=8577] ppid=8574 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8577/stat : 8577 (xcsp3-exec) S 8574 8577 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475073066 115843072 362 33554432000 4194304 5098028 140730960458000 140730960456104 140711888704124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31682560 140730960462714 140730960462957 140730960462957 140730960465866 0
/proc/8577/statm: 28282 362 304 221 0 87 0
[pid=8579] ppid=8577 vsize=15417412 memory=5950164 CPUtime=44.19 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8577 8577 7690 0 -1 1077944320 746636 0 0 0 3839 580 0 0 20 0 19 0 475073067 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140729423995920 140595624222455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
/proc/8579/statm: 3854353 1487541 3504 1 0 3815453 0
[pid=8579/tid=8580] ppid=8577 vsize=15417412 memory=373576 CPUtime=13.7 cores=0,2,4,6
/proc/8579/task/8580/stat : 8580 (java) S 8577 8577 7690 0 -1 1077944384 23626 0 0 0 1344 26 0 0 20 0 19 0 475073067 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595628463232 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8581] ppid=8577 vsize=15417412 memory=1412 CPUtime=5.65 cores=0,2,4,6
/proc/8579/task/8581/stat : 8581 (java) S 8577 8577 7690 0 -1 1077944384 138855 0 0 0 432 133 0 0 20 0 19 0 475073068 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595560459024 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8582] ppid=8577 vsize=15417412 memory=2752 CPUtime=5.67 cores=0,2,4,6
/proc/8579/task/8582/stat : 8582 (java) S 8577 8577 7690 0 -1 1077944384 173246 0 0 0 428 139 0 0 20 0 19 0 475073068 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595559406480 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8583] ppid=8577 vsize=15417412 memory=1448 CPUtime=5.69 cores=0,2,4,6
/proc/8579/task/8583/stat : 8583 (java) S 8577 8577 7690 0 -1 1077944384 140303 0 0 0 442 127 0 0 20 0 19 0 475073068 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595558353936 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8584] ppid=8577 vsize=15417412 memory=5938860 CPUtime=5.65 cores=0,2,4,6
/proc/8579/task/8584/stat : 8584 (java) S 8577 8577 7690 0 -1 1077944384 131931 0 0 0 426 139 0 0 20 0 19 0 475073068 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595557301392 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8585] ppid=8577 vsize=15417412 memory=288230574492221466 CPUtime=4.52 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) S 8577 8577 7690 0 -1 1077944384 20474 0 0 0 449 3 0 0 20 0 19 0 475073069 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595159980016 140595624233602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8586] ppid=8577 vsize=15417412 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8577 8577 7690 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 475073070 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595158926304 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8587] ppid=8577 vsize=15417412 memory=14697383221004840 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8577 8577 7690 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 19 0 475073070 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595157873664 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8588] ppid=8577 vsize=15417412 memory=2304 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475073072 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595156822224 140595624241051 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8589] ppid=8577 vsize=15417412 memory=1412 CPUtime=1.09 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8577 8577 7690 0 -1 1077944384 5093 0 0 0 109 0 0 0 20 0 19 0 475073072 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595155769840 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8590] ppid=8577 vsize=15417412 memory=3412 CPUtime=0.94 cores=0,2,4,6
/proc/8579/task/8590/stat : 8590 (java) S 8577 8577 7690 0 -1 1077944384 3594 0 0 0 94 0 0 0 20 0 19 0 475073072 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595154717296 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8591] ppid=8577 vsize=15417412 memory=1448 CPUtime=0.46 cores=0,2,4,6
/proc/8579/task/8591/stat : 8591 (java) S 8577 8577 7690 0 -1 1077944384 3951 0 0 0 45 1 0 0 20 0 19 0 475073072 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595153664752 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8592] ppid=8577 vsize=15417412 memory=373576 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8592/stat : 8592 (java) S 8577 8577 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475073072 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595152612448 140595624232661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8593] ppid=8577 vsize=15417412 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8593/stat : 8593 (java) S 8577 8577 7690 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 19 0 475073073 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595151558960 140595624233602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8597] ppid=8577 vsize=15417412 memory=2720 CPUtime=0.19 cores=0,2,4,6
/proc/8579/task/8597/stat : 8597 (java) R 8577 8577 7690 0 -1 4202560 28040 0 0 0 18 1 0 0 20 0 19 0 475075464 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595075174936 140595239838995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8598] ppid=8577 vsize=15417412 memory=1448 CPUtime=0.18 cores=0,2,4,6
/proc/8579/task/8598/stat : 8598 (java) R 8577 8577 7690 0 -1 4202560 25115 0 0 0 17 1 0 0 20 0 19 0 475075464 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595074120280 140595239839013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8599] ppid=8577 vsize=15417412 memory=5572192 CPUtime=0.16 cores=0,2,4,6
/proc/8579/task/8599/stat : 8599 (java) R 8577 8577 7690 0 -1 4202560 12006 0 0 0 16 0 0 0 20 0 19 0 475075464 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595073067600 140595239839077 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
[pid=8579/tid=8600] ppid=8577 vsize=15417412 memory=1164 CPUtime=0.17 cores=0,2,4,6
/proc/8579/task/8600/stat : 8600 (java) R 8577 8577 7690 0 -1 4202560 39170 0 0 0 15 2 0 0 20 0 19 0 475075464 15787429888 1487541 33554432000 4194304 4196468 140729424013376 140595072016344 140595239839000 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140729424016367 140729424016538 140729424016538 140729424019407 0
Current children cumulated CPU time: 44.19 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 5951612 KiB
[startup+24.301 s]
/proc/loadavg: 6.60 4.10 2.24 11/237 8600
/proc/meminfo: memFree=225068/32770624 swapFree=66986244/67108860
[pid=8577] ppid=8574 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8577/stat : 8577 (xcsp3-exec) S 8574 8577 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475073066 115843072 362 33554432000 4194304 5098028 140730960458000 140730960456104 140711888704124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31682560 140730960462714 140730960462957 140730960462957 140730960465866 0
/proc/8577/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 24.345
CPU time (s): 44.4394
CPU user time (s): 38.5108
CPU system time (s): 5.92851
CPU usage (%): 182.54
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 5951612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.5108
system time used= 5.92851
maximum resident set size= 5950224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 776345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6163
involuntary context switches= 543
# summary of solver processes directly reported to runsolver:
# pid: 8577
# total CPU time (s): 44.4394
# total CPU user time (s): 38.5108
# total CPU system time (s): 5.92851
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.173061 second user time and 0.30384 second system time
The end