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 (11780 MiB free)
memory of node 1: 16384 MiB (10499 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403847-1568993717/watcher-4403847-1568993717 -o /var/tmp/evaluation-result-4403847-1568993717/solver-4403847-1568993717 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1568987924-19057 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 435555012 HOME/instance-4403847-1568993717.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=23583, runsolver pid=23580
[startup+0.100086 s]*
/proc/loadavg: 7.55 7.79 7.85 6/233 23599
/proc/meminfo: memFree=22801236/32770624 swapFree=66966844/67108860
[pid=23583] ppid=23580 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23583/stat : 23583 (xcsp3-exec) S 23580 23583 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308371 115843072 363 33554432000 4194304 5098028 140734614794368 140734614792472 140295362613884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18018304 140734614803287 140734614803545 140734614803545 140734614806470 0
/proc/23583/statm: 28282 363 304 221 0 87 0
[pid=23585] ppid=23583 vsize=15144776 memory=29352 CPUtime=0.13 cores=0,2,4,6
/proc/23585/stat : 23585 (java) S 23583 23583 19026 0 -1 1077944320 5756 0 0 0 11 2 0 0 20 0 15 0 475308371 15508250624 7338 33554432000 4194304 4196468 140726583965120 140726583947664 140327402729207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
/proc/23585/statm: 3786194 7338 3128 1 0 3748377 0
[pid=23585/tid=23586] ppid=23583 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=0,2,4,6
/proc/23585/task/23586/stat : 23586 (java) R 23583 23583 19026 0 -1 4202560 3696 0 0 0 8 1 0 0 20 0 15 0 475308371 15508250624 7338 33554432000 4194304 4196468 140726583965120 140327406962480 140327386840241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23587] ppid=23583 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23587/stat : 23587 (java) S 23583 23583 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475308372 15508250624 7338 33554432000 4194304 4196468 140726583965120 140327330769936 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23588] ppid=23583 vsize=15144776 memory=140026292487808 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23588/stat : 23588 (java) S 23583 23583 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308372 15508250624 7338 33554432000 4194304 4196468 140726583965120 140327329717392 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23589] ppid=23583 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23589/stat : 23589 (java) S 23583 23583 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475308372 15508250624 7338 33554432000 4194304 4196468 140726583965120 140327328664336 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23590] ppid=23583 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23590/stat : 23590 (java) S 23583 23583 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308372 15508250624 7338 33554432000 4194304 4196468 140726583965120 140327327611792 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23591] ppid=23583 vsize=15144776 memory=140026292487808 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23591/stat : 23591 (java) S 23583 23583 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475308373 15508250624 7338 33554432000 4194304 4196468 140726583965120 140326870722800 140327402740354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23592] ppid=23583 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23592/stat : 23592 (java) S 23583 23583 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475308374 15508250624 7338 33554432000 4194304 4196468 140726583965120 140326869669024 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23593] ppid=23583 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23593/stat : 23593 (java) S 23583 23583 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475308374 15508250624 7338 33554432000 4194304 4196468 140726583965120 140326868615920 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23594] ppid=23583 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23594/stat : 23594 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15508250624 7338 33554432000 4194304 4196468 140726583965120 140326867564496 140327402747803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23595] ppid=23583 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23595/stat : 23595 (java) S 23583 23583 19026 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 475308377 15508250624 7338 33554432000 4194304 4196468 140726583965120 140326866512624 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23596] ppid=23583 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23596/stat : 23596 (java) S 23583 23583 19026 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475308377 15508250624 7338 33554432000 4194304 4196468 140726583965120 140326865460080 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23597] ppid=23583 vsize=15144776 memory=140026292487808 CPUtime=0.01 cores=0,2,4,6
/proc/23585/task/23597/stat : 23597 (java) R 23583 23583 19026 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 15 0 475308377 15508250624 7338 33554432000 4194304 4196468 140726583965120 140326864407024 140327402750554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23598] ppid=23583 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23598/stat : 23598 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15508250624 7338 33554432000 4194304 4196468 140726583965120 140326863354720 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23599] ppid=23583 vsize=15144776 memory=140026292487808 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23599/stat : 23599 (java) S 23583 23583 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308377 15508250624 7338 33554432000 4194304 4196468 140726583965120 140326862301744 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30804 KiB
[startup+0.2108 s]*
/proc/loadavg: 7.55 7.79 7.85 9/233 23599
/proc/meminfo: memFree=22784880/32770624 swapFree=66966844/67108860
[pid=23583] ppid=23580 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23583/stat : 23583 (xcsp3-exec) S 23580 23583 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308371 115843072 363 33554432000 4194304 5098028 140734614794368 140734614792472 140295362613884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18018304 140734614803287 140734614803545 140734614803545 140734614806470 0
/proc/23583/statm: 28282 363 304 221 0 87 0
[pid=23585] ppid=23583 vsize=15144776 memory=40412 CPUtime=0.34 cores=0,2,4,6
/proc/23585/stat : 23585 (java) S 23583 23583 19026 0 -1 1077944320 9310 0 0 0 30 4 0 0 20 0 15 0 475308371 15508250624 10103 33554432000 4194304 4196468 140726583965120 140726583947664 140327402729207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
/proc/23585/statm: 3786194 10103 3314 1 0 3748377 0
[pid=23585/tid=23586] ppid=23583 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23585/task/23586/stat : 23586 (java) R 23583 23583 19026 0 -1 1077944384 6560 0 0 0 17 3 0 0 20 0 15 0 475308371 15508250624 10103 33554432000 4194304 4196468 140726583965120 140327406961120 140327402739413 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23587] ppid=23583 vsize=15144776 memory=9276 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23587/stat : 23587 (java) S 23583 23583 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475308372 15508250624 10103 33554432000 4194304 4196468 140726583965120 140327330769936 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23588] ppid=23583 vsize=15144776 memory=3533869 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23588/stat : 23588 (java) S 23583 23583 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308372 15508250624 10103 33554432000 4194304 4196468 140726583965120 140327329717392 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23589] ppid=23583 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23589/stat : 23589 (java) S 23583 23583 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475308372 15508250624 10103 33554432000 4194304 4196468 140726583965120 140327328664336 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23590] ppid=23583 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23590/stat : 23590 (java) S 23583 23583 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308372 15508250624 10103 33554432000 4194304 4196468 140726583965120 140327327611792 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23591] ppid=23583 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23591/stat : 23591 (java) S 23583 23583 19026 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475308373 15508250624 10103 33554432000 4194304 4196468 140726583965120 140326870722800 140327402740354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23592] ppid=23583 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23592/stat : 23592 (java) S 23583 23583 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475308374 15508250624 10103 33554432000 4194304 4196468 140726583965120 140326869669024 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23593] ppid=23583 vsize=15144776 memory=140026292487808 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23593/stat : 23593 (java) S 23583 23583 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475308374 15508250624 10103 33554432000 4194304 4196468 140726583965120 140326868615920 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23594] ppid=23583 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23594/stat : 23594 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15508250624 10103 33554432000 4194304 4196468 140726583965120 140326867564496 140327402747803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23595] ppid=23583 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23585/task/23595/stat : 23595 (java) S 23583 23583 19026 0 -1 1077944384 434 0 0 0 2 0 0 0 20 0 15 0 475308377 15508250624 10103 33554432000 4194304 4196468 140726583965120 140326866512624 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23596] ppid=23583 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23585/task/23596/stat : 23596 (java) S 23583 23583 19026 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 15 0 475308377 15508250624 10103 33554432000 4194304 4196468 140726583965120 140326865460080 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23597] ppid=23583 vsize=15144776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23585/task/23597/stat : 23597 (java) R 23583 23583 19026 0 -1 4202560 786 0 0 0 7 0 0 0 20 0 15 0 475308377 15508250624 10103 33554432000 4194304 4196468 140726583965120 140326864402976 140327402750554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23598] ppid=23583 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23598/stat : 23598 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15508250624 10103 33554432000 4194304 4196468 140726583965120 140326863354720 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23599] ppid=23583 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23599/stat : 23599 (java) S 23583 23583 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308377 15508250624 10103 33554432000 4194304 4196468 140726583965120 140326862301744 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41864 KiB
[startup+0.310622 s]*
/proc/loadavg: 7.55 7.79 7.85 7/233 23599
/proc/meminfo: memFree=22775996/32770624 swapFree=66966844/67108860
[pid=23583] ppid=23580 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23583/stat : 23583 (xcsp3-exec) S 23580 23583 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308371 115843072 363 33554432000 4194304 5098028 140734614794368 140734614792472 140295362613884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18018304 140734614803287 140734614803545 140734614803545 140734614806470 0
/proc/23583/statm: 28282 363 304 221 0 87 0
[pid=23585] ppid=23583 vsize=15149032 memory=46828 CPUtime=0.52 cores=0,2,4,6
/proc/23585/stat : 23585 (java) S 23583 23583 19026 0 -1 1077944320 10538 0 0 0 47 5 0 0 20 0 15 0 475308371 15512608768 11707 33554432000 4194304 4196468 140726583965120 140726583947664 140327402729207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
/proc/23585/statm: 3787258 11707 3346 1 0 3748377 0
[pid=23585/tid=23586] ppid=23583 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/23585/task/23586/stat : 23586 (java) R 23583 23583 19026 0 -1 4202560 7615 0 0 0 26 4 0 0 20 0 15 0 475308371 15512608768 11707 33554432000 4194304 4196468 140726583965120 140327406964208 140327402741142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23587] ppid=23583 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23587/stat : 23587 (java) S 23583 23583 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475308372 15512608768 11707 33554432000 4194304 4196468 140726583965120 140327330769936 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23588] ppid=23583 vsize=15149032 memory=3528916 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23588/stat : 23588 (java) S 23583 23583 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308372 15512608768 11707 33554432000 4194304 4196468 140726583965120 140327329717392 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23589] ppid=23583 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23589/stat : 23589 (java) S 23583 23583 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475308372 15512608768 11707 33554432000 4194304 4196468 140726583965120 140327328664336 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23590] ppid=23583 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23590/stat : 23590 (java) S 23583 23583 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308372 15512608768 11707 33554432000 4194304 4196468 140726583965120 140327327611792 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23591] ppid=23583 vsize=15149032 memory=140026292487808 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23591/stat : 23591 (java) S 23583 23583 19026 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475308373 15512608768 11707 33554432000 4194304 4196468 140726583965120 140326870722800 140327402740354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23592] ppid=23583 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23592/stat : 23592 (java) S 23583 23583 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475308374 15512608768 11707 33554432000 4194304 4196468 140726583965120 140326869669024 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23593] ppid=23583 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23593/stat : 23593 (java) S 23583 23583 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475308374 15512608768 11707 33554432000 4194304 4196468 140726583965120 140326868615920 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23594] ppid=23583 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23594/stat : 23594 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15512608768 11707 33554432000 4194304 4196468 140726583965120 140326867564496 140327402747803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23595] ppid=23583 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23585/task/23595/stat : 23595 (java) S 23583 23583 19026 0 -1 1077944384 437 0 0 0 4 0 0 0 20 0 15 0 475308377 15512608768 11707 33554432000 4194304 4196468 140726583965120 140326866512624 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23596] ppid=23583 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/23585/task/23596/stat : 23596 (java) S 23583 23583 19026 0 -1 1077944384 228 0 0 0 3 0 0 0 20 0 15 0 475308377 15512608768 11707 33554432000 4194304 4196468 140726583965120 140326865460080 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23597] ppid=23583 vsize=15149032 memory=140026292487808 CPUtime=0.13 cores=0,2,4,6
/proc/23585/task/23597/stat : 23597 (java) R 23583 23583 19026 0 -1 4202560 952 0 0 0 13 0 0 0 20 0 15 0 475308377 15512608768 11707 33554432000 4194304 4196468 140726583965120 140326864407024 140327395826043 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23598] ppid=23583 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23598/stat : 23598 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15512608768 11707 33554432000 4194304 4196468 140726583965120 140326863354720 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23599] ppid=23583 vsize=15149032 memory=140026292487808 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23599/stat : 23599 (java) S 23583 23583 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308377 15512608768 11707 33554432000 4194304 4196468 140726583965120 140326862301744 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48280 KiB
[startup+0.701581 s]
/proc/loadavg: 7.55 7.79 7.85 9/233 23599
/proc/meminfo: memFree=22675248/32770624 swapFree=66966844/67108860
[pid=23583] ppid=23580 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23583/stat : 23583 (xcsp3-exec) S 23580 23583 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308371 115843072 363 33554432000 4194304 5098028 140734614794368 140734614792472 140295362613884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18018304 140734614803287 140734614803545 140734614803545 140734614806470 0
/proc/23583/statm: 28282 363 304 221 0 87 0
[pid=23585] ppid=23583 vsize=15149032 memory=299932 CPUtime=1.51 cores=0,2,4,6
/proc/23585/stat : 23585 (java) S 23583 23583 19026 0 -1 1077944320 15256 0 0 0 132 19 0 0 20 0 15 0 475308371 15512608768 74983 33554432000 4194304 4196468 140726583965120 140726583947664 140327402729207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
/proc/23585/statm: 3787258 74983 3418 1 0 3748377 0
[pid=23585/tid=23586] ppid=23583 vsize=15149032 memory=2120 CPUtime=0.62 cores=0,2,4,6
/proc/23585/task/23586/stat : 23586 (java) R 23583 23583 19026 0 -1 4202560 7998 0 0 0 53 9 0 0 20 0 15 0 475308371 15512608768 74983 33554432000 4194304 4196468 140726583965120 140327406960624 140327002835987 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23587] ppid=23583 vsize=15149032 memory=508 CPUtime=0.05 cores=0,2,4,6
/proc/23585/task/23587/stat : 23587 (java) S 23583 23583 19026 0 -1 1077944384 65 0 0 0 3 2 0 0 20 0 15 0 475308372 15512608768 74983 33554432000 4194304 4196468 140726583965120 140327330769936 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23588] ppid=23583 vsize=15149032 memory=1560 CPUtime=0.02 cores=0,2,4,6
/proc/23585/task/23588/stat : 23588 (java) S 23583 23583 19026 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 15 0 475308372 15512608768 74983 33554432000 4194304 4196468 140726583965120 140327329717392 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23589] ppid=23583 vsize=15149032 memory=932 CPUtime=0.02 cores=0,2,4,6
/proc/23585/task/23589/stat : 23589 (java) S 23583 23583 19026 0 -1 1077944384 44 0 0 0 1 1 0 0 20 0 15 0 475308372 15512608768 74983 33554432000 4194304 4196468 140726583965120 140327328664336 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23590] ppid=23583 vsize=15149032 memory=1568 CPUtime=0.05 cores=0,2,4,6
/proc/23585/task/23590/stat : 23590 (java) S 23583 23583 19026 0 -1 1077944384 67 0 0 0 4 1 0 0 20 0 15 0 475308372 15512608768 74983 33554432000 4194304 4196468 140726583965120 140327327611792 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23591] ppid=23583 vsize=15149032 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23591/stat : 23591 (java) S 23583 23583 19026 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475308373 15512608768 74983 33554432000 4194304 4196468 140726583965120 140326870722800 140327402740354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23592] ppid=23583 vsize=15149032 memory=864 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23592/stat : 23592 (java) S 23583 23583 19026 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 475308374 15512608768 74983 33554432000 4194304 4196468 140726583965120 140326869669024 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23593] ppid=23583 vsize=15149032 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23593/stat : 23593 (java) S 23583 23583 19026 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475308374 15512608768 74983 33554432000 4194304 4196468 140726583965120 140326868615920 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23594] ppid=23583 vsize=15149032 memory=7086240636128743779 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23594/stat : 23594 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15512608768 74983 33554432000 4194304 4196468 140726583965120 140326867564496 140327402747803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23595] ppid=23583 vsize=15149032 memory=7453282923427948884 CPUtime=0.16 cores=0,2,4,6
/proc/23585/task/23595/stat : 23595 (java) R 23583 23583 19026 0 -1 4202560 1673 0 0 0 15 1 0 0 20 0 15 0 475308377 15512608768 74983 33554432000 4194304 4196468 140726583965120 140326866512624 140327382162272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23596] ppid=23583 vsize=15149032 memory=6935650355287975249 CPUtime=0.33 cores=0,2,4,6
/proc/23585/task/23596/stat : 23596 (java) R 23583 23583 19026 0 -1 4202560 2602 0 0 0 33 0 0 0 20 0 15 0 475308377 15512608768 74983 33554432000 4194304 4196468 140726583965120 140326865446104 140327380586305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23597] ppid=23583 vsize=15149032 memory=8514726395715219869 CPUtime=0.19 cores=0,2,4,6
/proc/23585/task/23597/stat : 23597 (java) S 23583 23583 19026 0 -1 1077944384 1389 0 0 0 19 0 0 0 20 0 15 0 475308377 15512608768 74983 33554432000 4194304 4196468 140726583965120 140326864407024 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23598] ppid=23583 vsize=15149032 memory=7451600730414739299 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23598/stat : 23598 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15512608768 74983 33554432000 4194304 4196468 140726583965120 140326863354720 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23599] ppid=23583 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23599/stat : 23599 (java) S 23583 23583 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308377 15512608768 74983 33554432000 4194304 4196468 140726583965120 140326862301744 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 301384 KiB
[startup+1.50082 s]
/proc/loadavg: 7.55 7.79 7.85 7/233 23599
/proc/meminfo: memFree=22335776/32770624 swapFree=66966844/67108860
[pid=23583] ppid=23580 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23583/stat : 23583 (xcsp3-exec) S 23580 23583 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308371 115843072 363 33554432000 4194304 5098028 140734614794368 140734614792472 140295362613884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18018304 140734614803287 140734614803545 140734614803545 140734614806470 0
/proc/23583/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/23585/task/23588/stat : 23588 (java) R 23583 23583 19026 0 -1 4202560 172036 0 0 0 37805 454 0 0 20 0 15 0 475308372 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140327329717200 140327395357415 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23589] ppid=23583 vsize=15151156 memory=12807016 CPUtime=382.42 cores=0,2,4,6
/proc/23585/task/23589/stat : 23589 (java) R 23583 23583 19026 0 -1 4202560 209943 0 0 0 37800 442 0 0 20 0 15 0 475308372 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140327328664144 140327395357415 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23590] ppid=23583 vsize=15151156 memory=14080 CPUtime=383.43 cores=0,2,4,6
/proc/23585/task/23590/stat : 23590 (java) R 23583 23583 19026 0 -1 4202560 164279 0 0 0 37900 443 0 0 20 0 15 0 475308372 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140327327611992 140327387718754 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23591] ppid=23583 vsize=15151156 memory=30404 CPUtime=9.94 cores=0,2,4,6
/proc/23585/task/23591/stat : 23591 (java) S 23583 23583 19026 0 -1 1077944384 105270 0 0 0 986 8 0 0 20 0 15 0 475308373 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326870721344 140327402739413 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23592] ppid=23583 vsize=15151156 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23592/stat : 23592 (java) S 23583 23583 19026 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 475308374 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326869669088 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23593] ppid=23583 vsize=15151156 memory=508 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23593/stat : 23593 (java) S 23583 23583 19026 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 475308374 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326868615936 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23594] ppid=23583 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23594/stat : 23594 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326867564496 140327402747803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23595] ppid=23583 vsize=15151156 memory=1452 CPUtime=2.95 cores=0,2,4,6
/proc/23585/task/23595/stat : 23595 (java) S 23583 23583 19026 0 -1 1077944384 13189 0 0 0 293 2 0 0 20 0 15 0 475308377 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326866512384 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23596] ppid=23583 vsize=15151156 memory=12807016 CPUtime=3.15 cores=0,2,4,6
/proc/23585/task/23596/stat : 23596 (java) S 23583 23583 19026 0 -1 1077944384 13846 0 0 0 313 2 0 0 20 0 15 0 475308377 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326865460128 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23597] ppid=23583 vsize=15151156 memory=6791534058613427641 CPUtime=0.7 cores=0,2,4,6
/proc/23585/task/23597/stat : 23597 (java) S 23583 23583 19026 0 -1 1077944384 7091 0 0 0 69 1 0 0 20 0 15 0 475308377 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326864405920 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23598] ppid=23583 vsize=15151156 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23598/stat : 23598 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326863354720 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23599] ppid=23583 vsize=15151156 memory=2496 CPUtime=0.24 cores=0,2,4,6
/proc/23585/task/23599/stat : 23599 (java) S 23583 23583 19026 0 -1 1077944384 753 0 0 0 12 12 0 0 20 0 15 0 475308377 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326862301744 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
Current children cumulated CPU time: 1680.82 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12808476 KiB
[startup+533.701 s]
/proc/loadavg: 4.21 5.88 6.91 5/208 23696
/proc/meminfo: memFree=12378192/32770624 swapFree=66966844/67108860
[pid=23583] ppid=23580 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23583/stat : 23583 (xcsp3-exec) S 23580 23583 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308371 115843072 363 33554432000 4194304 5098028 140734614794368 140734614792472 140295362613884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18018304 140734614803287 140734614803545 140734614803545 140734614806470 0
/proc/23583/statm: 28282 363 304 221 0 87 0
[pid=23585] ppid=23583 vsize=15151156 memory=12807024 CPUtime=1683.91 cores=0,2,4,6
/proc/23585/stat : 23585 (java) S 23583 23583 19026 0 -1 1077944320 926991 0 0 0 166524 1867 0 0 20 0 15 0 475308371 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140726583947664 140327402729207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
/proc/23585/statm: 3787789 3201756 3520 1 0 3748889 0
[pid=23585/tid=23586] ppid=23583 vsize=15151156 memory=6655300316396806240 CPUtime=133.38 cores=0,2,4,6
/proc/23585/task/23586/stat : 23586 (java) S 23583 23583 19026 0 -1 1077944384 21156 0 0 0 13289 49 0 0 20 0 15 0 475308371 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140327406969056 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23587] ppid=23583 vsize=15151156 memory=6791534058613427641 CPUtime=382.68 cores=0,2,4,6
/proc/23585/task/23587/stat : 23587 (java) R 23583 23583 19026 0 -1 4202560 218034 0 0 0 37813 455 0 0 20 0 15 0 475308372 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140327330770056 140327395357415 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23588] ppid=23583 vsize=15151156 memory=12807024 CPUtime=383.36 cores=0,2,4,6
/proc/23585/task/23588/stat : 23588 (java) R 23583 23583 19026 0 -1 4202560 172036 0 0 0 37882 454 0 0 20 0 15 0 475308372 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140327329717200 140327395357415 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23589] ppid=23583 vsize=15151156 memory=12807012 CPUtime=383.19 cores=0,2,4,6
/proc/23585/task/23589/stat : 23589 (java) R 23583 23583 19026 0 -1 4202560 209943 0 0 0 37876 443 0 0 20 0 15 0 475308372 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140327328664144 140327395357415 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23590] ppid=23583 vsize=15151156 memory=2120 CPUtime=384.23 cores=0,2,4,6
/proc/23585/task/23590/stat : 23590 (java) R 23583 23583 19026 0 -1 4202560 164321 0 0 0 37980 443 0 0 20 0 15 0 475308372 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140327327611992 140327387718792 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23591] ppid=23583 vsize=15151156 memory=3608 CPUtime=9.94 cores=0,2,4,6
/proc/23585/task/23591/stat : 23591 (java) S 23583 23583 19026 0 -1 1077944384 105270 0 0 0 986 8 0 0 20 0 15 0 475308373 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326870721344 140327402739413 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23592] ppid=23583 vsize=15151156 memory=54912 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23592/stat : 23592 (java) S 23583 23583 19026 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 475308374 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326869669088 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23593] ppid=23583 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23593/stat : 23593 (java) S 23583 23583 19026 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 475308374 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326868615936 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23594] ppid=23583 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23594/stat : 23594 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326867564496 140327402747803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23595] ppid=23583 vsize=15151156 memory=1432 CPUtime=2.95 cores=0,2,4,6
/proc/23585/task/23595/stat : 23595 (java) S 23583 23583 19026 0 -1 1077944384 13189 0 0 0 293 2 0 0 20 0 15 0 475308377 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326866512384 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23596] ppid=23583 vsize=15151156 memory=33 CPUtime=3.15 cores=0,2,4,6
/proc/23585/task/23596/stat : 23596 (java) S 23583 23583 19026 0 -1 1077944384 13846 0 0 0 313 2 0 0 20 0 15 0 475308377 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326865460128 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23597] ppid=23583 vsize=15151156 memory=-8253362762722141311 CPUtime=0.7 cores=0,2,4,6
/proc/23585/task/23597/stat : 23597 (java) S 23583 23583 19026 0 -1 1077944384 7091 0 0 0 69 1 0 0 20 0 15 0 475308377 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326864405920 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23598] ppid=23583 vsize=15151156 memory=7100839861465685612 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23598/stat : 23598 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326863354720 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23599] ppid=23583 vsize=15151156 memory=-7175204567652784766 CPUtime=0.24 cores=0,2,4,6
/proc/23585/task/23599/stat : 23599 (java) S 23583 23583 19026 0 -1 1077944384 753 0 0 0 12 12 0 0 20 0 15 0 475308377 15514783744 3201756 33554432000 4194304 4196468 140726583965120 140326862301744 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
Current children cumulated CPU time: 1683.91 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12808476 KiB
[startup+534.501 s]
/proc/loadavg: 4.21 5.88 6.91 5/208 23696
/proc/meminfo: memFree=12378192/32770624 swapFree=66966844/67108860
[pid=23583] ppid=23580 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23583/stat : 23583 (xcsp3-exec) S 23580 23583 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308371 115843072 363 33554432000 4194304 5098028 140734614794368 140734614792472 140295362613884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18018304 140734614803287 140734614803545 140734614803545 140734614806470 0
/proc/23583/statm: 28282 363 304 221 0 87 0
[pid=23585] ppid=23583 vsize=15151156 memory=12807032 CPUtime=1685.99 cores=0,2,4,6
/proc/23585/stat : 23585 (java) S 23583 23583 19026 0 -1 1077944320 927253 0 0 0 166731 1868 0 0 20 0 15 0 475308371 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140726583947664 140327402729207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
/proc/23585/statm: 3787789 3201758 3520 1 0 3748889 0
[pid=23585/tid=23586] ppid=23583 vsize=15151156 memory=6791534058613427641 CPUtime=133.38 cores=0,2,4,6
/proc/23585/task/23586/stat : 23586 (java) S 23583 23583 19026 0 -1 1077944384 21156 0 0 0 13289 49 0 0 20 0 15 0 475308371 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140327406969056 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23587] ppid=23583 vsize=15151156 memory=1432 CPUtime=383.1 cores=0,2,4,6
/proc/23585/task/23587/stat : 23587 (java) S 23583 23583 19026 0 -1 1077944384 218063 0 0 0 37854 456 0 0 20 0 15 0 475308372 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140327330769936 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23588] ppid=23583 vsize=15151156 memory=776 CPUtime=383.79 cores=0,2,4,6
/proc/23585/task/23588/stat : 23588 (java) S 23583 23583 19026 0 -1 1077944384 172041 0 0 0 37925 454 0 0 20 0 15 0 475308372 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140327329717392 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23589] ppid=23583 vsize=15151156 memory=1056 CPUtime=383.62 cores=0,2,4,6
/proc/23585/task/23589/stat : 23589 (java) S 23583 23583 19026 0 -1 1077944384 209945 0 0 0 37919 443 0 0 20 0 15 0 475308372 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140327328664336 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23590] ppid=23583 vsize=15151156 memory=3616 CPUtime=384.67 cores=0,2,4,6
/proc/23585/task/23590/stat : 23590 (java) S 23583 23583 19026 0 -1 1077944384 164385 0 0 0 38024 443 0 0 20 0 15 0 475308372 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140327327611792 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23591] ppid=23583 vsize=15151156 memory=6791534058613427641 CPUtime=10.3 cores=0,2,4,6
/proc/23585/task/23591/stat : 23591 (java) R 23583 23583 19026 0 -1 4202560 105432 0 0 0 1022 8 0 0 20 0 15 0 475308373 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326870721344 140327387429818 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23592] ppid=23583 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23592/stat : 23592 (java) S 23583 23583 19026 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 475308374 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326869669088 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23593] ppid=23583 vsize=15151156 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23593/stat : 23593 (java) S 23583 23583 19026 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 475308374 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326868615936 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23594] ppid=23583 vsize=15151156 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23594/stat : 23594 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326867564496 140327402747803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23595] ppid=23583 vsize=15151156 memory=1044 CPUtime=2.95 cores=0,2,4,6
/proc/23585/task/23595/stat : 23595 (java) S 23583 23583 19026 0 -1 1077944384 13189 0 0 0 293 2 0 0 20 0 15 0 475308377 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326866512384 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23596] ppid=23583 vsize=15151156 memory=1452 CPUtime=3.15 cores=0,2,4,6
/proc/23585/task/23596/stat : 23596 (java) S 23583 23583 19026 0 -1 1077944384 13846 0 0 0 313 2 0 0 20 0 15 0 475308377 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326865460128 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23597] ppid=23583 vsize=15151156 memory=12807024 CPUtime=0.7 cores=0,2,4,6
/proc/23585/task/23597/stat : 23597 (java) S 23583 23583 19026 0 -1 1077944384 7091 0 0 0 69 1 0 0 20 0 15 0 475308377 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326864405920 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23598] ppid=23583 vsize=15151156 memory=4 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23598/stat : 23598 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326863354720 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23599] ppid=23583 vsize=15151156 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/23585/task/23599/stat : 23599 (java) S 23583 23583 19026 0 -1 1077944384 753 0 0 0 12 12 0 0 20 0 15 0 475308377 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326862301744 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
Current children cumulated CPU time: 1685.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12808484 KiB
[startup+534.701 s]
/proc/loadavg: 4.21 5.88 6.91 5/208 23696
/proc/meminfo: memFree=12378192/32770624 swapFree=66966844/67108860
[pid=23583] ppid=23580 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23583/stat : 23583 (xcsp3-exec) S 23580 23583 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308371 115843072 363 33554432000 4194304 5098028 140734614794368 140734614792472 140295362613884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18018304 140734614803287 140734614803545 140734614803545 140734614806470 0
/proc/23583/statm: 28282 363 304 221 0 87 0
[pid=23585] ppid=23583 vsize=15151156 memory=12807032 CPUtime=1686.19 cores=0,2,4,6
/proc/23585/stat : 23585 (java) S 23583 23583 19026 0 -1 1077944320 928554 0 0 0 166751 1868 0 0 20 0 15 0 475308371 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140726583947664 140327402729207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
/proc/23585/statm: 3787789 3201758 3520 1 0 3748889 0
[pid=23585/tid=23586] ppid=23583 vsize=15151156 memory=1398722017469774279 CPUtime=133.38 cores=0,2,4,6
/proc/23585/task/23586/stat : 23586 (java) S 23583 23583 19026 0 -1 1077944384 21156 0 0 0 13289 49 0 0 20 0 15 0 475308371 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140327406969056 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23587] ppid=23583 vsize=15151156 memory=4126316290023845779 CPUtime=383.1 cores=0,2,4,6
/proc/23585/task/23587/stat : 23587 (java) S 23583 23583 19026 0 -1 1077944384 218063 0 0 0 37854 456 0 0 20 0 15 0 475308372 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140327330769936 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23588] ppid=23583 vsize=15151156 memory=1760 CPUtime=383.79 cores=0,2,4,6
/proc/23585/task/23588/stat : 23588 (java) S 23583 23583 19026 0 -1 1077944384 172041 0 0 0 37925 454 0 0 20 0 15 0 475308372 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140327329717392 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23589] ppid=23583 vsize=15151156 memory=111636 CPUtime=383.62 cores=0,2,4,6
/proc/23585/task/23589/stat : 23589 (java) S 23583 23583 19026 0 -1 1077944384 209945 0 0 0 37919 443 0 0 20 0 15 0 475308372 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140327328664336 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23590] ppid=23583 vsize=15151156 memory=804 CPUtime=384.67 cores=0,2,4,6
/proc/23585/task/23590/stat : 23590 (java) S 23583 23583 19026 0 -1 1077944384 164385 0 0 0 38024 443 0 0 20 0 15 0 475308372 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140327327611792 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23591] ppid=23583 vsize=15151156 memory=12807024 CPUtime=10.5 cores=0,2,4,6
/proc/23585/task/23591/stat : 23591 (java) R 23583 23583 19026 0 -1 4202560 106732 0 0 0 1042 8 0 0 20 0 15 0 475308373 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326870721344 140327387732295 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23592] ppid=23583 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23592/stat : 23592 (java) S 23583 23583 19026 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 475308374 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326869669088 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23593] ppid=23583 vsize=15151156 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23593/stat : 23593 (java) S 23583 23583 19026 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 475308374 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326868615936 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23594] ppid=23583 vsize=15151156 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23594/stat : 23594 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326867564496 140327402747803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23595] ppid=23583 vsize=15151156 memory=1044 CPUtime=2.95 cores=0,2,4,6
/proc/23585/task/23595/stat : 23595 (java) S 23583 23583 19026 0 -1 1077944384 13189 0 0 0 293 2 0 0 20 0 15 0 475308377 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326866512384 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23596] ppid=23583 vsize=15151156 memory=712 CPUtime=3.15 cores=0,2,4,6
/proc/23585/task/23596/stat : 23596 (java) S 23583 23583 19026 0 -1 1077944384 13846 0 0 0 313 2 0 0 20 0 15 0 475308377 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326865460128 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23597] ppid=23583 vsize=15151156 memory=2832 CPUtime=0.7 cores=0,2,4,6
/proc/23585/task/23597/stat : 23597 (java) S 23583 23583 19026 0 -1 1077944384 7091 0 0 0 69 1 0 0 20 0 15 0 475308377 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326864405920 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23598] ppid=23583 vsize=15151156 memory=7556 CPUtime=0 cores=0,2,4,6
/proc/23585/task/23598/stat : 23598 (java) S 23583 23583 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308377 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326863354720 140327402739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
[pid=23585/tid=23599] ppid=23583 vsize=15151156 memory=3608 CPUtime=0.24 cores=0,2,4,6
/proc/23585/task/23599/stat : 23599 (java) S 23583 23583 19026 0 -1 1077944384 761 0 0 0 12 12 0 0 20 0 15 0 475308377 15514783744 3201758 33554432000 4194304 4196468 140726583965120 140326862301744 140327402740354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 8142848 140726583972827 140726583973002 140726583973002 140726583975887 0
Current children cumulated CPU time: 1686.19 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12808484 KiB
[startup+534.801 s]
/proc/loadavg: 4.21 5.88 6.91 5/208 23696
/proc/meminfo: memFree=12378192/32770624 swapFree=66966844/67108860
[pid=23583] ppid=23580 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23583/stat : 23583 (xcsp3-exec) S 23580 23583 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308371 115843072 363 33554432000 4194304 5098028 140734614794368 140734614792472 140295362613884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18018304 140734614803287 140734614803545 140734614803545 140734614806470 0
/proc/23583/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 534.841
CPU time (s): 1686.35
CPU user time (s): 1667.58
CPU system time (s): 18.7631
CPU usage (%): 315.298
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12808484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1667.58
system time used= 18.7631
maximum resident set size= 12807220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 946384
page faults= 0
swaps= 0
block input operations= 0
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38069
involuntary context switches= 39733
# summary of solver processes directly reported to runsolver:
# pid: 23583
# total CPU time (s): 1686.35
# total CPU user time (s): 1667.58
# total CPU system time (s): 18.7631
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.35394 second user time and 5.4496 second system time
The end