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 (4506 MiB free)
memory of node 1: 16384 MiB (2414 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403988-1568991044/watcher-4403988-1568991044 -o /var/tmp/evaluation-result-4403988-1568991044/solver-4403988-1568991044 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7232 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 632017059 HOME/instance-4403988-1568991044.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8651, runsolver pid=8648
Current StackSize limit: 8192 KiB
[startup+0.102927 s]*
/proc/loadavg: 8.38 6.30 3.61 6/234 8667
/proc/meminfo: memFree=7070916/32770624 swapFree=67021824/67108860
[pid=8651] ppid=8648 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8651/stat : 8651 (xcsp3-exec) S 8648 8651 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475376969 115843072 363 33554432000 4194304 5098028 140736862366480 140736862364584 139741232697980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31612928 140736862368599 140736862368857 140736862368857 140736862371782 0
/proc/8651/statm: 28282 363 305 221 0 87 0
[pid=8653] ppid=8651 vsize=15144776 memory=29368 CPUtime=0.13 cores=0,2,4,6
/proc/8653/stat : 8653 (java) S 8651 8651 7201 0 -1 1077944320 5820 0 0 0 12 1 0 0 20 0 15 0 475376969 15508250624 7342 33554432000 4194304 4196468 140735179015312 140735178997856 140514097831671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
/proc/8653/statm: 3786194 7342 3177 1 0 3748377 0
[pid=8653/tid=8654] ppid=8651 vsize=15144776 memory=8116794532383920987 CPUtime=0.09 cores=0,2,4,6
/proc/8653/task/8654/stat : 8654 (java) R 8651 8651 7201 0 -1 4202560 3722 0 0 0 9 0 0 0 20 0 15 0 475376969 15508250624 7408 33554432000 4194304 4196468 140735179015312 140514102058832 140514090068798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8655] ppid=8651 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8655/stat : 8655 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376970 15508250624 7408 33554432000 4194304 4196468 140735179015312 140514025871888 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8656] ppid=8651 vsize=15144776 memory=139746986145408 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8656/stat : 8656 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376970 15508250624 7408 33554432000 4194304 4196468 140735179015312 140514024819344 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8657] ppid=8651 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8657/stat : 8657 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376970 15508250624 7408 33554432000 4194304 4196468 140735179015312 140514023766288 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8658] ppid=8651 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8658/stat : 8658 (java) S 8651 8651 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475376970 15508250624 7408 33554432000 4194304 4196468 140735179015312 140514022713744 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8659] ppid=8651 vsize=15144776 memory=139746986145408 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8659/stat : 8659 (java) S 8651 8651 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475376972 15508250624 7408 33554432000 4194304 4196468 140735179015312 140513566395120 140514097842818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8660] ppid=8651 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8660/stat : 8660 (java) S 8651 8651 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475376972 15508250624 7408 33554432000 4194304 4196468 140735179015312 140513565341344 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8661] ppid=8651 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8661/stat : 8661 (java) S 8651 8651 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475376972 15508250624 7408 33554432000 4194304 4196468 140735179015312 140513564288240 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8662] ppid=8651 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8662/stat : 8662 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475376975 15508250624 7408 33554432000 4194304 4196468 140735179015312 140513563236816 140514097850267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8663] ppid=8651 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8663/stat : 8663 (java) R 8651 8651 7201 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 475376975 15508250624 7408 33554432000 4194304 4196468 140735179015312 140513562184016 140514097841877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8664] ppid=8651 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8664/stat : 8664 (java) R 8651 8651 7201 0 -1 4202560 185 0 0 0 0 0 0 0 20 0 15 0 475376975 15508250624 7408 33554432000 4194304 4196468 140735179015312 140513561123024 140514083494400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8665] ppid=8651 vsize=15144776 memory=139746986145408 CPUtime=0.02 cores=0,2,4,6
/proc/8653/task/8665/stat : 8665 (java) R 8651 8651 7201 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 475376975 15508250624 7408 33554432000 4194304 4196468 140735179015312 140513560078320 140514077800447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8666] ppid=8651 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8666/stat : 8666 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475376975 15508250624 7408 33554432000 4194304 4196468 140735179015312 140513559026016 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8667] ppid=8651 vsize=15144776 memory=139746986145408 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8667/stat : 8667 (java) R 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376975 15508250624 7408 33554432000 4194304 4196468 140735179015312 140513557974064 140514097842818 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30820 KiB
[startup+0.210867 s]*
/proc/loadavg: 8.38 6.30 3.61 8/234 8667
/proc/meminfo: memFree=7057276/32770624 swapFree=67021824/67108860
[pid=8651] ppid=8648 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8651/stat : 8651 (xcsp3-exec) S 8648 8651 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475376969 115843072 363 33554432000 4194304 5098028 140736862366480 140736862364584 139741232697980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31612928 140736862368599 140736862368857 140736862368857 140736862371782 0
/proc/8651/statm: 28282 363 305 221 0 87 0
[pid=8653] ppid=8651 vsize=15144776 memory=40948 CPUtime=0.34 cores=0,2,4,6
/proc/8653/stat : 8653 (java) S 8651 8651 7201 0 -1 1077944320 9476 0 0 0 32 2 0 0 20 0 15 0 475376969 15508250624 10237 33554432000 4194304 4196468 140735179015312 140735178997856 140514097831671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
/proc/8653/statm: 3786194 10237 3293 1 0 3748377 0
[pid=8653/tid=8654] ppid=8651 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8653/task/8654/stat : 8654 (java) R 8651 8651 7201 0 -1 4202560 6624 0 0 0 19 1 0 0 20 0 15 0 475376969 15508250624 10237 33554432000 4194304 4196468 140735179015312 140514102068720 140514097843606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8655] ppid=8651 vsize=15144776 memory=13575 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8655/stat : 8655 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376970 15508250624 10237 33554432000 4194304 4196468 140735179015312 140514025871888 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8656] ppid=8651 vsize=15144776 memory=139746989702078 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8656/stat : 8656 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376970 15508250624 10237 33554432000 4194304 4196468 140735179015312 140514024819344 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8657] ppid=8651 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8657/stat : 8657 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376970 15508250624 10237 33554432000 4194304 4196468 140735179015312 140514023766288 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8658] ppid=8651 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8658/stat : 8658 (java) S 8651 8651 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475376970 15508250624 10237 33554432000 4194304 4196468 140735179015312 140514022713744 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8659] ppid=8651 vsize=15144776 memory=139746986145408 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8659/stat : 8659 (java) S 8651 8651 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475376972 15508250624 10237 33554432000 4194304 4196468 140735179015312 140513566395120 140514097842818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8660] ppid=8651 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8660/stat : 8660 (java) S 8651 8651 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475376972 15508250624 10237 33554432000 4194304 4196468 140735179015312 140513565341344 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8661] ppid=8651 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8661/stat : 8661 (java) S 8651 8651 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475376972 15508250624 10237 33554432000 4194304 4196468 140735179015312 140513564288240 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8662] ppid=8651 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8662/stat : 8662 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475376975 15508250624 10237 33554432000 4194304 4196468 140735179015312 140513563236816 140514097850267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8663] ppid=8651 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8653/task/8663/stat : 8663 (java) S 8651 8651 7201 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 475376975 15508250624 10237 33554432000 4194304 4196468 140735179015312 140513562183920 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8664] ppid=8651 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8653/task/8664/stat : 8664 (java) S 8651 8651 7201 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 15 0 475376975 15508250624 10237 33554432000 4194304 4196468 140735179015312 140513561131376 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8665] ppid=8651 vsize=15144776 memory=139746986145408 CPUtime=0.08 cores=0,2,4,6
/proc/8653/task/8665/stat : 8665 (java) S 8651 8651 7201 0 -1 1077944384 707 0 0 0 8 0 0 0 20 0 15 0 475376975 15508250624 10237 33554432000 4194304 4196468 140735179015312 140513560078320 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8666] ppid=8651 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8666/stat : 8666 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475376975 15508250624 10237 33554432000 4194304 4196468 140735179015312 140513559026016 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8667] ppid=8651 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8667/stat : 8667 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376975 15508250624 10237 33554432000 4194304 4196468 140735179015312 140513557974064 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42400 KiB
[startup+0.310733 s]*
/proc/loadavg: 8.38 6.30 3.61 6/234 8667
/proc/meminfo: memFree=7050252/32770624 swapFree=67021824/67108860
[pid=8651] ppid=8648 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8651/stat : 8651 (xcsp3-exec) S 8648 8651 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475376969 115843072 363 33554432000 4194304 5098028 140736862366480 140736862364584 139741232697980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31612928 140736862368599 140736862368857 140736862368857 140736862371782 0
/proc/8651/statm: 28282 363 305 221 0 87 0
[pid=8653] ppid=8651 vsize=15149032 memory=49808 CPUtime=0.51 cores=0,2,4,6
/proc/8653/stat : 8653 (java) S 8651 8651 7201 0 -1 1077944320 10776 0 0 0 48 3 0 0 20 0 15 0 475376969 15512608768 12452 33554432000 4194304 4196468 140735179015312 140735178997856 140514097831671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
/proc/8653/statm: 3787258 12452 3328 1 0 3748377 0
[pid=8653/tid=8654] ppid=8651 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/8653/task/8654/stat : 8654 (java) R 8651 8651 7201 0 -1 4202560 7826 0 0 0 28 2 0 0 20 0 15 0 475376969 15512608768 12452 33554432000 4194304 4196468 140735179015312 140514102062784 140514081912158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8655] ppid=8651 vsize=15149032 memory=13938 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8655/stat : 8655 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376970 15512608768 12452 33554432000 4194304 4196468 140735179015312 140514025871888 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8656] ppid=8651 vsize=15149032 memory=3566264 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8656/stat : 8656 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376970 15512608768 12452 33554432000 4194304 4196468 140735179015312 140514024819344 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8657] ppid=8651 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8657/stat : 8657 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376970 15512608768 12452 33554432000 4194304 4196468 140735179015312 140514023766288 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8658] ppid=8651 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8658/stat : 8658 (java) S 8651 8651 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475376970 15512608768 12452 33554432000 4194304 4196468 140735179015312 140514022713744 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8659] ppid=8651 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8659/stat : 8659 (java) S 8651 8651 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475376972 15512608768 12452 33554432000 4194304 4196468 140735179015312 140513566395120 140514097842818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8660] ppid=8651 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8660/stat : 8660 (java) S 8651 8651 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475376972 15512608768 12452 33554432000 4194304 4196468 140735179015312 140513565341344 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8661] ppid=8651 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8661/stat : 8661 (java) S 8651 8651 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475376972 15512608768 12452 33554432000 4194304 4196468 140735179015312 140513564288240 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8662] ppid=8651 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8662/stat : 8662 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475376975 15512608768 12452 33554432000 4194304 4196468 140735179015312 140513563236816 140514097850267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8663] ppid=8651 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8653/task/8663/stat : 8663 (java) S 8651 8651 7201 0 -1 1077944384 566 0 0 0 3 0 0 0 20 0 15 0 475376975 15512608768 12452 33554432000 4194304 4196468 140735179015312 140513562183920 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8664] ppid=8651 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8653/task/8664/stat : 8664 (java) S 8651 8651 7201 0 -1 1077944384 301 0 0 0 3 0 0 0 20 0 15 0 475376975 15512608768 12452 33554432000 4194304 4196468 140735179015312 140513561131376 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8665] ppid=8651 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8653/task/8665/stat : 8665 (java) S 8651 8651 7201 0 -1 1077944384 789 0 0 0 12 0 0 0 20 0 15 0 475376975 15512608768 12452 33554432000 4194304 4196468 140735179015312 140513560078320 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8666] ppid=8651 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8666/stat : 8666 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475376975 15512608768 12452 33554432000 4194304 4196468 140735179015312 140513559026016 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8667] ppid=8651 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8667/stat : 8667 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376975 15512608768 12452 33554432000 4194304 4196468 140735179015312 140513557974064 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51260 KiB
[startup+0.70076 s]
/proc/loadavg: 8.38 6.30 3.61 8/234 8667
/proc/meminfo: memFree=7037960/32770624 swapFree=67021824/67108860
[pid=8651] ppid=8648 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8651/stat : 8651 (xcsp3-exec) S 8648 8651 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475376969 115843072 363 33554432000 4194304 5098028 140736862366480 140736862364584 139741232697980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31612928 140736862368599 140736862368857 140736862368857 140736862371782 0
/proc/8651/statm: 28282 363 305 221 0 87 0
[pid=8653] ppid=8651 vsize=15151156 memory=81784 CPUtime=1.54 cores=0,2,4,6
/proc/8653/stat : 8653 (java) S 8651 8651 7201 0 -1 1077944320 14103 0 0 0 149 5 0 0 20 0 15 0 475376969 15514783744 20446 33554432000 4194304 4196468 140735179015312 140735178997856 140514097831671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
/proc/8653/statm: 3787789 20446 3451 1 0 3748889 0
[pid=8653/tid=8654] ppid=8651 vsize=15151156 memory=12328 CPUtime=0.68 cores=0,2,4,6
/proc/8653/task/8654/stat : 8654 (java) R 8651 8651 7201 0 -1 4202560 9203 0 0 0 65 3 0 0 20 0 15 0 475376969 15514783744 20446 33554432000 4194304 4196468 140735179015312 140514102066432 140514081875301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8655] ppid=8651 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8655/stat : 8655 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376970 15514783744 20446 33554432000 4194304 4196468 140735179015312 140514025871888 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8656] ppid=8651 vsize=15151156 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8656/stat : 8656 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376970 15514783744 20446 33554432000 4194304 4196468 140735179015312 140514024819344 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8657] ppid=8651 vsize=15151156 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8657/stat : 8657 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376970 15514783744 20446 33554432000 4194304 4196468 140735179015312 140514023766288 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8658] ppid=8651 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8658/stat : 8658 (java) S 8651 8651 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475376970 15514783744 20446 33554432000 4194304 4196468 140735179015312 140514022713744 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8659] ppid=8651 vsize=15151156 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8659/stat : 8659 (java) S 8651 8651 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475376972 15514783744 20446 33554432000 4194304 4196468 140735179015312 140513566395120 140514097842818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8660] ppid=8651 vsize=15151156 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8660/stat : 8660 (java) S 8651 8651 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475376972 15514783744 20446 33554432000 4194304 4196468 140735179015312 140513565341344 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8661] ppid=8651 vsize=15151156 memory=2508 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8661/stat : 8661 (java) S 8651 8651 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475376972 15514783744 20446 33554432000 4194304 4196468 140735179015312 140513564288240 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8662] ppid=8651 vsize=15151156 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8662/stat : 8662 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475376975 15514783744 20446 33554432000 4194304 4196468 140735179015312 140513563236816 140514097850267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8663] ppid=8651 vsize=15151156 memory=836 CPUtime=0.19 cores=0,2,4,6
/proc/8653/task/8663/stat : 8663 (java) R 8651 8651 7201 0 -1 1077944384 1015 0 0 0 19 0 0 0 20 0 15 0 475376975 15514783744 20446 33554432000 4194304 4196468 140735179015312 140513562183920 140514097842818 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8664] ppid=8651 vsize=15151156 memory=1760 CPUtime=0.21 cores=0,2,4,6
/proc/8653/task/8664/stat : 8664 (java) R 8651 8651 7201 0 -1 4202560 716 0 0 0 21 0 0 0 20 0 15 0 475376975 15514783744 20446 33554432000 4194304 4196468 140735179015312 140513561122704 140514083845980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8665] ppid=8651 vsize=15151156 memory=111632 CPUtime=0.43 cores=0,2,4,6
/proc/8653/task/8665/stat : 8665 (java) R 8651 8651 7201 0 -1 4202560 1862 0 0 0 43 0 0 0 20 0 15 0 475376975 15514783744 20446 33554432000 4194304 4196468 140735179015312 140513560078320 140514075995549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8666] ppid=8651 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8666/stat : 8666 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475376975 15514783744 20446 33554432000 4194304 4196468 140735179015312 140513559026016 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8667] ppid=8651 vsize=15151156 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8667/stat : 8667 (java) S 8651 8651 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475376975 15514783744 20446 33554432000 4194304 4196468 140735179015312 140513557974064 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 83236 KiB
[startup+1.50117 s]
/proc/loadavg: 8.19 6.29 3.62 10/238 8671
/proc/meminfo: memFree=6950976/32770624 swapFree=67021824/67108860
[pid=8651] ppid=8648 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8651/stat : 8651 (xcsp3-exec) S 8648 8651 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475376969 115843072 363 33554432000 4194304 5098028 140736862366480 140736862364584 139741232697980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31612928 140736862368599 140736862368857 140736862368857 140736862371782 0
/proc/8651/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/8653/task/8667/stat : 8667 (java) S 8651 8651 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475376975 15857688576 55915 33554432000 4194304 4196468 140735179015312 140513557974064 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8712] ppid=8651 vsize=15486024 memory=-8096454439705354400 CPUtime=2.5 cores=0,2,4,6
/proc/8653/task/8712/stat : 8712 (java) R 8651 8651 7201 0 -1 4202560 77 0 0 0 250 0 0 0 20 0 19 0 475377093 15857688576 55915 33554432000 4194304 4196468 140735179015312 140513084686624 140513704631549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8713] ppid=8651 vsize=15486024 memory=-2317720213663851332 CPUtime=2.59 cores=0,2,4,6
/proc/8653/task/8713/stat : 8713 (java) R 8651 8651 7201 0 -1 4202560 151 0 0 0 259 0 0 0 20 0 19 0 475377093 15857688576 55915 33554432000 4194304 4196468 140735179015312 140513085741304 140513706523797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8714] ppid=8651 vsize=15486024 memory=1452 CPUtime=2.58 cores=0,2,4,6
/proc/8653/task/8714/stat : 8714 (java) R 8651 8651 7201 0 -1 4202560 118 0 0 0 258 0 0 0 20 0 19 0 475377093 15857688576 55915 33554432000 4194304 4196468 140735179015312 140513083633128 140513705319816 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8715] ppid=8651 vsize=15486024 memory=1452 CPUtime=2.47 cores=0,2,4,6
/proc/8653/task/8715/stat : 8715 (java) R 8651 8651 7201 0 -1 4202560 90 0 0 0 247 0 0 0 20 0 19 0 475377093 15857688576 55915 33554432000 4194304 4196468 140735179015312 140513082582040 140513707511328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
Current children cumulated CPU time: 17.61 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 225112 KiB
[startup+5.20116 s]
/proc/loadavg: 8.19 6.29 3.62 9/238 8715
/proc/meminfo: memFree=6875972/32770624 swapFree=67021824/67108860
[pid=8651] ppid=8648 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8651/stat : 8651 (xcsp3-exec) S 8648 8651 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475376969 115843072 363 33554432000 4194304 5098028 140736862366480 140736862364584 139741232697980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31612928 140736862368599 140736862368857 140736862368857 140736862371782 0
/proc/8651/statm: 28282 363 305 221 0 87 0
[pid=8653] ppid=8651 vsize=15486024 memory=223700 CPUtime=19.2 cores=0,2,4,6
/proc/8653/stat : 8653 (java) S 8651 8651 7201 0 -1 1077944320 25895 0 0 0 1910 10 0 0 20 0 19 0 475376969 15857688576 55925 33554432000 4194304 4196468 140735179015312 140735178997856 140514097831671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
/proc/8653/statm: 3871506 55925 3518 1 0 3832606 0
[pid=8653/tid=8654] ppid=8651 vsize=15486024 memory=0 CPUtime=0.96 cores=0,2,4,6
/proc/8653/task/8654/stat : 8654 (java) S 8651 8651 7201 0 -1 1077944384 9387 0 0 0 93 3 0 0 20 0 19 0 475376969 15857688576 55925 33554432000 4194304 4196468 140735179015312 140514102072448 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8655] ppid=8651 vsize=15486024 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8653/task/8655/stat : 8655 (java) S 8651 8651 7201 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 475376970 15857688576 55925 33554432000 4194304 4196468 140735179015312 140514025871888 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8656] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8656/stat : 8656 (java) S 8651 8651 7201 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475376970 15857688576 55925 33554432000 4194304 4196468 140735179015312 140514024819344 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8657] ppid=8651 vsize=15486024 memory=6656426216303648864 CPUtime=0.01 cores=0,2,4,6
/proc/8653/task/8657/stat : 8657 (java) S 8651 8651 7201 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 19 0 475376970 15857688576 55925 33554432000 4194304 4196468 140735179015312 140514023766288 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8658] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8658/stat : 8658 (java) S 8651 8651 7201 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475376970 15857688576 55925 33554432000 4194304 4196468 140735179015312 140514022713744 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8659] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8659/stat : 8659 (java) S 8651 8651 7201 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 19 0 475376972 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513566395120 140514097842818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8660] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8660/stat : 8660 (java) S 8651 8651 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475376972 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513565341408 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8661] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8661/stat : 8661 (java) S 8651 8651 7201 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475376972 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513564288256 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8662] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8662/stat : 8662 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475376975 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513563236816 140514097850267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8663] ppid=8651 vsize=15486024 memory=0 CPUtime=2.41 cores=0,2,4,6
/proc/8653/task/8663/stat : 8663 (java) S 8651 8651 7201 0 -1 1077944384 5890 0 0 0 240 1 0 0 20 0 19 0 475376975 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513562183920 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8664] ppid=8651 vsize=15486024 memory=0 CPUtime=2.72 cores=0,2,4,6
/proc/8653/task/8664/stat : 8664 (java) S 8651 8651 7201 0 -1 1077944384 3350 0 0 0 272 0 0 0 20 0 19 0 475376975 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513561131376 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8665] ppid=8651 vsize=15486024 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/8653/task/8665/stat : 8665 (java) S 8651 8651 7201 0 -1 1077944384 3800 0 0 0 92 1 0 0 20 0 19 0 475376975 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513560078320 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8666] ppid=8651 vsize=15486024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8666/stat : 8666 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475376975 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513559026016 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8667] ppid=8651 vsize=15486024 memory=223520 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8667/stat : 8667 (java) S 8651 8651 7201 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 19 0 475376975 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513557974064 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8712] ppid=8651 vsize=15486024 memory=0 CPUtime=2.9 cores=0,2,4,6
/proc/8653/task/8712/stat : 8712 (java) R 8651 8651 7201 0 -1 4202560 78 0 0 0 290 0 0 0 20 0 19 0 475377093 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513084685864 140513703822267 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8713] ppid=8651 vsize=15486024 memory=0 CPUtime=2.98 cores=0,2,4,6
/proc/8653/task/8713/stat : 8713 (java) R 8651 8651 7201 0 -1 4202560 151 0 0 0 298 0 0 0 20 0 19 0 475377093 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513085739256 140513703821739 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8714] ppid=8651 vsize=15486024 memory=0 CPUtime=2.94 cores=0,2,4,6
/proc/8653/task/8714/stat : 8714 (java) R 8651 8651 7201 0 -1 4202560 123 0 0 0 294 0 0 0 20 0 19 0 475377093 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513083633816 140513703821712 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8715] ppid=8651 vsize=15486024 memory=0 CPUtime=2.85 cores=0,2,4,6
/proc/8653/task/8715/stat : 8715 (java) R 8651 8651 7201 0 -1 4202560 91 0 0 0 285 0 0 0 20 0 19 0 475377093 15857688576 55925 33554432000 4194304 4196468 140735179015312 140513082581336 140513703822299 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
Current children cumulated CPU time: 19.2 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 225152 KiB
[startup+5.60917 s]
/proc/loadavg: 8.19 6.29 3.62 9/238 8715
/proc/meminfo: memFree=6875972/32770624 swapFree=67021824/67108860
[pid=8651] ppid=8648 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8651/stat : 8651 (xcsp3-exec) S 8648 8651 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475376969 115843072 363 33554432000 4194304 5098028 140736862366480 140736862364584 139741232697980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31612928 140736862368599 140736862368857 140736862368857 140736862371782 0
/proc/8651/statm: 28282 363 305 221 0 87 0
[pid=8653] ppid=8651 vsize=15486024 memory=223812 CPUtime=20.82 cores=0,2,4,6
/proc/8653/stat : 8653 (java) S 8651 8651 7201 0 -1 1077944320 29683 0 0 0 2072 10 0 0 20 0 19 0 475376969 15857688576 55953 33554432000 4194304 4196468 140735179015312 140735178997856 140514097831671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
/proc/8653/statm: 3871506 55953 3519 1 0 3832606 0
[pid=8653/tid=8654] ppid=8651 vsize=15486024 memory=0 CPUtime=0.96 cores=0,2,4,6
/proc/8653/task/8654/stat : 8654 (java) S 8651 8651 7201 0 -1 1077944384 9387 0 0 0 93 3 0 0 20 0 19 0 475376969 15857688576 55953 33554432000 4194304 4196468 140735179015312 140514102072448 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8655] ppid=8651 vsize=15486024 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8653/task/8655/stat : 8655 (java) S 8651 8651 7201 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 475376970 15857688576 55953 33554432000 4194304 4196468 140735179015312 140514025871888 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8656] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8656/stat : 8656 (java) S 8651 8651 7201 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475376970 15857688576 55953 33554432000 4194304 4196468 140735179015312 140514024819344 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8657] ppid=8651 vsize=15486024 memory=139746827860544 CPUtime=0.01 cores=0,2,4,6
/proc/8653/task/8657/stat : 8657 (java) S 8651 8651 7201 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 19 0 475376970 15857688576 55953 33554432000 4194304 4196468 140735179015312 140514023766288 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8658] ppid=8651 vsize=15486024 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8658/stat : 8658 (java) S 8651 8651 7201 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475376970 15857688576 55953 33554432000 4194304 4196468 140735179015312 140514022713744 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8659] ppid=8651 vsize=15486024 memory=7512114543601282149 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8659/stat : 8659 (java) S 8651 8651 7201 0 -1 1077944384 389 0 0 0 0 0 0 0 20 0 19 0 475376972 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513566395120 140514097842818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8660] ppid=8651 vsize=15486024 memory=4639939496134862184 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8660/stat : 8660 (java) S 8651 8651 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475376972 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513565341408 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8661] ppid=8651 vsize=15486024 memory=4639939496134862184 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8661/stat : 8661 (java) S 8651 8651 7201 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475376972 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513564288256 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8662] ppid=8651 vsize=15486024 memory=4639939496134862184 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8662/stat : 8662 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475376975 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513563236816 140514097850267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8663] ppid=8651 vsize=15486024 memory=1452 CPUtime=2.45 cores=0,2,4,6
/proc/8653/task/8663/stat : 8663 (java) S 8651 8651 7201 0 -1 1077944384 6810 0 0 0 244 1 0 0 20 0 19 0 475376975 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513562183920 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8664] ppid=8651 vsize=15486024 memory=223464 CPUtime=2.76 cores=0,2,4,6
/proc/8653/task/8664/stat : 8664 (java) S 8651 8651 7201 0 -1 1077944384 4372 0 0 0 276 0 0 0 20 0 19 0 475376975 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513561131376 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8665] ppid=8651 vsize=15486024 memory=0 CPUtime=0.94 cores=0,2,4,6
/proc/8653/task/8665/stat : 8665 (java) S 8651 8651 7201 0 -1 1077944384 4967 0 0 0 93 1 0 0 20 0 19 0 475376975 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513560078320 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8666] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8666/stat : 8666 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475376975 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513559026016 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8667] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8667/stat : 8667 (java) R 8651 8651 7201 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 19 0 475376975 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513557974064 140514097842818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8712] ppid=8651 vsize=15486024 memory=0 CPUtime=3.31 cores=0,2,4,6
/proc/8653/task/8712/stat : 8712 (java) R 8651 8651 7201 0 -1 4202560 180 0 0 0 331 0 0 0 20 0 19 0 475377093 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513084685960 140513705319724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8713] ppid=8651 vsize=15486024 memory=0 CPUtime=3.39 cores=0,2,4,6
/proc/8653/task/8713/stat : 8713 (java) R 8651 8651 7201 0 -1 4202560 260 0 0 0 339 0 0 0 20 0 19 0 475377093 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513085738720 140513703822190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8714] ppid=8651 vsize=15486024 memory=3648 CPUtime=3.3 cores=0,2,4,6
/proc/8653/task/8714/stat : 8714 (java) R 8651 8651 7201 0 -1 4202560 353 0 0 0 330 0 0 0 20 0 19 0 475377093 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513083634280 140513703829712 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8715] ppid=8651 vsize=15486024 memory=41744 CPUtime=3.22 cores=0,2,4,6
/proc/8653/task/8715/stat : 8715 (java) R 8651 8651 7201 0 -1 4202560 289 0 0 0 322 0 0 0 20 0 19 0 475377093 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513082582216 140513703821717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
Current children cumulated CPU time: 20.82 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 225264 KiB
[startup+5.70117 s]
/proc/loadavg: 8.19 6.29 3.62 9/238 8715
/proc/meminfo: memFree=6875972/32770624 swapFree=67021824/67108860
[pid=8651] ppid=8648 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8651/stat : 8651 (xcsp3-exec) S 8648 8651 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475376969 115843072 363 33554432000 4194304 5098028 140736862366480 140736862364584 139741232697980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31612928 140736862368599 140736862368857 140736862368857 140736862371782 0
/proc/8651/statm: 28282 363 305 221 0 87 0
[pid=8653] ppid=8651 vsize=15486024 memory=223812 CPUtime=21.19 cores=0,2,4,6
/proc/8653/stat : 8653 (java) S 8651 8651 7201 0 -1 1077944320 29687 0 0 0 2109 10 0 0 20 0 19 0 475376969 15857688576 55953 33554432000 4194304 4196468 140735179015312 140735178997856 140514097831671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
/proc/8653/statm: 3871506 55953 3519 1 0 3832606 0
[pid=8653/tid=8654] ppid=8651 vsize=15486024 memory=0 CPUtime=0.96 cores=0,2,4,6
/proc/8653/task/8654/stat : 8654 (java) S 8651 8651 7201 0 -1 1077944384 9387 0 0 0 93 3 0 0 20 0 19 0 475376969 15857688576 55953 33554432000 4194304 4196468 140735179015312 140514102072448 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8655] ppid=8651 vsize=15486024 memory=279493654820240 CPUtime=0.01 cores=0,2,4,6
/proc/8653/task/8655/stat : 8655 (java) S 8651 8651 7201 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 475376970 15857688576 55953 33554432000 4194304 4196468 140735179015312 140514025871888 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8656] ppid=8651 vsize=15486024 memory=3905500701923620953 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8656/stat : 8656 (java) S 8651 8651 7201 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475376970 15857688576 55953 33554432000 4194304 4196468 140735179015312 140514024819344 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8657] ppid=8651 vsize=15486024 memory=2321948892686989801 CPUtime=0.01 cores=0,2,4,6
/proc/8653/task/8657/stat : 8657 (java) S 8651 8651 7201 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 19 0 475376970 15857688576 55953 33554432000 4194304 4196468 140735179015312 140514023766288 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8658] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8658/stat : 8658 (java) S 8651 8651 7201 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475376970 15857688576 55953 33554432000 4194304 4196468 140735179015312 140514022713744 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8659] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8659/stat : 8659 (java) S 8651 8651 7201 0 -1 1077944384 389 0 0 0 0 0 0 0 20 0 19 0 475376972 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513566395120 140514097842818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8660] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8660/stat : 8660 (java) S 8651 8651 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475376972 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513565341408 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8661] ppid=8651 vsize=15486024 memory=209060 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8661/stat : 8661 (java) S 8651 8651 7201 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475376972 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513564288256 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8662] ppid=8651 vsize=15486024 memory=195416 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8662/stat : 8662 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475376975 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513563236816 140514097850267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8663] ppid=8651 vsize=15486024 memory=836 CPUtime=2.45 cores=0,2,4,6
/proc/8653/task/8663/stat : 8663 (java) S 8651 8651 7201 0 -1 1077944384 6810 0 0 0 244 1 0 0 20 0 19 0 475376975 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513562183920 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8664] ppid=8651 vsize=15486024 memory=8112282956445269571 CPUtime=2.76 cores=0,2,4,6
/proc/8653/task/8664/stat : 8664 (java) S 8651 8651 7201 0 -1 1077944384 4372 0 0 0 276 0 0 0 20 0 19 0 475376975 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513561131376 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8665] ppid=8651 vsize=15486024 memory=0 CPUtime=0.94 cores=0,2,4,6
/proc/8653/task/8665/stat : 8665 (java) S 8651 8651 7201 0 -1 1077944384 4967 0 0 0 93 1 0 0 20 0 19 0 475376975 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513560078320 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8666] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8666/stat : 8666 (java) S 8651 8651 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475376975 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513559026016 140514097841877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8667] ppid=8651 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8653/task/8667/stat : 8667 (java) S 8651 8651 7201 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 19 0 475376975 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513557974064 140514097842818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8712] ppid=8651 vsize=15486024 memory=164 CPUtime=3.4 cores=0,2,4,6
/proc/8653/task/8712/stat : 8712 (java) R 8651 8651 7201 0 -1 4202560 180 0 0 0 340 0 0 0 20 0 19 0 475377093 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513084685960 140513698223102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8713] ppid=8651 vsize=15486024 memory=0 CPUtime=3.48 cores=0,2,4,6
/proc/8653/task/8713/stat : 8713 (java) R 8651 8651 7201 0 -1 4202560 260 0 0 0 348 0 0 0 20 0 19 0 475377093 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513085738720 140513703809024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8714] ppid=8651 vsize=15486024 memory=0 CPUtime=3.39 cores=0,2,4,6
/proc/8653/task/8714/stat : 8714 (java) R 8651 8651 7201 0 -1 4202560 357 0 0 0 339 0 0 0 20 0 19 0 475377093 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513083634280 140513704861540 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
[pid=8653/tid=8715] ppid=8651 vsize=15486024 memory=11201814732848 CPUtime=3.31 cores=0,2,4,6
/proc/8653/task/8715/stat : 8715 (java) R 8651 8651 7201 0 -1 4202560 289 0 0 0 331 0 0 0 20 0 19 0 475377093 15857688576 55953 33554432000 4194304 4196468 140735179015312 140513082582216 140513706360077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140735179023323 140735179023498 140735179023498 140735179026383 0
Current children cumulated CPU time: 21.19 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 225264 KiB
Child status: 0
Real time (s): 5.74879
CPU time (s): 21.3642
CPU user time (s): 21.2499
CPU system time (s): 0.114287
CPU usage (%): 371.629
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 225264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.2499
system time used= 0.114287
maximum resident set size= 224088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30757
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= 3465
involuntary context switches= 953
# summary of solver processes directly reported to runsolver:
# pid: 8651
# total CPU time (s): 21.3642
# total CPU user time (s): 21.2499
# total CPU system time (s): 0.114287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047649 second user time and 0.117289 second system time
The end