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 (13755 MiB free)
memory of node 1: 16384 MiB (12125 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406180-1569396900/watcher-4406180-1569396900 -o /tmp/evaluation-result-4406180-1569396900/solver-4406180-1569396900 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569392447-21328 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 13758179 HOME/instance-4406180-1569396900.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
solver pid=21626, runsolver pid=21623
Current StackSize limit: 8192 KiB
[startup+0.100884 s]*
/proc/loadavg: 1.60 0.80 0.35 4/229 21642
/proc/meminfo: memFree=26484364/32770624 swapFree=66986408/67108860
[pid=21626] ppid=21623 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21626/stat : 21626 (xcsp3-exec) S 21623 21626 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515946617 115843072 363 33554432000 4194304 5098028 140730643936992 140730643935096 139735072821884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33697792 140730643940220 140730643940461 140730643940461 140730643943370 0
/proc/21626/statm: 28282 363 304 221 0 87 0
[pid=21628] ppid=21626 vsize=15144776 memory=29736 CPUtime=0.12 cores=0,2,4,6
/proc/21628/stat : 21628 (java) S 21626 21626 21297 0 -1 1077944320 5905 0 0 0 11 1 0 0 20 0 15 0 515946617 15508250624 7434 33554432000 4194304 4196468 140725758071088 140725758053632 140556967075575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
/proc/21628/statm: 3786194 7434 3120 1 0 3748377 0
[pid=21628/tid=21629] ppid=21626 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/21628/task/21629/stat : 21629 (java) R 21626 21626 21297 0 -1 4202560 3813 0 0 0 8 1 0 0 20 0 15 0 515946617 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556971310112 140556579667200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21630] ppid=21626 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21630/stat : 21630 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946618 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556903312016 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21631] ppid=21626 vsize=15144776 memory=140627629784156 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21631/stat : 21631 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946618 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556902259216 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21632] ppid=21626 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21632/stat : 21632 (java) S 21626 21626 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515946618 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556901206416 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21633] ppid=21626 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21633/stat : 21633 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946618 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556900153616 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21634] ppid=21626 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21634/stat : 21634 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946619 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556502854512 140556967086722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21635] ppid=21626 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21635/stat : 21635 (java) S 21626 21626 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515946620 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556501800480 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21636] ppid=21626 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21636/stat : 21636 (java) S 21626 21626 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515946620 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556500747632 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21637] ppid=21626 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21637/stat : 21637 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556499695952 140556967094171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21638] ppid=21626 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21638/stat : 21638 (java) S 21626 21626 21297 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 515946623 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556498643312 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21639] ppid=21626 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21639/stat : 21639 (java) S 21626 21626 21297 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 515946623 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556497590512 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21640] ppid=21626 vsize=15144776 memory=140627626124928 CPUtime=0.01 cores=0,2,4,6
/proc/21628/task/21640/stat : 21640 (java) R 21626 21626 21297 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 15 0 515946623 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556428634224 140556946026507 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21641] ppid=21626 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21641/stat : 21641 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556427581664 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21642] ppid=21626 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21642/stat : 21642 (java) S 21626 21626 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515946623 15508250624 7434 33554432000 4194304 4196468 140725758071088 140556426529968 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31188 KiB
[startup+0.21074 s]*
/proc/loadavg: 1.60 0.80 0.35 3/229 21642
/proc/meminfo: memFree=26472508/32770624 swapFree=66986408/67108860
[pid=21626] ppid=21623 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21626/stat : 21626 (xcsp3-exec) S 21623 21626 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515946617 115843072 363 33554432000 4194304 5098028 140730643936992 140730643935096 139735072821884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33697792 140730643940220 140730643940461 140730643940461 140730643943370 0
/proc/21626/statm: 28282 363 304 221 0 87 0
[pid=21628] ppid=21626 vsize=15144776 memory=40596 CPUtime=0.33 cores=0,2,4,6
/proc/21628/stat : 21628 (java) S 21626 21626 21297 0 -1 1077944320 9327 0 0 0 30 3 0 0 20 0 15 0 515946617 15508250624 10149 33554432000 4194304 4196468 140725758071088 140725758053632 140556967075575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
/proc/21628/statm: 3786194 10149 3318 1 0 3748377 0
[pid=21628/tid=21629] ppid=21626 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/21628/task/21629/stat : 21629 (java) R 21626 21626 21297 0 -1 4202560 6606 0 0 0 17 2 0 0 20 0 15 0 515946617 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556971311712 140556951156062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21630] ppid=21626 vsize=15144776 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21630/stat : 21630 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946618 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556903312016 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21631] ppid=21626 vsize=15144776 memory=3976879778731353760 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21631/stat : 21631 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946618 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556902259216 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21632] ppid=21626 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21632/stat : 21632 (java) S 21626 21626 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515946618 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556901206416 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21633] ppid=21626 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21633/stat : 21633 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946618 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556900153616 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21634] ppid=21626 vsize=15144776 memory=140627626124928 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21634/stat : 21634 (java) S 21626 21626 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515946619 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556502854512 140556967086722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21635] ppid=21626 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21635/stat : 21635 (java) S 21626 21626 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515946620 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556501800480 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21636] ppid=21626 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21636/stat : 21636 (java) S 21626 21626 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515946620 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556500747632 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21637] ppid=21626 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21637/stat : 21637 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556499695952 140556967094171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21638] ppid=21626 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21628/task/21638/stat : 21638 (java) S 21626 21626 21297 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 15 0 515946623 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556498643312 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21639] ppid=21626 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21628/task/21639/stat : 21639 (java) S 21626 21626 21297 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 15 0 515946623 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556497590512 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21640] ppid=21626 vsize=15144776 memory=140627626124928 CPUtime=0.07 cores=0,2,4,6
/proc/21628/task/21640/stat : 21640 (java) S 21626 21626 21297 0 -1 1077944384 773 0 0 0 7 0 0 0 20 0 15 0 515946623 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556428634224 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21641] ppid=21626 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21641/stat : 21641 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556427581664 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21642] ppid=21626 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21642/stat : 21642 (java) S 21626 21626 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515946623 15508250624 10149 33554432000 4194304 4196468 140725758071088 140556426529968 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42048 KiB
[startup+0.310649 s]*
/proc/loadavg: 1.60 0.80 0.35 4/229 21642
/proc/meminfo: memFree=26467036/32770624 swapFree=66986408/67108860
[pid=21626] ppid=21623 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21626/stat : 21626 (xcsp3-exec) S 21623 21626 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515946617 115843072 363 33554432000 4194304 5098028 140730643936992 140730643935096 139735072821884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33697792 140730643940220 140730643940461 140730643940461 140730643943370 0
/proc/21626/statm: 28282 363 304 221 0 87 0
[pid=21628] ppid=21626 vsize=15149032 memory=49728 CPUtime=0.52 cores=0,2,4,6
/proc/21628/stat : 21628 (java) S 21626 21626 21297 0 -1 1077944320 10751 0 0 0 48 4 0 0 20 0 15 0 515946617 15512608768 12432 33554432000 4194304 4196468 140725758071088 140725758053632 140556967075575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
/proc/21628/statm: 3787258 12432 3367 1 0 3748377 0
[pid=21628/tid=21629] ppid=21626 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/21628/task/21629/stat : 21629 (java) R 21626 21626 21297 0 -1 4202560 7707 0 0 0 27 3 0 0 20 0 15 0 515946617 15512608768 12432 33554432000 4194304 4196468 140725758071088 140556971306688 140556951156062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21630] ppid=21626 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21630/stat : 21630 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946618 15512608768 12432 33554432000 4194304 4196468 140725758071088 140556903312016 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21631] ppid=21626 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21631/stat : 21631 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946618 15512608768 12432 33554432000 4194304 4196468 140725758071088 140556902259216 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21632] ppid=21626 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21632/stat : 21632 (java) S 21626 21626 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515946618 15512608768 12432 33554432000 4194304 4196468 140725758071088 140556901206416 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21633] ppid=21626 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21633/stat : 21633 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946618 15512608768 12432 33554432000 4194304 4196468 140725758071088 140556900153616 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21634] ppid=21626 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21634/stat : 21634 (java) S 21626 21626 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515946619 15512608768 12432 33554432000 4194304 4196468 140725758071088 140556502854512 140556967086722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21635] ppid=21626 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21635/stat : 21635 (java) S 21626 21626 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515946620 15512608768 12432 33554432000 4194304 4196468 140725758071088 140556501800480 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21636] ppid=21626 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21636/stat : 21636 (java) S 21626 21626 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515946620 15512608768 12432 33554432000 4194304 4196468 140725758071088 140556500747632 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21637] ppid=21626 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21637/stat : 21637 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15512608768 12432 33554432000 4194304 4196468 140725758071088 140556499695952 140556967094171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21638] ppid=21626 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/21628/task/21638/stat : 21638 (java) R 21626 21626 21297 0 -1 1077944384 417 0 0 0 4 0 0 0 20 0 15 0 515946623 15512608768 12474 33554432000 4194304 4196468 140725758071088 140556498643312 140556967086722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21639] ppid=21626 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21628/task/21639/stat : 21639 (java) R 21626 21626 21297 0 -1 4202560 396 0 0 0 4 0 0 0 20 0 15 0 515946623 15512608768 12474 33554432000 4194304 4196468 140725758071088 140556497571528 140556947775872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21640] ppid=21626 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/21628/task/21640/stat : 21640 (java) S 21626 21626 21297 0 -1 1077944384 936 0 0 0 12 0 0 0 20 0 15 0 515946623 15512608768 12474 33554432000 4194304 4196468 140725758071088 140556428634224 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21641] ppid=21626 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21641/stat : 21641 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15512608768 12474 33554432000 4194304 4196468 140725758071088 140556427581664 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21642] ppid=21626 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21642/stat : 21642 (java) S 21626 21626 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515946623 15512608768 12474 33554432000 4194304 4196468 140725758071088 140556426529968 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51180 KiB
[startup+0.700809 s]
/proc/loadavg: 1.60 0.80 0.35 5/229 21642
/proc/meminfo: memFree=26456668/32770624 swapFree=66986408/67108860
[pid=21626] ppid=21623 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21626/stat : 21626 (xcsp3-exec) S 21623 21626 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515946617 115843072 363 33554432000 4194304 5098028 140730643936992 140730643935096 139735072821884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33697792 140730643940220 140730643940461 140730643940461 140730643943370 0
/proc/21626/statm: 28282 363 304 221 0 87 0
[pid=21628] ppid=21626 vsize=15151156 memory=77996 CPUtime=1.58 cores=0,2,4,6
/proc/21628/stat : 21628 (java) S 21626 21626 21297 0 -1 1077944320 16242 0 0 0 152 6 0 0 20 0 15 0 515946617 15514783744 19499 33554432000 4194304 4196468 140725758071088 140725758053632 140556967075575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
/proc/21628/statm: 3787789 19499 3454 1 0 3748889 0
[pid=21628/tid=21629] ppid=21626 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/21628/task/21629/stat : 21629 (java) R 21626 21626 21297 0 -1 4202560 9327 0 0 0 63 4 0 0 20 0 15 0 515946617 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556971312608 140556583314076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21630] ppid=21626 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21630/stat : 21630 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946618 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556903312016 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21631] ppid=21626 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21631/stat : 21631 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946618 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556902259216 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21632] ppid=21626 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21632/stat : 21632 (java) S 21626 21626 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515946618 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556901206416 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21633] ppid=21626 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21633/stat : 21633 (java) S 21626 21626 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515946618 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556900153616 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21634] ppid=21626 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21634/stat : 21634 (java) S 21626 21626 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515946619 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556502854512 140556967086722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21635] ppid=21626 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21635/stat : 21635 (java) S 21626 21626 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515946620 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556501800480 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21636] ppid=21626 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21636/stat : 21636 (java) S 21626 21626 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515946620 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556500747632 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21637] ppid=21626 vsize=15151156 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21637/stat : 21637 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556499695952 140556967094171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21638] ppid=21626 vsize=15151156 memory=6208 CPUtime=0.25 cores=0,2,4,6
/proc/21628/task/21638/stat : 21638 (java) R 21626 21626 21297 0 -1 4202560 1782 0 0 0 25 0 0 0 20 0 15 0 515946623 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556498629192 140556950462159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21639] ppid=21626 vsize=15151156 memory=7552 CPUtime=0.26 cores=0,2,4,6
/proc/21628/task/21639/stat : 21639 (java) R 21626 21626 21297 0 -1 4202560 1696 0 0 0 26 0 0 0 20 0 15 0 515946623 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556497583144 140556950561525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21640] ppid=21626 vsize=15151156 memory=2832 CPUtime=0.37 cores=0,2,4,6
/proc/21628/task/21640/stat : 21640 (java) S 21626 21626 21297 0 -1 1077944384 2128 0 0 0 37 0 0 0 20 0 15 0 515946623 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556428634224 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21641] ppid=21626 vsize=15151156 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21641/stat : 21641 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556427581664 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21642] ppid=21626 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21642/stat : 21642 (java) S 21626 21626 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515946623 15514783744 19499 33554432000 4194304 4196468 140725758071088 140556426529968 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 79448 KiB
[startup+1.50086 s]
/proc/loadavg: 1.71 0.84 0.37 6/229 21642
/proc/meminfo: memFree=26427800/32770624 swapFree=66986408/67108860
[pid=21626] ppid=21623 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21626/stat : 21626 (xcsp3-exec) S 21623 21626 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515946617 115843072 363 33554432000 4194304 5098028 140730643936992 140730643935096 139735072821884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33697792 140730643940220 140730643940461 140730643940461 140730643943370 0
/proc/21626/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/21626/stat : 21626 (xcsp3-exec) S 21623 21626 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515946617 115843072 363 33554432000 4194304 5098028 140730643936992 140730643935096 139735072821884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33697792 140730643940220 140730643940461 140730643940461 140730643943370 0
/proc/21626/statm: 28282 363 304 221 0 87 0
[pid=21628] ppid=21626 vsize=15151156 memory=275184 CPUtime=416.2 cores=0,2,4,6
/proc/21628/stat : 21628 (java) S 21626 21626 21297 0 -1 1077944320 63121 0 0 0 41578 42 0 0 20 0 15 0 515946617 15514783744 68796 33554432000 4194304 4196468 140725758071088 140725758053632 140556967075575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
/proc/21628/statm: 3787789 68796 3494 1 0 3748889 0
[pid=21628/tid=21629] ppid=21626 vsize=15151156 memory=1416 CPUtime=409.48 cores=0,2,4,6
/proc/21628/task/21629/stat : 21629 (java) R 21626 21626 21297 0 -1 4202560 19392 0 0 0 40938 10 0 0 20 0 15 0 515946617 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556971314992 140556582997323 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21630] ppid=21626 vsize=15151156 memory=1728 CPUtime=0.59 cores=0,2,4,6
/proc/21628/task/21630/stat : 21630 (java) S 21626 21626 21297 0 -1 1077944384 1308 0 0 0 52 7 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556903312016 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21631] ppid=21626 vsize=15151156 memory=692 CPUtime=0.6 cores=0,2,4,6
/proc/21628/task/21631/stat : 21631 (java) S 21626 21626 21297 0 -1 1077944384 983 0 0 0 55 5 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556902259216 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21632] ppid=21626 vsize=15151156 memory=1056 CPUtime=0.59 cores=0,2,4,6
/proc/21628/task/21632/stat : 21632 (java) S 21626 21626 21297 0 -1 1077944384 988 0 0 0 53 6 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556901206416 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21633] ppid=21626 vsize=15151156 memory=1556 CPUtime=0.6 cores=0,2,4,6
/proc/21628/task/21633/stat : 21633 (java) S 21626 21626 21297 0 -1 1077944384 2112 0 0 0 53 7 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556900153616 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21634] ppid=21626 vsize=15151156 memory=780 CPUtime=0.71 cores=0,2,4,6
/proc/21628/task/21634/stat : 21634 (java) S 21626 21626 21297 0 -1 1077944384 2343 0 0 0 66 5 0 0 20 0 15 0 515946619 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556502854512 140556967086722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21635] ppid=21626 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21635/stat : 21635 (java) S 21626 21626 21297 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 515946620 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556501800544 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21636] ppid=21626 vsize=15151156 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21636/stat : 21636 (java) S 21626 21626 21297 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 515946620 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556500747648 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21637] ppid=21626 vsize=15151156 memory=6208 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21637/stat : 21637 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556499695952 140556967094171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21638] ppid=21626 vsize=15151156 memory=7552 CPUtime=1.5 cores=0,2,4,6
/proc/21628/task/21638/stat : 21638 (java) S 21626 21626 21297 0 -1 1077944384 12358 0 0 0 148 2 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556498643312 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21639] ppid=21626 vsize=15151156 memory=2832 CPUtime=1.44 cores=0,2,4,6
/proc/21628/task/21639/stat : 21639 (java) S 21626 21626 21297 0 -1 1077944384 14215 0 0 0 143 1 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556497590512 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21640] ppid=21626 vsize=15151156 memory=1084 CPUtime=0.45 cores=0,2,4,6
/proc/21628/task/21640/stat : 21640 (java) S 21626 21626 21297 0 -1 1077944384 6831 0 0 0 45 0 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556428634224 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21641] ppid=21626 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21641/stat : 21641 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556427581664 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21642] ppid=21626 vsize=15151156 memory=14048 CPUtime=0.16 cores=0,2,4,6
/proc/21628/task/21642/stat : 21642 (java) S 21626 21626 21297 0 -1 1077944384 1190 0 0 0 6 10 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556426529968 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
Current children cumulated CPU time: 416.2 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 276636 KiB
[startup+411.601 s]
/proc/loadavg: 1.75 1.45 0.81 3/229 21763
/proc/meminfo: memFree=26186696/32770624 swapFree=66986408/67108860
[pid=21626] ppid=21623 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21626/stat : 21626 (xcsp3-exec) S 21623 21626 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515946617 115843072 363 33554432000 4194304 5098028 140730643936992 140730643935096 139735072821884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33697792 140730643940220 140730643940461 140730643940461 140730643943370 0
/proc/21626/statm: 28282 363 304 221 0 87 0
[pid=21628] ppid=21626 vsize=15151156 memory=275184 CPUtime=416.6 cores=0,2,4,6
/proc/21628/stat : 21628 (java) S 21626 21626 21297 0 -1 1077944320 63121 0 0 0 41618 42 0 0 20 0 15 0 515946617 15514783744 68796 33554432000 4194304 4196468 140725758071088 140725758053632 140556967075575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
/proc/21628/statm: 3787789 68796 3494 1 0 3748889 0
[pid=21628/tid=21629] ppid=21626 vsize=15151156 memory=988 CPUtime=409.88 cores=0,2,4,6
/proc/21628/task/21629/stat : 21629 (java) R 21626 21626 21297 0 -1 4202560 19392 0 0 0 40978 10 0 0 20 0 15 0 515946617 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556971314992 140556584054545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21630] ppid=21626 vsize=15151156 memory=6791534058613427641 CPUtime=0.59 cores=0,2,4,6
/proc/21628/task/21630/stat : 21630 (java) S 21626 21626 21297 0 -1 1077944384 1308 0 0 0 52 7 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556903312016 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21631] ppid=21626 vsize=15151156 memory=1984 CPUtime=0.6 cores=0,2,4,6
/proc/21628/task/21631/stat : 21631 (java) S 21626 21626 21297 0 -1 1077944384 983 0 0 0 55 5 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556902259216 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21632] ppid=21626 vsize=15151156 memory=2480 CPUtime=0.59 cores=0,2,4,6
/proc/21628/task/21632/stat : 21632 (java) S 21626 21626 21297 0 -1 1077944384 988 0 0 0 53 6 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556901206416 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21633] ppid=21626 vsize=15151156 memory=1768 CPUtime=0.6 cores=0,2,4,6
/proc/21628/task/21633/stat : 21633 (java) S 21626 21626 21297 0 -1 1077944384 2112 0 0 0 53 7 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556900153616 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21634] ppid=21626 vsize=15151156 memory=111632 CPUtime=0.71 cores=0,2,4,6
/proc/21628/task/21634/stat : 21634 (java) S 21626 21626 21297 0 -1 1077944384 2343 0 0 0 66 5 0 0 20 0 15 0 515946619 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556502854512 140556967086722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21635] ppid=21626 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21635/stat : 21635 (java) S 21626 21626 21297 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 515946620 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556501800544 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21636] ppid=21626 vsize=15151156 memory=4112 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21636/stat : 21636 (java) S 21626 21626 21297 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 515946620 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556500747648 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21637] ppid=21626 vsize=15151156 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21637/stat : 21637 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556499695952 140556967094171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21638] ppid=21626 vsize=15151156 memory=916 CPUtime=1.5 cores=0,2,4,6
/proc/21628/task/21638/stat : 21638 (java) S 21626 21626 21297 0 -1 1077944384 12358 0 0 0 148 2 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556498643312 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21639] ppid=21626 vsize=15151156 memory=3848 CPUtime=1.44 cores=0,2,4,6
/proc/21628/task/21639/stat : 21639 (java) S 21626 21626 21297 0 -1 1077944384 14215 0 0 0 143 1 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556497590512 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21640] ppid=21626 vsize=15151156 memory=2600 CPUtime=0.45 cores=0,2,4,6
/proc/21628/task/21640/stat : 21640 (java) S 21626 21626 21297 0 -1 1077944384 6831 0 0 0 45 0 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556428634224 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21641] ppid=21626 vsize=15151156 memory=2604 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21641/stat : 21641 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556427581664 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21642] ppid=21626 vsize=15151156 memory=1408 CPUtime=0.16 cores=0,2,4,6
/proc/21628/task/21642/stat : 21642 (java) S 21626 21626 21297 0 -1 1077944384 1190 0 0 0 6 10 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556426529968 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
Current children cumulated CPU time: 416.6 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 276636 KiB
[startup+412.001 s]*
/proc/loadavg: 1.75 1.45 0.81 3/229 21763
/proc/meminfo: memFree=26186696/32770624 swapFree=66986408/67108860
[pid=21626] ppid=21623 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21626/stat : 21626 (xcsp3-exec) S 21623 21626 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515946617 115843072 363 33554432000 4194304 5098028 140730643936992 140730643935096 139735072821884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33697792 140730643940220 140730643940461 140730643940461 140730643943370 0
/proc/21626/statm: 28282 363 304 221 0 87 0
[pid=21628] ppid=21626 vsize=15151156 memory=275184 CPUtime=417.01 cores=0,2,4,6
/proc/21628/stat : 21628 (java) S 21626 21626 21297 0 -1 1077944320 63121 0 0 0 41659 42 0 0 20 0 15 0 515946617 15514783744 68796 33554432000 4194304 4196468 140725758071088 140725758053632 140556967075575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
/proc/21628/statm: 3787789 68796 3494 1 0 3748889 0
[pid=21628/tid=21629] ppid=21626 vsize=15151156 memory=8317482817917895235 CPUtime=410.28 cores=0,2,4,6
/proc/21628/task/21629/stat : 21629 (java) R 21626 21626 21297 0 -1 4202560 19392 0 0 0 41018 10 0 0 20 0 15 0 515946617 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556971314992 140556583967929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21630] ppid=21626 vsize=15151156 memory=3474165470301410693 CPUtime=0.59 cores=0,2,4,6
/proc/21628/task/21630/stat : 21630 (java) S 21626 21626 21297 0 -1 1077944384 1308 0 0 0 52 7 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556903312016 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21631] ppid=21626 vsize=15151156 memory=3833604548761244359 CPUtime=0.6 cores=0,2,4,6
/proc/21628/task/21631/stat : 21631 (java) S 21626 21626 21297 0 -1 1077944384 983 0 0 0 55 5 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556902259216 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21632] ppid=21626 vsize=15151156 memory=2004 CPUtime=0.59 cores=0,2,4,6
/proc/21628/task/21632/stat : 21632 (java) S 21626 21626 21297 0 -1 1077944384 988 0 0 0 53 6 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556901206416 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21633] ppid=21626 vsize=15151156 memory=1416 CPUtime=0.6 cores=0,2,4,6
/proc/21628/task/21633/stat : 21633 (java) S 21626 21626 21297 0 -1 1077944384 2112 0 0 0 53 7 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556900153616 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21634] ppid=21626 vsize=15151156 memory=1728 CPUtime=0.71 cores=0,2,4,6
/proc/21628/task/21634/stat : 21634 (java) S 21626 21626 21297 0 -1 1077944384 2343 0 0 0 66 5 0 0 20 0 15 0 515946619 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556502854512 140556967086722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21635] ppid=21626 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21635/stat : 21635 (java) S 21626 21626 21297 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 515946620 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556501800544 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21636] ppid=21626 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21636/stat : 21636 (java) S 21626 21626 21297 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 515946620 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556500747648 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21637] ppid=21626 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21637/stat : 21637 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556499695952 140556967094171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21638] ppid=21626 vsize=15151156 memory=780 CPUtime=1.5 cores=0,2,4,6
/proc/21628/task/21638/stat : 21638 (java) S 21626 21626 21297 0 -1 1077944384 12358 0 0 0 148 2 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556498643312 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21639] ppid=21626 vsize=15151156 memory=3616 CPUtime=1.44 cores=0,2,4,6
/proc/21628/task/21639/stat : 21639 (java) S 21626 21626 21297 0 -1 1077944384 14215 0 0 0 143 1 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556497590512 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21640] ppid=21626 vsize=15151156 memory=1228 CPUtime=0.45 cores=0,2,4,6
/proc/21628/task/21640/stat : 21640 (java) S 21626 21626 21297 0 -1 1077944384 6831 0 0 0 45 0 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556428634224 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21641] ppid=21626 vsize=15151156 memory=6208 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21641/stat : 21641 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556427581664 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21642] ppid=21626 vsize=15151156 memory=7552 CPUtime=0.16 cores=0,2,4,6
/proc/21628/task/21642/stat : 21642 (java) S 21626 21626 21297 0 -1 1077944384 1190 0 0 0 6 10 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556426529968 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
Current children cumulated CPU time: 417.01 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 276636 KiB
[startup+412.11 s]
/proc/loadavg: 1.75 1.45 0.81 3/229 21763
/proc/meminfo: memFree=26186696/32770624 swapFree=66986408/67108860
[pid=21626] ppid=21623 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21626/stat : 21626 (xcsp3-exec) S 21623 21626 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515946617 115843072 363 33554432000 4194304 5098028 140730643936992 140730643935096 139735072821884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33697792 140730643940220 140730643940461 140730643940461 140730643943370 0
/proc/21626/statm: 28282 363 304 221 0 87 0
[pid=21628] ppid=21626 vsize=15151156 memory=275184 CPUtime=417.11 cores=0,2,4,6
/proc/21628/stat : 21628 (java) S 21626 21626 21297 0 -1 1077944320 63121 0 0 0 41669 42 0 0 20 0 15 0 515946617 15514783744 68796 33554432000 4194304 4196468 140725758071088 140725758053632 140556967075575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
/proc/21628/statm: 3787789 68796 3494 1 0 3748889 0
[pid=21628/tid=21629] ppid=21626 vsize=15151156 memory=275184 CPUtime=410.39 cores=0,2,4,6
/proc/21628/task/21629/stat : 21629 (java) R 21626 21626 21297 0 -1 4202560 19392 0 0 0 41029 10 0 0 20 0 15 0 515946617 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556971314992 140556583448112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21630] ppid=21626 vsize=15151156 memory=45 CPUtime=0.59 cores=0,2,4,6
/proc/21628/task/21630/stat : 21630 (java) S 21626 21626 21297 0 -1 1077944384 1308 0 0 0 52 7 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556903312016 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21631] ppid=21626 vsize=15151156 memory=275184 CPUtime=0.6 cores=0,2,4,6
/proc/21628/task/21631/stat : 21631 (java) S 21626 21626 21297 0 -1 1077944384 983 0 0 0 55 5 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556902259216 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21632] ppid=21626 vsize=15151156 memory=275184 CPUtime=0.59 cores=0,2,4,6
/proc/21628/task/21632/stat : 21632 (java) S 21626 21626 21297 0 -1 1077944384 988 0 0 0 53 6 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556901206416 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21633] ppid=21626 vsize=15151156 memory=1452 CPUtime=0.6 cores=0,2,4,6
/proc/21628/task/21633/stat : 21633 (java) S 21626 21626 21297 0 -1 1077944384 2112 0 0 0 53 7 0 0 20 0 15 0 515946618 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556900153616 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21634] ppid=21626 vsize=15151156 memory=275084 CPUtime=0.71 cores=0,2,4,6
/proc/21628/task/21634/stat : 21634 (java) S 21626 21626 21297 0 -1 1077944384 2343 0 0 0 66 5 0 0 20 0 15 0 515946619 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556502854512 140556967086722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21635] ppid=21626 vsize=15151156 memory=275184 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21635/stat : 21635 (java) S 21626 21626 21297 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 515946620 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556501800544 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21636] ppid=21626 vsize=15151156 memory=275184 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21636/stat : 21636 (java) S 21626 21626 21297 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 515946620 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556500747648 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21637] ppid=21626 vsize=15151156 memory=275184 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21637/stat : 21637 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556499695952 140556967094171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21638] ppid=21626 vsize=15151156 memory=1452 CPUtime=1.5 cores=0,2,4,6
/proc/21628/task/21638/stat : 21638 (java) S 21626 21626 21297 0 -1 1077944384 12358 0 0 0 148 2 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556498643312 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21639] ppid=21626 vsize=15151156 memory=275184 CPUtime=1.44 cores=0,2,4,6
/proc/21628/task/21639/stat : 21639 (java) S 21626 21626 21297 0 -1 1077944384 14215 0 0 0 143 1 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556497590512 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21640] ppid=21626 vsize=15151156 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/21628/task/21640/stat : 21640 (java) S 21626 21626 21297 0 -1 1077944384 6831 0 0 0 45 0 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556428634224 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21641] ppid=21626 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21628/task/21641/stat : 21641 (java) S 21626 21626 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556427581664 140556967085781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
[pid=21628/tid=21642] ppid=21626 vsize=15151156 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/21628/task/21642/stat : 21642 (java) S 21626 21626 21297 0 -1 1077944384 1190 0 0 0 6 10 0 0 20 0 15 0 515946623 15514783744 68796 33554432000 4194304 4196468 140725758071088 140556426529968 140556967086722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 27230208 140725758075887 140725758076058 140725758076058 140725758078927 0
Current children cumulated CPU time: 417.11 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 276636 KiB
Child status: 0
Real time (s): 412.199
CPU time (s): 417.208
CPU user time (s): 416.776
CPU system time (s): 0.431759
CPU usage (%): 101.215
Max. virtual memory (cumulated for all children) (KiB): 15266404
Max. memory (cumulated for all children) (KiB): 276636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 416.776
system time used= 0.431759
maximum resident set size= 275764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64456
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29935
involuntary context switches= 1146
# summary of solver processes directly reported to runsolver:
# pid: 21626
# total CPU time (s): 417.208
# total CPU user time (s): 416.776
# total CPU system time (s): 0.431759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.5304 second user time and 3.93791 second system time
The end