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 (9581 MiB free)
memory of node 1: 16384 MiB (3162 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403733-1568990817/watcher-4403733-1568990817 -o /var/tmp/evaluation-result-4403733-1568990817/solver-4403733-1568990817 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25142 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 906761881 HOME/instance-4403733-1568990817.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=28063, runsolver pid=28060
[startup+0.100162 s]*
/proc/loadavg: 8.01 7.83 7.85 6/234 28079
/proc/meminfo: memFree=13033252/32770624 swapFree=67002248/67108860
[pid=28063] ppid=28060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28063/stat : 28063 (xcsp3-exec) S 28060 28063 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475330285 115843072 363 33554432000 4194304 5098028 140729108114384 140729108112488 139794804974204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11931648 140729108116311 140729108116569 140729108116569 140729108119494 0
/proc/28063/statm: 28282 363 305 221 0 87 0
[pid=28065] ppid=28063 vsize=15144776 memory=29056 CPUtime=0.12 cores=0,2,4,6
/proc/28065/stat : 28065 (java) S 28063 28063 25111 0 -1 1077944320 5742 0 0 0 12 0 0 0 20 0 15 0 475330285 15508250624 7264 33554432000 4194304 4196468 140735601040944 140735601023488 140148291575543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
/proc/28065/statm: 3786194 7264 3115 1 0 3748377 0
[pid=28065/tid=28066] ppid=28063 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/28065/task/28066/stat : 28066 (java) R 28063 28063 25111 0 -1 4202560 3691 0 0 0 9 0 0 0 20 0 15 0 475330286 15508250624 7264 33554432000 4194304 4196468 140735601040944 140148295801680 140147886788917 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28067] ppid=28063 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28067/stat : 28067 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330286 15508250624 7264 33554432000 4194304 4196468 140735601040944 140148219616272 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28068] ppid=28063 vsize=15144776 memory=140420183053952 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28068/stat : 28068 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330286 15508250624 7264 33554432000 4194304 4196468 140735601040944 140148218563728 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28069] ppid=28063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28069/stat : 28069 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330286 15508250624 7264 33554432000 4194304 4196468 140735601040944 140148217510672 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28070] ppid=28063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28070/stat : 28070 (java) S 28063 28063 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475330286 15508250624 7264 33554432000 4194304 4196468 140735601040944 140148216458128 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28071] ppid=28063 vsize=15144776 memory=140420183053952 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28071/stat : 28071 (java) S 28063 28063 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475330288 15508250624 7264 33554432000 4194304 4196468 140735601040944 140147165645040 140148291586690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28072] ppid=28063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28072/stat : 28072 (java) S 28063 28063 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475330288 15508250624 7264 33554432000 4194304 4196468 140735601040944 140147164591264 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28073] ppid=28063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28073/stat : 28073 (java) S 28063 28063 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475330288 15508250624 7264 33554432000 4194304 4196468 140735601040944 140147163538160 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28074] ppid=28063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28074/stat : 28074 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475330291 15508250624 7264 33554432000 4194304 4196468 140735601040944 140147162486736 140148291594139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28075] ppid=28063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28075/stat : 28075 (java) S 28063 28063 25111 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 475330291 15508250624 7264 33554432000 4194304 4196468 140735601040944 140147161434864 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28076] ppid=28063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28076/stat : 28076 (java) S 28063 28063 25111 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 475330291 15508250624 7264 33554432000 4194304 4196468 140735601040944 140147160382320 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28077] ppid=28063 vsize=15144776 memory=140420183053952 CPUtime=0.02 cores=0,2,4,6
/proc/28065/task/28077/stat : 28077 (java) S 28063 28063 25111 0 -1 1077944384 320 0 0 0 2 0 0 0 20 0 15 0 475330291 15508250624 7264 33554432000 4194304 4196468 140735601040944 140147159329264 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28078] ppid=28063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28078/stat : 28078 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475330291 15508250624 7264 33554432000 4194304 4196468 140735601040944 140147158276960 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28079] ppid=28063 vsize=15144776 memory=140420183053952 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28079/stat : 28079 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330292 15508250624 7264 33554432000 4194304 4196468 140735601040944 140147157223984 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30508 KiB
[startup+0.212386 s]*
/proc/loadavg: 8.01 7.83 7.85 6/234 28079
/proc/meminfo: memFree=13020328/32770624 swapFree=67002248/67108860
[pid=28063] ppid=28060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28063/stat : 28063 (xcsp3-exec) S 28060 28063 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475330285 115843072 363 33554432000 4194304 5098028 140729108114384 140729108112488 139794804974204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11931648 140729108116311 140729108116569 140729108116569 140729108119494 0
/proc/28063/statm: 28282 363 305 221 0 87 0
[pid=28065] ppid=28063 vsize=15144776 memory=39940 CPUtime=0.34 cores=0,2,4,6
/proc/28065/stat : 28065 (java) S 28063 28063 25111 0 -1 1077944320 9291 0 0 0 32 2 0 0 20 0 15 0 475330285 15508250624 9985 33554432000 4194304 4196468 140735601040944 140735601023488 140148291575543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
/proc/28065/statm: 3786194 9985 3262 1 0 3748377 0
[pid=28065/tid=28066] ppid=28063 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/28065/task/28066/stat : 28066 (java) R 28063 28063 25111 0 -1 4202560 6556 0 0 0 18 2 0 0 20 0 15 0 475330286 15508250624 9985 33554432000 4194304 4196468 140735601040944 140148295804768 140147886803616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28067] ppid=28063 vsize=15144776 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28067/stat : 28067 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330286 15508250624 9985 33554432000 4194304 4196468 140735601040944 140148219616272 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28068] ppid=28063 vsize=15144776 memory=140420186581729 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28068/stat : 28068 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330286 15508250624 9985 33554432000 4194304 4196468 140735601040944 140148218563728 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28069] ppid=28063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28069/stat : 28069 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330286 15508250624 9985 33554432000 4194304 4196468 140735601040944 140148217510672 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28070] ppid=28063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28070/stat : 28070 (java) S 28063 28063 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475330286 15508250624 9985 33554432000 4194304 4196468 140735601040944 140148216458128 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28071] ppid=28063 vsize=15144776 memory=140420183053952 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28071/stat : 28071 (java) S 28063 28063 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475330288 15508250624 9985 33554432000 4194304 4196468 140735601040944 140147165645040 140148291586690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28072] ppid=28063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28072/stat : 28072 (java) S 28063 28063 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475330288 15508250624 9985 33554432000 4194304 4196468 140735601040944 140147164591264 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28073] ppid=28063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28073/stat : 28073 (java) S 28063 28063 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475330288 15508250624 9985 33554432000 4194304 4196468 140735601040944 140147163538160 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28074] ppid=28063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28074/stat : 28074 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475330291 15508250624 9985 33554432000 4194304 4196468 140735601040944 140147162486736 140148291594139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28075] ppid=28063 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28065/task/28075/stat : 28075 (java) S 28063 28063 25111 0 -1 1077944384 459 0 0 0 3 0 0 0 20 0 15 0 475330291 15508250624 9985 33554432000 4194304 4196468 140735601040944 140147161434864 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28076] ppid=28063 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/28065/task/28076/stat : 28076 (java) S 28063 28063 25111 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 15 0 475330291 15508250624 9985 33554432000 4194304 4196468 140735601040944 140147160382320 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28077] ppid=28063 vsize=15144776 memory=140420183053952 CPUtime=0.08 cores=0,2,4,6
/proc/28065/task/28077/stat : 28077 (java) R 28063 28063 25111 0 -1 4202560 783 0 0 0 8 0 0 0 20 0 15 0 475330291 15508250624 9985 33554432000 4194304 4196468 140735601040944 140147159329264 140148270536448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28078] ppid=28063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28078/stat : 28078 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475330291 15508250624 9985 33554432000 4194304 4196468 140735601040944 140147158276960 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28079] ppid=28063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28079/stat : 28079 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330292 15508250624 9985 33554432000 4194304 4196468 140735601040944 140147157223984 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41392 KiB
[startup+0.312722 s]*
/proc/loadavg: 8.01 7.83 7.85 8/234 28079
/proc/meminfo: memFree=13012576/32770624 swapFree=67002248/67108860
[pid=28063] ppid=28060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28063/stat : 28063 (xcsp3-exec) S 28060 28063 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475330285 115843072 363 33554432000 4194304 5098028 140729108114384 140729108112488 139794804974204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11931648 140729108116311 140729108116569 140729108116569 140729108119494 0
/proc/28063/statm: 28282 363 305 221 0 87 0
[pid=28065] ppid=28063 vsize=15149032 memory=49756 CPUtime=0.53 cores=0,2,4,6
/proc/28065/stat : 28065 (java) S 28063 28063 25111 0 -1 1077944320 10760 0 0 0 50 3 0 0 20 0 15 0 475330285 15512608768 12439 33554432000 4194304 4196468 140735601040944 140735601023488 140148291575543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
/proc/28065/statm: 3787258 12439 3348 1 0 3748377 0
[pid=28065/tid=28066] ppid=28063 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/28065/task/28066/stat : 28066 (java) R 28063 28063 25111 0 -1 4202560 7689 0 0 0 27 3 0 0 20 0 15 0 475330286 15512608768 12439 33554432000 4194304 4196468 140735601040944 140148295806656 140148291597469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28067] ppid=28063 vsize=15149032 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28067/stat : 28067 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330286 15512608768 12439 33554432000 4194304 4196468 140735601040944 140148219616272 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28068] ppid=28063 vsize=15149032 memory=3546595 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28068/stat : 28068 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330286 15512608768 12439 33554432000 4194304 4196468 140735601040944 140148218563728 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28069] ppid=28063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28069/stat : 28069 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330286 15512608768 12439 33554432000 4194304 4196468 140735601040944 140148217510672 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28070] ppid=28063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28070/stat : 28070 (java) S 28063 28063 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475330286 15512608768 12439 33554432000 4194304 4196468 140735601040944 140148216458128 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28071] ppid=28063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28071/stat : 28071 (java) S 28063 28063 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475330288 15512608768 12439 33554432000 4194304 4196468 140735601040944 140147165645040 140148291586690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28072] ppid=28063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28072/stat : 28072 (java) S 28063 28063 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475330288 15512608768 12439 33554432000 4194304 4196468 140735601040944 140147164591264 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28073] ppid=28063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28073/stat : 28073 (java) S 28063 28063 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475330288 15512608768 12439 33554432000 4194304 4196468 140735601040944 140147163538160 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28074] ppid=28063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28074/stat : 28074 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475330291 15512608768 12439 33554432000 4194304 4196468 140735601040944 140147162486736 140148291594139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28075] ppid=28063 vsize=15149032 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/28065/task/28075/stat : 28075 (java) R 28063 28063 25111 0 -1 4202560 628 0 0 0 6 0 0 0 20 0 15 0 475330291 15512608768 12439 33554432000 4194304 4196468 140735601040944 140147161425248 140148270821815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28076] ppid=28063 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28065/task/28076/stat : 28076 (java) S 28063 28063 25111 0 -1 1077944384 191 0 0 0 3 0 0 0 20 0 15 0 475330291 15512608768 12439 33554432000 4194304 4196468 140735601040944 140147160382320 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28077] ppid=28063 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28065/task/28077/stat : 28077 (java) S 28063 28063 25111 0 -1 1077944384 945 0 0 0 12 0 0 0 20 0 15 0 475330291 15512608768 12439 33554432000 4194304 4196468 140735601040944 140147159329264 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28078] ppid=28063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28078/stat : 28078 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475330291 15512608768 12439 33554432000 4194304 4196468 140735601040944 140147158276960 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28079] ppid=28063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28079/stat : 28079 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330292 15512608768 12439 33554432000 4194304 4196468 140735601040944 140147157223984 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51208 KiB
[startup+0.700772 s]
/proc/loadavg: 8.01 7.83 7.85 8/234 28079
/proc/meminfo: memFree=13001200/32770624 swapFree=67002248/67108860
[pid=28063] ppid=28060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28063/stat : 28063 (xcsp3-exec) S 28060 28063 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475330285 115843072 363 33554432000 4194304 5098028 140729108114384 140729108112488 139794804974204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11931648 140729108116311 140729108116569 140729108116569 140729108119494 0
/proc/28063/statm: 28282 363 305 221 0 87 0
[pid=28065] ppid=28063 vsize=15151156 memory=83052 CPUtime=1.59 cores=0,2,4,6
/proc/28065/stat : 28065 (java) S 28063 28063 25111 0 -1 1077944320 14604 0 0 0 154 5 0 0 20 0 15 0 475330285 15514783744 20763 33554432000 4194304 4196468 140735601040944 140735601023488 140148291575543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
/proc/28065/statm: 3787789 20763 3453 1 0 3748889 0
[pid=28065/tid=28066] ppid=28063 vsize=15151156 memory=29916 CPUtime=0.68 cores=0,2,4,6
/proc/28065/task/28066/stat : 28066 (java) R 28063 28063 25111 0 -1 4202560 8923 0 0 0 64 4 0 0 20 0 15 0 475330286 15514783744 20763 33554432000 4194304 4196468 140735601040944 140148295811568 140148275619173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28067] ppid=28063 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28067/stat : 28067 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330286 15514783744 20763 33554432000 4194304 4196468 140735601040944 140148219616272 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28068] ppid=28063 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28068/stat : 28068 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330286 15514783744 20763 33554432000 4194304 4196468 140735601040944 140148218563728 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28069] ppid=28063 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28069/stat : 28069 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330286 15514783744 20763 33554432000 4194304 4196468 140735601040944 140148217510672 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28070] ppid=28063 vsize=15151156 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28070/stat : 28070 (java) S 28063 28063 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475330286 15514783744 20763 33554432000 4194304 4196468 140735601040944 140148216458128 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28071] ppid=28063 vsize=15151156 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28071/stat : 28071 (java) S 28063 28063 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475330288 15514783744 20763 33554432000 4194304 4196468 140735601040944 140147165645040 140148291586690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28072] ppid=28063 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28072/stat : 28072 (java) S 28063 28063 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475330288 15514783744 20763 33554432000 4194304 4196468 140735601040944 140147164591264 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28073] ppid=28063 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28073/stat : 28073 (java) S 28063 28063 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475330288 15514783744 20763 33554432000 4194304 4196468 140735601040944 140147163538160 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28074] ppid=28063 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28074/stat : 28074 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475330291 15514783744 20763 33554432000 4194304 4196468 140735601040944 140147162486736 140148291594139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28075] ppid=28063 vsize=15151156 memory=2676 CPUtime=0.26 cores=0,2,4,6
/proc/28065/task/28075/stat : 28075 (java) R 28063 28063 25111 0 -1 4202560 1296 0 0 0 26 0 0 0 20 0 15 0 475330291 15514783744 20763 33554432000 4194304 4196468 140735601040944 140147161422168 140148272770005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28076] ppid=28063 vsize=15151156 memory=1764 CPUtime=0.22 cores=0,2,4,6
/proc/28065/task/28076/stat : 28076 (java) R 28063 28063 25111 0 -1 4202560 902 0 0 0 22 0 0 0 20 0 15 0 475330291 15514783744 20763 33554432000 4194304 4196468 140735601040944 140147160366752 140148270827579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28077] ppid=28063 vsize=15151156 memory=111632 CPUtime=0.4 cores=0,2,4,6
/proc/28065/task/28077/stat : 28077 (java) R 28063 28063 25111 0 -1 1077944384 2180 0 0 0 40 0 0 0 20 0 15 0 475330291 15514783744 20763 33554432000 4194304 4196468 140735601040944 140147159325632 140148291585749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28078] ppid=28063 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28078/stat : 28078 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475330291 15514783744 20763 33554432000 4194304 4196468 140735601040944 140147158276960 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28079] ppid=28063 vsize=15151156 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28079/stat : 28079 (java) S 28063 28063 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475330292 15514783744 20763 33554432000 4194304 4196468 140735601040944 140147157223984 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 84504 KiB
[startup+1.50738 s]
/proc/loadavg: 8.01 7.83 7.85 8/239 28160
/proc/meminfo: memFree=12879084/32770624 swapFree=67002248/67108860
[pid=28063] ppid=28060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28063/stat : 28063 (xcsp3-exec) S 28060 28063 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475330285 115843072 363 33554432000 4194304 5098028 140729108114384 140729108112488 139794804974204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11931648 140729108116311 140729108116569 140729108116569 140729108119494 0
/proc/28063/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/28065/task/28079/stat : 28079 (java) S 28063 28063 25111 0 -1 1077944384 1010 0 0 0 0 0 0 0 20 0 19 0 475330292 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147157223984 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28240] ppid=28063 vsize=15685716 memory=1412 CPUtime=13.56 cores=0,2,4,6
/proc/28065/task/28240/stat : 28240 (java) R 28063 28063 25111 0 -1 4202560 250 0 0 0 1356 0 0 0 20 0 19 0 475330649 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147143802784 140147895794051 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28241] ppid=28063 vsize=15685716 memory=3228 CPUtime=13.46 cores=0,2,4,6
/proc/28065/task/28241/stat : 28241 (java) R 28063 28063 25111 0 -1 4202560 746 0 0 0 1345 1 0 0 20 0 19 0 475330649 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147141697640 140147890436166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28242] ppid=28063 vsize=15685716 memory=1452 CPUtime=13.57 cores=0,2,4,6
/proc/28065/task/28242/stat : 28242 (java) R 28063 28063 25111 0 -1 4202560 827 0 0 0 1357 0 0 0 20 0 19 0 475330649 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147142749296 140147893555913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28243] ppid=28063 vsize=15685716 memory=8636628 CPUtime=13.32 cores=0,2,4,6
/proc/28065/task/28243/stat : 28243 (java) R 28063 28063 25111 0 -1 4202560 526 0 0 0 1332 0 0 0 20 0 19 0 475330650 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147139592856 140147893028299 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
Current children cumulated CPU time: 68.46 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 358688 KiB
[startup+18.4014 s]
/proc/loadavg: 8.70 8.00 7.91 9/237 28243
/proc/meminfo: memFree=12704904/32770624 swapFree=67002248/67108860
[pid=28063] ppid=28060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28063/stat : 28063 (xcsp3-exec) S 28060 28063 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475330285 115843072 363 33554432000 4194304 5098028 140729108114384 140729108112488 139794804974204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11931648 140729108116311 140729108116569 140729108116569 140729108119494 0
/proc/28063/statm: 28282 363 305 221 0 87 0
[pid=28065] ppid=28063 vsize=15685716 memory=357236 CPUtime=71.64 cores=0,2,4,6
/proc/28065/stat : 28065 (java) S 28063 28063 25111 0 -1 1077944320 44007 0 0 0 7147 17 0 0 20 0 19 0 475330285 16062173184 89309 33554432000 4194304 4196468 140735601040944 140735601023488 140148291575543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
/proc/28065/statm: 3921429 89309 3527 1 0 3882529 0
[pid=28065/tid=28066] ppid=28063 vsize=15685716 memory=776 CPUtime=0.84 cores=0,2,4,6
/proc/28065/task/28066/stat : 28066 (java) S 28063 28063 25111 0 -1 1077944384 9420 0 0 0 79 5 0 0 20 0 19 0 475330286 16062173184 89309 33554432000 4194304 4196468 140735601040944 140148295816320 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28067] ppid=28063 vsize=15685716 memory=3540 CPUtime=0.01 cores=0,2,4,6
/proc/28065/task/28067/stat : 28067 (java) S 28063 28063 25111 0 -1 1077944384 613 0 0 0 1 0 0 0 20 0 19 0 475330286 16062173184 89309 33554432000 4194304 4196468 140735601040944 140148219616272 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28068] ppid=28063 vsize=15685716 memory=288230574492221466 CPUtime=0.01 cores=0,2,4,6
/proc/28065/task/28068/stat : 28068 (java) S 28063 28063 25111 0 -1 1077944384 1093 0 0 0 1 0 0 0 20 0 19 0 475330286 16062173184 89309 33554432000 4194304 4196468 140735601040944 140148218563728 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28069] ppid=28063 vsize=15685716 memory=357236 CPUtime=0.02 cores=0,2,4,6
/proc/28065/task/28069/stat : 28069 (java) S 28063 28063 25111 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 19 0 475330286 16062173184 89309 33554432000 4194304 4196468 140735601040944 140148217510672 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28070] ppid=28063 vsize=15685716 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28065/task/28070/stat : 28070 (java) S 28063 28063 25111 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 19 0 475330286 16062173184 89309 33554432000 4194304 4196468 140735601040944 140148216458128 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28071] ppid=28063 vsize=15685716 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28065/task/28071/stat : 28071 (java) S 28063 28063 25111 0 -1 1077944384 625 0 0 0 1 1 0 0 20 0 19 0 475330288 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147165645040 140148291586690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28072] ppid=28063 vsize=15685716 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28072/stat : 28072 (java) S 28063 28063 25111 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475330288 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147164591328 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28073] ppid=28063 vsize=15685716 memory=1366 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28073/stat : 28073 (java) S 28063 28063 25111 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 475330288 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147163538176 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28074] ppid=28063 vsize=15685716 memory=1377 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28074/stat : 28074 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475330291 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147162486736 140148291594139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28075] ppid=28063 vsize=15685716 memory=1352 CPUtime=3.18 cores=0,2,4,6
/proc/28065/task/28075/stat : 28075 (java) S 28063 28063 25111 0 -1 1077944384 9803 0 0 0 317 1 0 0 20 0 19 0 475330291 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147161434864 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28076] ppid=28063 vsize=15685716 memory=0 CPUtime=2.95 cores=0,2,4,6
/proc/28065/task/28076/stat : 28076 (java) S 28063 28063 25111 0 -1 1077944384 8115 0 0 0 294 1 0 0 20 0 19 0 475330291 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147160382320 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28077] ppid=28063 vsize=15685716 memory=6791534058613427641 CPUtime=0.89 cores=0,2,4,6
/proc/28065/task/28077/stat : 28077 (java) S 28063 28063 25111 0 -1 1077944384 5824 0 0 0 89 0 0 0 20 0 19 0 475330291 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147159329264 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28078] ppid=28063 vsize=15685716 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28078/stat : 28078 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475330291 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147158276960 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28079] ppid=28063 vsize=15685716 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28079/stat : 28079 (java) S 28063 28063 25111 0 -1 1077944384 1010 0 0 0 0 0 0 0 20 0 19 0 475330292 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147157223984 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28240] ppid=28063 vsize=15685716 memory=0 CPUtime=14.36 cores=0,2,4,6
/proc/28065/task/28240/stat : 28240 (java) R 28063 28063 25111 0 -1 4202560 250 0 0 0 1436 0 0 0 20 0 19 0 475330649 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147143801536 140147887790392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28241] ppid=28063 vsize=15685716 memory=0 CPUtime=14.26 cores=0,2,4,6
/proc/28065/task/28241/stat : 28241 (java) R 28063 28063 25111 0 -1 4202560 748 0 0 0 1425 1 0 0 20 0 19 0 475330649 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147141697528 140147896909392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28242] ppid=28063 vsize=15685716 memory=0 CPUtime=14.37 cores=0,2,4,6
/proc/28065/task/28242/stat : 28242 (java) R 28063 28063 25111 0 -1 4202560 835 0 0 0 1437 0 0 0 20 0 19 0 475330649 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147142749456 140147893555892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28243] ppid=28063 vsize=15685716 memory=0 CPUtime=14.1 cores=0,2,4,6
/proc/28065/task/28243/stat : 28243 (java) R 28063 28063 25111 0 -1 4202560 536 0 0 0 1410 0 0 0 20 0 19 0 475330650 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147139593000 140147895763694 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
Current children cumulated CPU time: 71.64 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 358688 KiB
[startup+18.6014 s]
/proc/loadavg: 8.70 8.00 7.91 9/237 28243
/proc/meminfo: memFree=12704904/32770624 swapFree=67002248/67108860
[pid=28063] ppid=28060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28063/stat : 28063 (xcsp3-exec) S 28060 28063 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475330285 115843072 363 33554432000 4194304 5098028 140729108114384 140729108112488 139794804974204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11931648 140729108116311 140729108116569 140729108116569 140729108119494 0
/proc/28063/statm: 28282 363 305 221 0 87 0
[pid=28065] ppid=28063 vsize=15685716 memory=357236 CPUtime=72.44 cores=0,2,4,6
/proc/28065/stat : 28065 (java) S 28063 28063 25111 0 -1 1077944320 44010 0 0 0 7227 17 0 0 20 0 19 0 475330285 16062173184 89309 33554432000 4194304 4196468 140735601040944 140735601023488 140148291575543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
/proc/28065/statm: 3921429 89309 3527 1 0 3882529 0
[pid=28065/tid=28066] ppid=28063 vsize=15685716 memory=4420 CPUtime=0.84 cores=0,2,4,6
/proc/28065/task/28066/stat : 28066 (java) S 28063 28063 25111 0 -1 1077944384 9420 0 0 0 79 5 0 0 20 0 19 0 475330286 16062173184 89309 33554432000 4194304 4196468 140735601040944 140148295816320 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28067] ppid=28063 vsize=15685716 memory=6628 CPUtime=0.01 cores=0,2,4,6
/proc/28065/task/28067/stat : 28067 (java) S 28063 28063 25111 0 -1 1077944384 613 0 0 0 1 0 0 0 20 0 19 0 475330286 16062173184 89309 33554432000 4194304 4196468 140735601040944 140148219616272 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28068] ppid=28063 vsize=15685716 memory=4126316290023845779 CPUtime=0.01 cores=0,2,4,6
/proc/28065/task/28068/stat : 28068 (java) S 28063 28063 25111 0 -1 1077944384 1093 0 0 0 1 0 0 0 20 0 19 0 475330286 16062173184 89309 33554432000 4194304 4196468 140735601040944 140148218563728 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28069] ppid=28063 vsize=15685716 memory=6944656592455097440 CPUtime=0.02 cores=0,2,4,6
/proc/28065/task/28069/stat : 28069 (java) S 28063 28063 25111 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 19 0 475330286 16062173184 89309 33554432000 4194304 4196468 140735601040944 140148217510672 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28070] ppid=28063 vsize=15685716 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28065/task/28070/stat : 28070 (java) S 28063 28063 25111 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 19 0 475330286 16062173184 89309 33554432000 4194304 4196468 140735601040944 140148216458128 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28071] ppid=28063 vsize=15685716 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/28065/task/28071/stat : 28071 (java) S 28063 28063 25111 0 -1 1077944384 625 0 0 0 1 1 0 0 20 0 19 0 475330288 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147165645040 140148291586690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28072] ppid=28063 vsize=15685716 memory=357216 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28072/stat : 28072 (java) S 28063 28063 25111 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475330288 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147164591328 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28073] ppid=28063 vsize=15685716 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28073/stat : 28073 (java) S 28063 28063 25111 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 475330288 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147163538176 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28074] ppid=28063 vsize=15685716 memory=140420063561849 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28074/stat : 28074 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475330291 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147162486736 140148291594139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28075] ppid=28063 vsize=15685716 memory=0 CPUtime=3.18 cores=0,2,4,6
/proc/28065/task/28075/stat : 28075 (java) S 28063 28063 25111 0 -1 1077944384 9803 0 0 0 317 1 0 0 20 0 19 0 475330291 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147161434864 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28076] ppid=28063 vsize=15685716 memory=0 CPUtime=2.95 cores=0,2,4,6
/proc/28065/task/28076/stat : 28076 (java) S 28063 28063 25111 0 -1 1077944384 8115 0 0 0 294 1 0 0 20 0 19 0 475330291 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147160382320 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28077] ppid=28063 vsize=15685716 memory=-6739178820818791275 CPUtime=0.89 cores=0,2,4,6
/proc/28065/task/28077/stat : 28077 (java) S 28063 28063 25111 0 -1 1077944384 5824 0 0 0 89 0 0 0 20 0 19 0 475330291 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147159329264 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28078] ppid=28063 vsize=15685716 memory=6946866654921323415 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28078/stat : 28078 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475330291 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147158276960 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28079] ppid=28063 vsize=15685716 memory=8305315425968087136 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28079/stat : 28079 (java) R 28063 28063 25111 0 -1 1077944384 1010 0 0 0 0 0 0 0 20 0 19 0 475330292 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147157223984 140148291586690 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28240] ppid=28063 vsize=15685716 memory=6944656626178237591 CPUtime=14.56 cores=0,2,4,6
/proc/28065/task/28240/stat : 28240 (java) R 28063 28063 25111 0 -1 4202560 250 0 0 0 1456 0 0 0 20 0 19 0 475330649 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147143801536 140147895932676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28241] ppid=28063 vsize=15685716 memory=-7965950325593906079 CPUtime=14.46 cores=0,2,4,6
/proc/28065/task/28241/stat : 28241 (java) R 28063 28063 25111 0 -1 4202560 748 0 0 0 1445 1 0 0 20 0 19 0 475330649 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147141697528 140147896909930 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28242] ppid=28063 vsize=15685716 memory=6946866654921323415 CPUtime=14.57 cores=0,2,4,6
/proc/28065/task/28242/stat : 28242 (java) R 28063 28063 25111 0 -1 4202560 837 0 0 0 1457 0 0 0 20 0 19 0 475330649 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147142749456 140147887790127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28243] ppid=28063 vsize=15685716 memory=7761631202265115523 CPUtime=14.3 cores=0,2,4,6
/proc/28065/task/28243/stat : 28243 (java) R 28063 28063 25111 0 -1 4202560 537 0 0 0 1430 0 0 0 20 0 19 0 475330650 16062173184 89309 33554432000 4194304 4196468 140735601040944 140147139593000 140147894460518 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
Current children cumulated CPU time: 72.44 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 358688 KiB
[startup+18.7014 s]
/proc/loadavg: 8.70 8.00 7.91 9/237 28243
/proc/meminfo: memFree=12704904/32770624 swapFree=67002248/67108860
[pid=28063] ppid=28060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28063/stat : 28063 (xcsp3-exec) S 28060 28063 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475330285 115843072 363 33554432000 4194304 5098028 140729108114384 140729108112488 139794804974204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11931648 140729108116311 140729108116569 140729108116569 140729108119494 0
/proc/28063/statm: 28282 363 305 221 0 87 0
[pid=28065] ppid=28063 vsize=15685716 memory=364600 CPUtime=72.83 cores=0,2,4,6
/proc/28065/stat : 28065 (java) S 28063 28063 25111 0 -1 1077944320 44036 0 0 0 7265 18 0 0 20 0 19 0 475330285 16062173184 91150 33554432000 4194304 4196468 140735601040944 140735601023488 140148291575543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
/proc/28065/statm: 3921429 91150 3527 1 0 3882529 0
[pid=28065/tid=28066] ppid=28063 vsize=15685716 memory=1452 CPUtime=0.84 cores=0,2,4,6
/proc/28065/task/28066/stat : 28066 (java) S 28063 28063 25111 0 -1 1077944384 9420 0 0 0 79 5 0 0 20 0 19 0 475330286 16062173184 91150 33554432000 4194304 4196468 140735601040944 140148295816320 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28067] ppid=28063 vsize=15685716 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/28065/task/28067/stat : 28067 (java) S 28063 28063 25111 0 -1 1077944384 622 0 0 0 2 0 0 0 20 0 19 0 475330286 16062173184 91150 33554432000 4194304 4196468 140735601040944 140148219616272 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28068] ppid=28063 vsize=15685716 memory=55324 CPUtime=0.02 cores=0,2,4,6
/proc/28065/task/28068/stat : 28068 (java) S 28063 28063 25111 0 -1 1077944384 1100 0 0 0 2 0 0 0 20 0 19 0 475330286 16062173184 91150 33554432000 4194304 4196468 140735601040944 140148218563728 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28069] ppid=28063 vsize=15685716 memory=988 CPUtime=0.02 cores=0,2,4,6
/proc/28065/task/28069/stat : 28069 (java) S 28063 28063 25111 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 19 0 475330286 16062173184 91150 33554432000 4194304 4196468 140735601040944 140148217510672 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28070] ppid=28063 vsize=15685716 memory=357216 CPUtime=0.02 cores=0,2,4,6
/proc/28065/task/28070/stat : 28070 (java) S 28063 28063 25111 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 19 0 475330286 16062173184 91150 33554432000 4194304 4196468 140735601040944 140148216458128 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28071] ppid=28063 vsize=15685716 memory=6064 CPUtime=0.02 cores=0,2,4,6
/proc/28065/task/28071/stat : 28071 (java) S 28063 28063 25111 0 -1 1077944384 627 0 0 0 1 1 0 0 20 0 19 0 475330288 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147165645040 140148291586690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28072] ppid=28063 vsize=15685716 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28072/stat : 28072 (java) S 28063 28063 25111 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475330288 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147164591328 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28073] ppid=28063 vsize=15685716 memory=1048 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28073/stat : 28073 (java) S 28063 28063 25111 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 475330288 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147163538176 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28074] ppid=28063 vsize=15685716 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28074/stat : 28074 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475330291 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147162486736 140148291594139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28075] ppid=28063 vsize=15685716 memory=224932 CPUtime=3.18 cores=0,2,4,6
/proc/28065/task/28075/stat : 28075 (java) S 28063 28063 25111 0 -1 1077944384 9803 0 0 0 317 1 0 0 20 0 19 0 475330291 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147161434864 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28076] ppid=28063 vsize=15685716 memory=3608 CPUtime=2.95 cores=0,2,4,6
/proc/28065/task/28076/stat : 28076 (java) S 28063 28063 25111 0 -1 1077944384 8115 0 0 0 294 1 0 0 20 0 19 0 475330291 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147160382320 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28077] ppid=28063 vsize=15685716 memory=1412 CPUtime=0.89 cores=0,2,4,6
/proc/28065/task/28077/stat : 28077 (java) S 28063 28063 25111 0 -1 1077944384 5824 0 0 0 89 0 0 0 20 0 19 0 475330291 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147159329264 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28078] ppid=28063 vsize=15685716 memory=2800 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28078/stat : 28078 (java) S 28063 28063 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475330291 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147158276960 140148291585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28079] ppid=28063 vsize=15685716 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28065/task/28079/stat : 28079 (java) S 28063 28063 25111 0 -1 1077944384 1010 0 0 0 0 0 0 0 20 0 19 0 475330292 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147157223984 140148291586690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28240] ppid=28063 vsize=15685716 memory=1 CPUtime=14.65 cores=0,2,4,6
/proc/28065/task/28240/stat : 28240 (java) R 28063 28063 25111 0 -1 4202560 250 0 0 0 1465 0 0 0 20 0 19 0 475330649 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147143801504 140147895794925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28241] ppid=28063 vsize=15685716 memory=0 CPUtime=14.55 cores=0,2,4,6
/proc/28065/task/28241/stat : 28241 (java) R 28063 28063 25111 0 -1 4202560 748 0 0 0 1454 1 0 0 20 0 19 0 475330649 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147141696856 140147896909463 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28242] ppid=28063 vsize=15685716 memory=6925 CPUtime=14.66 cores=0,2,4,6
/proc/28065/task/28242/stat : 28242 (java) R 28063 28063 25111 0 -1 4202560 837 0 0 0 1466 0 0 0 20 0 19 0 475330649 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147142749664 140147890436375 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
[pid=28065/tid=28243] ppid=28063 vsize=15685716 memory=84 CPUtime=14.39 cores=0,2,4,6
/proc/28065/task/28243/stat : 28243 (java) R 28063 28063 25111 0 -1 4202560 538 0 0 0 1439 0 0 0 20 0 19 0 475330650 16062173184 91150 33554432000 4194304 4196468 140735601040944 140147139594944 140147891511376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39100416 140735601042395 140735601042570 140735601042570 140735601045455 0
Current children cumulated CPU time: 72.83 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 366052 KiB
Child status: 0
Real time (s): 18.7312
CPU time (s): 72.936
CPU user time (s): 72.7451
CPU system time (s): 0.190894
CPU usage (%): 389.383
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 366052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.7451
system time used= 0.190894
maximum resident set size= 365428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45067
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= 4472
involuntary context switches= 2215
# summary of solver processes directly reported to runsolver:
# pid: 28063
# total CPU time (s): 72.936
# total CPU user time (s): 72.7451
# total CPU system time (s): 0.190894
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.157507 second user time and 0.232737 second system time
The end