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 (14270 MiB free)
memory of node 1: 16384 MiB (15375 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400510-1568694343/watcher-4400510-1568694343 -o /tmp/evaluation-result-4400510-1568694343/solver-4400510-1568694343 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1869637657 HOME/instance-4400510-1568694343.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30676, runsolver pid=30673
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 3.58 1.99 1.71 7/234 30692
/proc/meminfo: memFree=30339540/32770624 swapFree=66953076/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445703184 115843072 363 33554432000 4194304 5098028 140722556066048 140722556064152 140493791756924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31940608 140722556068730 140722556068973 140722556068973 140722556071882 0
/proc/30676/statm: 28282 363 304 221 0 87 0
[pid=30678] ppid=30676 vsize=15144776 memory=29372 CPUtime=0.13 cores=1,3,5,7
/proc/30678/stat : 30678 (java) S 30676 30676 30406 0 -1 1077944320 5795 0 0 0 13 0 0 0 20 0 15 0 445703184 15508250624 7343 33554432000 4194304 4196468 140729333973552 140729333956096 139979808083703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
/proc/30678/statm: 3786194 7343 3155 1 0 3748377 0
[pid=30678/tid=30679] ppid=30676 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/30678/task/30679/stat : 30679 (java) R 30676 30676 30406 0 -1 4202560 3672 0 0 0 9 0 0 0 20 0 15 0 445703184 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979812304976 139979808105050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30680] ppid=30676 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703185 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979764636048 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30681] ppid=30676 vsize=15144776 memory=288370488439608960 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703185 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979763583248 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30682] ppid=30676 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703185 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979398503056 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30683] ppid=30676 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445703185 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979397450256 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30684] ppid=30676 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445703186 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979276614256 139979808094850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30685] ppid=30676 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445703187 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979275560224 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30686] ppid=30676 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445703187 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979274507888 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30687] ppid=30676 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445703189 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979273456208 139979808102299 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30688] ppid=30676 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 30406 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 445703189 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979272403056 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30689] ppid=30676 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 30406 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 445703189 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979271350256 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30690] ppid=30676 vsize=15144776 memory=140112287897216 CPUtime=0.02 cores=1,3,5,7
/proc/30678/task/30690/stat : 30690 (java) R 30676 30676 30406 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 445703189 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979270297968 139979808105050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30691] ppid=30676 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445703190 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979269245408 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30692] ppid=30676 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703190 15508250624 7343 33554432000 4194304 4196468 140729333973552 139979268193200 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30824 KiB
[startup+0.211286 s]*
/proc/loadavg: 3.58 1.99 1.71 7/234 30692
/proc/meminfo: memFree=30326808/32770624 swapFree=66953076/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445703184 115843072 363 33554432000 4194304 5098028 140722556066048 140722556064152 140493791756924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31940608 140722556068730 140722556068973 140722556068973 140722556071882 0
/proc/30676/statm: 28282 363 304 221 0 87 0
[pid=30678] ppid=30676 vsize=15144776 memory=41080 CPUtime=0.34 cores=1,3,5,7
/proc/30678/stat : 30678 (java) S 30676 30676 30406 0 -1 1077944320 9467 0 0 0 32 2 0 0 20 0 15 0 445703184 15508250624 10270 33554432000 4194304 4196468 140729333973552 140729333956096 139979808083703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
/proc/30678/statm: 3786194 10270 3324 1 0 3748377 0
[pid=30678/tid=30679] ppid=30676 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/30678/task/30679/stat : 30679 (java) R 30676 30676 30406 0 -1 4202560 6655 0 0 0 18 2 0 0 20 0 15 0 445703184 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979812320464 139979808095638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30680] ppid=30676 vsize=15144776 memory=1946935 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703185 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979764636048 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30681] ppid=30676 vsize=15144776 memory=140112287926796 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703185 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979763583248 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30682] ppid=30676 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703185 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979398503056 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30683] ppid=30676 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445703185 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979397450256 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30684] ppid=30676 vsize=15144776 memory=140112287897216 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445703186 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979276614256 139979808094850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30685] ppid=30676 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445703187 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979275560224 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30686] ppid=30676 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445703187 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979274507888 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30687] ppid=30676 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445703189 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979273456208 139979808102299 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30688] ppid=30676 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 30406 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 15 0 445703189 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979272403056 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30689] ppid=30676 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 30406 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 15 0 445703189 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979271350256 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30690] ppid=30676 vsize=15144776 memory=140112287897216 CPUtime=0.08 cores=1,3,5,7
/proc/30678/task/30690/stat : 30690 (java) R 30676 30676 30406 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 15 0 445703189 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979270297968 139979808105050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30691] ppid=30676 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445703190 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979269245408 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30692] ppid=30676 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703190 15508250624 10270 33554432000 4194304 4196468 140729333973552 139979268193200 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42532 KiB
[startup+0.310675 s]*
/proc/loadavg: 3.58 1.99 1.71 8/234 30692
/proc/meminfo: memFree=30319300/32770624 swapFree=66953076/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445703184 115843072 363 33554432000 4194304 5098028 140722556066048 140722556064152 140493791756924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31940608 140722556068730 140722556068973 140722556068973 140722556071882 0
/proc/30676/statm: 28282 363 304 221 0 87 0
[pid=30678] ppid=30676 vsize=15149032 memory=50224 CPUtime=0.54 cores=1,3,5,7
/proc/30678/stat : 30678 (java) S 30676 30676 30406 0 -1 1077944320 10903 0 0 0 51 3 0 0 20 0 15 0 445703184 15512608768 12556 33554432000 4194304 4196468 140729333973552 140729333956096 139979808083703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
/proc/30678/statm: 3787258 12556 3358 1 0 3748377 0
[pid=30678/tid=30679] ppid=30676 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/30678/task/30679/stat : 30679 (java) R 30676 30676 30406 0 -1 4202560 7860 0 0 0 28 2 0 0 20 0 15 0 445703184 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979812314816 139979792164190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30680] ppid=30676 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703185 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979764636048 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30681] ppid=30676 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703185 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979763583248 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30682] ppid=30676 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703185 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979398503056 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30683] ppid=30676 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445703185 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979397450256 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30684] ppid=30676 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445703186 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979276614256 139979808094850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30685] ppid=30676 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445703187 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979275560224 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30686] ppid=30676 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445703187 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979274507888 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30687] ppid=30676 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445703189 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979273456208 139979808102299 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30688] ppid=30676 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 30406 0 -1 1077944384 554 0 0 0 4 0 0 0 20 0 15 0 445703189 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979272403056 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30689] ppid=30676 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 30406 0 -1 1077944384 320 0 0 0 4 0 0 0 20 0 15 0 445703189 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979271350256 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30690] ppid=30676 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30678/task/30690/stat : 30690 (java) S 30676 30676 30406 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 15 0 445703189 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979270297968 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30691] ppid=30676 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445703190 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979269245408 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30692] ppid=30676 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703190 15512608768 12556 33554432000 4194304 4196468 140729333973552 139979268193200 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51676 KiB
[startup+0.70076 s]
/proc/loadavg: 3.58 1.99 1.71 9/234 30692
/proc/meminfo: memFree=30290716/32770624 swapFree=66953076/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445703184 115843072 363 33554432000 4194304 5098028 140722556066048 140722556064152 140493791756924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31940608 140722556068730 140722556068973 140722556068973 140722556071882 0
/proc/30676/statm: 28282 363 304 221 0 87 0
[pid=30678] ppid=30676 vsize=15151156 memory=115948 CPUtime=1.71 cores=1,3,5,7
/proc/30678/stat : 30678 (java) S 30676 30676 30406 0 -1 1077944320 14995 0 0 0 166 5 0 0 20 0 15 0 445703184 15514783744 28987 33554432000 4194304 4196468 140729333973552 140729333956096 139979808083703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
/proc/30678/statm: 3787789 28987 3441 1 0 3748889 0
[pid=30678/tid=30679] ppid=30676 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/30678/task/30679/stat : 30679 (java) R 30676 30676 30406 0 -1 4202560 9149 0 0 0 64 4 0 0 20 0 15 0 445703184 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979812319776 139979443555324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30680] ppid=30676 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703185 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979764636048 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30681] ppid=30676 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703185 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979763583248 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30682] ppid=30676 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703185 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979398503056 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30683] ppid=30676 vsize=15151156 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445703185 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979397450256 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30684] ppid=30676 vsize=15151156 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445703186 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979276614256 139979808094850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30685] ppid=30676 vsize=15151156 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445703187 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979275560224 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30686] ppid=30676 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445703187 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979274507888 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30687] ppid=30676 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445703189 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979273456208 139979808102299 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30688] ppid=30676 vsize=15151156 memory=620 CPUtime=0.35 cores=1,3,5,7
/proc/30678/task/30688/stat : 30688 (java) R 30676 30676 30406 0 -1 4202560 1492 0 0 0 35 0 0 0 20 0 15 0 445703189 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979272389872 139979788836152 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30689] ppid=30676 vsize=15151156 memory=1496 CPUtime=0.34 cores=1,3,5,7
/proc/30678/task/30689/stat : 30689 (java) R 30676 30676 30406 0 -1 4202560 1362 0 0 0 34 0 0 0 20 0 15 0 445703189 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979271350256 139979792247664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30690] ppid=30676 vsize=15151156 memory=1016 CPUtime=0.31 cores=1,3,5,7
/proc/30678/task/30690/stat : 30690 (java) R 30676 30676 30406 0 -1 4202560 1685 0 0 0 31 0 0 0 20 0 15 0 445703189 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979270297968 139979787019071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30691] ppid=30676 vsize=15151156 memory=6016 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445703190 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979269245408 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30692] ppid=30676 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445703190 15514783744 28987 33554432000 4194304 4196468 140729333973552 139979268193200 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 117400 KiB
[startup+1.50876 s]
/proc/loadavg: 3.58 1.99 1.71 8/234 30692
/proc/meminfo: memFree=30198188/32770624 swapFree=66953076/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445703184 115843072 363 33554432000 4194304 5098028 140722556066048 140722556064152 140493791756924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31940608 140722556068730 140722556068973 140722556068973 140722556071882 0
/proc/30676/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 30406 0 -1 1077944384 710 0 0 0 0 2 0 0 20 0 19 0 445703190 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979268193200 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30885] ppid=30676 vsize=15486024 memory=280224336530384 CPUtime=36.34 cores=1,3,5,7
/proc/30678/task/30885/stat : 30885 (java) R 30676 30676 30406 0 -1 4202560 412 0 0 0 3634 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979254770584 139979449768802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30886] ppid=30676 vsize=15486024 memory=7591210124168527892 CPUtime=36.1 cores=1,3,5,7
/proc/30678/task/30886/stat : 30886 (java) R 30676 30676 30406 0 -1 4202560 1230 0 0 0 3610 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979252669208 139979449768693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30887] ppid=30676 vsize=15486024 memory=-7745171288847258803 CPUtime=36.36 cores=1,3,5,7
/proc/30678/task/30887/stat : 30887 (java) R 30676 30676 30406 0 -1 4202560 1534 0 0 0 3636 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979256879800 139979449768693 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30888] ppid=30676 vsize=15486024 memory=6941849548078396170 CPUtime=36.49 cores=1,3,5,7
/proc/30678/task/30888/stat : 30888 (java) R 30676 30676 30406 0 -1 4202560 979 0 0 0 3649 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979253718808 139979449768236 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
Current children cumulated CPU time: 239.67 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 374392 KiB
[startup+61.6018 s]
/proc/loadavg: 6.51 3.11 2.11 9/237 31097
/proc/meminfo: memFree=30096752/32770624 swapFree=66953076/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445703184 115843072 363 33554432000 4194304 5098028 140722556066048 140722556064152 140493791756924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31940608 140722556068730 140722556068973 140722556068973 140722556071882 0
/proc/30676/statm: 28282 363 304 221 0 87 0
[pid=30678] ppid=30676 vsize=15486024 memory=372940 CPUtime=242.85 cores=1,3,5,7
/proc/30678/stat : 30678 (java) S 30676 30676 30406 0 -1 1077944320 68667 0 0 0 24261 24 0 0 20 0 19 0 445703184 15857688576 93235 33554432000 4194304 4196468 140729333973552 140729333956096 139979808083703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
/proc/30678/statm: 3871506 93235 3529 1 0 3832606 0
[pid=30678/tid=30679] ppid=30676 vsize=15486024 memory=1452 CPUtime=1.42 cores=1,3,5,7
/proc/30678/task/30679/stat : 30679 (java) S 30676 30676 30406 0 -1 1077944384 11607 0 0 0 137 5 0 0 20 0 19 0 445703184 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979812324480 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30680] ppid=30676 vsize=15486024 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 30406 0 -1 1077944384 615 0 0 0 3 2 0 0 20 0 19 0 445703185 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979764636048 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30681] ppid=30676 vsize=15486024 memory=988 CPUtime=0.05 cores=1,3,5,7
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 30406 0 -1 1077944384 249 0 0 0 3 2 0 0 20 0 19 0 445703185 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979763583248 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30682] ppid=30676 vsize=15486024 memory=2024 CPUtime=0.05 cores=1,3,5,7
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 30406 0 -1 1077944384 583 0 0 0 3 2 0 0 20 0 19 0 445703185 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979398503056 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30683] ppid=30676 vsize=15486024 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 30406 0 -1 1077944384 322 0 0 0 2 1 0 0 20 0 19 0 445703185 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979397450256 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30684] ppid=30676 vsize=15486024 memory=4156 CPUtime=0.01 cores=1,3,5,7
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 30406 0 -1 1077944384 1239 0 0 0 0 1 0 0 20 0 19 0 445703186 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979276614256 139979808094850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30685] ppid=30676 vsize=15486024 memory=620 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 30406 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 445703187 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979275560288 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30686] ppid=30676 vsize=15486024 memory=1496 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 30406 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 445703187 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979274507904 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30687] ppid=30676 vsize=15486024 memory=1016 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445703189 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979273456208 139979808102299 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30688] ppid=30676 vsize=15486024 memory=6016 CPUtime=3.22 cores=1,3,5,7
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 30406 0 -1 1077944384 16922 0 0 0 321 1 0 0 20 0 19 0 445703189 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979272403056 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30689] ppid=30676 vsize=15486024 memory=14012 CPUtime=2.88 cores=1,3,5,7
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 30406 0 -1 1077944384 13065 0 0 0 287 1 0 0 20 0 19 0 445703189 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979271350256 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30690] ppid=30676 vsize=15486024 memory=2116 CPUtime=0.94 cores=1,3,5,7
/proc/30678/task/30690/stat : 30690 (java) S 30676 30676 30406 0 -1 1077944384 10550 0 0 0 93 1 0 0 20 0 19 0 445703189 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979270297968 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30691] ppid=30676 vsize=15486024 memory=26016 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445703190 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979269245408 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30692] ppid=30676 vsize=15486024 memory=14068 CPUtime=0.02 cores=1,3,5,7
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 30406 0 -1 1077944384 725 0 0 0 0 2 0 0 20 0 19 0 445703190 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979268193200 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30885] ppid=30676 vsize=15486024 memory=524 CPUtime=37.14 cores=1,3,5,7
/proc/30678/task/30885/stat : 30885 (java) R 30676 30676 30406 0 -1 4202560 415 0 0 0 3714 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979254771192 139979449768575 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30886] ppid=30676 vsize=15486024 memory=1568 CPUtime=36.88 cores=1,3,5,7
/proc/30678/task/30886/stat : 30886 (java) R 30676 30676 30406 0 -1 4202560 1330 0 0 0 3688 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979252666656 139979450597289 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30887] ppid=30676 vsize=15486024 memory=928 CPUtime=37.16 cores=1,3,5,7
/proc/30678/task/30887/stat : 30887 (java) R 30676 30676 30406 0 -1 4202560 1546 0 0 0 3716 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979256877328 139979452939015 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30888] ppid=30676 vsize=15486024 memory=3520 CPUtime=37.29 cores=1,3,5,7
/proc/30678/task/30888/stat : 30888 (java) R 30676 30676 30406 0 -1 4202560 989 0 0 0 3729 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979253718672 139979449768693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
Current children cumulated CPU time: 242.85 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 374392 KiB
[startup+62.0018 s]*
/proc/loadavg: 6.51 3.11 2.11 9/237 31097
/proc/meminfo: memFree=30096752/32770624 swapFree=66953076/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445703184 115843072 363 33554432000 4194304 5098028 140722556066048 140722556064152 140493791756924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31940608 140722556068730 140722556068973 140722556068973 140722556071882 0
/proc/30676/statm: 28282 363 304 221 0 87 0
[pid=30678] ppid=30676 vsize=15486024 memory=372940 CPUtime=244.48 cores=1,3,5,7
/proc/30678/stat : 30678 (java) S 30676 30676 30406 0 -1 1077944320 68700 0 0 0 24424 24 0 0 20 0 19 0 445703184 15857688576 93235 33554432000 4194304 4196468 140729333973552 140729333956096 139979808083703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
/proc/30678/statm: 3871506 93235 3529 1 0 3832606 0
[pid=30678/tid=30679] ppid=30676 vsize=15486024 memory=8317482817917895235 CPUtime=1.42 cores=1,3,5,7
/proc/30678/task/30679/stat : 30679 (java) S 30676 30676 30406 0 -1 1077944384 11607 0 0 0 137 5 0 0 20 0 19 0 445703184 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979812324480 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30680] ppid=30676 vsize=15486024 memory=372936 CPUtime=0.05 cores=1,3,5,7
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 30406 0 -1 1077944384 615 0 0 0 3 2 0 0 20 0 19 0 445703185 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979764636048 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30681] ppid=30676 vsize=15486024 memory=2596 CPUtime=0.05 cores=1,3,5,7
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 30406 0 -1 1077944384 249 0 0 0 3 2 0 0 20 0 19 0 445703185 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979763583248 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30682] ppid=30676 vsize=15486024 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 30406 0 -1 1077944384 583 0 0 0 3 2 0 0 20 0 19 0 445703185 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979398503056 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30683] ppid=30676 vsize=15486024 memory=1412 CPUtime=0.03 cores=1,3,5,7
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 30406 0 -1 1077944384 322 0 0 0 2 1 0 0 20 0 19 0 445703185 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979397450256 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30684] ppid=30676 vsize=15486024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 30406 0 -1 1077944384 1239 0 0 0 0 1 0 0 20 0 19 0 445703186 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979276614256 139979808094850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30685] ppid=30676 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 30406 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 445703187 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979275560288 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30686] ppid=30676 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 30406 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 445703187 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979274507904 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30687] ppid=30676 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445703189 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979273456208 139979808102299 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30688] ppid=30676 vsize=15486024 memory=140112168697248 CPUtime=3.22 cores=1,3,5,7
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 30406 0 -1 1077944384 16922 0 0 0 321 1 0 0 20 0 19 0 445703189 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979272403056 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30689] ppid=30676 vsize=15486024 memory=0 CPUtime=2.88 cores=1,3,5,7
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 30406 0 -1 1077944384 13065 0 0 0 287 1 0 0 20 0 19 0 445703189 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979271350256 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30690] ppid=30676 vsize=15486024 memory=7308892951968310355 CPUtime=0.94 cores=1,3,5,7
/proc/30678/task/30690/stat : 30690 (java) S 30676 30676 30406 0 -1 1077944384 10550 0 0 0 93 1 0 0 20 0 19 0 445703189 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979270297968 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30691] ppid=30676 vsize=15486024 memory=7228952860470695504 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445703190 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979269245408 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30692] ppid=30676 vsize=15486024 memory=288230574492221466 CPUtime=0.02 cores=1,3,5,7
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 30406 0 -1 1077944384 725 0 0 0 0 2 0 0 20 0 19 0 445703190 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979268193200 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30885] ppid=30676 vsize=15486024 memory=288230596050944315 CPUtime=37.55 cores=1,3,5,7
/proc/30678/task/30885/stat : 30885 (java) R 30676 30676 30406 0 -1 4202560 415 0 0 0 3755 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979254771192 139979450382192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30886] ppid=30676 vsize=15486024 memory=16100368647981698 CPUtime=37.28 cores=1,3,5,7
/proc/30678/task/30886/stat : 30886 (java) R 30676 30676 30406 0 -1 4202560 1333 0 0 0 3728 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979252666656 139979449768783 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30887] ppid=30676 vsize=15486024 memory=1656 CPUtime=37.57 cores=1,3,5,7
/proc/30678/task/30887/stat : 30887 (java) R 30676 30676 30406 0 -1 4202560 1546 0 0 0 3757 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979256877328 139979449768926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30888] ppid=30676 vsize=15486024 memory=16235230227 CPUtime=37.7 cores=1,3,5,7
/proc/30678/task/30888/stat : 30888 (java) R 30676 30676 30406 0 -1 4202560 1019 0 0 0 3770 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979253718672 139979450008064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
Current children cumulated CPU time: 244.48 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 374392 KiB
[startup+62.2018 s]
/proc/loadavg: 6.51 3.11 2.11 9/237 31097
/proc/meminfo: memFree=30096752/32770624 swapFree=66953076/67108860
[pid=30676] ppid=30673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445703184 115843072 363 33554432000 4194304 5098028 140722556066048 140722556064152 140493791756924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31940608 140722556068730 140722556068973 140722556068973 140722556071882 0
/proc/30676/statm: 28282 363 304 221 0 87 0
[pid=30678] ppid=30676 vsize=15486024 memory=372940 CPUtime=245.24 cores=1,3,5,7
/proc/30678/stat : 30678 (java) S 30676 30676 30406 0 -1 1077944320 69218 0 0 0 24500 24 0 0 20 0 19 0 445703184 15857688576 93235 33554432000 4194304 4196468 140729333973552 140729333956096 139979808083703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
/proc/30678/statm: 3871506 93235 3529 1 0 3832606 0
[pid=30678/tid=30679] ppid=30676 vsize=15486024 memory=7236003019052049512 CPUtime=1.42 cores=1,3,5,7
/proc/30678/task/30679/stat : 30679 (java) S 30676 30676 30406 0 -1 1077944384 11607 0 0 0 137 5 0 0 20 0 19 0 445703184 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979812324480 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30680] ppid=30676 vsize=15486024 memory=7085103827088664172 CPUtime=0.05 cores=1,3,5,7
/proc/30678/task/30680/stat : 30680 (java) S 30676 30676 30406 0 -1 1077944384 615 0 0 0 3 2 0 0 20 0 19 0 445703185 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979764636048 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30681] ppid=30676 vsize=15486024 memory=7234030490512353113 CPUtime=0.05 cores=1,3,5,7
/proc/30678/task/30681/stat : 30681 (java) S 30676 30676 30406 0 -1 1077944384 249 0 0 0 3 2 0 0 20 0 19 0 445703185 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979763583248 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30682] ppid=30676 vsize=15486024 memory=7452726561601906532 CPUtime=0.05 cores=1,3,5,7
/proc/30678/task/30682/stat : 30682 (java) S 30676 30676 30406 0 -1 1077944384 583 0 0 0 3 2 0 0 20 0 19 0 445703185 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979398503056 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30683] ppid=30676 vsize=15486024 memory=7157179047555393645 CPUtime=0.03 cores=1,3,5,7
/proc/30678/task/30683/stat : 30683 (java) S 30676 30676 30406 0 -1 1077944384 322 0 0 0 2 1 0 0 20 0 19 0 445703185 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979397450256 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30684] ppid=30676 vsize=15486024 memory=7883944108235712103 CPUtime=0.01 cores=1,3,5,7
/proc/30678/task/30684/stat : 30684 (java) S 30676 30676 30406 0 -1 1077944384 1239 0 0 0 0 1 0 0 20 0 19 0 445703186 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979276614256 139979808094850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30685] ppid=30676 vsize=15486024 memory=7957689449132282197 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30685/stat : 30685 (java) S 30676 30676 30406 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 445703187 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979275560288 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30686] ppid=30676 vsize=15486024 memory=7378976927113570368 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30686/stat : 30686 (java) S 30676 30676 30406 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 445703187 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979274507904 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30687] ppid=30676 vsize=15486024 memory=290763849282617370 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30687/stat : 30687 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445703189 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979273456208 139979808102299 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30688] ppid=30676 vsize=15486024 memory=288230596050944315 CPUtime=3.22 cores=1,3,5,7
/proc/30678/task/30688/stat : 30688 (java) S 30676 30676 30406 0 -1 1077944384 16924 0 0 0 321 1 0 0 20 0 19 0 445703189 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979272403056 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30689] ppid=30676 vsize=15486024 memory=16100368647981698 CPUtime=2.88 cores=1,3,5,7
/proc/30678/task/30689/stat : 30689 (java) S 30676 30676 30406 0 -1 1077944384 13067 0 0 0 287 1 0 0 20 0 19 0 445703189 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979271350256 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30690] ppid=30676 vsize=15486024 memory=14012 CPUtime=0.94 cores=1,3,5,7
/proc/30678/task/30690/stat : 30690 (java) S 30676 30676 30406 0 -1 1077944384 11051 0 0 0 93 1 0 0 20 0 19 0 445703189 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979270297968 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30691] ppid=30676 vsize=15486024 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/30678/task/30691/stat : 30691 (java) S 30676 30676 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445703190 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979269245408 139979808093909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30692] ppid=30676 vsize=15486024 memory=26016 CPUtime=0.02 cores=1,3,5,7
/proc/30678/task/30692/stat : 30692 (java) S 30676 30676 30406 0 -1 1077944384 727 0 0 0 0 2 0 0 20 0 19 0 445703190 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979268193200 139979808094850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30885] ppid=30676 vsize=15486024 memory=14068 CPUtime=37.74 cores=1,3,5,7
/proc/30678/task/30885/stat : 30885 (java) R 30676 30676 30406 0 -1 4202560 415 0 0 0 3774 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979254771192 139979449768465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30886] ppid=30676 vsize=15486024 memory=1452 CPUtime=37.47 cores=1,3,5,7
/proc/30678/task/30886/stat : 30886 (java) R 30676 30676 30406 0 -1 4202560 1335 0 0 0 3747 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979252666656 139979449768718 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30887] ppid=30676 vsize=15486024 memory=372936 CPUtime=37.76 cores=1,3,5,7
/proc/30678/task/30887/stat : 30887 (java) R 30676 30676 30406 0 -1 4202560 1555 0 0 0 3776 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979256879576 139979450917027 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
[pid=30678/tid=30888] ppid=30676 vsize=15486024 memory=928 CPUtime=37.89 cores=1,3,5,7
/proc/30678/task/30888/stat : 30888 (java) R 30676 30676 30406 0 -1 4202560 1019 0 0 0 3789 0 0 0 20 0 19 0 445705607 15857688576 93235 33554432000 4194304 4196468 140729333973552 139979253718672 139979450007616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140729333978095 140729333978266 140729333978266 140729333981135 0
Current children cumulated CPU time: 245.24 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 374392 KiB
Child status: 0
Real time (s): 62.2744
CPU time (s): 245.517
CPU user time (s): 245.262
CPU system time (s): 0.254719
CPU usage (%): 394.251
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 376196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.262
system time used= 0.254719
maximum resident set size= 374880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70790
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5549
involuntary context switches= 6049
# summary of solver processes directly reported to runsolver:
# pid: 30676
# total CPU time (s): 245.517
# total CPU user time (s): 245.262
# total CPU system time (s): 0.254719
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.432769 second user time and 0.761021 second system time
The end