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 (14581 MiB free)
memory of node 1: 16384 MiB (15375 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400357-1568694318/watcher-4400357-1568694318 -o /tmp/evaluation-result-4400357-1568694318/solver-4400357-1568694318 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1488966477 HOME/instance-4400357-1568694318.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30457, runsolver pid=30454
[startup+0.100058 s]*
/proc/loadavg: 1.12 1.44 1.53 3/224 30492
/proc/meminfo: memFree=30649412/32770624 swapFree=66953076/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30457/stat : 30457 (xcsp3-exec) S 30454 30457 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445700648 115843072 363 33554432000 4194304 5098028 140726437664192 140726437662296 139685463986812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13471744 140726437667706 140726437667949 140726437667949 140726437670858 0
/proc/30457/statm: 28282 363 304 221 0 87 0
[pid=30459] ppid=30457 vsize=15144776 memory=28940 CPUtime=0.13 cores=1,3,5,7
/proc/30459/stat : 30459 (java) S 30457 30457 30406 0 -1 1077944320 5696 0 0 0 12 1 0 0 20 0 15 0 445700648 15508250624 7235 33554432000 4194304 4196468 140721770232688 140721770215232 140014177935095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
/proc/30459/statm: 3786194 7235 3145 1 0 3748377 0
[pid=30459/tid=30460] ppid=30457 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/30459/task/30460/stat : 30460 (java) R 30457 30457 30406 0 -1 4202560 3581 0 0 0 9 0 0 0 20 0 15 0 445700648 15508250624 7235 33554432000 4194304 4196468 140721770232688 140014182166416 140014170172222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30461] ppid=30457 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30461/stat : 30461 (java) S 30457 30457 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445700649 15508250624 7235 33554432000 4194304 4196468 140721770232688 140014130555664 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30462] ppid=30457 vsize=15144776 memory=288370527970383488 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30462/stat : 30462 (java) S 30457 30457 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445700649 15508250624 7235 33554432000 4194304 4196468 140721770232688 140014129503120 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30463] ppid=30457 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30463/stat : 30463 (java) S 30457 30457 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445700649 15508250624 7235 33554432000 4194304 4196468 140721770232688 140014128450576 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30464] ppid=30457 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30464/stat : 30464 (java) S 30457 30457 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445700649 15508250624 7235 33554432000 4194304 4196468 140721770232688 140014127398032 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30465] ppid=30457 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30465/stat : 30465 (java) S 30457 30457 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445700651 15508250624 7235 33554432000 4194304 4196468 140721770232688 140013645826032 140014177946242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30466] ppid=30457 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30466/stat : 30466 (java) S 30457 30457 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445700651 15508250624 7235 33554432000 4194304 4196468 140721770232688 140013644772256 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30467] ppid=30457 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30467/stat : 30467 (java) S 30457 30457 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445700651 15508250624 7235 33554432000 4194304 4196468 140721770232688 140013643719664 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30472] ppid=30457 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30472/stat : 30472 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445700654 15508250624 7235 33554432000 4194304 4196468 140721770232688 140013642668240 140014177953691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30473] ppid=30457 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30473/stat : 30473 (java) S 30457 30457 30406 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 445700654 15508250624 7235 33554432000 4194304 4196468 140721770232688 140013641615856 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30474] ppid=30457 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30474/stat : 30474 (java) S 30457 30457 30406 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445700654 15508250624 7235 33554432000 4194304 4196468 140721770232688 140013640563312 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30475] ppid=30457 vsize=15144776 memory=140151818671744 CPUtime=0.02 cores=1,3,5,7
/proc/30459/task/30475/stat : 30475 (java) R 30457 30457 30406 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 445700654 15508250624 7235 33554432000 4194304 4196468 140721770232688 140013639510768 140014162015582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30476] ppid=30457 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30476/stat : 30476 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445700654 15508250624 7235 33554432000 4194304 4196468 140721770232688 140013638458464 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30478] ppid=30457 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30478/stat : 30478 (java) S 30457 30457 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445700654 15508250624 7235 33554432000 4194304 4196468 140721770232688 140013637404976 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30392 KiB
[startup+0.210944 s]*
/proc/loadavg: 1.12 1.44 1.53 6/230 30498
/proc/meminfo: memFree=30627160/32770624 swapFree=66953076/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30457/stat : 30457 (xcsp3-exec) S 30454 30457 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445700648 115843072 363 33554432000 4194304 5098028 140726437664192 140726437662296 139685463986812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13471744 140726437667706 140726437667949 140726437667949 140726437670858 0
/proc/30457/statm: 28282 363 304 221 0 87 0
[pid=30459] ppid=30457 vsize=15144776 memory=41040 CPUtime=0.34 cores=1,3,5,7
/proc/30459/stat : 30459 (java) S 30457 30457 30406 0 -1 1077944320 9479 0 0 0 32 2 0 0 20 0 15 0 445700648 15508250624 10260 33554432000 4194304 4196468 140721770232688 140721770215232 140014177935095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
/proc/30459/statm: 3786194 10260 3309 1 0 3748377 0
[pid=30459/tid=30460] ppid=30457 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/30459/task/30460/stat : 30460 (java) R 30457 30457 30406 0 -1 4202560 6620 0 0 0 18 2 0 0 20 0 15 0 445700648 15508250624 10260 33554432000 4194304 4196468 140721770232688 140014182171856 140014163615220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30461] ppid=30457 vsize=15144776 memory=1946935 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30461/stat : 30461 (java) S 30457 30457 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445700649 15508250624 10260 33554432000 4194304 4196468 140721770232688 140014130555664 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30462] ppid=30457 vsize=15144776 memory=140151818701324 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30462/stat : 30462 (java) S 30457 30457 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445700649 15508250624 10260 33554432000 4194304 4196468 140721770232688 140014129503120 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30463] ppid=30457 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30463/stat : 30463 (java) S 30457 30457 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445700649 15508250624 10260 33554432000 4194304 4196468 140721770232688 140014128450576 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30464] ppid=30457 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30464/stat : 30464 (java) S 30457 30457 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445700649 15508250624 10260 33554432000 4194304 4196468 140721770232688 140014127398032 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30465] ppid=30457 vsize=15144776 memory=140151818671744 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30465/stat : 30465 (java) S 30457 30457 30406 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445700651 15508250624 10260 33554432000 4194304 4196468 140721770232688 140013645826032 140014177946242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30466] ppid=30457 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30466/stat : 30466 (java) S 30457 30457 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445700651 15508250624 10260 33554432000 4194304 4196468 140721770232688 140013644772256 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30467] ppid=30457 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30467/stat : 30467 (java) S 30457 30457 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445700651 15508250624 10260 33554432000 4194304 4196468 140721770232688 140013643719664 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30472] ppid=30457 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30472/stat : 30472 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445700654 15508250624 10260 33554432000 4194304 4196468 140721770232688 140013642668240 140014177953691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30473] ppid=30457 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30459/task/30473/stat : 30473 (java) S 30457 30457 30406 0 -1 1077944384 542 0 0 0 2 0 0 0 20 0 15 0 445700654 15508250624 10260 33554432000 4194304 4196468 140721770232688 140013641615856 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30474] ppid=30457 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30459/task/30474/stat : 30474 (java) S 30457 30457 30406 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 15 0 445700654 15508250624 10260 33554432000 4194304 4196468 140721770232688 140013640563312 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30475] ppid=30457 vsize=15144776 memory=140151818671744 CPUtime=0.08 cores=1,3,5,7
/proc/30459/task/30475/stat : 30475 (java) R 30457 30457 30406 0 -1 4202560 773 0 0 0 8 0 0 0 20 0 15 0 445700654 15508250624 10260 33554432000 4194304 4196468 140721770232688 140013639510768 140014177956442 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30476] ppid=30457 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30476/stat : 30476 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445700654 15508250624 10260 33554432000 4194304 4196468 140721770232688 140013638458464 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30478] ppid=30457 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30478/stat : 30478 (java) S 30457 30457 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445700654 15508250624 10260 33554432000 4194304 4196468 140721770232688 140013637404976 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42492 KiB
[startup+0.311286 s]*
/proc/loadavg: 1.12 1.44 1.53 4/230 30498
/proc/meminfo: memFree=30607296/32770624 swapFree=66953076/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30457/stat : 30457 (xcsp3-exec) S 30454 30457 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445700648 115843072 363 33554432000 4194304 5098028 140726437664192 140726437662296 139685463986812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13471744 140726437667706 140726437667949 140726437667949 140726437670858 0
/proc/30457/statm: 28282 363 304 221 0 87 0
[pid=30459] ppid=30457 vsize=15149032 memory=50304 CPUtime=0.54 cores=1,3,5,7
/proc/30459/stat : 30459 (java) S 30457 30457 30406 0 -1 1077944320 10860 0 0 0 51 3 0 0 20 0 15 0 445700648 15512608768 12576 33554432000 4194304 4196468 140721770232688 140721770215232 140014177935095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
/proc/30459/statm: 3787258 12576 3355 1 0 3748377 0
[pid=30459/tid=30460] ppid=30457 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/30459/task/30460/stat : 30460 (java) R 30457 30457 30406 0 -1 4202560 7813 0 0 0 28 2 0 0 20 0 15 0 445700648 15512608768 12576 33554432000 4194304 4196468 140721770232688 140014182166208 140014162015582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30461] ppid=30457 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30461/stat : 30461 (java) S 30457 30457 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445700649 15512608768 12576 33554432000 4194304 4196468 140721770232688 140014130555664 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30462] ppid=30457 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30462/stat : 30462 (java) S 30457 30457 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445700649 15512608768 12576 33554432000 4194304 4196468 140721770232688 140014129503120 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30463] ppid=30457 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30463/stat : 30463 (java) S 30457 30457 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445700649 15512608768 12576 33554432000 4194304 4196468 140721770232688 140014128450576 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30464] ppid=30457 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30464/stat : 30464 (java) S 30457 30457 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445700649 15512608768 12576 33554432000 4194304 4196468 140721770232688 140014127398032 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30465] ppid=30457 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30465/stat : 30465 (java) S 30457 30457 30406 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445700651 15512608768 12576 33554432000 4194304 4196468 140721770232688 140013645826032 140014177946242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30466] ppid=30457 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30466/stat : 30466 (java) S 30457 30457 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445700651 15512608768 12576 33554432000 4194304 4196468 140721770232688 140013644772256 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30467] ppid=30457 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30467/stat : 30467 (java) S 30457 30457 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445700651 15512608768 12576 33554432000 4194304 4196468 140721770232688 140013643719664 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30472] ppid=30457 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30472/stat : 30472 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445700654 15512608768 12576 33554432000 4194304 4196468 140721770232688 140013642668240 140014177953691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30473] ppid=30457 vsize=15149032 memory=4500088463514900084 CPUtime=0.04 cores=1,3,5,7
/proc/30459/task/30473/stat : 30473 (java) S 30457 30457 30406 0 -1 1077944384 553 0 0 0 4 0 0 0 20 0 15 0 445700654 15512608768 12576 33554432000 4194304 4196468 140721770232688 140013641615856 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30474] ppid=30457 vsize=15149032 memory=6944613755495348631 CPUtime=0.05 cores=1,3,5,7
/proc/30459/task/30474/stat : 30474 (java) R 30457 30457 30406 0 -1 4202560 334 0 0 0 5 0 0 0 20 0 15 0 445700654 15512608768 12576 33554432000 4194304 4196468 140721770232688 140013640553696 140014171031931 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30475] ppid=30457 vsize=15149032 memory=7893295687695687954 CPUtime=0.13 cores=1,3,5,7
/proc/30459/task/30475/stat : 30475 (java) S 30457 30457 30406 0 -1 1077944384 860 0 0 0 13 0 0 0 20 0 15 0 445700654 15512608768 12576 33554432000 4194304 4196468 140721770232688 140013639510768 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30476] ppid=30457 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30476/stat : 30476 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445700654 15512608768 12576 33554432000 4194304 4196468 140721770232688 140013638458464 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30478] ppid=30457 vsize=15149032 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30478/stat : 30478 (java) S 30457 30457 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445700654 15512608768 12576 33554432000 4194304 4196468 140721770232688 140013637404976 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51756 KiB
[startup+0.703803 s]
/proc/loadavg: 1.12 1.44 1.53 8/230 30498
/proc/meminfo: memFree=30563540/32770624 swapFree=66953076/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30457/stat : 30457 (xcsp3-exec) S 30454 30457 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445700648 115843072 363 33554432000 4194304 5098028 140726437664192 140726437662296 139685463986812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13471744 140726437667706 140726437667949 140726437667949 140726437670858 0
/proc/30457/statm: 28282 363 304 221 0 87 0
[pid=30459] ppid=30457 vsize=15151156 memory=114592 CPUtime=1.74 cores=1,3,5,7
/proc/30459/stat : 30459 (java) S 30457 30457 30406 0 -1 1077944320 15186 0 0 0 169 5 0 0 20 0 15 0 445700648 15514783744 28648 33554432000 4194304 4196468 140721770232688 140721770215232 140014177935095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
/proc/30459/statm: 3787789 28648 3445 1 0 3748889 0
[pid=30459/tid=30460] ppid=30457 vsize=15151156 memory=4137303382726774134 CPUtime=0.67 cores=1,3,5,7
/proc/30459/task/30460/stat : 30460 (java) R 30457 30457 30406 0 -1 1077944384 9095 0 0 0 64 3 0 0 20 0 15 0 445700648 15514783744 28648 33554432000 4194304 4196468 140721770232688 140014182170848 140014177945301 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30461] ppid=30457 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30461/stat : 30461 (java) S 30457 30457 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445700649 15514783744 28648 33554432000 4194304 4196468 140721770232688 140014130555664 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30462] ppid=30457 vsize=15151156 memory=6940443203498692944 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30462/stat : 30462 (java) S 30457 30457 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445700649 15514783744 28648 33554432000 4194304 4196468 140721770232688 140014129503120 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30463] ppid=30457 vsize=15151156 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30463/stat : 30463 (java) S 30457 30457 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445700649 15514783744 28648 33554432000 4194304 4196468 140721770232688 140014128450576 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30464] ppid=30457 vsize=15151156 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30464/stat : 30464 (java) S 30457 30457 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445700649 15514783744 28648 33554432000 4194304 4196468 140721770232688 140014127398032 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30465] ppid=30457 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30465/stat : 30465 (java) S 30457 30457 30406 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445700651 15514783744 28648 33554432000 4194304 4196468 140721770232688 140013645826032 140014177946242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30466] ppid=30457 vsize=15151156 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30466/stat : 30466 (java) S 30457 30457 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445700651 15514783744 28648 33554432000 4194304 4196468 140721770232688 140013644772256 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30467] ppid=30457 vsize=15151156 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30467/stat : 30467 (java) S 30457 30457 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445700651 15514783744 28648 33554432000 4194304 4196468 140721770232688 140013643719664 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30472] ppid=30457 vsize=15151156 memory=6016 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30472/stat : 30472 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445700654 15514783744 28648 33554432000 4194304 4196468 140721770232688 140013642668240 140014177953691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30473] ppid=30457 vsize=15151156 memory=14012 CPUtime=0.34 cores=1,3,5,7
/proc/30459/task/30473/stat : 30473 (java) R 30457 30457 30406 0 -1 4202560 1656 0 0 0 34 0 0 0 20 0 15 0 445700654 15514783744 28648 33554432000 4194304 4196468 140721770232688 140013641615984 140014162816725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30474] ppid=30457 vsize=15151156 memory=2116 CPUtime=0.35 cores=1,3,5,7
/proc/30459/task/30474/stat : 30474 (java) R 30457 30457 30406 0 -1 4202560 1429 0 0 0 35 0 0 0 20 0 15 0 445700654 15514783744 28648 33554432000 4194304 4196468 140721770232688 140013640550272 140014159454780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30475] ppid=30457 vsize=15151156 memory=26016 CPUtime=0.34 cores=1,3,5,7
/proc/30459/task/30475/stat : 30475 (java) S 30457 30457 30406 0 -1 1077944384 1698 0 0 0 34 0 0 0 20 0 15 0 445700654 15514783744 28648 33554432000 4194304 4196468 140721770232688 140013639510768 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30476] ppid=30457 vsize=15151156 memory=14068 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30476/stat : 30476 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445700654 15514783744 28648 33554432000 4194304 4196468 140721770232688 140013638458464 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30478] ppid=30457 vsize=15151156 memory=524 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30478/stat : 30478 (java) S 30457 30457 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445700654 15514783744 28648 33554432000 4194304 4196468 140721770232688 140013637404976 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 116044 KiB
[startup+1.50389 s]
/proc/loadavg: 1.12 1.44 1.53 7/230 30498
/proc/meminfo: memFree=30335868/32770624 swapFree=66953076/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30457/stat : 30457 (xcsp3-exec) S 30454 30457 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445700648 115843072 363 33554432000 4194304 5098028 140726437664192 140726437662296 139685463986812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13471744 140726437667706 140726437667949 140726437667949 140726437670858 0
/proc/30457/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/30459/task/30478/stat : 30478 (java) S 30457 30457 30406 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 445700654 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013637404976 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30583] ppid=30457 vsize=15487052 memory=1016 CPUtime=14.82 cores=1,3,5,7
/proc/30459/task/30583/stat : 30583 (java) R 30457 30457 30406 0 -1 4202560 163 0 0 0 1482 0 0 0 20 0 19 0 445701412 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013624220024 140013809330504 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30584] ppid=30457 vsize=15487052 memory=6016 CPUtime=14.69 cores=1,3,5,7
/proc/30459/task/30584/stat : 30584 (java) R 30457 30457 30406 0 -1 4202560 943 0 0 0 1469 0 0 0 20 0 19 0 445701412 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013625274216 140013809330975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30585] ppid=30457 vsize=15487052 memory=14012 CPUtime=14.64 cores=1,3,5,7
/proc/30459/task/30585/stat : 30585 (java) R 30457 30457 30406 0 -1 4202560 332 0 0 0 1464 0 0 0 20 0 19 0 445701412 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013626329368 140013809330621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30586] ppid=30457 vsize=15487052 memory=164 CPUtime=14.61 cores=1,3,5,7
/proc/30459/task/30586/stat : 30586 (java) R 30457 30457 30406 0 -1 4202560 615 0 0 0 1461 0 0 0 20 0 19 0 445701412 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013622116032 140013809330992 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
Current children cumulated CPU time: 87.34 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 278064 KiB
[startup+23.3009 s]
/proc/loadavg: 3.02 1.85 1.67 10/239 30612
/proc/meminfo: memFree=30094388/32770624 swapFree=66953076/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30457/stat : 30457 (xcsp3-exec) S 30454 30457 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445700648 115843072 363 33554432000 4194304 5098028 140726437664192 140726437662296 139685463986812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13471744 140726437667706 140726437667949 140726437667949 140726437670858 0
/proc/30457/statm: 28282 363 304 221 0 87 0
[pid=30459] ppid=30457 vsize=15487052 memory=276612 CPUtime=90.52 cores=1,3,5,7
/proc/30459/stat : 30459 (java) S 30457 30457 30406 0 -1 1077944320 33272 0 0 0 9037 15 0 0 20 0 19 0 445700648 15858741248 69153 33554432000 4194304 4196468 140721770232688 140721770215232 140014177935095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
/proc/30459/statm: 3871763 69153 3524 1 0 3832863 0
[pid=30459/tid=30460] ppid=30457 vsize=15487052 memory=47972 CPUtime=1.29 cores=1,3,5,7
/proc/30459/task/30460/stat : 30460 (java) S 30457 30457 30406 0 -1 1077944384 9576 0 0 0 124 5 0 0 20 0 19 0 445700648 15858741248 69153 33554432000 4194304 4196468 140721770232688 140014182175872 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30461] ppid=30457 vsize=15487052 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/30459/task/30461/stat : 30461 (java) S 30457 30457 30406 0 -1 1077944384 90 0 0 0 2 1 0 0 20 0 19 0 445700649 15858741248 69153 33554432000 4194304 4196468 140721770232688 140014130555664 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30462] ppid=30457 vsize=15487052 memory=276612 CPUtime=0.01 cores=1,3,5,7
/proc/30459/task/30462/stat : 30462 (java) S 30457 30457 30406 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 19 0 445700649 15858741248 69153 33554432000 4194304 4196468 140721770232688 140014129503120 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30463] ppid=30457 vsize=15487052 memory=1399101730491701635 CPUtime=0.03 cores=1,3,5,7
/proc/30459/task/30463/stat : 30463 (java) S 30457 30457 30406 0 -1 1077944384 102 0 0 0 2 1 0 0 20 0 19 0 445700649 15858741248 69153 33554432000 4194304 4196468 140721770232688 140014128450576 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30464] ppid=30457 vsize=15487052 memory=8026650869813564775 CPUtime=0.03 cores=1,3,5,7
/proc/30459/task/30464/stat : 30464 (java) S 30457 30457 30406 0 -1 1077944384 129 0 0 0 2 1 0 0 20 0 19 0 445700649 15858741248 69153 33554432000 4194304 4196468 140721770232688 140014127398032 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30465] ppid=30457 vsize=15487052 memory=8026650869813564775 CPUtime=0.02 cores=1,3,5,7
/proc/30459/task/30465/stat : 30465 (java) S 30457 30457 30406 0 -1 1077944384 186 0 0 0 1 1 0 0 20 0 19 0 445700651 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013645826032 140014177946242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30466] ppid=30457 vsize=15487052 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30466/stat : 30466 (java) S 30457 30457 30406 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445700651 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013644772320 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30467] ppid=30457 vsize=15487052 memory=26016 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30467/stat : 30467 (java) S 30457 30457 30406 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445700651 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013643719680 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30472] ppid=30457 vsize=15487052 memory=14068 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30472/stat : 30472 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445700654 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013642668240 140014177953691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30473] ppid=30457 vsize=15487052 memory=524 CPUtime=2.19 cores=1,3,5,7
/proc/30459/task/30473/stat : 30473 (java) S 30457 30457 30406 0 -1 1077944384 6321 0 0 0 218 1 0 0 20 0 19 0 445700654 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013641615856 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30474] ppid=30457 vsize=15487052 memory=1568 CPUtime=2.13 cores=1,3,5,7
/proc/30459/task/30474/stat : 30474 (java) S 30457 30457 30406 0 -1 1077944384 5881 0 0 0 213 0 0 0 20 0 19 0 445700654 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013640563312 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30475] ppid=30457 vsize=15487052 memory=928 CPUtime=0.79 cores=1,3,5,7
/proc/30459/task/30475/stat : 30475 (java) S 30457 30457 30406 0 -1 1077944384 5567 0 0 0 79 0 0 0 20 0 19 0 445700654 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013639510768 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30476] ppid=30457 vsize=15487052 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30476/stat : 30476 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445700654 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013638458464 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30478] ppid=30457 vsize=15487052 memory=272516 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30478/stat : 30478 (java) S 30457 30457 30406 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 445700654 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013637404976 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30583] ppid=30457 vsize=15487052 memory=1568 CPUtime=15.62 cores=1,3,5,7
/proc/30459/task/30583/stat : 30583 (java) R 30457 30457 30406 0 -1 4202560 163 0 0 0 1562 0 0 0 20 0 19 0 445701412 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013624220024 140013809330638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30584] ppid=30457 vsize=15487052 memory=928 CPUtime=15.49 cores=1,3,5,7
/proc/30459/task/30584/stat : 30584 (java) R 30457 30457 30406 0 -1 4202560 943 0 0 0 1549 0 0 0 20 0 19 0 445701412 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013625274216 140013809544978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30585] ppid=30457 vsize=15487052 memory=3520 CPUtime=15.44 cores=1,3,5,7
/proc/30459/task/30585/stat : 30585 (java) R 30457 30457 30406 0 -1 4202560 332 0 0 0 1544 0 0 0 20 0 19 0 445701412 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013626329368 140013809330577 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30586] ppid=30457 vsize=15487052 memory=1976 CPUtime=15.39 cores=1,3,5,7
/proc/30459/task/30586/stat : 30586 (java) R 30457 30457 30406 0 -1 4202560 615 0 0 0 1539 0 0 0 20 0 19 0 445701412 15858741248 69153 33554432000 4194304 4196468 140721770232688 140013622116032 140013809330841 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
Current children cumulated CPU time: 90.52 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 278064 KiB
[startup+23.7009 s]
/proc/loadavg: 3.02 1.85 1.67 10/239 30612
/proc/meminfo: memFree=30094388/32770624 swapFree=66953076/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30457/stat : 30457 (xcsp3-exec) S 30454 30457 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445700648 115843072 363 33554432000 4194304 5098028 140726437664192 140726437662296 139685463986812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13471744 140726437667706 140726437667949 140726437667949 140726437670858 0
/proc/30457/statm: 28282 363 304 221 0 87 0
[pid=30459] ppid=30457 vsize=15487052 memory=278660 CPUtime=92.12 cores=1,3,5,7
/proc/30459/stat : 30459 (java) S 30457 30457 30406 0 -1 1077944320 33284 0 0 0 9196 16 0 0 20 0 19 0 445700648 15858741248 69665 33554432000 4194304 4196468 140721770232688 140721770215232 140014177935095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
/proc/30459/statm: 3871763 69665 3524 1 0 3832863 0
[pid=30459/tid=30460] ppid=30457 vsize=15487052 memory=140151695885472 CPUtime=1.29 cores=1,3,5,7
/proc/30459/task/30460/stat : 30460 (java) S 30457 30457 30406 0 -1 1077944384 9576 0 0 0 124 5 0 0 20 0 19 0 445700648 15858741248 69665 33554432000 4194304 4196468 140721770232688 140014182175872 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30461] ppid=30457 vsize=15487052 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30459/task/30461/stat : 30461 (java) S 30457 30457 30406 0 -1 1077944384 90 0 0 0 2 1 0 0 20 0 19 0 445700649 15858741248 69665 33554432000 4194304 4196468 140721770232688 140014130555664 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30462] ppid=30457 vsize=15487052 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30459/task/30462/stat : 30462 (java) S 30457 30457 30406 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 19 0 445700649 15858741248 69665 33554432000 4194304 4196468 140721770232688 140014129503120 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30463] ppid=30457 vsize=15487052 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30459/task/30463/stat : 30463 (java) S 30457 30457 30406 0 -1 1077944384 102 0 0 0 2 1 0 0 20 0 19 0 445700649 15858741248 69665 33554432000 4194304 4196468 140721770232688 140014128450576 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30464] ppid=30457 vsize=15487052 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30459/task/30464/stat : 30464 (java) S 30457 30457 30406 0 -1 1077944384 129 0 0 0 2 1 0 0 20 0 19 0 445700649 15858741248 69665 33554432000 4194304 4196468 140721770232688 140014127398032 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30465] ppid=30457 vsize=15487052 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30459/task/30465/stat : 30465 (java) S 30457 30457 30406 0 -1 1077944384 186 0 0 0 1 1 0 0 20 0 19 0 445700651 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013645826032 140014177946242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30466] ppid=30457 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30466/stat : 30466 (java) S 30457 30457 30406 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445700651 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013644772320 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30467] ppid=30457 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30467/stat : 30467 (java) S 30457 30457 30406 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445700651 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013643719680 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30472] ppid=30457 vsize=15487052 memory=7100839861465685612 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30472/stat : 30472 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445700654 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013642668240 140014177953691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30473] ppid=30457 vsize=15487052 memory=0 CPUtime=2.19 cores=1,3,5,7
/proc/30459/task/30473/stat : 30473 (java) S 30457 30457 30406 0 -1 1077944384 6321 0 0 0 218 1 0 0 20 0 19 0 445700654 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013641615856 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30474] ppid=30457 vsize=15487052 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/30459/task/30474/stat : 30474 (java) S 30457 30457 30406 0 -1 1077944384 5881 0 0 0 213 0 0 0 20 0 19 0 445700654 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013640563312 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30475] ppid=30457 vsize=15487052 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/30459/task/30475/stat : 30475 (java) S 30457 30457 30406 0 -1 1077944384 5567 0 0 0 79 0 0 0 20 0 19 0 445700654 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013639510768 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30476] ppid=30457 vsize=15487052 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30476/stat : 30476 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445700654 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013638458464 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30478] ppid=30457 vsize=15487052 memory=928 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30478/stat : 30478 (java) S 30457 30457 30406 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 445700654 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013637404976 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30583] ppid=30457 vsize=15487052 memory=3520 CPUtime=16.02 cores=1,3,5,7
/proc/30459/task/30583/stat : 30583 (java) R 30457 30457 30406 0 -1 4202560 163 0 0 0 1602 0 0 0 20 0 19 0 445701412 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013624220024 140013809330671 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30584] ppid=30457 vsize=15487052 memory=1976 CPUtime=15.89 cores=1,3,5,7
/proc/30459/task/30584/stat : 30584 (java) R 30457 30457 30406 0 -1 4202560 948 0 0 0 1589 0 0 0 20 0 19 0 445701412 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013625274216 140013809330735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30585] ppid=30457 vsize=15487052 memory=2512 CPUtime=15.84 cores=1,3,5,7
/proc/30459/task/30585/stat : 30585 (java) R 30457 30457 30406 0 -1 4202560 339 0 0 0 1584 0 0 0 20 0 19 0 445701412 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013626329368 140013809545004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30586] ppid=30457 vsize=15487052 memory=808 CPUtime=15.79 cores=1,3,5,7
/proc/30459/task/30586/stat : 30586 (java) R 30457 30457 30406 0 -1 4202560 615 0 0 0 1579 0 0 0 20 0 19 0 445701412 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013622116032 140013809330735 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
Current children cumulated CPU time: 92.12 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 280112 KiB
[startup+23.8019 s]
/proc/loadavg: 3.02 1.85 1.67 10/239 30612
/proc/meminfo: memFree=30094388/32770624 swapFree=66953076/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30457/stat : 30457 (xcsp3-exec) S 30454 30457 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445700648 115843072 363 33554432000 4194304 5098028 140726437664192 140726437662296 139685463986812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13471744 140726437667706 140726437667949 140726437667949 140726437670858 0
/proc/30457/statm: 28282 363 304 221 0 87 0
[pid=30459] ppid=30457 vsize=15487052 memory=278660 CPUtime=92.53 cores=1,3,5,7
/proc/30459/stat : 30459 (java) S 30457 30457 30406 0 -1 1077944320 33284 0 0 0 9237 16 0 0 20 0 19 0 445700648 15858741248 69665 33554432000 4194304 4196468 140721770232688 140721770215232 140014177935095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
/proc/30459/statm: 3871763 69665 3524 1 0 3832863 0
[pid=30459/tid=30460] ppid=30457 vsize=15487052 memory=278660 CPUtime=1.29 cores=1,3,5,7
/proc/30459/task/30460/stat : 30460 (java) S 30457 30457 30406 0 -1 1077944384 9576 0 0 0 124 5 0 0 20 0 19 0 445700648 15858741248 69665 33554432000 4194304 4196468 140721770232688 140014182175872 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30461] ppid=30457 vsize=15487052 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/30459/task/30461/stat : 30461 (java) S 30457 30457 30406 0 -1 1077944384 90 0 0 0 2 1 0 0 20 0 19 0 445700649 15858741248 69665 33554432000 4194304 4196468 140721770232688 140014130555664 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30462] ppid=30457 vsize=15487052 memory=270416 CPUtime=0.01 cores=1,3,5,7
/proc/30459/task/30462/stat : 30462 (java) S 30457 30457 30406 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 19 0 445700649 15858741248 69665 33554432000 4194304 4196468 140721770232688 140014129503120 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30463] ppid=30457 vsize=15487052 memory=2024 CPUtime=0.03 cores=1,3,5,7
/proc/30459/task/30463/stat : 30463 (java) S 30457 30457 30406 0 -1 1077944384 102 0 0 0 2 1 0 0 20 0 19 0 445700649 15858741248 69665 33554432000 4194304 4196468 140721770232688 140014128450576 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30464] ppid=30457 vsize=15487052 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30459/task/30464/stat : 30464 (java) S 30457 30457 30406 0 -1 1077944384 129 0 0 0 2 1 0 0 20 0 19 0 445700649 15858741248 69665 33554432000 4194304 4196468 140721770232688 140014127398032 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30465] ppid=30457 vsize=15487052 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30459/task/30465/stat : 30465 (java) S 30457 30457 30406 0 -1 1077944384 186 0 0 0 1 1 0 0 20 0 19 0 445700651 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013645826032 140014177946242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30466] ppid=30457 vsize=15487052 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30466/stat : 30466 (java) S 30457 30457 30406 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445700651 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013644772320 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30467] ppid=30457 vsize=15487052 memory=47972 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30467/stat : 30467 (java) S 30457 30457 30406 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445700651 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013643719680 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30472] ppid=30457 vsize=15487052 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30472/stat : 30472 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445700654 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013642668240 140014177953691 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30473] ppid=30457 vsize=15487052 memory=265308 CPUtime=2.19 cores=1,3,5,7
/proc/30459/task/30473/stat : 30473 (java) S 30457 30457 30406 0 -1 1077944384 6321 0 0 0 218 1 0 0 20 0 19 0 445700654 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013641615856 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30474] ppid=30457 vsize=15487052 memory=1452 CPUtime=2.13 cores=1,3,5,7
/proc/30459/task/30474/stat : 30474 (java) S 30457 30457 30406 0 -1 1077944384 5881 0 0 0 213 0 0 0 20 0 19 0 445700654 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013640563312 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30475] ppid=30457 vsize=15487052 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/30459/task/30475/stat : 30475 (java) S 30457 30457 30406 0 -1 1077944384 5567 0 0 0 79 0 0 0 20 0 19 0 445700654 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013639510768 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30476] ppid=30457 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30476/stat : 30476 (java) S 30457 30457 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445700654 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013638458464 140014177945301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30478] ppid=30457 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30459/task/30478/stat : 30478 (java) S 30457 30457 30406 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 445700654 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013637404976 140014177946242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30583] ppid=30457 vsize=15487052 memory=1452 CPUtime=16.12 cores=1,3,5,7
/proc/30459/task/30583/stat : 30583 (java) R 30457 30457 30406 0 -1 4202560 163 0 0 0 1612 0 0 0 20 0 19 0 445701412 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013624220024 140013809775508 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30584] ppid=30457 vsize=15487052 memory=260904 CPUtime=15.99 cores=1,3,5,7
/proc/30459/task/30584/stat : 30584 (java) R 30457 30457 30406 0 -1 4202560 948 0 0 0 1599 0 0 0 20 0 19 0 445701412 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013625274216 140013809330657 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30585] ppid=30457 vsize=15487052 memory=988 CPUtime=15.94 cores=1,3,5,7
/proc/30459/task/30585/stat : 30585 (java) R 30457 30457 30406 0 -1 4202560 339 0 0 0 1594 0 0 0 20 0 19 0 445701412 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013626329368 140013809330855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
[pid=30459/tid=30586] ppid=30457 vsize=15487052 memory=2024 CPUtime=15.89 cores=1,3,5,7
/proc/30459/task/30586/stat : 30586 (java) R 30457 30457 30406 0 -1 4202560 615 0 0 0 1589 0 0 0 20 0 19 0 445701412 15858741248 69665 33554432000 4194304 4196468 140721770232688 140013622116032 140013809330712 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140721770238959 140721770239130 140721770239130 140721770241999 0
Current children cumulated CPU time: 92.53 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 280112 KiB
Child status: 0
Real time (s): 23.881
CPU time (s): 92.831
CPU user time (s): 92.6645
CPU system time (s): 0.166442
CPU usage (%): 388.723
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 280112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.6645
system time used= 0.166442
maximum resident set size= 279056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34483
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= 3654
involuntary context switches= 2272
# summary of solver processes directly reported to runsolver:
# pid: 30457
# total CPU time (s): 92.831
# total CPU user time (s): 92.6645
# total CPU system time (s): 0.166442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.153953 second user time and 0.333377 second system time
The end