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 (15293 MiB free)
memory of node 1: 16384 MiB (12705 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399414-1568695243/watcher-4399414-1568695243 -o /tmp/evaluation-result-4399414-1568695243/solver-4399414-1568695243 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21537 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1754099093 HOME/instance-4399414-1568695243.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23371, runsolver pid=23368
[startup+0.100173 s]*
/proc/loadavg: 8.14 8.30 7.20 7/233 23387
/proc/meminfo: memFree=28655208/32770624 swapFree=66976992/67108860
[pid=23371] ppid=23368 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23371/stat : 23371 (xcsp3-exec) S 23368 23371 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445786960 115843072 362 33554432000 4194304 5098028 140734548458384 140734548456488 139648350634620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18284544 140734548460410 140734548460653 140734548460653 140734548463562 0
/proc/23371/statm: 28282 362 304 221 0 87 0
[pid=23373] ppid=23371 vsize=15144776 memory=28944 CPUtime=0.13 cores=0,2,4,6
/proc/23373/stat : 23373 (java) S 23371 23371 21506 0 -1 1077944320 5651 0 0 0 12 1 0 0 20 0 15 0 445786960 15508250624 7236 33554432000 4194304 4196468 140732076636144 140732076618688 140140279066359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
/proc/23373/statm: 3786194 7236 3159 1 0 3748377 0
[pid=23373/tid=23374] ppid=23371 vsize=15144776 memory=7682489639022458387 CPUtime=0.09 cores=0,2,4,6
/proc/23373/task/23374/stat : 23374 (java) R 23371 23371 21506 0 -1 4202560 3572 0 0 0 9 0 0 0 20 0 15 0 445786961 15508250624 7236 33554432000 4194304 4196468 140732076636144 140140283289360 140140279078294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23375] ppid=23371 vsize=15144776 memory=3472468669230019792 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23375/stat : 23375 (java) S 23371 23371 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445786961 15508250624 7236 33554432000 4194304 4196468 140732076636144 140140231686672 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23376] ppid=23371 vsize=15144776 memory=140540334868096 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23376/stat : 23376 (java) S 23371 23371 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445786961 15508250624 7236 33554432000 4194304 4196468 140732076636144 140140230634128 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23377] ppid=23371 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23377/stat : 23377 (java) S 23371 23371 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445786961 15508250624 7236 33554432000 4194304 4196468 140732076636144 140140229581072 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23378] ppid=23371 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23378/stat : 23378 (java) S 23371 23371 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445786961 15508250624 7236 33554432000 4194304 4196468 140732076636144 140140228528528 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23379] ppid=23371 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23379/stat : 23379 (java) S 23371 23371 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445786963 15508250624 7236 33554432000 4194304 4196468 140732076636144 140139747592944 140140279077506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23380] ppid=23371 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23380/stat : 23380 (java) S 23371 23371 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445786963 15508250624 7236 33554432000 4194304 4196468 140732076636144 140139746539168 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23381] ppid=23371 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23381/stat : 23381 (java) S 23371 23371 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445786964 15508250624 7236 33554432000 4194304 4196468 140732076636144 140139745486064 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23382] ppid=23371 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23382/stat : 23382 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445786966 15508250624 7236 33554432000 4194304 4196468 140732076636144 140139744434640 140140279084955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23383] ppid=23371 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23383/stat : 23383 (java) R 23371 23371 21506 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 445786966 15508250624 7236 33554432000 4194304 4196468 140732076636144 140139743381840 140140279076565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23384] ppid=23371 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23384/stat : 23384 (java) R 23371 23371 21506 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 15 0 445786966 15508250624 7236 33554432000 4194304 4196468 140732076636144 140139742320704 140140260418672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23385] ppid=23371 vsize=15144776 memory=140540334868096 CPUtime=0.02 cores=0,2,4,6
/proc/23373/task/23385/stat : 23385 (java) R 23371 23371 21506 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 445786966 15508250624 7236 33554432000 4194304 4196468 140732076636144 140139741276144 140140279078294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23386] ppid=23371 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23386/stat : 23386 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445786966 15508250624 7236 33554432000 4194304 4196468 140732076636144 140139740223840 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23387] ppid=23371 vsize=15144776 memory=140540334868096 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23387/stat : 23387 (java) S 23371 23371 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445786966 15508250624 7236 33554432000 4194304 4196468 140732076636144 140139739171888 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30392 KiB
[startup+0.210811 s]*
/proc/loadavg: 8.14 8.30 7.20 7/233 23387
/proc/meminfo: memFree=28642092/32770624 swapFree=66976992/67108860
[pid=23371] ppid=23368 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23371/stat : 23371 (xcsp3-exec) S 23368 23371 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445786960 115843072 362 33554432000 4194304 5098028 140734548458384 140734548456488 139648350634620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18284544 140734548460410 140734548460653 140734548460653 140734548463562 0
/proc/23371/statm: 28282 362 304 221 0 87 0
[pid=23373] ppid=23371 vsize=15144776 memory=41016 CPUtime=0.34 cores=0,2,4,6
/proc/23373/stat : 23373 (java) S 23371 23371 21506 0 -1 1077944320 9482 0 0 0 31 3 0 0 20 0 15 0 445786960 15508250624 10254 33554432000 4194304 4196468 140732076636144 140732076618688 140140279066359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
/proc/23373/statm: 3786194 10254 3306 1 0 3748377 0
[pid=23373/tid=23374] ppid=23371 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=0,2,4,6
/proc/23373/task/23374/stat : 23374 (java) R 23371 23371 21506 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 15 0 445786961 15508250624 10254 33554432000 4194304 4196468 140732076636144 140140283300480 140140279078294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23375] ppid=23371 vsize=15144776 memory=3472468669230019792 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23375/stat : 23375 (java) S 23371 23371 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445786961 15508250624 10254 33554432000 4194304 4196468 140732076636144 140140231686672 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23376] ppid=23371 vsize=15144776 memory=140540334868096 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23376/stat : 23376 (java) S 23371 23371 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445786961 15508250624 10254 33554432000 4194304 4196468 140732076636144 140140230634128 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23377] ppid=23371 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23377/stat : 23377 (java) S 23371 23371 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445786961 15508250624 10254 33554432000 4194304 4196468 140732076636144 140140229581072 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23378] ppid=23371 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23378/stat : 23378 (java) S 23371 23371 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445786961 15508250624 10254 33554432000 4194304 4196468 140732076636144 140140228528528 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23379] ppid=23371 vsize=15144776 memory=140540334868096 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23379/stat : 23379 (java) S 23371 23371 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445786963 15508250624 10254 33554432000 4194304 4196468 140732076636144 140139747592944 140140279077506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23380] ppid=23371 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23380/stat : 23380 (java) S 23371 23371 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445786963 15508250624 10254 33554432000 4194304 4196468 140732076636144 140139746539168 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23381] ppid=23371 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23381/stat : 23381 (java) S 23371 23371 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445786964 15508250624 10254 33554432000 4194304 4196468 140732076636144 140139745486064 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23382] ppid=23371 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23382/stat : 23382 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445786966 15508250624 10254 33554432000 4194304 4196468 140732076636144 140139744434640 140140279084955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23383] ppid=23371 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23373/task/23383/stat : 23383 (java) S 23371 23371 21506 0 -1 1077944384 511 0 0 0 3 0 0 0 20 0 15 0 445786966 15508250624 10254 33554432000 4194304 4196468 140732076636144 140139743381744 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23384] ppid=23371 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23373/task/23384/stat : 23384 (java) S 23371 23371 21506 0 -1 1077944384 311 0 0 0 2 0 0 0 20 0 15 0 445786966 15508250624 10254 33554432000 4194304 4196468 140732076636144 140139742329200 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23385] ppid=23371 vsize=15144776 memory=140540334868096 CPUtime=0.08 cores=0,2,4,6
/proc/23373/task/23385/stat : 23385 (java) R 23371 23371 21506 0 -1 4202560 756 0 0 0 8 0 0 0 20 0 15 0 445786966 15508250624 10254 33554432000 4194304 4196468 140732076636144 140139741276144 140140257778968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23386] ppid=23371 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23386/stat : 23386 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445786966 15508250624 10254 33554432000 4194304 4196468 140732076636144 140139740223840 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23387] ppid=23371 vsize=15144776 memory=140540334868096 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23387/stat : 23387 (java) S 23371 23371 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445786966 15508250624 10254 33554432000 4194304 4196468 140732076636144 140139739171888 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42464 KiB
[startup+0.312475 s]*
/proc/loadavg: 8.14 8.30 7.20 9/233 23387
/proc/meminfo: memFree=28634200/32770624 swapFree=66976992/67108860
[pid=23371] ppid=23368 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23371/stat : 23371 (xcsp3-exec) S 23368 23371 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445786960 115843072 362 33554432000 4194304 5098028 140734548458384 140734548456488 139648350634620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18284544 140734548460410 140734548460653 140734548460653 140734548463562 0
/proc/23371/statm: 28282 362 304 221 0 87 0
[pid=23373] ppid=23371 vsize=15149032 memory=50040 CPUtime=0.53 cores=0,2,4,6
/proc/23373/stat : 23373 (java) S 23371 23371 21506 0 -1 1077944320 10872 0 0 0 50 3 0 0 20 0 15 0 445786960 15512608768 12510 33554432000 4194304 4196468 140732076636144 140732076618688 140140279066359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
/proc/23373/statm: 3787258 12510 3369 1 0 3748377 0
[pid=23373/tid=23374] ppid=23371 vsize=15149032 memory=-8439527450518781933 CPUtime=0.29 cores=0,2,4,6
/proc/23373/task/23374/stat : 23374 (java) R 23371 23371 21506 0 -1 4202560 7775 0 0 0 27 2 0 0 20 0 15 0 445786961 15512608768 12510 33554432000 4194304 4196468 140732076636144 140140283297472 140140263146846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23375] ppid=23371 vsize=15149032 memory=3472468669230019792 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23375/stat : 23375 (java) S 23371 23371 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445786961 15512608768 12510 33554432000 4194304 4196468 140732076636144 140140231686672 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23376] ppid=23371 vsize=15149032 memory=281080523274624 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23376/stat : 23376 (java) S 23371 23371 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445786961 15512608768 12510 33554432000 4194304 4196468 140732076636144 140140230634128 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23377] ppid=23371 vsize=15149032 memory=281080376845344 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23377/stat : 23377 (java) S 23371 23371 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445786961 15512608768 12510 33554432000 4194304 4196468 140732076636144 140140229581072 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23378] ppid=23371 vsize=15149032 memory=140540188406543 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23378/stat : 23378 (java) S 23371 23371 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445786961 15512608768 12510 33554432000 4194304 4196468 140732076636144 140140228528528 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23379] ppid=23371 vsize=15149032 memory=281080523281536 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23379/stat : 23379 (java) S 23371 23371 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445786963 15512608768 12510 33554432000 4194304 4196468 140732076636144 140139747592944 140140279077506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23380] ppid=23371 vsize=15149032 memory=140540188411151 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23380/stat : 23380 (java) S 23371 23371 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445786963 15512608768 12510 33554432000 4194304 4196468 140732076636144 140139746539168 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23381] ppid=23371 vsize=15149032 memory=140540188434994 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23381/stat : 23381 (java) S 23371 23371 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445786964 15512608768 12510 33554432000 4194304 4196468 140732076636144 140139745486064 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23382] ppid=23371 vsize=15149032 memory=140540188439018 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23382/stat : 23382 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445786966 15512608768 12510 33554432000 4194304 4196468 140732076636144 140139744434640 140140279084955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23383] ppid=23371 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/23373/task/23383/stat : 23383 (java) R 23371 23371 21506 0 -1 4202560 618 0 0 0 5 0 0 0 20 0 15 0 445786966 15512608768 12510 33554432000 4194304 4196468 140732076636144 140139743372128 140140260587768 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23384] ppid=23371 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/23373/task/23384/stat : 23384 (java) S 23371 23371 21506 0 -1 1077944384 339 0 0 0 4 0 0 0 20 0 15 0 445786966 15512608768 12510 33554432000 4194304 4196468 140732076636144 140139742329200 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23385] ppid=23371 vsize=15149032 memory=140540334868096 CPUtime=0.12 cores=0,2,4,6
/proc/23373/task/23385/stat : 23385 (java) S 23371 23371 21506 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 15 0 445786966 15512608768 12510 33554432000 4194304 4196468 140732076636144 140139741276144 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23386] ppid=23371 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23386/stat : 23386 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445786966 15512608768 12510 33554432000 4194304 4196468 140732076636144 140139740223840 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23387] ppid=23371 vsize=15149032 memory=140540334869544 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23387/stat : 23387 (java) S 23371 23371 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445786966 15512608768 12510 33554432000 4194304 4196468 140732076636144 140139739171888 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51488 KiB
[startup+0.700819 s]
/proc/loadavg: 8.14 8.30 7.20 10/233 23387
/proc/meminfo: memFree=28605704/32770624 swapFree=66976992/67108860
[pid=23371] ppid=23368 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23371/stat : 23371 (xcsp3-exec) S 23368 23371 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445786960 115843072 362 33554432000 4194304 5098028 140734548458384 140734548456488 139648350634620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18284544 140734548460410 140734548460653 140734548460653 140734548463562 0
/proc/23371/statm: 28282 362 304 221 0 87 0
[pid=23373] ppid=23371 vsize=15151156 memory=117108 CPUtime=1.76 cores=0,2,4,6
/proc/23373/stat : 23373 (java) S 23371 23371 21506 0 -1 1077944320 15342 0 0 0 170 6 0 0 20 0 15 0 445786960 15514783744 29277 33554432000 4194304 4196468 140732076636144 140732076618688 140140279066359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
/proc/23373/statm: 3787789 29277 3452 1 0 3748889 0
[pid=23373/tid=23374] ppid=23371 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/23373/task/23374/stat : 23374 (java) R 23371 23371 21506 0 -1 4202560 8556 0 0 0 63 4 0 0 20 0 15 0 445786961 15514783744 29277 33554432000 4194304 4196468 140732076636144 140140283302984 140139904667761 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23375] ppid=23371 vsize=15151156 memory=128 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23375/stat : 23375 (java) S 23371 23371 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445786961 15514783744 29277 33554432000 4194304 4196468 140732076636144 140140231686672 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23376] ppid=23371 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23376/stat : 23376 (java) S 23371 23371 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445786961 15514783744 29277 33554432000 4194304 4196468 140732076636144 140140230634128 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23377] ppid=23371 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23377/stat : 23377 (java) S 23371 23371 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445786961 15514783744 29277 33554432000 4194304 4196468 140732076636144 140140229581072 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23378] ppid=23371 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23378/stat : 23378 (java) S 23371 23371 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445786961 15514783744 29277 33554432000 4194304 4196468 140732076636144 140140228528528 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23379] ppid=23371 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23379/stat : 23379 (java) S 23371 23371 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445786963 15514783744 29277 33554432000 4194304 4196468 140732076636144 140139747592944 140140279077506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23380] ppid=23371 vsize=15151156 memory=756 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23380/stat : 23380 (java) S 23371 23371 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445786963 15514783744 29277 33554432000 4194304 4196468 140732076636144 140139746539168 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23381] ppid=23371 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23381/stat : 23381 (java) S 23371 23371 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445786964 15514783744 29277 33554432000 4194304 4196468 140732076636144 140139745486064 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23382] ppid=23371 vsize=15151156 memory=7872 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23382/stat : 23382 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445786966 15514783744 29277 33554432000 4194304 4196468 140732076636144 140139744434640 140140279084955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23383] ppid=23371 vsize=15151156 memory=1164 CPUtime=0.34 cores=0,2,4,6
/proc/23373/task/23383/stat : 23383 (java) R 23371 23371 21506 0 -1 4202560 2128 0 0 0 34 0 0 0 20 0 15 0 445786966 15514783744 29277 33554432000 4194304 4196468 140732076636144 140139743362760 140140262451250 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23384] ppid=23371 vsize=15151156 memory=9448 CPUtime=0.35 cores=0,2,4,6
/proc/23373/task/23384/stat : 23384 (java) R 23371 23371 21506 0 -1 4202560 1408 0 0 0 35 0 0 0 20 0 15 0 445786966 15514783744 29277 33554432000 4194304 4196468 140732076636144 140139742328384 140140258562937 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23385] ppid=23371 vsize=15151156 memory=14008 CPUtime=0.36 cores=0,2,4,6
/proc/23373/task/23385/stat : 23385 (java) S 23371 23371 21506 0 -1 1077944384 1943 0 0 0 36 0 0 0 20 0 15 0 445786966 15514783744 29277 33554432000 4194304 4196468 140732076636144 140139741276144 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23386] ppid=23371 vsize=15151156 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23386/stat : 23386 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445786966 15514783744 29277 33554432000 4194304 4196468 140732076636144 140139740223840 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23387] ppid=23371 vsize=15151156 memory=11976 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23387/stat : 23387 (java) S 23371 23371 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445786966 15514783744 29277 33554432000 4194304 4196468 140732076636144 140139739171888 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 118556 KiB
[startup+1.50076 s]
/proc/loadavg: 8.14 8.30 7.20 8/233 23387
/proc/meminfo: memFree=28506860/32770624 swapFree=66976992/67108860
[pid=23371] ppid=23368 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23371/stat : 23371 (xcsp3-exec) S 23368 23371 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445786960 115843072 362 33554432000 4194304 5098028 140734548458384 140734548456488 139648350634620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18284544 140734548460410 140734548460653 140734548460653 140734548463562 0
/proc/23371/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23373/stat : 23373 (java) S 23371 23371 21506 0 -1 1077944320 78992 0 0 0 207592 71 0 0 20 0 19 0 445786960 15787429888 312382 33554432000 4194304 4196468 140732076636144 140732076618688 140140279066359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
/proc/23373/statm: 3854353 312382 3533 1 0 3815453 0
[pid=23373/tid=23374] ppid=23371 vsize=15417412 memory=1249528 CPUtime=1.45 cores=0,2,4,6
/proc/23373/task/23374/stat : 23374 (java) S 23371 23371 21506 0 -1 1077944384 10451 0 0 0 139 6 0 0 20 0 19 0 445786961 15787429888 312382 33554432000 4194304 4196468 140732076636144 140140283307136 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23375] ppid=23371 vsize=15417412 memory=1249528 CPUtime=0.26 cores=0,2,4,6
/proc/23373/task/23375/stat : 23375 (java) S 23371 23371 21506 0 -1 1077944384 1133 0 0 0 20 6 0 0 20 0 19 0 445786961 15787429888 312382 33554432000 4194304 4196468 140732076636144 140140231686672 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23376] ppid=23371 vsize=15417412 memory=1249528 CPUtime=0.26 cores=0,2,4,6
/proc/23373/task/23376/stat : 23376 (java) S 23371 23371 21506 0 -1 1077944384 533 0 0 0 20 6 0 0 20 0 19 0 445786961 15787429888 312382 33554432000 4194304 4196468 140732076636144 140140230634128 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23377] ppid=23371 vsize=15417412 memory=1249528 CPUtime=0.27 cores=0,2,4,6
/proc/23373/task/23377/stat : 23377 (java) S 23371 23371 21506 0 -1 1077944384 1369 0 0 0 21 6 0 0 20 0 19 0 445786961 15787429888 312382 33554432000 4194304 4196468 140732076636144 140140229581072 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23378] ppid=23371 vsize=15417412 memory=1249528 CPUtime=0.28 cores=0,2,4,6
/proc/23373/task/23378/stat : 23378 (java) S 23371 23371 21506 0 -1 1077944384 2097 0 0 0 21 7 0 0 20 0 19 0 445786961 15787429888 312382 33554432000 4194304 4196468 140732076636144 140140228528528 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23379] ppid=23371 vsize=15417412 memory=1448 CPUtime=0.04 cores=0,2,4,6
/proc/23373/task/23379/stat : 23379 (java) S 23371 23371 21506 0 -1 1077944384 2488 0 0 0 2 2 0 0 20 0 19 0 445786963 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139747592944 140140279077506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23380] ppid=23371 vsize=15417412 memory=984 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23380/stat : 23380 (java) S 23371 23371 21506 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445786963 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139746539168 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23381] ppid=23371 vsize=15417412 memory=281080377062336 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23381/stat : 23381 (java) S 23371 23371 21506 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 445786964 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139745486064 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23382] ppid=23371 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23382/stat : 23382 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445786966 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139744434640 140140279084955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23383] ppid=23371 vsize=15417412 memory=1448 CPUtime=3.05 cores=0,2,4,6
/proc/23373/task/23383/stat : 23383 (java) S 23371 23371 21506 0 -1 1077944384 17040 0 0 0 303 2 0 0 20 0 19 0 445786966 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139743381744 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23384] ppid=23371 vsize=15417412 memory=1448 CPUtime=2.59 cores=0,2,4,6
/proc/23373/task/23384/stat : 23384 (java) S 23371 23371 21506 0 -1 1077944384 15299 0 0 0 257 2 0 0 20 0 19 0 445786966 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139742329200 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23385] ppid=23371 vsize=15417412 memory=1164 CPUtime=0.9 cores=0,2,4,6
/proc/23373/task/23385/stat : 23385 (java) S 23371 23371 21506 0 -1 1077944384 12138 0 0 0 89 1 0 0 20 0 19 0 445786966 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139741276144 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23386] ppid=23371 vsize=15417412 memory=9448 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23386/stat : 23386 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445786966 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139740223840 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23387] ppid=23371 vsize=15417412 memory=1448 CPUtime=0.26 cores=0,2,4,6
/proc/23373/task/23387/stat : 23387 (java) S 23371 23371 21506 0 -1 1077944384 770 0 0 0 23 3 0 0 20 0 19 0 445786966 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139739171888 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23388] ppid=23371 vsize=15417412 memory=1448 CPUtime=519.4 cores=0,2,4,6
/proc/23373/task/23388/stat : 23388 (java) R 23371 23371 21506 0 -1 4202560 1738 0 0 0 51940 0 0 0 20 0 19 0 445787121 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139729952120 140139907492773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23389] ppid=23371 vsize=15417412 memory=1448 CPUtime=518.55 cores=0,2,4,6
/proc/23373/task/23389/stat : 23389 (java) R 23371 23371 21506 0 -1 4202560 9345 0 0 0 51830 25 0 0 20 0 19 0 445787121 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139728900184 140139908570323 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23390] ppid=23371 vsize=15417412 memory=1448 CPUtime=511.6 cores=0,2,4,6
/proc/23373/task/23390/stat : 23390 (java) R 23371 23371 21506 0 -1 4202560 1307 0 0 0 51159 1 0 0 20 0 19 0 445787121 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139727847496 140139907492797 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23391] ppid=23371 vsize=15417412 memory=51052 CPUtime=517.6 cores=0,2,4,6
/proc/23373/task/23391/stat : 23391 (java) R 23371 23371 21506 0 -1 4202560 1929 0 0 0 51757 3 0 0 20 0 19 0 445787121 15787429888 312382 33554432000 4194304 4196468 140732076636144 140139726794096 140139907492818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
Current children cumulated CPU time: 2076.63 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1250976 KiB
[startup+582.302 s]
/proc/loadavg: 7.49 8.16 7.71 6/233 23839
/proc/meminfo: memFree=22867700/32770624 swapFree=66976992/67108860
[pid=23371] ppid=23368 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23371/stat : 23371 (xcsp3-exec) S 23368 23371 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445786960 115843072 362 33554432000 4194304 5098028 140734548458384 140734548456488 139648350634620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18284544 140734548460410 140734548460653 140734548460653 140734548463562 0
/proc/23371/statm: 28282 362 304 221 0 87 0
[pid=23373] ppid=23371 vsize=15417412 memory=1257900 CPUtime=2315.39 cores=0,2,4,6
/proc/23373/stat : 23373 (java) S 23371 23371 21506 0 -1 1077944320 82948 0 0 0 231463 76 0 0 20 0 19 0 445786960 15787429888 314475 33554432000 4194304 4196468 140732076636144 140732076618688 140140279066359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
/proc/23373/statm: 3854353 314475 3533 1 0 3815453 0
[pid=23373/tid=23374] ppid=23371 vsize=15417412 memory=1257900 CPUtime=1.45 cores=0,2,4,6
/proc/23373/task/23374/stat : 23374 (java) S 23371 23371 21506 0 -1 1077944384 10451 0 0 0 139 6 0 0 20 0 19 0 445786961 15787429888 314475 33554432000 4194304 4196468 140732076636144 140140283307136 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23375] ppid=23371 vsize=15417412 memory=1249708 CPUtime=0.27 cores=0,2,4,6
/proc/23373/task/23375/stat : 23375 (java) S 23371 23371 21506 0 -1 1077944384 1154 0 0 0 21 6 0 0 20 0 19 0 445786961 15787429888 314475 33554432000 4194304 4196468 140732076636144 140140231686672 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23376] ppid=23371 vsize=15417412 memory=1448 CPUtime=0.27 cores=0,2,4,6
/proc/23373/task/23376/stat : 23376 (java) S 23371 23371 21506 0 -1 1077944384 991 0 0 0 21 6 0 0 20 0 19 0 445786961 15787429888 314475 33554432000 4194304 4196468 140732076636144 140140230634128 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23377] ppid=23371 vsize=15417412 memory=1448 CPUtime=0.28 cores=0,2,4,6
/proc/23373/task/23377/stat : 23377 (java) S 23371 23371 21506 0 -1 1077944384 1412 0 0 0 22 6 0 0 20 0 19 0 445786961 15787429888 314475 33554432000 4194304 4196468 140732076636144 140140229581072 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23378] ppid=23371 vsize=15417412 memory=1249708 CPUtime=0.29 cores=0,2,4,6
/proc/23373/task/23378/stat : 23378 (java) S 23371 23371 21506 0 -1 1077944384 2120 0 0 0 22 7 0 0 20 0 19 0 445786961 15787429888 314475 33554432000 4194304 4196468 140732076636144 140140228528528 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23379] ppid=23371 vsize=15417412 memory=1448 CPUtime=0.04 cores=0,2,4,6
/proc/23373/task/23379/stat : 23379 (java) S 23371 23371 21506 0 -1 1077944384 2696 0 0 0 2 2 0 0 20 0 19 0 445786963 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139747592944 140140279077506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23380] ppid=23371 vsize=15417412 memory=1249708 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23380/stat : 23380 (java) S 23371 23371 21506 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445786963 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139746539168 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23381] ppid=23371 vsize=15417412 memory=1249708 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23381/stat : 23381 (java) S 23371 23371 21506 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 445786964 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139745486064 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23382] ppid=23371 vsize=15417412 memory=1249708 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23382/stat : 23382 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445786966 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139744434640 140140279084955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23383] ppid=23371 vsize=15417412 memory=1257900 CPUtime=3.12 cores=0,2,4,6
/proc/23373/task/23383/stat : 23383 (java) S 23371 23371 21506 0 -1 1077944384 18571 0 0 0 310 2 0 0 20 0 19 0 445786966 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139743381744 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23384] ppid=23371 vsize=15417412 memory=0 CPUtime=2.6 cores=0,2,4,6
/proc/23373/task/23384/stat : 23384 (java) S 23371 23371 21506 0 -1 1077944384 15978 0 0 0 258 2 0 0 20 0 19 0 445786966 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139742329200 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23385] ppid=23371 vsize=15417412 memory=1257900 CPUtime=0.9 cores=0,2,4,6
/proc/23373/task/23385/stat : 23385 (java) S 23371 23371 21506 0 -1 1077944384 12147 0 0 0 89 1 0 0 20 0 19 0 445786966 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139741276144 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23386] ppid=23371 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23386/stat : 23386 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445786966 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139740223840 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23387] ppid=23371 vsize=15417412 memory=1249708 CPUtime=0.29 cores=0,2,4,6
/proc/23373/task/23387/stat : 23387 (java) S 23371 23371 21506 0 -1 1077944384 795 0 0 0 26 3 0 0 20 0 19 0 445786966 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139739171888 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23388] ppid=23371 vsize=15417412 memory=1249708 CPUtime=578.76 cores=0,2,4,6
/proc/23373/task/23388/stat : 23388 (java) R 23371 23371 21506 0 -1 4202560 1761 0 0 0 57876 0 0 0 20 0 19 0 445787121 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139729952120 140139908570276 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23389] ppid=23371 vsize=15417412 memory=1448 CPUtime=578.35 cores=0,2,4,6
/proc/23373/task/23389/stat : 23389 (java) R 23371 23371 21506 0 -1 4202560 10118 0 0 0 57807 28 0 0 20 0 19 0 445787121 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139728902880 140139907943212 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23390] ppid=23371 vsize=15417412 memory=1448 CPUtime=571.08 cores=0,2,4,6
/proc/23373/task/23390/stat : 23390 (java) R 23371 23371 21506 0 -1 4202560 1321 0 0 0 57107 1 0 0 20 0 19 0 445787121 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139727847592 140139908817870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23391] ppid=23371 vsize=15417412 memory=1448 CPUtime=577.55 cores=0,2,4,6
/proc/23373/task/23391/stat : 23391 (java) R 23371 23371 21506 0 -1 4202560 2078 0 0 0 57752 3 0 0 20 0 19 0 445787121 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139726794576 140139908570252 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
Current children cumulated CPU time: 2315.39 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1259348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.802 s]
/proc/loadavg: 8.03 8.17 7.73 9/238 23855
/proc/meminfo: memFree=19980116/32770624 swapFree=66976996/67108860
[pid=23371] ppid=23368 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23371/stat : 23371 (xcsp3-exec) S 23368 23371 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445786960 115843072 362 33554432000 4194304 5098028 140734548458384 140734548456488 139648350634620 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18284544 140734548460410 140734548460653 140734548460653 140734548463562 0
/proc/23371/statm: 28282 362 304 221 0 87 0
[pid=23373] ppid=23371 vsize=15417412 memory=1257900 CPUtime=2520.24 cores=0,2,4,6
/proc/23373/stat : 23373 (java) S 23371 23371 21506 0 -1 1077944320 85248 0 0 0 251947 77 0 0 20 0 19 0 445786960 15787429888 314475 33554432000 4194304 4196468 140732076636144 140732076618688 140140279066359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
/proc/23373/statm: 3854353 314475 3533 1 0 3815453 0
[pid=23373/tid=23374] ppid=23371 vsize=15417412 memory=804 CPUtime=1.45 cores=0,2,4,6
/proc/23373/task/23374/stat : 23374 (java) S 23371 23371 21506 0 -1 1077944384 10451 0 0 0 139 6 0 0 20 0 19 0 445786961 15787429888 314475 33554432000 4194304 4196468 140732076636144 140140283307136 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23375] ppid=23371 vsize=15417412 memory=4104 CPUtime=0.27 cores=0,2,4,6
/proc/23373/task/23375/stat : 23375 (java) S 23371 23371 21506 0 -1 1077944384 1154 0 0 0 21 6 0 0 20 0 19 0 445786961 15787429888 314475 33554432000 4194304 4196468 140732076636144 140140231686672 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23376] ppid=23371 vsize=15417412 memory=1804 CPUtime=0.27 cores=0,2,4,6
/proc/23373/task/23376/stat : 23376 (java) S 23371 23371 21506 0 -1 1077944384 991 0 0 0 21 6 0 0 20 0 19 0 445786961 15787429888 314475 33554432000 4194304 4196468 140732076636144 140140230634128 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23377] ppid=23371 vsize=15417412 memory=920 CPUtime=0.28 cores=0,2,4,6
/proc/23373/task/23377/stat : 23377 (java) S 23371 23371 21506 0 -1 1077944384 1412 0 0 0 22 6 0 0 20 0 19 0 445786961 15787429888 314475 33554432000 4194304 4196468 140732076636144 140140229581072 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23378] ppid=23371 vsize=15417412 memory=-3622645143214314312 CPUtime=0.29 cores=0,2,4,6
/proc/23373/task/23378/stat : 23378 (java) S 23371 23371 21506 0 -1 1077944384 2120 0 0 0 22 7 0 0 20 0 19 0 445786961 15787429888 314475 33554432000 4194304 4196468 140732076636144 140140228528528 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23379] ppid=23371 vsize=15417412 memory=2592 CPUtime=0.04 cores=0,2,4,6
/proc/23373/task/23379/stat : 23379 (java) S 23371 23371 21506 0 -1 1077944384 2705 0 0 0 2 2 0 0 20 0 19 0 445786963 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139747592944 140140279077506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23380] ppid=23371 vsize=15417412 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23380/stat : 23380 (java) S 23371 23371 21506 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445786963 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139746539168 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23381] ppid=23371 vsize=15417412 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23381/stat : 23381 (java) S 23371 23371 21506 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 445786964 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139745486064 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23382] ppid=23371 vsize=15417412 memory=3436 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23382/stat : 23382 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445786966 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139744434640 140140279084955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23383] ppid=23371 vsize=15417412 memory=6791534058613427641 CPUtime=3.12 cores=0,2,4,6
/proc/23373/task/23383/stat : 23383 (java) S 23371 23371 21506 0 -1 1077944384 18574 0 0 0 310 2 0 0 20 0 19 0 445786966 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139743381744 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23384] ppid=23371 vsize=15417412 memory=1412 CPUtime=2.6 cores=0,2,4,6
/proc/23373/task/23384/stat : 23384 (java) S 23371 23371 21506 0 -1 1077944384 15986 0 0 0 258 2 0 0 20 0 19 0 445786966 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139742329200 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23385] ppid=23371 vsize=15417412 memory=1448 CPUtime=0.9 cores=0,2,4,6
/proc/23373/task/23385/stat : 23385 (java) S 23371 23371 21506 0 -1 1077944384 12898 0 0 0 89 1 0 0 20 0 19 0 445786966 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139741276144 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23386] ppid=23371 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23373/task/23386/stat : 23386 (java) S 23371 23371 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445786966 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139740223840 140140279076565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23387] ppid=23371 vsize=15417412 memory=1257900 CPUtime=0.33 cores=0,2,4,6
/proc/23373/task/23387/stat : 23387 (java) S 23371 23371 21506 0 -1 1077944384 830 0 0 0 30 3 0 0 20 0 19 0 445786966 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139739171888 140140279077506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23388] ppid=23371 vsize=15417412 memory=-3622645143214314312 CPUtime=629.75 cores=0,2,4,6
/proc/23373/task/23388/stat : 23388 (java) R 23371 23371 21506 0 -1 4202560 1845 0 0 0 62975 0 0 0 20 0 19 0 445787121 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139729952120 140139908570252 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23389] ppid=23371 vsize=15417412 memory=512 CPUtime=629.68 cores=0,2,4,6
/proc/23373/task/23389/stat : 23389 (java) R 23371 23371 21506 0 -1 4202560 11327 0 0 0 62939 29 0 0 20 0 19 0 445787121 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139728901112 140139908817886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23390] ppid=23371 vsize=15417412 memory=1564 CPUtime=622.13 cores=0,2,4,6
/proc/23373/task/23390/stat : 23390 (java) R 23371 23371 21506 0 -1 4202560 1378 0 0 0 62212 1 0 0 20 0 19 0 445787121 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139727847592 140139901850076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
[pid=23373/tid=23391] ppid=23371 vsize=15417412 memory=928 CPUtime=628.99 cores=0,2,4,6
/proc/23373/task/23391/stat : 23391 (java) R 23371 23371 21506 0 -1 4202560 2222 0 0 0 62896 3 0 0 20 0 19 0 445787121 15787429888 314475 33554432000 4194304 4196468 140732076636144 140139726794576 140139908570252 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10805248 140732076639215 140732076639386 140732076639386 140732076642255 0
Current children cumulated CPU time: 2520.24 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1259348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.836 s]
# the end of solver process 23371 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001175 s, system=0.001175 s
[startup+633.885 s]
# the end of solver process 23373 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.77 s, system=0.782409 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.885
CPU time (s): 2520.55
CPU user time (s): 2519.77
CPU system time (s): 0.782409
CPU usage (%): 397.635
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1259348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.77
system time used= 0.782409
maximum resident set size= 1258448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17228
involuntary context switches= 43538
# summary of solver processes directly reported to runsolver:
# pid: 23371,23373
# total CPU time (s): 2520.55
# total CPU user time (s): 2519.77
# total CPU system time (s): 0.782409
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.29874 second user time and 8.00122 second system time
The end