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 (8919 MiB free)
memory of node 1: 16384 MiB (6883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403786-1568991490/watcher-4403786-1568991490 -o /tmp/evaluation-result-4403786-1568991490/solver-4403786-1568991490 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 211888982 HOME/instance-4403786-1568991490.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=11053, runsolver pid=11050
Current StackSize limit: 8192 KiB
[startup+0.100387 s]*
/proc/loadavg: 8.24 8.33 8.07 7/232 11069
/proc/meminfo: memFree=16165804/32770624 swapFree=66986244/67108860
[pid=11053] ppid=11050 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11053/stat : 11053 (xcsp3-exec) S 11050 11053 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475405823 115843072 363 33554432000 4194304 5098028 140725590866960 140725590865064 139920997307004 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15220736 140725590868859 140725590869101 140725590869101 140725590872010 0
/proc/11053/statm: 28282 363 305 221 0 87 0
[pid=11055] ppid=11053 vsize=15144776 memory=29040 CPUtime=0.12 cores=0,2,4,6
/proc/11055/stat : 11055 (java) S 11053 11053 7690 0 -1 1077944320 5740 0 0 0 11 1 0 0 20 0 15 0 475405824 15508250624 7260 33554432000 4194304 4196468 140726288005184 140726287987728 140663574408951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
/proc/11055/statm: 3786194 7260 3120 1 0 3748377 0
[pid=11055/tid=11056] ppid=11053 vsize=15144776 memory=-2698087569006908830 CPUtime=0.08 cores=0,2,4,6
/proc/11055/task/11056/stat : 11056 (java) R 11053 11053 7690 0 -1 4202560 3635 0 0 0 8 0 0 0 20 0 15 0 475405824 15508250624 7260 33554432000 4194304 4196468 140726288005184 140663578639136 140663574420886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11057] ppid=11053 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11057/stat : 11057 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405825 15508250624 7260 33554432000 4194304 4196468 140726288005184 140663166310672 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11058] ppid=11053 vsize=15144776 memory=140312485627520 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11058/stat : 11058 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405825 15508250624 7260 33554432000 4194304 4196468 140726288005184 140663165258128 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11059] ppid=11053 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11059/stat : 11059 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405825 15508250624 7260 33554432000 4194304 4196468 140726288005184 140663164205584 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11060] ppid=11053 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11060/stat : 11060 (java) S 11053 11053 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405825 15508250624 7260 33554432000 4194304 4196468 140726288005184 140663163153040 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11061] ppid=11053 vsize=15144776 memory=140312485627520 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11061/stat : 11061 (java) S 11053 11053 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405826 15508250624 7260 33554432000 4194304 4196468 140726288005184 140662448007664 140663574420098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11062] ppid=11053 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11062/stat : 11062 (java) S 11053 11053 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405826 15508250624 7260 33554432000 4194304 4196468 140726288005184 140662446953888 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11063] ppid=11053 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11063/stat : 11063 (java) S 11053 11053 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405827 15508250624 7260 33554432000 4194304 4196468 140726288005184 140662445901296 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11064] ppid=11053 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11064/stat : 11064 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405829 15508250624 7260 33554432000 4194304 4196468 140726288005184 140662444849872 140663574427547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11065] ppid=11053 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11065/stat : 11065 (java) R 11053 11053 7690 0 -1 4202560 300 0 0 0 0 0 0 0 20 0 15 0 475405829 15508250624 7260 33554432000 4194304 4196468 140726288005184 140662443796464 140663567393993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11066] ppid=11053 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11066/stat : 11066 (java) R 11053 11053 7690 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 475405829 15508250624 7260 33554432000 4194304 4196468 140726288005184 140662442743920 140663574420098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11067] ppid=11053 vsize=15144776 memory=140312485627520 CPUtime=0.02 cores=0,2,4,6
/proc/11055/task/11067/stat : 11067 (java) R 11053 11053 7690 0 -1 4202560 382 0 0 0 2 0 0 0 20 0 15 0 475405829 15508250624 7260 33554432000 4194304 4196468 140726288005184 140662441691376 140663552898928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11068] ppid=11053 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11068/stat : 11068 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405829 15508250624 7260 33554432000 4194304 4196468 140726288005184 140662440639072 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11069] ppid=11053 vsize=15144776 memory=140312485627520 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11069/stat : 11069 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405830 15508250624 7260 33554432000 4194304 4196468 140726288005184 140662439586608 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30492 KiB
[startup+0.210963 s]*
/proc/loadavg: 8.24 8.33 8.07 6/232 11069
/proc/meminfo: memFree=16153160/32770624 swapFree=66986244/67108860
[pid=11053] ppid=11050 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11053/stat : 11053 (xcsp3-exec) S 11050 11053 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475405823 115843072 363 33554432000 4194304 5098028 140725590866960 140725590865064 139920997307004 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15220736 140725590868859 140725590869101 140725590869101 140725590872010 0
/proc/11053/statm: 28282 363 305 221 0 87 0
[pid=11055] ppid=11053 vsize=15144776 memory=40864 CPUtime=0.33 cores=0,2,4,6
/proc/11055/stat : 11055 (java) S 11053 11053 7690 0 -1 1077944320 9370 0 0 0 31 2 0 0 20 0 15 0 475405824 15508250624 10216 33554432000 4194304 4196468 140726288005184 140726287987728 140663574408951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
/proc/11055/statm: 3786194 10216 3329 1 0 3748377 0
[pid=11055/tid=11056] ppid=11053 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/11055/task/11056/stat : 11056 (java) R 11053 11053 7690 0 -1 4202560 6624 0 0 0 18 2 0 0 20 0 15 0 475405824 15508250624 10216 33554432000 4194304 4196468 140726288005184 140663578640864 140663574420886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11057] ppid=11053 vsize=15144776 memory=1898699 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11057/stat : 11057 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405825 15508250624 10216 33554432000 4194304 4196468 140726288005184 140663166310672 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11058] ppid=11053 vsize=15144776 memory=3389211 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11058/stat : 11058 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405825 15508250624 10216 33554432000 4194304 4196468 140726288005184 140663165258128 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11059] ppid=11053 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11059/stat : 11059 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405825 15508250624 10216 33554432000 4194304 4196468 140726288005184 140663164205584 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11060] ppid=11053 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11060/stat : 11060 (java) S 11053 11053 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405825 15508250624 10216 33554432000 4194304 4196468 140726288005184 140663163153040 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11061] ppid=11053 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11061/stat : 11061 (java) S 11053 11053 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475405826 15508250624 10216 33554432000 4194304 4196468 140726288005184 140662448007664 140663574420098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11062] ppid=11053 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11062/stat : 11062 (java) S 11053 11053 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405826 15508250624 10216 33554432000 4194304 4196468 140726288005184 140662446953888 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11063] ppid=11053 vsize=15144776 memory=140312485627520 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11063/stat : 11063 (java) S 11053 11053 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405827 15508250624 10216 33554432000 4194304 4196468 140726288005184 140662445901296 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11064] ppid=11053 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11064/stat : 11064 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405829 15508250624 10216 33554432000 4194304 4196468 140726288005184 140662444849872 140663574427547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11065] ppid=11053 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11055/task/11065/stat : 11065 (java) S 11053 11053 7690 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 475405829 15508250624 10216 33554432000 4194304 4196468 140726288005184 140662443796464 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11066] ppid=11053 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11055/task/11066/stat : 11066 (java) R 11053 11053 7690 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 475405829 15508250624 10216 33554432000 4194304 4196468 140726288005184 140662442743920 140663574420098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11067] ppid=11053 vsize=15144776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11055/task/11067/stat : 11067 (java) R 11053 11053 7690 0 -1 4202560 804 0 0 0 8 0 0 0 20 0 15 0 475405829 15508250624 10216 33554432000 4194304 4196468 140726288005184 140662441691184 140663574420886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11068] ppid=11053 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11068/stat : 11068 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405829 15508250624 10216 33554432000 4194304 4196468 140726288005184 140662440639072 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11069] ppid=11053 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11069/stat : 11069 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405830 15508250624 10216 33554432000 4194304 4196468 140726288005184 140662439586608 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42316 KiB
[startup+0.310875 s]*
/proc/loadavg: 8.24 8.33 8.07 6/232 11069
/proc/meminfo: memFree=16145256/32770624 swapFree=66986244/67108860
[pid=11053] ppid=11050 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11053/stat : 11053 (xcsp3-exec) S 11050 11053 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475405823 115843072 363 33554432000 4194304 5098028 140725590866960 140725590865064 139920997307004 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15220736 140725590868859 140725590869101 140725590869101 140725590872010 0
/proc/11053/statm: 28282 363 305 221 0 87 0
[pid=11055] ppid=11053 vsize=15149032 memory=49580 CPUtime=0.52 cores=0,2,4,6
/proc/11055/stat : 11055 (java) S 11053 11053 7690 0 -1 1077944320 10708 0 0 0 48 4 0 0 20 0 15 0 475405824 15512608768 12395 33554432000 4194304 4196468 140726288005184 140726287987728 140663574408951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
/proc/11055/statm: 3787258 12395 3361 1 0 3748377 0
[pid=11055/tid=11056] ppid=11053 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/11055/task/11056/stat : 11056 (java) R 11053 11053 7690 0 -1 4202560 7790 0 0 0 27 3 0 0 20 0 15 0 475405824 15512608768 12395 33554432000 4194304 4196468 140726288005184 140663578640064 140663558489438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11057] ppid=11053 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11057/stat : 11057 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405825 15512608768 12395 33554432000 4194304 4196468 140726288005184 140663166310672 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11058] ppid=11053 vsize=15149032 memory=3388955 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11058/stat : 11058 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405825 15512608768 12395 33554432000 4194304 4196468 140726288005184 140663165258128 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11059] ppid=11053 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11059/stat : 11059 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405825 15512608768 12395 33554432000 4194304 4196468 140726288005184 140663164205584 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11060] ppid=11053 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11060/stat : 11060 (java) S 11053 11053 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405825 15512608768 12395 33554432000 4194304 4196468 140726288005184 140663163153040 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11061] ppid=11053 vsize=15149032 memory=140312485627520 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11061/stat : 11061 (java) S 11053 11053 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475405826 15512608768 12395 33554432000 4194304 4196468 140726288005184 140662448007664 140663574420098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11062] ppid=11053 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11062/stat : 11062 (java) S 11053 11053 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405826 15512608768 12395 33554432000 4194304 4196468 140726288005184 140662446953888 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11063] ppid=11053 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11063/stat : 11063 (java) S 11053 11053 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405827 15512608768 12395 33554432000 4194304 4196468 140726288005184 140662445901296 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11064] ppid=11053 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11064/stat : 11064 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405829 15512608768 12395 33554432000 4194304 4196468 140726288005184 140662444849872 140663574427547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11065] ppid=11053 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11055/task/11065/stat : 11065 (java) S 11053 11053 7690 0 -1 1077944384 423 0 0 0 4 0 0 0 20 0 15 0 475405829 15512608768 12395 33554432000 4194304 4196468 140726288005184 140662443796464 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11066] ppid=11053 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11055/task/11066/stat : 11066 (java) S 11053 11053 7690 0 -1 1077944384 274 0 0 0 3 0 0 0 20 0 15 0 475405829 15512608768 12395 33554432000 4194304 4196468 140726288005184 140662442743920 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11067] ppid=11053 vsize=15149032 memory=140312485627520 CPUtime=0.12 cores=0,2,4,6
/proc/11055/task/11067/stat : 11067 (java) S 11053 11053 7690 0 -1 1077944384 933 0 0 0 12 0 0 0 20 0 15 0 475405829 15512608768 12395 33554432000 4194304 4196468 140726288005184 140662441691376 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11068] ppid=11053 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11068/stat : 11068 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405829 15512608768 12395 33554432000 4194304 4196468 140726288005184 140662440639072 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11069] ppid=11053 vsize=15149032 memory=140312485627520 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11069/stat : 11069 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405830 15512608768 12395 33554432000 4194304 4196468 140726288005184 140662439586608 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51032 KiB
[startup+0.711385 s]
/proc/loadavg: 8.24 8.33 8.07 8/232 11069
/proc/meminfo: memFree=16130008/32770624 swapFree=66986244/67108860
[pid=11053] ppid=11050 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11053/stat : 11053 (xcsp3-exec) S 11050 11053 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475405823 115843072 363 33554432000 4194304 5098028 140725590866960 140725590865064 139920997307004 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15220736 140725590868859 140725590869101 140725590869101 140725590872010 0
/proc/11053/statm: 28282 363 305 221 0 87 0
[pid=11055] ppid=11053 vsize=15151156 memory=87652 CPUtime=1.63 cores=0,2,4,6
/proc/11055/stat : 11055 (java) S 11053 11053 7690 0 -1 1077944320 15115 0 0 0 157 6 0 0 20 0 15 0 475405824 15514783744 21913 33554432000 4194304 4196468 140726288005184 140726287987728 140663574408951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
/proc/11055/statm: 3787789 21913 3453 1 0 3748889 0
[pid=11055/tid=11056] ppid=11053 vsize=15151156 memory=2120 CPUtime=0.68 cores=0,2,4,6
/proc/11055/task/11056/stat : 11056 (java) R 11053 11053 7690 0 -1 4202560 9324 0 0 0 65 3 0 0 20 0 15 0 475405824 15514783744 21913 33554432000 4194304 4196468 140726288005184 140663578646840 140663211246007 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11057] ppid=11053 vsize=15151156 memory=532 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11057/stat : 11057 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405825 15514783744 21913 33554432000 4194304 4196468 140726288005184 140663166310672 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11058] ppid=11053 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11058/stat : 11058 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405825 15514783744 21913 33554432000 4194304 4196468 140726288005184 140663165258128 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11059] ppid=11053 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11059/stat : 11059 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405825 15514783744 21913 33554432000 4194304 4196468 140726288005184 140663164205584 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11060] ppid=11053 vsize=15151156 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11060/stat : 11060 (java) S 11053 11053 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405825 15514783744 21913 33554432000 4194304 4196468 140726288005184 140663163153040 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11061] ppid=11053 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11061/stat : 11061 (java) S 11053 11053 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475405826 15514783744 21913 33554432000 4194304 4196468 140726288005184 140662448007664 140663574420098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11062] ppid=11053 vsize=15151156 memory=912 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11062/stat : 11062 (java) S 11053 11053 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405826 15514783744 21913 33554432000 4194304 4196468 140726288005184 140662446953888 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11063] ppid=11053 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11063/stat : 11063 (java) S 11053 11053 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405827 15514783744 21913 33554432000 4194304 4196468 140726288005184 140662445901296 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11064] ppid=11053 vsize=15151156 memory=2480 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11064/stat : 11064 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405829 15514783744 21913 33554432000 4194304 4196468 140726288005184 140662444849872 140663574427547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11065] ppid=11053 vsize=15151156 memory=7302135314614015849 CPUtime=0.27 cores=0,2,4,6
/proc/11055/task/11065/stat : 11065 (java) R 11053 11053 7690 0 -1 4202560 1145 0 0 0 27 0 0 0 20 0 15 0 475405829 15514783744 21913 33554432000 4194304 4196468 140726288005184 140662443782560 140663555933205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11066] ppid=11053 vsize=15151156 memory=6011290002123024982 CPUtime=0.23 cores=0,2,4,6
/proc/11055/task/11066/stat : 11066 (java) R 11053 11053 7690 0 -1 4202560 1064 0 0 0 23 0 0 0 20 0 15 0 475405829 15514783744 21913 33554432000 4194304 4196468 140726288005184 140662442730944 140663566698333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11067] ppid=11053 vsize=15151156 memory=7295944995277656144 CPUtime=0.42 cores=0,2,4,6
/proc/11055/task/11067/stat : 11067 (java) R 11053 11053 7690 0 -1 4202560 2277 0 0 0 41 1 0 0 20 0 15 0 475405829 15514783744 21913 33554432000 4194304 4196468 140726288005184 140662441687744 140663553376972 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11068] ppid=11053 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11068/stat : 11068 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405829 15514783744 21913 33554432000 4194304 4196468 140726288005184 140662440639072 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11069] ppid=11053 vsize=15151156 memory=7523096512984082771 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11069/stat : 11069 (java) S 11053 11053 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405830 15514783744 21913 33554432000 4194304 4196468 140726288005184 140662439586608 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 89104 KiB
[startup+1.51138 s]
/proc/loadavg: 8.24 8.33 8.07 12/236 11097
/proc/meminfo: memFree=16027256/32770624 swapFree=66986244/67108860
[pid=11053] ppid=11050 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11053/stat : 11053 (xcsp3-exec) S 11050 11053 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475405823 115843072 363 33554432000 4194304 5098028 140725590866960 140725590865064 139920997307004 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15220736 140725590868859 140725590869101 140725590869101 140725590872010 0
/proc/11053/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/11055/task/11069/stat : 11069 (java) S 11053 11053 7690 0 -1 1077944384 516 0 0 0 0 0 0 0 20 0 19 0 475405830 15857688576 58205 33554432000 4194304 4196468 140726288005184 140662439586608 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11124] ppid=11053 vsize=15486024 memory=1164 CPUtime=7.89 cores=0,2,4,6
/proc/11055/task/11124/stat : 11124 (java) R 11053 11053 7690 0 -1 4202560 124 0 0 0 789 0 0 0 20 0 19 0 475407112 15857688576 58205 33554432000 4194304 4196468 140726288005184 140662430603472 140663219001653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11125] ppid=11053 vsize=15486024 memory=8317482817917895235 CPUtime=7.8 cores=0,2,4,6
/proc/11055/task/11125/stat : 11125 (java) R 11053 11053 7690 0 -1 4202560 505 0 0 0 780 0 0 0 20 0 19 0 475407112 15857688576 58205 33554432000 4194304 4196468 140726288005184 140662427449192 140663219279806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11126] ppid=11053 vsize=15486024 memory=4126316290023845779 CPUtime=7.71 cores=0,2,4,6
/proc/11055/task/11126/stat : 11126 (java) R 11053 11053 7690 0 -1 4202560 511 0 0 0 771 0 0 0 20 0 19 0 475407112 15857688576 58205 33554432000 4194304 4196468 140726288005184 140662424297880 140663219403927 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11127] ppid=11053 vsize=15486024 memory=1452 CPUtime=7.77 cores=0,2,4,6
/proc/11055/task/11127/stat : 11127 (java) R 11053 11053 7690 0 -1 4202560 283 0 0 0 777 0 0 0 20 0 19 0 475407112 15857688576 58205 33554432000 4194304 4196468 140726288005184 140662428499680 140663219001837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
Current children cumulated CPU time: 81.04 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 234272 KiB
[startup+22.4014 s]
/proc/loadavg: 8.36 8.36 8.08 9/236 11127
/proc/meminfo: memFree=15961648/32770624 swapFree=66986244/67108860
[pid=11053] ppid=11050 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11053/stat : 11053 (xcsp3-exec) S 11050 11053 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475405823 115843072 363 33554432000 4194304 5098028 140725590866960 140725590865064 139920997307004 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15220736 140725590868859 140725590869101 140725590869101 140725590872010 0
/proc/11053/statm: 28282 363 305 221 0 87 0
[pid=11055] ppid=11053 vsize=15486024 memory=232836 CPUtime=87.41 cores=0,2,4,6
/proc/11055/stat : 11055 (java) S 11053 11053 7690 0 -1 1077944320 56293 0 0 0 8726 15 0 0 20 0 19 0 475405824 15857688576 58209 33554432000 4194304 4196468 140726288005184 140726287987728 140663574408951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
/proc/11055/statm: 3871506 58209 3528 1 0 3832606 0
[pid=11055/tid=11056] ppid=11053 vsize=15486024 memory=6791534058613427641 CPUtime=0.73 cores=0,2,4,6
/proc/11055/task/11056/stat : 11056 (java) S 11053 11053 7690 0 -1 1077944384 9720 0 0 0 69 4 0 0 20 0 19 0 475405824 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663578649728 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11057] ppid=11053 vsize=15486024 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11055/task/11057/stat : 11057 (java) S 11053 11053 7690 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 19 0 475405825 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663166310672 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11058] ppid=11053 vsize=15486024 memory=39 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11058/stat : 11058 (java) S 11053 11053 7690 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 19 0 475405825 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663165258128 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11059] ppid=11053 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11059/stat : 11059 (java) S 11053 11053 7690 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 475405825 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663164205584 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11060] ppid=11053 vsize=15486024 memory=8187 CPUtime=0.01 cores=0,2,4,6
/proc/11055/task/11060/stat : 11060 (java) S 11053 11053 7690 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 19 0 475405825 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663163153040 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11061] ppid=11053 vsize=15486024 memory=5354 CPUtime=0.02 cores=0,2,4,6
/proc/11055/task/11061/stat : 11061 (java) S 11053 11053 7690 0 -1 1077944384 460 0 0 0 1 1 0 0 20 0 19 0 475405826 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662448007664 140663574420098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11062] ppid=11053 vsize=15486024 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11062/stat : 11062 (java) S 11053 11053 7690 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475405826 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662446953952 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11063] ppid=11053 vsize=15486024 memory=6048 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11063/stat : 11063 (java) S 11053 11053 7690 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 475405827 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662445901312 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11064] ppid=11053 vsize=15486024 memory=7552 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11064/stat : 11064 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662444849872 140663574427547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11065] ppid=11053 vsize=15486024 memory=2832 CPUtime=3.59 cores=0,2,4,6
/proc/11055/task/11065/stat : 11065 (java) S 11053 11053 7690 0 -1 1077944384 17304 0 0 0 357 2 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662443796464 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11066] ppid=11053 vsize=15486024 memory=1084 CPUtime=3.42 cores=0,2,4,6
/proc/11055/task/11066/stat : 11066 (java) S 11053 11053 7690 0 -1 1077944384 11041 0 0 0 340 2 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662442743920 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11067] ppid=11053 vsize=15486024 memory=14012 CPUtime=0.82 cores=0,2,4,6
/proc/11055/task/11067/stat : 11067 (java) S 11053 11053 7690 0 -1 1077944384 9279 0 0 0 81 1 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662441691376 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11068] ppid=11053 vsize=15486024 memory=140312354496568 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11068/stat : 11068 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662440639072 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11069] ppid=11053 vsize=15486024 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11069/stat : 11069 (java) S 11053 11053 7690 0 -1 1077944384 516 0 0 0 0 0 0 0 20 0 19 0 475405830 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662439586608 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11124] ppid=11053 vsize=15486024 memory=6944656592387989600 CPUtime=9.49 cores=0,2,4,6
/proc/11055/task/11124/stat : 11124 (java) R 11053 11053 7690 0 -1 4202560 124 0 0 0 949 0 0 0 20 0 19 0 475407112 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662430603472 140663218482398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11125] ppid=11053 vsize=15486024 memory=6944656592455360604 CPUtime=9.38 cores=0,2,4,6
/proc/11055/task/11125/stat : 11125 (java) R 11053 11053 7690 0 -1 4202560 516 0 0 0 938 0 0 0 20 0 19 0 475407112 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662427449192 140663218791319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11126] ppid=11053 vsize=15486024 memory=7377786182431765922 CPUtime=9.28 cores=0,2,4,6
/proc/11055/task/11126/stat : 11126 (java) R 11053 11053 7690 0 -1 4202560 548 0 0 0 928 0 0 0 20 0 19 0 475407112 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662424297880 140663218943187 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11127] ppid=11053 vsize=15486024 memory=-9001733975035308135 CPUtime=9.37 cores=0,2,4,6
/proc/11055/task/11127/stat : 11127 (java) R 11053 11053 7690 0 -1 4202560 283 0 0 0 937 0 0 0 20 0 19 0 475407112 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662428499680 140663218942340 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
Current children cumulated CPU time: 87.41 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 234288 KiB
[startup+22.8014 s]
/proc/loadavg: 8.36 8.36 8.08 9/236 11127
/proc/meminfo: memFree=15961648/32770624 swapFree=66986244/67108860
[pid=11053] ppid=11050 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11053/stat : 11053 (xcsp3-exec) S 11050 11053 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475405823 115843072 363 33554432000 4194304 5098028 140725590866960 140725590865064 139920997307004 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15220736 140725590868859 140725590869101 140725590869101 140725590872010 0
/proc/11053/statm: 28282 363 305 221 0 87 0
[pid=11055] ppid=11053 vsize=15486024 memory=232836 CPUtime=89.01 cores=0,2,4,6
/proc/11055/stat : 11055 (java) S 11053 11053 7690 0 -1 1077944320 56297 0 0 0 8886 15 0 0 20 0 19 0 475405824 15857688576 58209 33554432000 4194304 4196468 140726288005184 140726287987728 140663574408951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
/proc/11055/statm: 3871506 58209 3528 1 0 3832606 0
[pid=11055/tid=11056] ppid=11053 vsize=15486024 memory=1112 CPUtime=0.73 cores=0,2,4,6
/proc/11055/task/11056/stat : 11056 (java) S 11053 11053 7690 0 -1 1077944384 9720 0 0 0 69 4 0 0 20 0 19 0 475405824 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663578649728 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11057] ppid=11053 vsize=15486024 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/11055/task/11057/stat : 11057 (java) S 11053 11053 7690 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 19 0 475405825 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663166310672 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11058] ppid=11053 vsize=15486024 memory=232716 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11058/stat : 11058 (java) S 11053 11053 7690 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 19 0 475405825 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663165258128 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11059] ppid=11053 vsize=15486024 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11059/stat : 11059 (java) S 11053 11053 7690 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 475405825 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663164205584 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11060] ppid=11053 vsize=15486024 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/11055/task/11060/stat : 11060 (java) S 11053 11053 7690 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 19 0 475405825 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663163153040 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11061] ppid=11053 vsize=15486024 memory=56 CPUtime=0.02 cores=0,2,4,6
/proc/11055/task/11061/stat : 11061 (java) S 11053 11053 7690 0 -1 1077944384 460 0 0 0 1 1 0 0 20 0 19 0 475405826 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662448007664 140663574420098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11062] ppid=11053 vsize=15486024 memory=1898423 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11062/stat : 11062 (java) S 11053 11053 7690 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475405826 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662446953952 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11063] ppid=11053 vsize=15486024 memory=1902569 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11063/stat : 11063 (java) S 11053 11053 7690 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 475405827 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662445901312 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11064] ppid=11053 vsize=15486024 memory=7305218370954618454 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11064/stat : 11064 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662444849872 140663574427547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11065] ppid=11053 vsize=15486024 memory=6153431502485414758 CPUtime=3.59 cores=0,2,4,6
/proc/11055/task/11065/stat : 11065 (java) S 11053 11053 7690 0 -1 1077944384 17304 0 0 0 357 2 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662443796464 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11066] ppid=11053 vsize=15486024 memory=7379241883359864663 CPUtime=3.42 cores=0,2,4,6
/proc/11055/task/11066/stat : 11066 (java) S 11053 11053 7690 0 -1 1077944384 11041 0 0 0 340 2 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662442743920 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11067] ppid=11053 vsize=15486024 memory=6296149198413583205 CPUtime=0.82 cores=0,2,4,6
/proc/11055/task/11067/stat : 11067 (java) S 11053 11053 7690 0 -1 1077944384 9279 0 0 0 81 1 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662441691376 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11068] ppid=11053 vsize=15486024 memory=6296149198413583205 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11068/stat : 11068 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662440639072 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11069] ppid=11053 vsize=15486024 memory=6296149198413583205 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11069/stat : 11069 (java) S 11053 11053 7690 0 -1 1077944384 516 0 0 0 0 0 0 0 20 0 19 0 475405830 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662439586608 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11124] ppid=11053 vsize=15486024 memory=6296149198413583205 CPUtime=9.89 cores=0,2,4,6
/proc/11055/task/11124/stat : 11124 (java) R 11053 11053 7690 0 -1 4202560 124 0 0 0 989 0 0 0 20 0 19 0 475407112 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662430603472 140663219001319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11125] ppid=11053 vsize=15486024 memory=6296149198413583205 CPUtime=9.78 cores=0,2,4,6
/proc/11055/task/11125/stat : 11125 (java) R 11053 11053 7690 0 -1 4202560 518 0 0 0 978 0 0 0 20 0 19 0 475407112 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662427449192 140663218609221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11126] ppid=11053 vsize=15486024 memory=6296149198413583205 CPUtime=9.68 cores=0,2,4,6
/proc/11055/task/11126/stat : 11126 (java) R 11053 11053 7690 0 -1 4202560 550 0 0 0 968 0 0 0 20 0 19 0 475407112 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662424297880 140663218940628 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11127] ppid=11053 vsize=15486024 memory=6296149198413583205 CPUtime=9.77 cores=0,2,4,6
/proc/11055/task/11127/stat : 11127 (java) R 11053 11053 7690 0 -1 4202560 283 0 0 0 977 0 0 0 20 0 19 0 475407112 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662428499680 140663219001808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
Current children cumulated CPU time: 89.01 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 234288 KiB
[startup+23.2014 s]
/proc/loadavg: 8.33 8.35 8.08 9/236 11127
/proc/meminfo: memFree=15962144/32770624 swapFree=66986244/67108860
[pid=11053] ppid=11050 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11053/stat : 11053 (xcsp3-exec) S 11050 11053 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475405823 115843072 363 33554432000 4194304 5098028 140725590866960 140725590865064 139920997307004 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15220736 140725590868859 140725590869101 140725590869101 140725590872010 0
/proc/11053/statm: 28282 363 305 221 0 87 0
[pid=11055] ppid=11053 vsize=15486024 memory=232836 CPUtime=90.59 cores=0,2,4,6
/proc/11055/stat : 11055 (java) S 11053 11053 7690 0 -1 1077944320 56627 0 0 0 9044 15 0 0 20 0 19 0 475405824 15857688576 58209 33554432000 4194304 4196468 140726288005184 140726287987728 140663574408951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
/proc/11055/statm: 3871506 58209 3528 1 0 3832606 0
[pid=11055/tid=11056] ppid=11053 vsize=15486024 memory=1056 CPUtime=0.73 cores=0,2,4,6
/proc/11055/task/11056/stat : 11056 (java) S 11053 11053 7690 0 -1 1077944384 9720 0 0 0 69 4 0 0 20 0 19 0 475405824 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663578649728 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11057] ppid=11053 vsize=15486024 memory=1556 CPUtime=0.01 cores=0,2,4,6
/proc/11055/task/11057/stat : 11057 (java) S 11053 11053 7690 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 19 0 475405825 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663166310672 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11058] ppid=11053 vsize=15486024 memory=280624640444027 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11058/stat : 11058 (java) S 11053 11053 7690 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 19 0 475405825 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663165258128 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11059] ppid=11053 vsize=15486024 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11059/stat : 11059 (java) S 11053 11053 7690 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 475405825 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663164205584 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11060] ppid=11053 vsize=15486024 memory=6944656592455359580 CPUtime=0.01 cores=0,2,4,6
/proc/11055/task/11060/stat : 11060 (java) S 11053 11053 7690 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 19 0 475405825 15857688576 58209 33554432000 4194304 4196468 140726288005184 140663163153040 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11061] ppid=11053 vsize=15486024 memory=-6237260532469557610 CPUtime=0.02 cores=0,2,4,6
/proc/11055/task/11061/stat : 11061 (java) S 11053 11053 7690 0 -1 1077944384 526 0 0 0 1 1 0 0 20 0 19 0 475405826 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662448007664 140663574420098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11062] ppid=11053 vsize=15486024 memory=-3123010188551861097 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11062/stat : 11062 (java) S 11053 11053 7690 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475405826 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662446953952 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11063] ppid=11053 vsize=15486024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11063/stat : 11063 (java) S 11053 11053 7690 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 475405827 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662445901312 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11064] ppid=11053 vsize=15486024 memory=232836 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11064/stat : 11064 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662444849872 140663574427547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11065] ppid=11053 vsize=15486024 memory=2120 CPUtime=3.59 cores=0,2,4,6
/proc/11055/task/11065/stat : 11065 (java) S 11053 11053 7690 0 -1 1077944384 17304 0 0 0 357 2 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662443796464 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11066] ppid=11053 vsize=15486024 memory=532 CPUtime=3.42 cores=0,2,4,6
/proc/11055/task/11066/stat : 11066 (java) S 11053 11053 7690 0 -1 1077944384 11041 0 0 0 340 2 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662442743920 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11067] ppid=11053 vsize=15486024 memory=1564 CPUtime=0.82 cores=0,2,4,6
/proc/11055/task/11067/stat : 11067 (java) S 11053 11053 7690 0 -1 1077944384 9279 0 0 0 81 1 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662441691376 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11068] ppid=11053 vsize=15486024 memory=924 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11068/stat : 11068 (java) S 11053 11053 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405829 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662440639072 140663574419157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11069] ppid=11053 vsize=15486024 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/11055/task/11069/stat : 11069 (java) S 11053 11053 7690 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 19 0 475405830 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662439586608 140663574420098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11124] ppid=11053 vsize=15486024 memory=1112 CPUtime=10.29 cores=0,2,4,6
/proc/11055/task/11124/stat : 11124 (java) R 11053 11053 7690 0 -1 4202560 139 0 0 0 1029 0 0 0 20 0 19 0 475407112 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662430603848 140663219402598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11125] ppid=11053 vsize=15486024 memory=6048 CPUtime=10.18 cores=0,2,4,6
/proc/11055/task/11125/stat : 11125 (java) R 11053 11053 7690 0 -1 4202560 606 0 0 0 1018 0 0 0 20 0 19 0 475407112 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662427447104 140663218791319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11126] ppid=11053 vsize=15486024 memory=7552 CPUtime=10.07 cores=0,2,4,6
/proc/11055/task/11126/stat : 11126 (java) R 11053 11053 7690 0 -1 4202560 671 0 0 0 1007 0 0 0 20 0 19 0 475407112 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662424297136 140663219282698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
[pid=11055/tid=11127] ppid=11053 vsize=15486024 memory=2832 CPUtime=10.17 cores=0,2,4,6
/proc/11055/task/11127/stat : 11127 (java) R 11053 11053 7690 0 -1 4202560 321 0 0 0 1017 0 0 0 20 0 19 0 475407112 15857688576 58209 33554432000 4194304 4196468 140726288005184 140662428499648 140663219402320 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38854656 140726288012271 140726288012442 140726288012442 140726288015311 0
Current children cumulated CPU time: 90.59 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 234288 KiB
Child status: 0
Real time (s): 23.2328
CPU time (s): 90.7016
CPU user time (s): 90.5365
CPU system time (s): 0.165101
CPU usage (%): 390.404
Max. virtual memory (cumulated for all children) (KiB): 15600896
Max. memory (cumulated for all children) (KiB): 234288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.5365
system time used= 0.165101
maximum resident set size= 232908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58451
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= 3894
involuntary context switches= 2595
# summary of solver processes directly reported to runsolver:
# pid: 11053
# total CPU time (s): 90.7016
# total CPU user time (s): 90.5365
# total CPU system time (s): 0.165101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.152929 second user time and 0.308772 second system time
The end