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 (13710 MiB free)
memory of node 1: 16384 MiB (13873 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400541-1568695656/watcher-4400541-1568695656 -o /tmp/evaluation-result-4400541-1568695656/solver-4400541-1568695656 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22970 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 933910493 HOME/instance-4400541-1568695656.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29288, runsolver pid=29285
[startup+0.100082 s]*
/proc/loadavg: 8.99 8.60 7.13 8/233 29304
/proc/meminfo: memFree=28230864/32770624 swapFree=66959728/67108860
[pid=29288] ppid=29285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29288/stat : 29288 (xcsp3-exec) S 29285 29288 22939 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 445505768 115843072 363 33554432000 4194304 5098028 140726846647344 140726846645448 140165470528124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11857920 140726846649211 140726846649453 140726846649453 140726846652362 0
/proc/29288/statm: 28282 363 305 221 0 87 0
[pid=29290] ppid=29288 vsize=15144776 memory=28864 CPUtime=0.12 cores=0,2,4,6
/proc/29290/stat : 29290 (java) S 29288 29288 22939 0 -1 1077944320 5685 0 0 0 11 1 0 0 20 0 15 0 445505768 15508250624 7216 33554432000 4194304 4196468 140728431504096 140728431486640 140520681729783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
/proc/29290/statm: 3786194 7216 3120 1 0 3748377 0
[pid=29290/tid=29291] ppid=29288 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/29290/task/29291/stat : 29291 (java) R 29288 29288 22939 0 -1 4202560 3614 0 0 0 8 1 0 0 20 0 15 0 445505768 15508250624 7216 33554432000 4194304 4196468 140728431504096 140520685963920 140520681751130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29292] ppid=29288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29292/stat : 29292 (java) S 29288 29288 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445505769 15508250624 7216 33554432000 4194304 4196468 140728431504096 140520273734544 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29293] ppid=29288 vsize=15144776 memory=140016670262912 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29293/stat : 29293 (java) S 29288 29288 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445505769 15508250624 7216 33554432000 4194304 4196468 140728431504096 140520272681744 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29294] ppid=29288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29294/stat : 29294 (java) S 29288 29288 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445505769 15508250624 7282 33554432000 4194304 4196468 140728431504096 140520271629456 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29295] ppid=29288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29295/stat : 29295 (java) S 29288 29288 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445505769 15508250624 7282 33554432000 4194304 4196468 140728431504096 140520270576656 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29296] ppid=29288 vsize=15144776 memory=140016670262912 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29296/stat : 29296 (java) S 29288 29288 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445505770 15508250624 7282 33554432000 4194304 4196468 140728431504096 140520150263920 140520681740930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29297] ppid=29288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29297/stat : 29297 (java) S 29288 29288 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445505771 15508250624 7282 33554432000 4194304 4196468 140728431504096 140520149209888 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29298] ppid=29288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29298/stat : 29298 (java) S 29288 29288 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445505771 15508250624 7282 33554432000 4194304 4196468 140728431504096 140520148157552 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29299] ppid=29288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29299/stat : 29299 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445505774 15508250624 7282 33554432000 4194304 4196468 140728431504096 140520147105872 140520681748379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29300] ppid=29288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29300/stat : 29300 (java) R 29288 29288 22939 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 445505774 15508250624 7282 33554432000 4194304 4196468 140728431504096 140520146053744 140520681740930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29301] ppid=29288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29301/stat : 29301 (java) R 29288 29288 22939 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 15 0 445505774 15508250624 7282 33554432000 4194304 4196468 140728431504096 140520145000944 140520665165521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29302] ppid=29288 vsize=15144776 memory=140016670262912 CPUtime=0.02 cores=0,2,4,6
/proc/29290/task/29302/stat : 29302 (java) R 29288 29288 22939 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 15 0 445505774 15508250624 7282 33554432000 4194304 4196468 140728431504096 140520143948656 140520660864259 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29303] ppid=29288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29303/stat : 29303 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445505774 15508250624 7282 33554432000 4194304 4196468 140728431504096 140520142896096 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29304] ppid=29288 vsize=15144776 memory=140016670262912 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29304/stat : 29304 (java) S 29288 29288 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445505774 15508250624 7282 33554432000 4194304 4196468 140728431504096 140520141842864 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30316 KiB
[startup+0.210783 s]*
/proc/loadavg: 8.99 8.60 7.13 6/233 29304
/proc/meminfo: memFree=28217488/32770624 swapFree=66959728/67108860
[pid=29288] ppid=29285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29288/stat : 29288 (xcsp3-exec) S 29285 29288 22939 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 445505768 115843072 363 33554432000 4194304 5098028 140726846647344 140726846645448 140165470528124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11857920 140726846649211 140726846649453 140726846649453 140726846652362 0
/proc/29288/statm: 28282 363 305 221 0 87 0
[pid=29290] ppid=29288 vsize=15144776 memory=40512 CPUtime=0.34 cores=0,2,4,6
/proc/29290/stat : 29290 (java) S 29288 29288 22939 0 -1 1077944320 9339 0 0 0 31 3 0 0 20 0 15 0 445505768 15508250624 10128 33554432000 4194304 4196468 140728431504096 140728431486640 140520681729783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
/proc/29290/statm: 3786194 10128 3318 1 0 3748377 0
[pid=29290/tid=29291] ppid=29288 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/29290/task/29291/stat : 29291 (java) R 29288 29288 22939 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 15 0 445505768 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520685963392 140520681741718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29292] ppid=29288 vsize=15144776 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29292/stat : 29292 (java) S 29288 29288 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445505769 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520273734544 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29293] ppid=29288 vsize=15144776 memory=140016673615925 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29293/stat : 29293 (java) S 29288 29288 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445505769 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520272681744 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29294] ppid=29288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29294/stat : 29294 (java) S 29288 29288 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445505769 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520271629456 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29295] ppid=29288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29295/stat : 29295 (java) S 29288 29288 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445505769 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520270576656 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29296] ppid=29288 vsize=15144776 memory=140016670262912 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29296/stat : 29296 (java) S 29288 29288 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445505770 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520150263920 140520681740930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29297] ppid=29288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29297/stat : 29297 (java) S 29288 29288 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445505771 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520149209888 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29298] ppid=29288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29298/stat : 29298 (java) S 29288 29288 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445505771 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520148157552 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29299] ppid=29288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29299/stat : 29299 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445505774 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520147105872 140520681748379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29300] ppid=29288 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29290/task/29300/stat : 29300 (java) S 29288 29288 22939 0 -1 1077944384 421 0 0 0 3 0 0 0 20 0 15 0 445505774 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520146053744 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29301] ppid=29288 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29290/task/29301/stat : 29301 (java) S 29288 29288 22939 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 445505774 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520145000944 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29302] ppid=29288 vsize=15144776 memory=140016670262912 CPUtime=0.07 cores=0,2,4,6
/proc/29290/task/29302/stat : 29302 (java) R 29288 29288 22939 0 -1 4202560 780 0 0 0 7 0 0 0 20 0 15 0 445505774 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520143948656 140520681741718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29303] ppid=29288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29303/stat : 29303 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445505774 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520142896096 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29304] ppid=29288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29304/stat : 29304 (java) S 29288 29288 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445505774 15508250624 10128 33554432000 4194304 4196468 140728431504096 140520141842864 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41964 KiB
[startup+0.314466 s]*
/proc/loadavg: 8.99 8.60 7.13 9/233 29304
/proc/meminfo: memFree=28210836/32770624 swapFree=66959728/67108860
[pid=29288] ppid=29285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29288/stat : 29288 (xcsp3-exec) S 29285 29288 22939 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 445505768 115843072 363 33554432000 4194304 5098028 140726846647344 140726846645448 140165470528124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11857920 140726846649211 140726846649453 140726846649453 140726846652362 0
/proc/29288/statm: 28282 363 305 221 0 87 0
[pid=29290] ppid=29288 vsize=15149032 memory=49996 CPUtime=0.54 cores=0,2,4,6
/proc/29290/stat : 29290 (java) S 29288 29288 22939 0 -1 1077944320 10873 0 0 0 50 4 0 0 20 0 15 0 445505768 15512608768 12499 33554432000 4194304 4196468 140728431504096 140728431486640 140520681729783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
/proc/29290/statm: 3787258 12499 3361 1 0 3748377 0
[pid=29290/tid=29291] ppid=29288 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/29290/task/29291/stat : 29291 (java) R 29288 29288 22939 0 -1 4202560 7800 0 0 0 27 3 0 0 20 0 15 0 445505768 15512608768 12499 33554432000 4194304 4196468 140728431504096 140520685960856 140520665810270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29292] ppid=29288 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29292/stat : 29292 (java) S 29288 29288 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445505769 15512608768 12564 33554432000 4194304 4196468 140728431504096 140520273734544 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29293] ppid=29288 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29293/stat : 29293 (java) S 29288 29288 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445505769 15512608768 12564 33554432000 4194304 4196468 140728431504096 140520272681744 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29294] ppid=29288 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29294/stat : 29294 (java) S 29288 29288 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445505769 15512608768 12564 33554432000 4194304 4196468 140728431504096 140520271629456 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29295] ppid=29288 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29295/stat : 29295 (java) S 29288 29288 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445505769 15512608768 12564 33554432000 4194304 4196468 140728431504096 140520270576656 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29296] ppid=29288 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29296/stat : 29296 (java) S 29288 29288 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445505770 15512608768 12564 33554432000 4194304 4196468 140728431504096 140520150263920 140520681740930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29297] ppid=29288 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29297/stat : 29297 (java) S 29288 29288 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445505771 15512608768 12564 33554432000 4194304 4196468 140728431504096 140520149209888 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29298] ppid=29288 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29298/stat : 29298 (java) S 29288 29288 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445505771 15512608768 12564 33554432000 4194304 4196468 140728431504096 140520148157552 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29299] ppid=29288 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29299/stat : 29299 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445505774 15512608768 12568 33554432000 4194304 4196468 140728431504096 140520147105872 140520681748379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29300] ppid=29288 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/29290/task/29300/stat : 29300 (java) R 29288 29288 22939 0 -1 4202560 575 0 0 0 5 0 0 0 20 0 15 0 445505774 15512608768 12568 33554432000 4194304 4196468 140728431504096 140520146034760 140520666856218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29301] ppid=29288 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29290/task/29301/stat : 29301 (java) S 29288 29288 22939 0 -1 1077944384 237 0 0 0 3 0 0 0 20 0 15 0 445505774 15512608768 12568 33554432000 4194304 4196468 140728431504096 140520145000944 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29302] ppid=29288 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29290/task/29302/stat : 29302 (java) S 29288 29288 22939 0 -1 1077944384 957 0 0 0 12 0 0 0 20 0 15 0 445505774 15512608768 12568 33554432000 4194304 4196468 140728431504096 140520143948656 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29303] ppid=29288 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29303/stat : 29303 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445505774 15512608768 12568 33554432000 4194304 4196468 140728431504096 140520142896096 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29304] ppid=29288 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29304/stat : 29304 (java) S 29288 29288 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445505774 15512608768 12568 33554432000 4194304 4196468 140728431504096 140520141842864 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51448 KiB
[startup+0.704152 s]
/proc/loadavg: 8.99 8.60 7.13 8/233 29304
/proc/meminfo: memFree=28193708/32770624 swapFree=66959728/67108860
[pid=29288] ppid=29285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29288/stat : 29288 (xcsp3-exec) S 29285 29288 22939 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 445505768 115843072 363 33554432000 4194304 5098028 140726846647344 140726846645448 140165470528124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11857920 140726846649211 140726846649453 140726846649453 140726846652362 0
/proc/29288/statm: 28282 363 305 221 0 87 0
[pid=29290] ppid=29288 vsize=15417412 memory=79424 CPUtime=1.75 cores=0,2,4,6
/proc/29290/stat : 29290 (java) S 29288 29288 22939 0 -1 1077944320 14723 0 0 0 169 6 0 0 20 0 19 0 445505768 15787429888 19856 33554432000 4194304 4196468 140728431504096 140728431486640 140520681729783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
/proc/29290/statm: 3854353 19856 3471 1 0 3815453 0
[pid=29290/tid=29291] ppid=29288 vsize=15417412 memory=33 CPUtime=0.5 cores=0,2,4,6
/proc/29290/task/29291/stat : 29291 (java) S 29288 29288 22939 0 -1 1077944384 9183 0 0 0 46 4 0 0 20 0 19 0 445505768 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520685970560 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29292] ppid=29288 vsize=15417412 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29292/stat : 29292 (java) S 29288 29288 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445505769 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520273734544 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29293] ppid=29288 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29293/stat : 29293 (java) S 29288 29288 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445505769 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520272681744 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29294] ppid=29288 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29294/stat : 29294 (java) S 29288 29288 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445505769 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520271629456 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29295] ppid=29288 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29295/stat : 29295 (java) S 29288 29288 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445505769 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520270576656 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29296] ppid=29288 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29296/stat : 29296 (java) S 29288 29288 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445505770 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520150263920 140520681740930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29297] ppid=29288 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29297/stat : 29297 (java) S 29288 29288 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445505771 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520149209888 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29298] ppid=29288 vsize=15417412 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29298/stat : 29298 (java) S 29288 29288 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445505771 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520148157552 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29299] ppid=29288 vsize=15417412 memory=48296 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29299/stat : 29299 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445505774 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520147105872 140520681748379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29300] ppid=29288 vsize=15417412 memory=988 CPUtime=0.23 cores=0,2,4,6
/proc/29290/task/29300/stat : 29300 (java) R 29288 29288 22939 0 -1 4202560 1133 0 0 0 23 0 0 0 20 0 19 0 445505774 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520146034152 140520674446935 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29301] ppid=29288 vsize=15417412 memory=2008 CPUtime=0.25 cores=0,2,4,6
/proc/29290/task/29301/stat : 29301 (java) R 29288 29288 22939 0 -1 4202560 1033 0 0 0 25 0 0 0 20 0 19 0 445505774 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520144986968 140520666654679 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29302] ppid=29288 vsize=15417412 memory=1436 CPUtime=0.3 cores=0,2,4,6
/proc/29290/task/29302/stat : 29302 (java) D 29288 29288 22939 0 -1 4202560 1869 0 0 0 30 0 0 0 20 0 19 0 445505774 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520143945592 140520673966910 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29303] ppid=29288 vsize=15417412 memory=580 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29303/stat : 29303 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445505774 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520142896096 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29304] ppid=29288 vsize=15417412 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29304/stat : 29304 (java) S 29288 29288 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445505774 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520141842864 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29305] ppid=29288 vsize=15417412 memory=10604 CPUtime=0.13 cores=0,2,4,6
/proc/29290/task/29305/stat : 29305 (java) R 29288 29288 22939 0 -1 4202560 55 0 0 0 13 0 0 0 20 0 19 0 445505820 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520132625656 140520273878989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29306] ppid=29288 vsize=15417412 memory=4160 CPUtime=0.12 cores=0,2,4,6
/proc/29290/task/29306/stat : 29306 (java) R 29288 29288 22939 0 -1 1077944384 78 0 0 0 12 0 0 0 20 0 19 0 445505820 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520131573136 140520681739989 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29307] ppid=29288 vsize=15417412 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/29290/task/29307/stat : 29307 (java) R 29288 29288 22939 0 -1 4202560 29 0 0 0 8 0 0 0 20 0 19 0 445505820 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520130520920 140520273882169 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29308] ppid=29288 vsize=15417412 memory=1564 CPUtime=0.09 cores=0,2,4,6
/proc/29290/task/29308/stat : 29308 (java) R 29288 29288 22939 0 -1 4202560 36 0 0 0 9 0 0 0 20 0 19 0 445505820 15787429888 19856 33554432000 4194304 4196468 140728431504096 140520129467656 140520273771225 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15530540 KiB
################
# More data... #
################
[pid=29290/tid=29308] ppid=29288 vsize=15417412 memory=6060 CPUtime=172.12 cores=0,2,4,6
/proc/29290/task/29308/stat : 29308 (java) R 29288 29288 22939 0 -1 4202560 1418 0 0 0 17212 0 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520129466960 140520278630030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
Current children cumulated CPU time: 692.48 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 178028 KiB
[startup+175.201 s]
/proc/loadavg: 8.25 8.46 7.33 6/234 29401
/proc/meminfo: memFree=26927800/32770624 swapFree=66959728/67108860
[pid=29288] ppid=29285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29288/stat : 29288 (xcsp3-exec) S 29285 29288 22939 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 445505768 115843072 363 33554432000 4194304 5098028 140726846647344 140726846645448 140165470528124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11857920 140726846649211 140726846649453 140726846649453 140726846652362 0
/proc/29288/statm: 28282 363 305 221 0 87 0
[pid=29290] ppid=29288 vsize=15417412 memory=176576 CPUtime=695.65 cores=0,2,4,6
/proc/29290/stat : 29290 (java) S 29288 29288 22939 0 -1 1077944320 49870 0 0 0 69545 20 0 0 20 0 19 0 445505768 15787429888 44144 33554432000 4194304 4196468 140728431504096 140728431486640 140520681729783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
/proc/29290/statm: 3854353 44144 3519 1 0 3815453 0
[pid=29290/tid=29291] ppid=29288 vsize=15417412 memory=176576 CPUtime=0.5 cores=0,2,4,6
/proc/29290/task/29291/stat : 29291 (java) S 29288 29288 22939 0 -1 1077944384 9183 0 0 0 46 4 0 0 20 0 19 0 445505768 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520685970560 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29292] ppid=29288 vsize=15417412 memory=1216 CPUtime=0.14 cores=0,2,4,6
/proc/29290/task/29292/stat : 29292 (java) S 29288 29288 22939 0 -1 1077944384 1107 0 0 0 12 2 0 0 20 0 19 0 445505769 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520273734544 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29293] ppid=29288 vsize=15417412 memory=984 CPUtime=0.14 cores=0,2,4,6
/proc/29290/task/29293/stat : 29293 (java) S 29288 29288 22939 0 -1 1077944384 962 0 0 0 12 2 0 0 20 0 19 0 445505769 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520272681744 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29294] ppid=29288 vsize=15417412 memory=14004 CPUtime=0.14 cores=0,2,4,6
/proc/29290/task/29294/stat : 29294 (java) S 29288 29288 22939 0 -1 1077944384 2405 0 0 0 12 2 0 0 20 0 19 0 445505769 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520271629456 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29295] ppid=29288 vsize=15417412 memory=25816 CPUtime=0.14 cores=0,2,4,6
/proc/29290/task/29295/stat : 29295 (java) S 29288 29288 22939 0 -1 1077944384 1424 0 0 0 11 3 0 0 20 0 19 0 445505769 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520270576656 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29296] ppid=29288 vsize=15417412 memory=1808 CPUtime=0.11 cores=0,2,4,6
/proc/29290/task/29296/stat : 29296 (java) S 29288 29288 22939 0 -1 1077944384 1862 0 0 0 11 0 0 0 20 0 19 0 445505770 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520150263920 140520681740930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29297] ppid=29288 vsize=15417412 memory=924 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29297/stat : 29297 (java) S 29288 29288 22939 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445505771 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520149209952 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29298] ppid=29288 vsize=15417412 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29298/stat : 29298 (java) S 29288 29288 22939 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 445505771 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520148157568 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29299] ppid=29288 vsize=15417412 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29299/stat : 29299 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520147105872 140520681748379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29300] ppid=29288 vsize=15417412 memory=2604 CPUtime=1.73 cores=0,2,4,6
/proc/29290/task/29300/stat : 29300 (java) S 29288 29288 22939 0 -1 1077944384 10534 0 0 0 172 1 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520146053744 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29301] ppid=29288 vsize=15417412 memory=1412 CPUtime=1.65 cores=0,2,4,6
/proc/29290/task/29301/stat : 29301 (java) S 29288 29288 22939 0 -1 1077944384 10744 0 0 0 164 1 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520145000944 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29302] ppid=29288 vsize=15417412 memory=3196 CPUtime=0.43 cores=0,2,4,6
/proc/29290/task/29302/stat : 29302 (java) S 29288 29288 22939 0 -1 1077944384 4538 0 0 0 42 1 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520143948656 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29303] ppid=29288 vsize=15417412 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29303/stat : 29303 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520142896096 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29304] ppid=29288 vsize=15417412 memory=1436 CPUtime=0.02 cores=0,2,4,6
/proc/29290/task/29304/stat : 29304 (java) S 29288 29288 22939 0 -1 1077944384 548 0 0 0 0 2 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520141842864 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29305] ppid=29288 vsize=15417412 memory=580 CPUtime=172.57 cores=0,2,4,6
/proc/29290/task/29305/stat : 29305 (java) R 29288 29288 22939 0 -1 4202560 855 0 0 0 17256 1 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520132626760 140520278629682 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29306] ppid=29288 vsize=15417412 memory=1720 CPUtime=172.33 cores=0,2,4,6
/proc/29290/task/29306/stat : 29306 (java) R 29288 29288 22939 0 -1 4202560 2304 0 0 0 17231 2 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520131574496 140520279306060 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29307] ppid=29288 vsize=15417412 memory=10604 CPUtime=172.71 cores=0,2,4,6
/proc/29290/task/29307/stat : 29307 (java) R 29288 29288 22939 0 -1 4202560 593 0 0 0 17271 0 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520130518688 140520278629202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29308] ppid=29288 vsize=15417412 memory=4160 CPUtime=172.92 cores=0,2,4,6
/proc/29290/task/29308/stat : 29308 (java) R 29288 29288 22939 0 -1 4202560 1427 0 0 0 17292 0 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520129470016 140520279129309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
Current children cumulated CPU time: 695.65 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 178028 KiB
[startup+176.001 s]*
/proc/loadavg: 8.25 8.46 7.33 6/234 29401
/proc/meminfo: memFree=26729524/32770624 swapFree=66959728/67108860
[pid=29288] ppid=29285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29288/stat : 29288 (xcsp3-exec) S 29285 29288 22939 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 445505768 115843072 363 33554432000 4194304 5098028 140726846647344 140726846645448 140165470528124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11857920 140726846649211 140726846649453 140726846649453 140726846652362 0
/proc/29288/statm: 28282 363 305 221 0 87 0
[pid=29290] ppid=29288 vsize=15417412 memory=176576 CPUtime=698.87 cores=0,2,4,6
/proc/29290/stat : 29290 (java) S 29288 29288 22939 0 -1 1077944320 49884 0 0 0 69867 20 0 0 20 0 19 0 445505768 15787429888 44144 33554432000 4194304 4196468 140728431504096 140728431486640 140520681729783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
/proc/29290/statm: 3854353 44144 3519 1 0 3815453 0
[pid=29290/tid=29291] ppid=29288 vsize=15417412 memory=6791534058613427641 CPUtime=0.5 cores=0,2,4,6
/proc/29290/task/29291/stat : 29291 (java) S 29288 29288 22939 0 -1 1077944384 9183 0 0 0 46 4 0 0 20 0 19 0 445505768 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520685970560 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29292] ppid=29288 vsize=15417412 memory=2008 CPUtime=0.14 cores=0,2,4,6
/proc/29290/task/29292/stat : 29292 (java) S 29288 29288 22939 0 -1 1077944384 1107 0 0 0 12 2 0 0 20 0 19 0 445505769 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520273734544 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29293] ppid=29288 vsize=15417412 memory=1436 CPUtime=0.14 cores=0,2,4,6
/proc/29290/task/29293/stat : 29293 (java) S 29288 29288 22939 0 -1 1077944384 964 0 0 0 12 2 0 0 20 0 19 0 445505769 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520272681744 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29294] ppid=29288 vsize=15417412 memory=580 CPUtime=0.14 cores=0,2,4,6
/proc/29290/task/29294/stat : 29294 (java) S 29288 29288 22939 0 -1 1077944384 2405 0 0 0 12 2 0 0 20 0 19 0 445505769 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520271629456 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29295] ppid=29288 vsize=15417412 memory=1720 CPUtime=0.14 cores=0,2,4,6
/proc/29290/task/29295/stat : 29295 (java) S 29288 29288 22939 0 -1 1077944384 1426 0 0 0 11 3 0 0 20 0 19 0 445505769 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520270576656 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29296] ppid=29288 vsize=15417412 memory=10604 CPUtime=0.11 cores=0,2,4,6
/proc/29290/task/29296/stat : 29296 (java) S 29288 29288 22939 0 -1 1077944384 1862 0 0 0 11 0 0 0 20 0 19 0 445505770 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520150263920 140520681740930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29297] ppid=29288 vsize=15417412 memory=4160 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29297/stat : 29297 (java) S 29288 29288 22939 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445505771 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520149209952 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29298] ppid=29288 vsize=15417412 memory=176576 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29298/stat : 29298 (java) S 29288 29288 22939 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 445505771 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520148157568 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29299] ppid=29288 vsize=15417412 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29299/stat : 29299 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520147105872 140520681748379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29300] ppid=29288 vsize=15417412 memory=6060 CPUtime=1.73 cores=0,2,4,6
/proc/29290/task/29300/stat : 29300 (java) S 29288 29288 22939 0 -1 1077944384 10534 0 0 0 172 1 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520146053744 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29301] ppid=29288 vsize=15417412 memory=1060 CPUtime=1.65 cores=0,2,4,6
/proc/29290/task/29301/stat : 29301 (java) S 29288 29288 22939 0 -1 1077944384 10744 0 0 0 164 1 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520145000944 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29302] ppid=29288 vsize=15417412 memory=2828 CPUtime=0.43 cores=0,2,4,6
/proc/29290/task/29302/stat : 29302 (java) S 29288 29288 22939 0 -1 1077944384 4538 0 0 0 42 1 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520143948656 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29303] ppid=29288 vsize=15417412 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29303/stat : 29303 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520142896096 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29304] ppid=29288 vsize=15417412 memory=984 CPUtime=0.02 cores=0,2,4,6
/proc/29290/task/29304/stat : 29304 (java) S 29288 29288 22939 0 -1 1077944384 548 0 0 0 0 2 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520141842864 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29305] ppid=29288 vsize=15417412 memory=14004 CPUtime=173.36 cores=0,2,4,6
/proc/29290/task/29305/stat : 29305 (java) R 29288 29288 22939 0 -1 4202560 856 0 0 0 17335 1 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520132622936 140520277659450 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29306] ppid=29288 vsize=15417412 memory=25816 CPUtime=173.14 cores=0,2,4,6
/proc/29290/task/29306/stat : 29306 (java) R 29288 29288 22939 0 -1 4202560 2308 0 0 0 17312 2 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520131574384 140520277164202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29307] ppid=29288 vsize=15417412 memory=1452 CPUtime=173.52 cores=0,2,4,6
/proc/29290/task/29307/stat : 29307 (java) R 29288 29288 22939 0 -1 4202560 594 0 0 0 17352 0 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520130518800 140520278311321 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29308] ppid=29288 vsize=15417412 memory=170324 CPUtime=173.72 cores=0,2,4,6
/proc/29290/task/29308/stat : 29308 (java) R 29288 29288 22939 0 -1 4202560 1431 0 0 0 17372 0 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520129470248 140520277164303 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
Current children cumulated CPU time: 698.87 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 178028 KiB
[startup+176.201 s]
/proc/loadavg: 8.25 8.46 7.33 6/234 29401
/proc/meminfo: memFree=26729524/32770624 swapFree=66959728/67108860
[pid=29288] ppid=29285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29288/stat : 29288 (xcsp3-exec) S 29285 29288 22939 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 445505768 115843072 363 33554432000 4194304 5098028 140726846647344 140726846645448 140165470528124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11857920 140726846649211 140726846649453 140726846649453 140726846652362 0
/proc/29288/statm: 28282 363 305 221 0 87 0
[pid=29290] ppid=29288 vsize=15417412 memory=176576 CPUtime=699.63 cores=0,2,4,6
/proc/29290/stat : 29290 (java) S 29288 29288 22939 0 -1 1077944320 49884 0 0 0 69943 20 0 0 20 0 19 0 445505768 15787429888 44144 33554432000 4194304 4196468 140728431504096 140728431486640 140520681729783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
/proc/29290/statm: 3854353 44144 3519 1 0 3815453 0
[pid=29290/tid=29291] ppid=29288 vsize=15417412 memory=15261432686053804 CPUtime=0.5 cores=0,2,4,6
/proc/29290/task/29291/stat : 29291 (java) S 29288 29288 22939 0 -1 1077944384 9183 0 0 0 46 4 0 0 20 0 19 0 445505768 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520685970560 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29292] ppid=29288 vsize=15417412 memory=1060 CPUtime=0.14 cores=0,2,4,6
/proc/29290/task/29292/stat : 29292 (java) S 29288 29288 22939 0 -1 1077944384 1107 0 0 0 12 2 0 0 20 0 19 0 445505769 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520273734544 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29293] ppid=29288 vsize=15417412 memory=2828 CPUtime=0.14 cores=0,2,4,6
/proc/29290/task/29293/stat : 29293 (java) S 29288 29288 22939 0 -1 1077944384 964 0 0 0 12 2 0 0 20 0 19 0 445505769 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520272681744 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29294] ppid=29288 vsize=15417412 memory=1216 CPUtime=0.14 cores=0,2,4,6
/proc/29290/task/29294/stat : 29294 (java) S 29288 29288 22939 0 -1 1077944384 2405 0 0 0 12 2 0 0 20 0 19 0 445505769 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520271629456 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29295] ppid=29288 vsize=15417412 memory=984 CPUtime=0.14 cores=0,2,4,6
/proc/29290/task/29295/stat : 29295 (java) S 29288 29288 22939 0 -1 1077944384 1426 0 0 0 11 3 0 0 20 0 19 0 445505769 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520270576656 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29296] ppid=29288 vsize=15417412 memory=14004 CPUtime=0.11 cores=0,2,4,6
/proc/29290/task/29296/stat : 29296 (java) S 29288 29288 22939 0 -1 1077944384 1862 0 0 0 11 0 0 0 20 0 19 0 445505770 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520150263920 140520681740930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29297] ppid=29288 vsize=15417412 memory=25816 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29297/stat : 29297 (java) S 29288 29288 22939 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445505771 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520149209952 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29298] ppid=29288 vsize=15417412 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29298/stat : 29298 (java) S 29288 29288 22939 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 445505771 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520148157568 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29299] ppid=29288 vsize=15417412 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29299/stat : 29299 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520147105872 140520681748379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29300] ppid=29288 vsize=15417412 memory=500 CPUtime=1.73 cores=0,2,4,6
/proc/29290/task/29300/stat : 29300 (java) S 29288 29288 22939 0 -1 1077944384 10534 0 0 0 172 1 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520146053744 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29301] ppid=29288 vsize=15417412 memory=1556 CPUtime=1.65 cores=0,2,4,6
/proc/29290/task/29301/stat : 29301 (java) S 29288 29288 22939 0 -1 1077944384 10744 0 0 0 164 1 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520145000944 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29302] ppid=29288 vsize=15417412 memory=928 CPUtime=0.43 cores=0,2,4,6
/proc/29290/task/29302/stat : 29302 (java) S 29288 29288 22939 0 -1 1077944384 4538 0 0 0 42 1 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520143948656 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29303] ppid=29288 vsize=15417412 memory=928 CPUtime=0 cores=0,2,4,6
/proc/29290/task/29303/stat : 29303 (java) S 29288 29288 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520142896096 140520681739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29304] ppid=29288 vsize=15417412 memory=1772 CPUtime=0.02 cores=0,2,4,6
/proc/29290/task/29304/stat : 29304 (java) S 29288 29288 22939 0 -1 1077944384 548 0 0 0 0 2 0 0 20 0 19 0 445505774 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520141842864 140520681740930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29305] ppid=29288 vsize=15417412 memory=6791534058613427641 CPUtime=173.55 cores=0,2,4,6
/proc/29290/task/29305/stat : 29305 (java) R 29288 29288 22939 0 -1 4202560 856 0 0 0 17354 1 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520132622936 140520278629553 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29306] ppid=29288 vsize=15417412 memory=1128752 CPUtime=173.33 cores=0,2,4,6
/proc/29290/task/29306/stat : 29306 (java) R 29288 29288 22939 0 -1 4202560 2308 0 0 0 17331 2 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520131574384 140520277164004 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29307] ppid=29288 vsize=15417412 memory=6791534058613427641 CPUtime=173.71 cores=0,2,4,6
/proc/29290/task/29307/stat : 29307 (java) R 29288 29288 22939 0 -1 4202560 594 0 0 0 17371 0 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520130518800 140520278310558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
[pid=29290/tid=29308] ppid=29288 vsize=15417412 memory=2580 CPUtime=173.91 cores=0,2,4,6
/proc/29290/task/29308/stat : 29308 (java) R 29288 29288 22939 0 -1 4202560 1431 0 0 0 17391 0 0 0 20 0 19 0 445505820 15787429888 44144 33554432000 4194304 4196468 140728431504096 140520129470248 140520278631074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140728431506415 140728431506586 140728431506586 140728431509455 0
Current children cumulated CPU time: 699.63 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 178028 KiB
[startup+176.301 s]*
/proc/loadavg: 8.25 8.46 7.33 4/214 29401
/proc/meminfo: memFree=26803440/32770624 swapFree=66959728/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 176.311
CPU time (s): 700.022
CPU user time (s): 699.807
CPU system time (s): 0.214722
CPU usage (%): 397.037
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 211724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 699.807
system time used= 0.214722
maximum resident set size= 213856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10253
involuntary context switches= 13145
# summary of solver processes directly reported to runsolver:
# pid: 29288
# total CPU time (s): 700.022
# total CPU user time (s): 699.807
# total CPU system time (s): 0.214722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2217 second user time and 1.8442 second system time
The end