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 (14896 MiB free)
memory of node 1: 16384 MiB (14300 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399342-1568699178/watcher-4399342-1568699178 -o /tmp/evaluation-result-4399342-1568699178/solver-4399342-1568699178 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19867 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1976871629 HOME/instance-4399342-1568699178.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25950, runsolver pid=25947
[startup+0.10009 s]*
/proc/loadavg: 8.63 8.41 8.36 6/233 25966
/proc/meminfo: memFree=29881308/32770624 swapFree=66922428/67108860
[pid=25950] ppid=25947 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25950/stat : 25950 (xcsp3-exec) S 25947 25950 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445855640 115843072 362 33554432000 4194304 5098028 140730840035024 140730840033128 139882605392508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27664384 140730840040314 140730840040557 140730840040557 140730840043466 0
/proc/25950/statm: 28282 362 304 221 0 87 0
[pid=25952] ppid=25950 vsize=15144776 memory=30016 CPUtime=0.13 cores=0,2,4,6
/proc/25952/stat : 25952 (java) S 25950 25950 19836 0 -1 1077944320 5904 0 0 0 12 1 0 0 20 0 15 0 445855641 15508250624 7504 33554432000 4194304 4196468 140735301725056 140735301707600 140082973486839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
/proc/25952/statm: 3786194 7504 3150 1 0 3748377 0
[pid=25952/tid=25953] ppid=25950 vsize=15144776 memory=7100839878744900722 CPUtime=0.08 cores=0,2,4,6
/proc/25952/task/25953/stat : 25953 (java) R 25950 25950 19836 0 -1 4202560 3830 0 0 0 8 0 0 0 20 0 15 0 445855641 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082977722944 140082973498774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25954] ppid=25950 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25954/stat : 25954 (java) S 25950 25950 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445855642 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082909723792 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25955] ppid=25950 vsize=15144776 memory=139699141215872 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25955/stat : 25955 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445855642 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082565143568 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25956] ppid=25950 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25956/stat : 25956 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445855642 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082564090768 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25957] ppid=25950 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25957/stat : 25957 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445855642 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082563037968 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25958] ppid=25950 vsize=15144776 memory=139699141215872 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25958/stat : 25958 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445855643 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082116090224 140082973497986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25959] ppid=25950 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25959/stat : 25959 (java) S 25950 25950 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445855643 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082115036192 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25960] ppid=25950 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25960/stat : 25960 (java) S 25950 25950 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445855644 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082113983344 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25961] ppid=25950 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25961/stat : 25961 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445855646 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082112931664 140082973505435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25962] ppid=25950 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25962/stat : 25962 (java) S 25950 25950 19836 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 445855646 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082111880048 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25963] ppid=25950 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25963/stat : 25963 (java) R 25950 25950 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445855646 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082110827248 140082973497986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25964] ppid=25950 vsize=15144776 memory=139699141215872 CPUtime=0.02 cores=0,2,4,6
/proc/25952/task/25964/stat : 25964 (java) R 25950 25950 19836 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 445855646 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082109774448 140082965723966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25965] ppid=25950 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25965/stat : 25965 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445855646 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082108721888 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25966] ppid=25950 vsize=15144776 memory=139699141215872 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25966/stat : 25966 (java) S 25950 25950 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445855647 15508250624 7504 33554432000 4194304 4196468 140735301725056 140082107669168 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31464 KiB
[startup+0.210732 s]*
/proc/loadavg: 8.50 8.38 8.35 7/233 25966
/proc/meminfo: memFree=29868308/32770624 swapFree=66922428/67108860
[pid=25950] ppid=25947 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25950/stat : 25950 (xcsp3-exec) S 25947 25950 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445855640 115843072 362 33554432000 4194304 5098028 140730840035024 140730840033128 139882605392508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27664384 140730840040314 140730840040557 140730840040557 140730840043466 0
/proc/25950/statm: 28282 362 304 221 0 87 0
[pid=25952] ppid=25950 vsize=15144776 memory=40976 CPUtime=0.34 cores=0,2,4,6
/proc/25952/stat : 25952 (java) S 25950 25950 19836 0 -1 1077944320 9446 0 0 0 31 3 0 0 20 0 15 0 445855641 15508250624 10244 33554432000 4194304 4196468 140735301725056 140735301707600 140082973486839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
/proc/25952/statm: 3786194 10244 3284 1 0 3748377 0
[pid=25952/tid=25953] ppid=25950 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/25952/task/25953/stat : 25953 (java) R 25950 25950 19836 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 15 0 445855641 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082977720016 140082589805710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25954] ppid=25950 vsize=15144776 memory=2810770 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25954/stat : 25954 (java) S 25950 25950 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445855642 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082909723792 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25955] ppid=25950 vsize=15144776 memory=139699144520489 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25955/stat : 25955 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445855642 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082565143568 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25956] ppid=25950 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25956/stat : 25956 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445855642 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082564090768 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25957] ppid=25950 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25957/stat : 25957 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445855642 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082563037968 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25958] ppid=25950 vsize=15144776 memory=139699141215872 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25958/stat : 25958 (java) S 25950 25950 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445855643 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082116090224 140082973497986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25959] ppid=25950 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25959/stat : 25959 (java) S 25950 25950 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445855643 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082115036192 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25960] ppid=25950 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25960/stat : 25960 (java) S 25950 25950 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445855644 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082113983344 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25961] ppid=25950 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25961/stat : 25961 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445855646 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082112931664 140082973505435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25962] ppid=25950 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25952/task/25962/stat : 25962 (java) S 25950 25950 19836 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 15 0 445855646 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082111880048 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25963] ppid=25950 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/25952/task/25963/stat : 25963 (java) S 25950 25950 19836 0 -1 1077944384 311 0 0 0 3 0 0 0 20 0 15 0 445855646 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082110827248 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25964] ppid=25950 vsize=15144776 memory=139699141215872 CPUtime=0.07 cores=0,2,4,6
/proc/25952/task/25964/stat : 25964 (java) R 25950 25950 19836 0 -1 4202560 739 0 0 0 7 0 0 0 20 0 15 0 445855646 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082109774448 140082952289976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25965] ppid=25950 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25965/stat : 25965 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445855646 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082108721888 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25966] ppid=25950 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25966/stat : 25966 (java) S 25950 25950 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445855647 15508250624 10244 33554432000 4194304 4196468 140735301725056 140082107669168 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42424 KiB
[startup+0.310624 s]*
/proc/loadavg: 8.50 8.38 8.35 7/233 25966
/proc/meminfo: memFree=29861136/32770624 swapFree=66922428/67108860
[pid=25950] ppid=25947 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25950/stat : 25950 (xcsp3-exec) S 25947 25950 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445855640 115843072 362 33554432000 4194304 5098028 140730840035024 140730840033128 139882605392508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27664384 140730840040314 140730840040557 140730840040557 140730840043466 0
/proc/25950/statm: 28282 362 304 221 0 87 0
[pid=25952] ppid=25950 vsize=15149032 memory=50028 CPUtime=0.53 cores=0,2,4,6
/proc/25952/stat : 25952 (java) S 25950 25950 19836 0 -1 1077944320 10863 0 0 0 49 4 0 0 20 0 15 0 445855641 15512608768 12507 33554432000 4194304 4196468 140735301725056 140735301707600 140082973486839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
/proc/25952/statm: 3787258 12507 3362 1 0 3748377 0
[pid=25952/tid=25953] ppid=25950 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/25952/task/25953/stat : 25953 (java) R 25950 25950 19836 0 -1 4202560 7778 0 0 0 27 3 0 0 20 0 15 0 445855641 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082977717952 140082957567326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25954] ppid=25950 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25954/stat : 25954 (java) S 25950 25950 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445855642 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082909723792 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25955] ppid=25950 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25955/stat : 25955 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445855642 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082565143568 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25956] ppid=25950 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25956/stat : 25956 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445855642 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082564090768 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25957] ppid=25950 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25957/stat : 25957 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445855642 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082563037968 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25958] ppid=25950 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25958/stat : 25958 (java) S 25950 25950 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445855643 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082116090224 140082973497986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25959] ppid=25950 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25959/stat : 25959 (java) S 25950 25950 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445855643 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082115036192 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25960] ppid=25950 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25960/stat : 25960 (java) S 25950 25950 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445855644 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082113983344 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25961] ppid=25950 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25961/stat : 25961 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445855646 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082112931664 140082973505435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25962] ppid=25950 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/25952/task/25962/stat : 25962 (java) R 25950 25950 19836 0 -1 4202560 572 0 0 0 4 0 0 0 20 0 15 0 445855646 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082111870432 140082957876693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25963] ppid=25950 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25952/task/25963/stat : 25963 (java) S 25950 25950 19836 0 -1 1077944384 356 0 0 0 4 0 0 0 20 0 15 0 445855646 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082110827248 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25964] ppid=25950 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25952/task/25964/stat : 25964 (java) S 25950 25950 19836 0 -1 1077944384 853 0 0 0 12 0 0 0 20 0 15 0 445855646 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082109774448 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25965] ppid=25950 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25965/stat : 25965 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445855646 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082108721888 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25966] ppid=25950 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25966/stat : 25966 (java) S 25950 25950 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445855647 15512608768 12507 33554432000 4194304 4196468 140735301725056 140082107669168 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51476 KiB
[startup+0.707161 s]
/proc/loadavg: 8.50 8.38 8.35 11/233 25966
/proc/meminfo: memFree=29846248/32770624 swapFree=66922428/67108860
[pid=25950] ppid=25947 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25950/stat : 25950 (xcsp3-exec) S 25947 25950 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445855640 115843072 362 33554432000 4194304 5098028 140730840035024 140730840033128 139882605392508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27664384 140730840040314 140730840040557 140730840040557 140730840043466 0
/proc/25950/statm: 28282 362 304 221 0 87 0
[pid=25952] ppid=25950 vsize=15417412 memory=82688 CPUtime=1.66 cores=0,2,4,6
/proc/25952/stat : 25952 (java) S 25950 25950 19836 0 -1 1077944320 14462 0 0 0 160 6 0 0 20 0 19 0 445855641 15787429888 20672 33554432000 4194304 4196468 140735301725056 140735301707600 140082973486839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
/proc/25952/statm: 3854353 20672 3451 1 0 3815453 0
[pid=25952/tid=25953] ppid=25950 vsize=15417412 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/25952/task/25953/stat : 25953 (java) S 25950 25950 19836 0 -1 1077944384 9189 0 0 0 53 4 0 0 20 0 19 0 445855641 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082977727616 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25954] ppid=25950 vsize=15417412 memory=32756 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25954/stat : 25954 (java) S 25950 25950 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445855642 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082909723792 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25955] ppid=25950 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25955/stat : 25955 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445855642 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082565143568 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25956] ppid=25950 vsize=15417412 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25956/stat : 25956 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445855642 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082564090768 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25957] ppid=25950 vsize=15417412 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25957/stat : 25957 (java) S 25950 25950 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445855642 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082563037968 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25958] ppid=25950 vsize=15417412 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25958/stat : 25958 (java) S 25950 25950 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445855643 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082116090224 140082973497986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25959] ppid=25950 vsize=15417412 memory=5972 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25959/stat : 25959 (java) S 25950 25950 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445855643 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082115036192 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25960] ppid=25950 vsize=15417412 memory=588 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25960/stat : 25960 (java) S 25950 25950 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445855644 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082113983344 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25961] ppid=25950 vsize=15417412 memory=780 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25961/stat : 25961 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445855646 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082112931664 140082973505435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25962] ppid=25950 vsize=15417412 memory=1056 CPUtime=0.24 cores=0,2,4,6
/proc/25952/task/25962/stat : 25962 (java) R 25950 25950 19836 0 -1 4202560 1205 0 0 0 24 0 0 0 20 0 19 0 445855646 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082111862064 140082955014372 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25963] ppid=25950 vsize=15417412 memory=11620 CPUtime=0.22 cores=0,2,4,6
/proc/25952/task/25963/stat : 25963 (java) R 25950 25950 19836 0 -1 4202560 934 0 0 0 22 0 0 0 20 0 19 0 445855646 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082110808544 140082957910496 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25964] ppid=25950 vsize=15417412 memory=3992 CPUtime=0.36 cores=0,2,4,6
/proc/25952/task/25964/stat : 25964 (java) R 25950 25950 19836 0 -1 1077944384 1627 0 0 0 36 0 0 0 20 0 19 0 445855646 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082109770176 140082973497045 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25965] ppid=25950 vsize=15417412 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25965/stat : 25965 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445855646 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082108721888 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25966] ppid=25950 vsize=15417412 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25966/stat : 25966 (java) S 25950 25950 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445855647 15787429888 20672 33554432000 4194304 4196468 140735301725056 140082107669168 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 84136 KiB
[startup+1.50916 s]
/proc/loadavg: 8.50 8.38 8.35 12/237 25970
/proc/meminfo: memFree=29824736/32770624 swapFree=66922428/67108860
[pid=25950] ppid=25947 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25950/stat : 25950 (xcsp3-exec) S 25947 25950 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445855640 115843072 362 33554432000 4194304 5098028 140730840035024 140730840033128 139882605392508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27664384 140730840040314 140730840040557 140730840040557 140730840043466 0
/proc/25950/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/25952/task/25966/stat : 25966 (java) S 25950 25950 19836 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 19 0 445855647 15855591424 58067 33554432000 4194304 4196468 140735301725056 140082107669168 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25983] ppid=25950 vsize=15483976 memory=988 CPUtime=13.9 cores=0,2,4,6
/proc/25952/task/25983/stat : 25983 (java) R 25950 25950 19836 0 -1 4202560 162 0 0 0 1390 0 0 0 20 0 19 0 445855999 15855591424 58067 33554432000 4194304 4196468 140735301725056 140081894341528 140082595879828 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25984] ppid=25950 vsize=15483976 memory=2012 CPUtime=14.43 cores=0,2,4,6
/proc/25952/task/25984/stat : 25984 (java) R 25950 25950 19836 0 -1 4202560 634 0 0 0 1443 0 0 0 20 0 19 0 445855999 15855591424 58067 33554432000 4194304 4196468 140735301725056 140081893292528 140082593760836 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25985] ppid=25950 vsize=15483976 memory=1324 CPUtime=13.97 cores=0,2,4,6
/proc/25952/task/25985/stat : 25985 (java) R 25950 25950 19836 0 -1 4202560 980 0 0 0 1396 1 0 0 20 0 19 0 445855999 15855591424 58067 33554432000 4194304 4196468 140735301725056 140081895395592 140082595879491 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25986] ppid=25950 vsize=15483976 memory=1704 CPUtime=14.37 cores=0,2,4,6
/proc/25952/task/25986/stat : 25986 (java) R 25950 25950 19836 0 -1 4202560 523 0 0 0 1437 0 0 0 20 0 19 0 445855999 15855591424 58067 33554432000 4194304 4196468 140735301725056 140081892237712 140082596895823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
Current children cumulated CPU time: 71.96 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 233716 KiB
[startup+18.8012 s]
/proc/loadavg: 8.69 8.43 8.37 9/237 25986
/proc/meminfo: memFree=29682848/32770624 swapFree=66922428/67108860
[pid=25950] ppid=25947 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25950/stat : 25950 (xcsp3-exec) S 25947 25950 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445855640 115843072 362 33554432000 4194304 5098028 140730840035024 140730840033128 139882605392508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27664384 140730840040314 140730840040557 140730840040557 140730840043466 0
/proc/25950/statm: 28282 362 304 221 0 87 0
[pid=25952] ppid=25950 vsize=15483976 memory=232300 CPUtime=73.56 cores=0,2,4,6
/proc/25952/stat : 25952 (java) S 25950 25950 19836 0 -1 1077944320 49411 0 0 0 7342 14 0 0 20 0 19 0 445855641 15855591424 58075 33554432000 4194304 4196468 140735301725056 140735301707600 140082973486839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
/proc/25952/statm: 3870994 58075 3535 1 0 3832094 0
[pid=25952/tid=25953] ppid=25950 vsize=15483976 memory=14136632290838955 CPUtime=0.57 cores=0,2,4,6
/proc/25952/task/25953/stat : 25953 (java) S 25950 25950 19836 0 -1 1077944384 9455 0 0 0 53 4 0 0 20 0 19 0 445855641 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082977727616 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25954] ppid=25950 vsize=15483976 memory=7450762936963197801 CPUtime=0.02 cores=0,2,4,6
/proc/25952/task/25954/stat : 25954 (java) S 25950 25950 19836 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 19 0 445855642 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082909723792 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25955] ppid=25950 vsize=15483976 memory=7380107207686056531 CPUtime=0.02 cores=0,2,4,6
/proc/25952/task/25955/stat : 25955 (java) S 25950 25950 19836 0 -1 1077944384 673 0 0 0 2 0 0 0 20 0 19 0 445855642 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082565143568 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25956] ppid=25950 vsize=15483976 memory=7882540036499205231 CPUtime=0.01 cores=0,2,4,6
/proc/25952/task/25956/stat : 25956 (java) S 25950 25950 19836 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 19 0 445855642 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082564090768 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25957] ppid=25950 vsize=15483976 memory=7667497561383256160 CPUtime=0.02 cores=0,2,4,6
/proc/25952/task/25957/stat : 25957 (java) S 25950 25950 19836 0 -1 1077944384 1074 0 0 0 2 0 0 0 20 0 19 0 445855642 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082563037968 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25958] ppid=25950 vsize=15483976 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25952/task/25958/stat : 25958 (java) S 25950 25950 19836 0 -1 1077944384 1141 0 0 0 1 0 0 0 20 0 19 0 445855643 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082116090224 140082973497986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25959] ppid=25950 vsize=15483976 memory=279397958591216 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25959/stat : 25959 (java) S 25950 25950 19836 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445855643 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082115036256 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25960] ppid=25950 vsize=15483976 memory=3540021989718478424 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25960/stat : 25960 (java) S 25950 25950 19836 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 445855644 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082113983360 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25961] ppid=25950 vsize=15483976 memory=6228872354016487785 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25961/stat : 25961 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082112931664 140082973505435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25962] ppid=25950 vsize=15483976 memory=7156589700766459241 CPUtime=2.97 cores=0,2,4,6
/proc/25952/task/25962/stat : 25962 (java) S 25950 25950 19836 0 -1 1077944384 11939 0 0 0 296 1 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082111880048 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25963] ppid=25950 vsize=15483976 memory=7090706938310715250 CPUtime=2.88 cores=0,2,4,6
/proc/25952/task/25963/stat : 25963 (java) S 25950 25950 19836 0 -1 1077944384 12550 0 0 0 287 1 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082110827248 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25964] ppid=25950 vsize=15483976 memory=5782719032184223036 CPUtime=0.63 cores=0,2,4,6
/proc/25952/task/25964/stat : 25964 (java) S 25950 25950 19836 0 -1 1077944384 5373 0 0 0 62 1 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082109774448 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25965] ppid=25950 vsize=15483976 memory=-8412652152092201843 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25965/stat : 25965 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082108721888 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25966] ppid=25950 vsize=15483976 memory=4426639978525455914 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25966/stat : 25966 (java) S 25950 25950 19836 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 19 0 445855647 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082107669168 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25983] ppid=25950 vsize=15483976 memory=3047711553219693942 CPUtime=14.3 cores=0,2,4,6
/proc/25952/task/25983/stat : 25983 (java) R 25950 25950 19836 0 -1 4202560 183 0 0 0 1430 0 0 0 20 0 19 0 445855999 15855591424 58075 33554432000 4194304 4196468 140735301725056 140081894341528 140082595879897 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25984] ppid=25950 vsize=15483976 memory=-7521736447810188379 CPUtime=14.83 cores=0,2,4,6
/proc/25952/task/25984/stat : 25984 (java) R 25950 25950 19836 0 -1 4202560 643 0 0 0 1483 0 0 0 20 0 19 0 445855999 15855591424 58075 33554432000 4194304 4196468 140735301725056 140081893292528 140082596193218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25985] ppid=25950 vsize=15483976 memory=-8412652160765825907 CPUtime=14.37 cores=0,2,4,6
/proc/25952/task/25985/stat : 25985 (java) R 25950 25950 19836 0 -1 4202560 987 0 0 0 1436 1 0 0 20 0 19 0 445855999 15855591424 58075 33554432000 4194304 4196468 140735301725056 140081895395640 140082594292844 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25986] ppid=25950 vsize=15483976 memory=-8634980985311628903 CPUtime=14.77 cores=0,2,4,6
/proc/25952/task/25986/stat : 25986 (java) R 25950 25950 19836 0 -1 4202560 523 0 0 0 1477 0 0 0 20 0 19 0 445855999 15855591424 58075 33554432000 4194304 4196468 140735301725056 140081892237712 140082595879828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
Current children cumulated CPU time: 73.56 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 233748 KiB
[startup+19.0012 s]*
/proc/loadavg: 8.69 8.43 8.37 9/237 25986
/proc/meminfo: memFree=29681916/32770624 swapFree=66922428/67108860
[pid=25950] ppid=25947 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25950/stat : 25950 (xcsp3-exec) S 25947 25950 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445855640 115843072 362 33554432000 4194304 5098028 140730840035024 140730840033128 139882605392508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27664384 140730840040314 140730840040557 140730840040557 140730840043466 0
/proc/25950/statm: 28282 362 304 221 0 87 0
[pid=25952] ppid=25950 vsize=15483976 memory=232300 CPUtime=74.39 cores=0,2,4,6
/proc/25952/stat : 25952 (java) S 25950 25950 19836 0 -1 1077944320 49411 0 0 0 7425 14 0 0 20 0 19 0 445855641 15855591424 58075 33554432000 4194304 4196468 140735301725056 140735301707600 140082973486839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
/proc/25952/statm: 3870994 58075 3535 1 0 3832094 0
[pid=25952/tid=25953] ppid=25950 vsize=15483976 memory=7883960649037381690 CPUtime=0.57 cores=0,2,4,6
/proc/25952/task/25953/stat : 25953 (java) S 25950 25950 19836 0 -1 1077944384 9455 0 0 0 53 4 0 0 20 0 19 0 445855641 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082977727616 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25954] ppid=25950 vsize=15483976 memory=2810770 CPUtime=0.02 cores=0,2,4,6
/proc/25952/task/25954/stat : 25954 (java) S 25950 25950 19836 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 19 0 445855642 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082909723792 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25955] ppid=25950 vsize=15483976 memory=139699144520489 CPUtime=0.02 cores=0,2,4,6
/proc/25952/task/25955/stat : 25955 (java) S 25950 25950 19836 0 -1 1077944384 673 0 0 0 2 0 0 0 20 0 19 0 445855642 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082565143568 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25956] ppid=25950 vsize=15483976 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25952/task/25956/stat : 25956 (java) S 25950 25950 19836 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 19 0 445855642 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082564090768 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25957] ppid=25950 vsize=15483976 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25952/task/25957/stat : 25957 (java) S 25950 25950 19836 0 -1 1077944384 1074 0 0 0 2 0 0 0 20 0 19 0 445855642 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082563037968 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25958] ppid=25950 vsize=15483976 memory=139699141215872 CPUtime=0.01 cores=0,2,4,6
/proc/25952/task/25958/stat : 25958 (java) S 25950 25950 19836 0 -1 1077944384 1141 0 0 0 1 0 0 0 20 0 19 0 445855643 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082116090224 140082973497986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25959] ppid=25950 vsize=15483976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25959/stat : 25959 (java) S 25950 25950 19836 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445855643 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082115036256 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25960] ppid=25950 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25960/stat : 25960 (java) S 25950 25950 19836 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 445855644 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082113983360 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25961] ppid=25950 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25961/stat : 25961 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082112931664 140082973505435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25962] ppid=25950 vsize=15483976 memory=0 CPUtime=2.97 cores=0,2,4,6
/proc/25952/task/25962/stat : 25962 (java) S 25950 25950 19836 0 -1 1077944384 11939 0 0 0 296 1 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082111880048 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25963] ppid=25950 vsize=15483976 memory=-1 CPUtime=2.88 cores=0,2,4,6
/proc/25952/task/25963/stat : 25963 (java) S 25950 25950 19836 0 -1 1077944384 12550 0 0 0 287 1 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082110827248 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25964] ppid=25950 vsize=15483976 memory=139699141215872 CPUtime=0.63 cores=0,2,4,6
/proc/25952/task/25964/stat : 25964 (java) S 25950 25950 19836 0 -1 1077944384 5373 0 0 0 62 1 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082109774448 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25965] ppid=25950 vsize=15483976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25965/stat : 25965 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082108721888 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25966] ppid=25950 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25966/stat : 25966 (java) S 25950 25950 19836 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 19 0 445855647 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082107669168 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25983] ppid=25950 vsize=15483976 memory=0 CPUtime=14.5 cores=0,2,4,6
/proc/25952/task/25983/stat : 25983 (java) R 25950 25950 19836 0 -1 4202560 183 0 0 0 1450 0 0 0 20 0 19 0 445855999 15855591424 58075 33554432000 4194304 4196468 140735301725056 140081894341528 140082595879601 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25984] ppid=25950 vsize=15483976 memory=0 CPUtime=15.04 cores=0,2,4,6
/proc/25952/task/25984/stat : 25984 (java) R 25950 25950 19836 0 -1 4202560 643 0 0 0 1504 0 0 0 20 0 19 0 445855999 15855591424 58075 33554432000 4194304 4196468 140735301725056 140081893292528 140082594613295 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25985] ppid=25950 vsize=15483976 memory=0 CPUtime=14.58 cores=0,2,4,6
/proc/25952/task/25985/stat : 25985 (java) R 25950 25950 19836 0 -1 4202560 987 0 0 0 1457 1 0 0 20 0 19 0 445855999 15855591424 58075 33554432000 4194304 4196468 140735301725056 140081895395640 140082595880018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25986] ppid=25950 vsize=15483976 memory=0 CPUtime=14.98 cores=0,2,4,6
/proc/25952/task/25986/stat : 25986 (java) R 25950 25950 19836 0 -1 4202560 523 0 0 0 1498 0 0 0 20 0 19 0 445855999 15855591424 58075 33554432000 4194304 4196468 140735301725056 140081892237712 140082594613968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
Current children cumulated CPU time: 74.39 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 233748 KiB
[startup+19.1112 s]
/proc/loadavg: 8.69 8.43 8.37 9/237 25986
/proc/meminfo: memFree=29681916/32770624 swapFree=66922428/67108860
[pid=25950] ppid=25947 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25950/stat : 25950 (xcsp3-exec) S 25947 25950 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445855640 115843072 362 33554432000 4194304 5098028 140730840035024 140730840033128 139882605392508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27664384 140730840040314 140730840040557 140730840040557 140730840043466 0
/proc/25950/statm: 28282 362 304 221 0 87 0
[pid=25952] ppid=25950 vsize=15483976 memory=232300 CPUtime=74.79 cores=0,2,4,6
/proc/25952/stat : 25952 (java) S 25950 25950 19836 0 -1 1077944320 49411 0 0 0 7465 14 0 0 20 0 19 0 445855641 15855591424 58075 33554432000 4194304 4196468 140735301725056 140735301707600 140082973486839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
/proc/25952/statm: 3870994 58075 3535 1 0 3832094 0
[pid=25952/tid=25953] ppid=25950 vsize=15483976 memory=279397957820560 CPUtime=0.57 cores=0,2,4,6
/proc/25952/task/25953/stat : 25953 (java) S 25950 25950 19836 0 -1 1077944384 9455 0 0 0 53 4 0 0 20 0 19 0 445855641 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082977727616 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25954] ppid=25950 vsize=15483976 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/25952/task/25954/stat : 25954 (java) S 25950 25950 19836 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 19 0 445855642 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082909723792 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25955] ppid=25950 vsize=15483976 memory=131872 CPUtime=0.02 cores=0,2,4,6
/proc/25952/task/25955/stat : 25955 (java) S 25950 25950 19836 0 -1 1077944384 673 0 0 0 2 0 0 0 20 0 19 0 445855642 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082565143568 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25956] ppid=25950 vsize=15483976 memory=57 CPUtime=0.01 cores=0,2,4,6
/proc/25952/task/25956/stat : 25956 (java) S 25950 25950 19836 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 19 0 445855642 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082564090768 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25957] ppid=25950 vsize=15483976 memory=279397957818608 CPUtime=0.02 cores=0,2,4,6
/proc/25952/task/25957/stat : 25957 (java) S 25950 25950 19836 0 -1 1077944384 1074 0 0 0 2 0 0 0 20 0 19 0 445855642 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082563037968 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25958] ppid=25950 vsize=15483976 memory=7810459258245436775 CPUtime=0.01 cores=0,2,4,6
/proc/25952/task/25958/stat : 25958 (java) S 25950 25950 19836 0 -1 1077944384 1141 0 0 0 1 0 0 0 20 0 19 0 445855643 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082116090224 140082973497986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25959] ppid=25950 vsize=15483976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25959/stat : 25959 (java) S 25950 25950 19836 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445855643 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082115036256 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25960] ppid=25950 vsize=15483976 memory=11620 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25960/stat : 25960 (java) S 25950 25950 19836 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 445855644 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082113983360 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25961] ppid=25950 vsize=15483976 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25961/stat : 25961 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082112931664 140082973505435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25962] ppid=25950 vsize=15483976 memory=2828 CPUtime=2.97 cores=0,2,4,6
/proc/25952/task/25962/stat : 25962 (java) S 25950 25950 19836 0 -1 1077944384 11939 0 0 0 296 1 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082111880048 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25963] ppid=25950 vsize=15483976 memory=139698978929992 CPUtime=2.88 cores=0,2,4,6
/proc/25952/task/25963/stat : 25963 (java) S 25950 25950 19836 0 -1 1077944384 12550 0 0 0 287 1 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082110827248 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25964] ppid=25950 vsize=15483976 memory=7446535293633455974 CPUtime=0.63 cores=0,2,4,6
/proc/25952/task/25964/stat : 25964 (java) S 25950 25950 19836 0 -1 1077944384 5373 0 0 0 62 1 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082109774448 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25965] ppid=25950 vsize=15483976 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25965/stat : 25965 (java) S 25950 25950 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445855646 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082108721888 140082973497045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25966] ppid=25950 vsize=15483976 memory=230176 CPUtime=0 cores=0,2,4,6
/proc/25952/task/25966/stat : 25966 (java) S 25950 25950 19836 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 19 0 445855647 15855591424 58075 33554432000 4194304 4196468 140735301725056 140082107669168 140082973497986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25983] ppid=25950 vsize=15483976 memory=200064 CPUtime=14.6 cores=0,2,4,6
/proc/25952/task/25983/stat : 25983 (java) R 25950 25950 19836 0 -1 4202560 183 0 0 0 1460 0 0 0 20 0 19 0 445855999 15855591424 58075 33554432000 4194304 4196468 140735301725056 140081894341528 140082595881055 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25984] ppid=25950 vsize=15483976 memory=6947385631855743600 CPUtime=15.14 cores=0,2,4,6
/proc/25952/task/25984/stat : 25984 (java) R 25950 25950 19836 0 -1 4202560 643 0 0 0 1514 0 0 0 20 0 19 0 445855999 15855591424 58075 33554432000 4194304 4196468 140735301725056 140081893292528 140082596194270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25985] ppid=25950 vsize=15483976 memory=-7818637599280297152 CPUtime=14.68 cores=0,2,4,6
/proc/25952/task/25985/stat : 25985 (java) R 25950 25950 19836 0 -1 4202560 987 0 0 0 1467 1 0 0 20 0 19 0 445855999 15855591424 58075 33554432000 4194304 4196468 140735301725056 140081895395640 140082594430711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
[pid=25952/tid=25986] ppid=25950 vsize=15483976 memory=7523376918531162212 CPUtime=15.08 cores=0,2,4,6
/proc/25952/task/25986/stat : 25986 (java) R 25950 25950 19836 0 -1 4202560 523 0 0 0 1508 0 0 0 20 0 19 0 445855999 15855591424 58075 33554432000 4194304 4196468 140735301725056 140081892237712 140082595882297 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140735301727215 140735301727386 140735301727386 140735301730255 0
Current children cumulated CPU time: 74.79 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 233748 KiB
Child status: 0
Real time (s): 19.1829
CPU time (s): 75.0648
CPU user time (s): 74.9129
CPU system time (s): 0.151875
CPU usage (%): 391.311
Max. virtual memory (cumulated for all children) (KiB): 15597104
Max. memory (cumulated for all children) (KiB): 235640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.9129
system time used= 0.151875
maximum resident set size= 234236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50530
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= 3284
involuntary context switches= 1981
# summary of solver processes directly reported to runsolver:
# pid: 25950
# total CPU time (s): 75.0648
# total CPU user time (s): 74.9129
# total CPU system time (s): 0.151875
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.148375 second user time and 0.24164 second system time
The end