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 (14564 MiB free)
memory of node 1: 16384 MiB (15514 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399084-1568689813/watcher-4399084-1568689813 -o /tmp/evaluation-result-4399084-1568689813/solver-4399084-1568689813 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 512237355 HOME/instance-4399084-1568689813.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23610, runsolver pid=23607
[startup+0.100079 s]*
/proc/loadavg: 9.51 8.91 8.59 8/233 23626
/proc/meminfo: memFree=30782900/32770624 swapFree=66997372/67108860
[pid=23610] ppid=23607 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23610/stat : 23610 (xcsp3-exec) S 23607 23610 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445234321 115843072 362 33554432000 4194304 5098028 140730191425104 140730191423208 140090120483452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28635136 140730191430523 140730191430765 140730191430765 140730191433674 0
/proc/23610/statm: 28282 362 304 221 0 87 0
[pid=23612] ppid=23610 vsize=15144776 memory=29788 CPUtime=0.13 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23610 14983 0 -1 1077944320 5941 0 0 0 11 2 0 0 20 0 15 0 445234321 15508250624 7447 33554432000 4194304 4196468 140726693336640 140726693319184 139802929450743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
/proc/23612/statm: 3786194 7447 3122 1 0 3748377 0
[pid=23612/tid=23613] ppid=23610 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) R 23610 23610 14983 0 -1 4202560 3833 0 0 0 8 1 0 0 20 0 15 0 445234321 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802933680928 139802921687870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23614] ppid=23610 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23614/stat : 23614 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234322 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802865687184 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23615] ppid=23610 vsize=15144776 memory=139979207009920 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234322 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802864634384 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23616] ppid=23610 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234322 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802519853456 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23617] ppid=23610 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23610 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445234322 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802518800656 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23618] ppid=23610 vsize=15144776 memory=139979207009920 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23610 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445234323 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802465205104 139802929461890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23619] ppid=23610 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23610 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445234324 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802464151072 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23620] ppid=23610 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23610 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 445234324 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802463098224 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23621] ppid=23610 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445234326 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802462046544 139802929469339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23622] ppid=23610 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) S 23610 23610 14983 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 445234326 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802393438576 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23623] ppid=23610 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) R 23610 23610 14983 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445234326 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802392385776 139802929461890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23624] ppid=23610 vsize=15144776 memory=139979207009920 CPUtime=0.02 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) R 23610 23610 14983 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 445234326 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802391332976 139802929472090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23625] ppid=23610 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445234327 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802390280416 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23626] ppid=23610 vsize=15144776 memory=139979207009920 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234327 15508250624 7513 33554432000 4194304 4196468 140726693336640 139802389228720 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31236 KiB
[startup+0.210857 s]*
/proc/loadavg: 9.51 8.91 8.59 7/233 23626
/proc/meminfo: memFree=30770292/32770624 swapFree=66997372/67108860
[pid=23610] ppid=23607 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23610/stat : 23610 (xcsp3-exec) S 23607 23610 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445234321 115843072 362 33554432000 4194304 5098028 140730191425104 140730191423208 140090120483452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28635136 140730191430523 140730191430765 140730191430765 140730191433674 0
/proc/23610/statm: 28282 362 304 221 0 87 0
[pid=23612] ppid=23610 vsize=15144776 memory=40892 CPUtime=0.34 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23610 14983 0 -1 1077944320 9461 0 0 0 31 3 0 0 20 0 15 0 445234321 15508250624 10223 33554432000 4194304 4196468 140726693336640 140726693319184 139802929450743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
/proc/23612/statm: 3786194 10223 3284 1 0 3748377 0
[pid=23612/tid=23613] ppid=23610 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) R 23610 23610 14983 0 -1 4202560 6665 0 0 0 18 2 0 0 20 0 15 0 445234321 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802933688208 139802913531230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23614] ppid=23610 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23614/stat : 23614 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234322 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802865687184 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23615] ppid=23610 vsize=15144776 memory=288370355358721664 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234322 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802864634384 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23616] ppid=23610 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234322 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802519853456 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23617] ppid=23610 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23610 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445234322 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802518800656 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23618] ppid=23610 vsize=15144776 memory=139979207009920 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23610 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445234323 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802465205104 139802929461890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23619] ppid=23610 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23610 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445234324 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802464151072 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23620] ppid=23610 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23610 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 445234324 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802463098224 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23621] ppid=23610 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445234326 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802462046544 139802929469339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23622] ppid=23610 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) S 23610 23610 14983 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 445234326 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802393438576 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23623] ppid=23610 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) S 23610 23610 14983 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 15 0 445234326 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802392385776 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23624] ppid=23610 vsize=15144776 memory=139979207009920 CPUtime=0.08 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) S 23610 23610 14983 0 -1 1077944384 757 0 0 0 8 0 0 0 20 0 15 0 445234326 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802391332976 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23625] ppid=23610 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445234327 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802390280416 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23626] ppid=23610 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234327 15508250624 10223 33554432000 4194304 4196468 140726693336640 139802389228720 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42340 KiB
[startup+0.316495 s]*
/proc/loadavg: 9.51 8.91 8.59 7/233 23626
/proc/meminfo: memFree=30763136/32770624 swapFree=66997372/67108860
[pid=23610] ppid=23607 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23610/stat : 23610 (xcsp3-exec) S 23607 23610 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445234321 115843072 362 33554432000 4194304 5098028 140730191425104 140730191423208 140090120483452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28635136 140730191430523 140730191430765 140730191430765 140730191433674 0
/proc/23610/statm: 28282 362 304 221 0 87 0
[pid=23612] ppid=23610 vsize=15149032 memory=50532 CPUtime=0.53 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23610 14983 0 -1 1077944320 10959 0 0 0 49 4 0 0 20 0 15 0 445234321 15512608768 12633 33554432000 4194304 4196468 140726693336640 140726693319184 139802929450743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
/proc/23612/statm: 3787258 12633 3353 1 0 3748377 0
[pid=23612/tid=23613] ppid=23610 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) R 23610 23610 14983 0 -1 4202560 7925 0 0 0 28 3 0 0 20 0 15 0 445234321 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802933684800 139802913531230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23614] ppid=23610 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23614/stat : 23614 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234322 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802865687184 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23615] ppid=23610 vsize=15149032 memory=288230376155270553 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234322 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802864634384 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23616] ppid=23610 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234322 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802519853456 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23617] ppid=23610 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23610 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445234322 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802518800656 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23618] ppid=23610 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23610 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445234323 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802465205104 139802929461890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23619] ppid=23610 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23610 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445234324 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802464151072 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23620] ppid=23610 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23610 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 445234324 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802463098224 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23621] ppid=23610 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445234326 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802462046544 139802929469339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23622] ppid=23610 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) S 23610 23610 14983 0 -1 1077944384 486 0 0 0 4 0 0 0 20 0 15 0 445234326 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802393438576 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23623] ppid=23610 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) S 23610 23610 14983 0 -1 1077944384 373 0 0 0 3 0 0 0 20 0 15 0 445234326 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802392385776 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23624] ppid=23610 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) S 23610 23610 14983 0 -1 1077944384 881 0 0 0 12 0 0 0 20 0 15 0 445234326 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802391332976 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23625] ppid=23610 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445234327 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802390280416 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23626] ppid=23610 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234327 15512608768 12633 33554432000 4194304 4196468 140726693336640 139802389228720 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51980 KiB
[startup+0.701255 s]
/proc/loadavg: 9.51 8.91 8.59 8/233 23626
/proc/meminfo: memFree=30749092/32770624 swapFree=66997372/67108860
[pid=23610] ppid=23607 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23610/stat : 23610 (xcsp3-exec) S 23607 23610 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445234321 115843072 362 33554432000 4194304 5098028 140730191425104 140730191423208 140090120483452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28635136 140730191430523 140730191430765 140730191430765 140730191433674 0
/proc/23610/statm: 28282 362 304 221 0 87 0
[pid=23612] ppid=23610 vsize=15151156 memory=88116 CPUtime=1.62 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23610 14983 0 -1 1077944320 15196 0 0 0 156 6 0 0 20 0 15 0 445234321 15514783744 22029 33554432000 4194304 4196468 140726693336640 140726693319184 139802929450743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
/proc/23612/statm: 3787789 22029 3453 1 0 3748889 0
[pid=23612/tid=23613] ppid=23610 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) R 23610 23610 14983 0 -1 4202560 9235 0 0 0 64 4 0 0 20 0 15 0 445234321 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802933687040 139802549202232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23614] ppid=23610 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23614/stat : 23614 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234322 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802865687184 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23615] ppid=23610 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234322 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802864634384 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23616] ppid=23610 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234322 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802519853456 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23617] ppid=23610 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23610 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445234322 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802518800656 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23618] ppid=23610 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23610 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445234323 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802465205104 139802929461890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23619] ppid=23610 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23610 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445234324 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802464151072 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23620] ppid=23610 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23610 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 445234324 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802463098224 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23621] ppid=23610 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445234326 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802462046544 139802929469339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23622] ppid=23610 vsize=15151156 memory=1764 CPUtime=0.26 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) R 23610 23610 14983 0 -1 4202560 1519 0 0 0 26 0 0 0 20 0 15 0 445234326 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802393424600 139802921740192 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23623] ppid=23610 vsize=15151156 memory=111628 CPUtime=0.23 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) R 23610 23610 14983 0 -1 4202560 950 0 0 0 23 0 0 0 20 0 15 0 445234326 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802392372592 139802929462678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23624] ppid=23610 vsize=15151156 memory=796 CPUtime=0.42 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) R 23610 23610 14983 0 -1 4202560 2187 0 0 0 42 0 0 0 20 0 15 0 445234326 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802391328352 139802929472090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23625] ppid=23610 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445234327 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802390280416 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23626] ppid=23610 vsize=15151156 memory=920 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23610 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445234327 15514783744 22029 33554432000 4194304 4196468 140726693336640 139802389228720 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 89564 KiB
[startup+1.50088 s]
/proc/loadavg: 9.51 8.91 8.59 12/237 23630
/proc/meminfo: memFree=30675872/32770624 swapFree=66997372/67108860
[pid=23610] ppid=23607 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23610/stat : 23610 (xcsp3-exec) S 23607 23610 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445234321 115843072 362 33554432000 4194304 5098028 140730191425104 140730191423208 140090120483452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28635136 140730191430523 140730191430765 140730191430765 140730191433674 0
/proc/23610/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23612/stat : 23612 (java) S 23610 23610 14983 0 -1 1077944320 82451 0 0 0 207754 24 0 0 20 0 19 0 445234321 15789527040 63686 33554432000 4194304 4196468 140726693336640 140726693319184 139802929450743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
/proc/23612/statm: 3854865 63686 3531 1 0 3815965 0
[pid=23612/tid=23613] ppid=23610 vsize=15419460 memory=254744 CPUtime=0.87 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) S 23610 23610 14983 0 -1 1077944384 9325 0 0 0 83 4 0 0 20 0 19 0 445234321 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802933691520 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23614] ppid=23610 vsize=15419460 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/23612/task/23614/stat : 23614 (java) S 23610 23610 14983 0 -1 1077944384 2870 0 0 0 8 2 0 0 20 0 19 0 445234322 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802865687184 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23615] ppid=23610 vsize=15419460 memory=254744 CPUtime=0.11 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23610 14983 0 -1 1077944384 2086 0 0 0 10 1 0 0 20 0 19 0 445234322 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802864634384 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23616] ppid=23610 vsize=15419460 memory=254744 CPUtime=0.12 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23610 14983 0 -1 1077944384 1594 0 0 0 10 2 0 0 20 0 19 0 445234322 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802519853456 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23617] ppid=23610 vsize=15419460 memory=254744 CPUtime=0.12 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23610 14983 0 -1 1077944384 3255 0 0 0 10 2 0 0 20 0 19 0 445234322 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802518800656 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23618] ppid=23610 vsize=15419460 memory=1448 CPUtime=0.04 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23610 14983 0 -1 1077944384 2012 0 0 0 3 1 0 0 20 0 19 0 445234323 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802465205104 139802929461890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23619] ppid=23610 vsize=15419460 memory=254744 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23610 14983 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 445234324 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802464151136 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23620] ppid=23610 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23610 14983 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 19 0 445234324 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802463098240 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23621] ppid=23610 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445234326 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802462046544 139802929469339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23622] ppid=23610 vsize=15419460 memory=1448 CPUtime=3.52 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) S 23610 23610 14983 0 -1 1077944384 21712 0 0 0 350 2 0 0 20 0 19 0 445234326 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802393438576 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23623] ppid=23610 vsize=15419460 memory=1448 CPUtime=3.24 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) S 23610 23610 14983 0 -1 1077944384 17601 0 0 0 323 1 0 0 20 0 19 0 445234326 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802392385776 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23624] ppid=23610 vsize=15419460 memory=288230574492221466 CPUtime=0.85 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) S 23610 23610 14983 0 -1 1077944384 9914 0 0 0 84 1 0 0 20 0 19 0 445234326 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802391332976 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23625] ppid=23610 vsize=15419460 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445234327 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802390280416 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23626] ppid=23610 vsize=15419460 memory=1448 CPUtime=0.08 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23610 14983 0 -1 1077944384 878 0 0 0 0 8 0 0 20 0 19 0 445234327 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802389228720 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23627] ppid=23610 vsize=15419460 memory=1448 CPUtime=516.72 cores=1,3,5,7
/proc/23612/task/23627/stat : 23627 (java) R 23610 23610 14983 0 -1 4202560 972 0 0 0 51672 0 0 0 20 0 19 0 445234410 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802380246000 139802553680422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23628] ppid=23610 vsize=15419460 memory=254744 CPUtime=518.46 cores=1,3,5,7
/proc/23612/task/23628/stat : 23628 (java) R 23610 23610 14983 0 -1 4202560 4513 0 0 0 51844 2 0 0 20 0 19 0 445234410 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802379196704 139802553681334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23629] ppid=23610 vsize=15419460 memory=6791534058613427641 CPUtime=516.02 cores=1,3,5,7
/proc/23612/task/23629/stat : 23629 (java) R 23610 23610 14983 0 -1 4202560 1573 0 0 0 51602 0 0 0 20 0 19 0 445234410 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802378141848 139802553681334 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23630] ppid=23610 vsize=15419460 memory=254744 CPUtime=517.42 cores=1,3,5,7
/proc/23612/task/23630/stat : 23630 (java) R 23610 23610 14983 0 -1 4202560 2705 0 0 0 51741 1 0 0 20 0 19 0 445234410 15789527040 63686 33554432000 4194304 4196468 140726693336640 139802377089048 139802553681194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
Current children cumulated CPU time: 2077.78 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 256192 KiB
[startup+582.302 s]
/proc/loadavg: 8.27 8.52 8.55 9/237 23764
/proc/meminfo: memFree=27117244/32770624 swapFree=66997372/67108860
[pid=23610] ppid=23607 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23610/stat : 23610 (xcsp3-exec) S 23607 23610 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445234321 115843072 362 33554432000 4194304 5098028 140730191425104 140730191423208 140090120483452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28635136 140730191430523 140730191430765 140730191430765 140730191433674 0
/proc/23610/statm: 28282 362 304 221 0 87 0
[pid=23612] ppid=23610 vsize=15419460 memory=246536 CPUtime=2316.68 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23610 14983 0 -1 1077944320 83452 0 0 0 231644 24 0 0 20 0 19 0 445234321 15789527040 61634 33554432000 4194304 4196468 140726693336640 140726693319184 139802929450743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
/proc/23612/statm: 3854865 61634 3531 1 0 3815965 0
[pid=23612/tid=23613] ppid=23610 vsize=15419460 memory=246536 CPUtime=0.87 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) S 23610 23610 14983 0 -1 1077944384 9325 0 0 0 83 4 0 0 20 0 19 0 445234321 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802933691520 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23614] ppid=23610 vsize=15419460 memory=246536 CPUtime=0.1 cores=1,3,5,7
/proc/23612/task/23614/stat : 23614 (java) S 23610 23610 14983 0 -1 1077944384 2898 0 0 0 8 2 0 0 20 0 19 0 445234322 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802865687184 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23615] ppid=23610 vsize=15419460 memory=254744 CPUtime=0.11 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23610 14983 0 -1 1077944384 2110 0 0 0 10 1 0 0 20 0 19 0 445234322 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802864634384 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23616] ppid=23610 vsize=15419460 memory=254744 CPUtime=0.12 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23610 14983 0 -1 1077944384 1611 0 0 0 10 2 0 0 20 0 19 0 445234322 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802519853456 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23617] ppid=23610 vsize=15419460 memory=254744 CPUtime=0.12 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23610 14983 0 -1 1077944384 3769 0 0 0 10 2 0 0 20 0 19 0 445234322 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802518800656 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23618] ppid=23610 vsize=15419460 memory=251152 CPUtime=0.05 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23610 14983 0 -1 1077944384 2265 0 0 0 3 2 0 0 20 0 19 0 445234323 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802465205104 139802929461890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23619] ppid=23610 vsize=15419460 memory=246536 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23610 14983 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 445234324 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802464151136 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23620] ppid=23610 vsize=15419460 memory=246536 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23610 14983 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 19 0 445234324 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802463098240 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23621] ppid=23610 vsize=15419460 memory=246536 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445234326 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802462046544 139802929469339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23622] ppid=23610 vsize=15419460 memory=1448 CPUtime=3.52 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) S 23610 23610 14983 0 -1 1077944384 21712 0 0 0 350 2 0 0 20 0 19 0 445234326 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802393438576 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23623] ppid=23610 vsize=15419460 memory=246536 CPUtime=3.24 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) S 23610 23610 14983 0 -1 1077944384 17601 0 0 0 323 1 0 0 20 0 19 0 445234326 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802392385776 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23624] ppid=23610 vsize=15419460 memory=1448 CPUtime=0.85 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) S 23610 23610 14983 0 -1 1077944384 9914 0 0 0 84 1 0 0 20 0 19 0 445234326 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802391332976 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23625] ppid=23610 vsize=15419460 memory=251152 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445234327 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802390280416 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23626] ppid=23610 vsize=15419460 memory=1448 CPUtime=0.09 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23610 14983 0 -1 1077944384 882 0 0 0 0 9 0 0 20 0 19 0 445234327 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802389228720 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23627] ppid=23610 vsize=15419460 memory=1448 CPUtime=576.68 cores=1,3,5,7
/proc/23612/task/23627/stat : 23627 (java) R 23610 23610 14983 0 -1 4202560 990 0 0 0 57668 0 0 0 20 0 19 0 445234410 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802380246000 139802553681334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23628] ppid=23610 vsize=15419460 memory=1448 CPUtime=578.07 cores=1,3,5,7
/proc/23612/task/23628/stat : 23628 (java) R 23610 23610 14983 0 -1 4202560 4564 0 0 0 57805 2 0 0 20 0 19 0 445234410 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802379196704 139802553680974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23629] ppid=23610 vsize=15419460 memory=246536 CPUtime=575.59 cores=1,3,5,7
/proc/23612/task/23629/stat : 23629 (java) R 23610 23610 14983 0 -1 4202560 1610 0 0 0 57559 0 0 0 20 0 19 0 445234410 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802378141848 139802553680538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23630] ppid=23610 vsize=15419460 memory=1004 CPUtime=577.17 cores=1,3,5,7
/proc/23612/task/23630/stat : 23630 (java) R 23610 23610 14983 0 -1 4202560 2760 0 0 0 57716 1 0 0 20 0 19 0 445234410 15789527040 61634 33554432000 4194304 4196468 140726693336640 139802377089048 139802553680995 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
Current children cumulated CPU time: 2316.68 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 247984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.401 s]
/proc/loadavg: 8.23 8.47 8.53 9/237 23768
/proc/meminfo: memFree=27150236/32770624 swapFree=66997372/67108860
[pid=23610] ppid=23607 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23610/stat : 23610 (xcsp3-exec) S 23607 23610 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445234321 115843072 362 33554432000 4194304 5098028 140730191425104 140730191423208 140090120483452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28635136 140730191430523 140730191430765 140730191430765 140730191433674 0
/proc/23610/statm: 28282 362 304 221 0 87 0
[pid=23612] ppid=23610 vsize=15419460 memory=257156 CPUtime=2520.14 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23610 14983 0 -1 1077944320 84827 0 0 0 251989 25 0 0 20 0 19 0 445234321 15789527040 64289 33554432000 4194304 4196468 140726693336640 140726693319184 139802929450743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
/proc/23612/statm: 3854865 64289 3531 1 0 3815965 0
[pid=23612/tid=23613] ppid=23610 vsize=15419460 memory=14410423571057304 CPUtime=0.87 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) S 23610 23610 14983 0 -1 1077944384 9325 0 0 0 83 4 0 0 20 0 19 0 445234321 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802933691520 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23614] ppid=23610 vsize=15419460 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/23612/task/23614/stat : 23614 (java) S 23610 23610 14983 0 -1 1077944384 2898 0 0 0 8 2 0 0 20 0 19 0 445234322 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802865687184 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23615] ppid=23610 vsize=15419460 memory=920 CPUtime=0.11 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23610 14983 0 -1 1077944384 2110 0 0 0 10 1 0 0 20 0 19 0 445234322 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802864634384 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23616] ppid=23610 vsize=15419460 memory=3844 CPUtime=0.13 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23610 14983 0 -1 1077944384 1611 0 0 0 11 2 0 0 20 0 19 0 445234322 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802519853456 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23617] ppid=23610 vsize=15419460 memory=2596 CPUtime=0.12 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23610 14983 0 -1 1077944384 3770 0 0 0 10 2 0 0 20 0 19 0 445234322 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802518800656 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23618] ppid=23610 vsize=15419460 memory=2596 CPUtime=0.05 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23610 14983 0 -1 1077944384 2275 0 0 0 3 2 0 0 20 0 19 0 445234323 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802465205104 139802929461890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23619] ppid=23610 vsize=15419460 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23610 14983 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 445234324 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802464151136 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23620] ppid=23610 vsize=15419460 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23610 14983 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 19 0 445234324 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802463098240 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23621] ppid=23610 vsize=15419460 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445234326 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802462046544 139802929469339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23622] ppid=23610 vsize=15419460 memory=1448 CPUtime=3.52 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) S 23610 23610 14983 0 -1 1077944384 21720 0 0 0 350 2 0 0 20 0 19 0 445234326 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802393438576 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23623] ppid=23610 vsize=15419460 memory=6036 CPUtime=3.24 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) S 23610 23610 14983 0 -1 1077944384 17603 0 0 0 323 1 0 0 20 0 19 0 445234326 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802392385776 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23624] ppid=23610 vsize=15419460 memory=14008 CPUtime=0.86 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) S 23610 23610 14983 0 -1 1077944384 10855 0 0 0 85 1 0 0 20 0 19 0 445234326 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802391332976 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23625] ppid=23610 vsize=15419460 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23610 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445234327 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802390280416 139802929460949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23626] ppid=23610 vsize=15419460 memory=8560 CPUtime=0.09 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23610 14983 0 -1 1077944384 911 0 0 0 0 9 0 0 20 0 19 0 445234327 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802389228720 139802929461890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23627] ppid=23610 vsize=15419460 memory=1668 CPUtime=627.75 cores=1,3,5,7
/proc/23612/task/23627/stat : 23627 (java) R 23610 23610 14983 0 -1 4202560 1036 0 0 0 62775 0 0 0 20 0 19 0 445234410 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802380246248 139802553681343 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23628] ppid=23610 vsize=15419460 memory=1112 CPUtime=629.15 cores=1,3,5,7
/proc/23612/task/23628/stat : 23628 (java) R 23610 23610 14983 0 -1 4202560 4727 0 0 0 62913 2 0 0 20 0 19 0 445234410 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802379194648 139802553613645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23629] ppid=23610 vsize=15419460 memory=1004 CPUtime=626.27 cores=1,3,5,7
/proc/23612/task/23629/stat : 23629 (java) R 23610 23610 14983 0 -1 4202560 1711 0 0 0 62627 0 0 0 20 0 19 0 445234410 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802378144080 139802553153211 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
[pid=23612/tid=23630] ppid=23610 vsize=15419460 memory=288230574492221466 CPUtime=627.75 cores=1,3,5,7
/proc/23612/task/23630/stat : 23630 (java) R 23610 23610 14983 0 -1 4202560 2834 0 0 0 62774 1 0 0 20 0 19 0 445234410 15789527040 64289 33554432000 4194304 4196468 140726693336640 139802377088800 139802553681186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32489472 140726693340143 140726693340314 140726693340314 140726693343183 0
Current children cumulated CPU time: 2520.14 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 258604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.433 s]
# the end of solver process 23610 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001106 s, system=0.001106 s
[startup+633.504 s]
# the end of solver process 23612 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.28 s, system=0.256623 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 633.504
CPU time (s): 2520.54
CPU user time (s): 2520.28
CPU system time (s): 0.256623
CPU usage (%): 397.873
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 286940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.28
system time used= 0.256623
maximum resident set size= 286488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17338
involuntary context switches= 47936
# summary of solver processes directly reported to runsolver:
# pid: 23610,23612
# total CPU time (s): 2520.54
# total CPU user time (s): 2520.28
# total CPU system time (s): 0.256623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.92038 second user time and 7.00177 second system time
The end