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 (15252 MiB free)
memory of node 1: 16384 MiB (15305 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400614-1568680876/watcher-4400614-1568680876 -o /tmp/evaluation-result-4400614-1568680876/solver-4400614-1568680876 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1131842052 HOME/instance-4400614-1568680876.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13527, runsolver pid=13524
Current StackSize limit: 8192 KiB
[startup+0.100643 s]*
/proc/loadavg: 9.01 8.71 8.58 7/234 13543
/proc/meminfo: memFree=31275804/32770624 swapFree=66997372/67108860
[pid=13527] ppid=13524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13527/stat : 13527 (xcsp3-exec) S 13524 13527 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444340713 115843072 363 33554432000 4194304 5098028 140732469560528 140732469558632 140366983406204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25092096 140732469564282 140732469564525 140732469564525 140732469567434 0
/proc/13527/statm: 28282 363 304 221 0 87 0
[pid=13529] ppid=13527 vsize=15144776 memory=28956 CPUtime=0.12 cores=0,2,4,6
/proc/13529/stat : 13529 (java) S 13527 13527 32513 0 -1 1077944320 5642 0 0 0 10 2 0 0 20 0 15 0 444340713 15508250624 7239 33554432000 4194304 4196468 140720864267920 140720864250464 140059286879991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
/proc/13529/statm: 3786194 7239 3150 1 0 3748377 0
[pid=13529/tid=13530] ppid=13527 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/13529/task/13530/stat : 13530 (java) R 13527 13527 32513 0 -1 4202560 3565 0 0 0 8 1 0 0 20 0 15 0 444340714 15508250624 7239 33554432000 4194304 4196468 140720864267920 140059291112768 140058900436449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13531] ppid=13527 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13531/stat : 13531 (java) S 13527 13527 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444340715 15508250624 7239 33554432000 4194304 4196468 140720864267920 140059223116816 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13532] ppid=13527 vsize=15144776 memory=140197122184832 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13532/stat : 13532 (java) S 13527 13527 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444340715 15508250624 7239 33554432000 4194304 4196468 140720864267920 140059222064272 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13533] ppid=13527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13533/stat : 13533 (java) S 13527 13527 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444340715 15508250624 7239 33554432000 4194304 4196468 140720864267920 140059221011216 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13534] ppid=13527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13534/stat : 13534 (java) S 13527 13527 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444340715 15508250624 7239 33554432000 4194304 4196468 140720864267920 140058875714448 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13535] ppid=13527 vsize=15144776 memory=140197122184832 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13535/stat : 13535 (java) S 13527 13527 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444340716 15508250624 7239 33554432000 4194304 4196468 140720864267920 140058822736112 140059286891138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13536] ppid=13527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13536/stat : 13536 (java) S 13527 13527 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444340716 15508250624 7239 33554432000 4194304 4196468 140720864267920 140058821682336 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13537] ppid=13527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13537/stat : 13537 (java) S 13527 13527 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444340717 15508250624 7239 33554432000 4194304 4196468 140720864267920 140058820629232 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13538] ppid=13527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13538/stat : 13538 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444340719 15508250624 7239 33554432000 4194304 4196468 140720864267920 140058819577808 140059286898587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13539] ppid=13527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13539/stat : 13539 (java) S 13527 13527 32513 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 444340719 15508250624 7239 33554432000 4194304 4196468 140720864267920 140058818525936 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13540] ppid=13527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13540/stat : 13540 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444340719 15508250624 7239 33554432000 4194304 4196468 140720864267920 140058817473392 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13541] ppid=13527 vsize=15144776 memory=140197122184832 CPUtime=0.01 cores=0,2,4,6
/proc/13529/task/13541/stat : 13541 (java) R 13527 13527 32513 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 15 0 444340719 15508250624 7239 33554432000 4194304 4196468 140720864267920 140058749299184 140059286891926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13542] ppid=13527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13542/stat : 13542 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444340719 15508250624 7239 33554432000 4194304 4196468 140720864267920 140058748246880 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13543] ppid=13527 vsize=15144776 memory=140197122184832 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13543/stat : 13543 (java) S 13527 13527 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444340720 15508250624 7239 33554432000 4194304 4196468 140720864267920 140058747193904 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30408 KiB
[startup+0.210801 s]*
/proc/loadavg: 9.01 8.71 8.58 6/234 13543
/proc/meminfo: memFree=31265756/32770624 swapFree=66997372/67108860
[pid=13527] ppid=13524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13527/stat : 13527 (xcsp3-exec) S 13524 13527 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444340713 115843072 363 33554432000 4194304 5098028 140732469560528 140732469558632 140366983406204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25092096 140732469564282 140732469564525 140732469564525 140732469567434 0
/proc/13527/statm: 28282 363 304 221 0 87 0
[pid=13529] ppid=13527 vsize=15144776 memory=41196 CPUtime=0.34 cores=0,2,4,6
/proc/13529/stat : 13529 (java) S 13527 13527 32513 0 -1 1077944320 9467 0 0 0 30 4 0 0 20 0 15 0 444340713 15508250624 10299 33554432000 4194304 4196468 140720864267920 140720864250464 140059286879991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
/proc/13529/statm: 3786194 10299 3320 1 0 3748377 0
[pid=13529/tid=13530] ppid=13527 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/13529/task/13530/stat : 13530 (java) R 13527 13527 32513 0 -1 4202560 6614 0 0 0 17 3 0 0 20 0 15 0 444340714 15508250624 10299 33554432000 4194304 4196468 140720864267920 140059291109712 140059265957456 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13531] ppid=13527 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13531/stat : 13531 (java) S 13527 13527 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444340715 15508250624 10299 33554432000 4194304 4196468 140720864267920 140059223116816 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13532] ppid=13527 vsize=15144776 memory=140197125650526 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13532/stat : 13532 (java) S 13527 13527 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444340715 15508250624 10299 33554432000 4194304 4196468 140720864267920 140059222064272 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13533] ppid=13527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13533/stat : 13533 (java) S 13527 13527 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444340715 15508250624 10299 33554432000 4194304 4196468 140720864267920 140059221011216 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13534] ppid=13527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13534/stat : 13534 (java) S 13527 13527 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444340715 15508250624 10299 33554432000 4194304 4196468 140720864267920 140058875714448 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13535] ppid=13527 vsize=15144776 memory=140197122184832 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13535/stat : 13535 (java) S 13527 13527 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444340716 15508250624 10299 33554432000 4194304 4196468 140720864267920 140058822736112 140059286891138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13536] ppid=13527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13536/stat : 13536 (java) S 13527 13527 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444340716 15508250624 10299 33554432000 4194304 4196468 140720864267920 140058821682336 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13537] ppid=13527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13537/stat : 13537 (java) S 13527 13527 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444340717 15508250624 10299 33554432000 4194304 4196468 140720864267920 140058820629232 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13538] ppid=13527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13538/stat : 13538 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444340719 15508250624 10299 33554432000 4194304 4196468 140720864267920 140058819577808 140059286898587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13539] ppid=13527 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13529/task/13539/stat : 13539 (java) S 13527 13527 32513 0 -1 1077944384 734 0 0 0 2 0 0 0 20 0 15 0 444340719 15508250624 10299 33554432000 4194304 4196468 140720864267920 140058818525936 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13540] ppid=13527 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/13529/task/13540/stat : 13540 (java) S 13527 13527 32513 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 15 0 444340719 15508250624 10299 33554432000 4194304 4196468 140720864267920 140058817473392 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13541] ppid=13527 vsize=15144776 memory=140197122184832 CPUtime=0.07 cores=0,2,4,6
/proc/13529/task/13541/stat : 13541 (java) R 13527 13527 32513 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 15 0 444340719 15508250624 10299 33554432000 4194304 4196468 140720864267920 140058749299184 140059286891926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13542] ppid=13527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13542/stat : 13542 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444340719 15508250624 10299 33554432000 4194304 4196468 140720864267920 140058748246880 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13543] ppid=13527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13543/stat : 13543 (java) S 13527 13527 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444340720 15508250624 10299 33554432000 4194304 4196468 140720864267920 140058747193904 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42648 KiB
[startup+0.310759 s]*
/proc/loadavg: 9.01 8.71 8.58 8/234 13543
/proc/meminfo: memFree=31260396/32770624 swapFree=66997372/67108860
[pid=13527] ppid=13524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13527/stat : 13527 (xcsp3-exec) S 13524 13527 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444340713 115843072 363 33554432000 4194304 5098028 140732469560528 140732469558632 140366983406204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25092096 140732469564282 140732469564525 140732469564525 140732469567434 0
/proc/13527/statm: 28282 363 304 221 0 87 0
[pid=13529] ppid=13527 vsize=15149032 memory=49760 CPUtime=0.52 cores=0,2,4,6
/proc/13529/stat : 13529 (java) S 13527 13527 32513 0 -1 1077944320 10725 0 0 0 48 4 0 0 20 0 15 0 444340713 15512608768 12440 33554432000 4194304 4196468 140720864267920 140720864250464 140059286879991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
/proc/13529/statm: 3787258 12440 3362 1 0 3748377 0
[pid=13529/tid=13530] ppid=13527 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=0,2,4,6
/proc/13529/task/13530/stat : 13530 (java) R 13527 13527 32513 0 -1 4202560 7701 0 0 0 27 3 0 0 20 0 15 0 444340714 15512608768 12506 33554432000 4194304 4196468 140720864267920 140059291111104 140059270960478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13531] ppid=13527 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13531/stat : 13531 (java) S 13527 13527 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444340715 15512608768 12506 33554432000 4194304 4196468 140720864267920 140059223116816 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13532] ppid=13527 vsize=15149032 memory=3552617 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13532/stat : 13532 (java) S 13527 13527 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444340715 15512608768 12506 33554432000 4194304 4196468 140720864267920 140059222064272 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13533] ppid=13527 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13533/stat : 13533 (java) S 13527 13527 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444340715 15512608768 12506 33554432000 4194304 4196468 140720864267920 140059221011216 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13534] ppid=13527 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13534/stat : 13534 (java) S 13527 13527 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444340715 15512608768 12506 33554432000 4194304 4196468 140720864267920 140058875714448 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13535] ppid=13527 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13535/stat : 13535 (java) S 13527 13527 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444340716 15512608768 12506 33554432000 4194304 4196468 140720864267920 140058822736112 140059286891138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13536] ppid=13527 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13536/stat : 13536 (java) S 13527 13527 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444340716 15512608768 12506 33554432000 4194304 4196468 140720864267920 140058821682336 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13537] ppid=13527 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13537/stat : 13537 (java) S 13527 13527 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444340717 15512608768 12506 33554432000 4194304 4196468 140720864267920 140058820629232 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13538] ppid=13527 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13538/stat : 13538 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444340719 15512608768 12506 33554432000 4194304 4196468 140720864267920 140058819577808 140059286898587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13539] ppid=13527 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13529/task/13539/stat : 13539 (java) R 13527 13527 32513 0 -1 1077944384 753 0 0 0 4 0 0 0 20 0 15 0 444340719 15512608768 12506 33554432000 4194304 4196468 140720864267920 140058818525936 140059286891138 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13540] ppid=13527 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13529/task/13540/stat : 13540 (java) R 13527 13527 32513 0 -1 4202560 213 0 0 0 4 0 0 0 20 0 15 0 444340719 15512608768 12506 33554432000 4194304 4196468 140720864267920 140058817473392 140059267580288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13541] ppid=13527 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13529/task/13541/stat : 13541 (java) S 13527 13527 32513 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 15 0 444340719 15512608768 12506 33554432000 4194304 4196468 140720864267920 140058749299184 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13542] ppid=13527 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13542/stat : 13542 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444340719 15512608768 12506 33554432000 4194304 4196468 140720864267920 140058748246880 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13543] ppid=13527 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13543/stat : 13543 (java) S 13527 13527 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444340720 15512608768 12544 33554432000 4194304 4196468 140720864267920 140058747193904 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51212 KiB
[startup+0.701681 s]
/proc/loadavg: 9.01 8.71 8.58 8/234 13543
/proc/meminfo: memFree=31229628/32770624 swapFree=66997372/67108860
[pid=13527] ppid=13524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13527/stat : 13527 (xcsp3-exec) S 13524 13527 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444340713 115843072 363 33554432000 4194304 5098028 140732469560528 140732469558632 140366983406204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25092096 140732469564282 140732469564525 140732469564525 140732469567434 0
/proc/13527/statm: 28282 363 304 221 0 87 0
[pid=13529] ppid=13527 vsize=15151156 memory=118116 CPUtime=1.75 cores=0,2,4,6
/proc/13529/stat : 13529 (java) S 13527 13527 32513 0 -1 1077944320 15107 0 0 0 169 6 0 0 20 0 15 0 444340713 15514783744 29529 33554432000 4194304 4196468 140720864267920 140720864250464 140059286879991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
/proc/13529/statm: 3787789 29529 3453 1 0 3748889 0
[pid=13529/tid=13530] ppid=13527 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/13529/task/13530/stat : 13530 (java) R 13527 13527 32513 0 -1 4202560 8487 0 0 0 63 4 0 0 20 0 15 0 444340714 15514783744 29529 33554432000 4194304 4196468 140720864267920 140059291117136 140058901450614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13531] ppid=13527 vsize=15151156 memory=143 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13531/stat : 13531 (java) S 13527 13527 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444340715 15514783744 29529 33554432000 4194304 4196468 140720864267920 140059223116816 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13532] ppid=13527 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13532/stat : 13532 (java) S 13527 13527 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444340715 15514783744 29529 33554432000 4194304 4196468 140720864267920 140059222064272 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13533] ppid=13527 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13533/stat : 13533 (java) S 13527 13527 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444340715 15514783744 29529 33554432000 4194304 4196468 140720864267920 140059221011216 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13534] ppid=13527 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13534/stat : 13534 (java) S 13527 13527 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444340715 15514783744 29529 33554432000 4194304 4196468 140720864267920 140058875714448 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13535] ppid=13527 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13535/stat : 13535 (java) S 13527 13527 32513 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 444340716 15514783744 29529 33554432000 4194304 4196468 140720864267920 140058822736112 140059286891138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13536] ppid=13527 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13536/stat : 13536 (java) S 13527 13527 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444340716 15514783744 29529 33554432000 4194304 4196468 140720864267920 140058821682336 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13537] ppid=13527 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13537/stat : 13537 (java) S 13527 13527 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444340717 15514783744 29529 33554432000 4194304 4196468 140720864267920 140058820629232 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13538] ppid=13527 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13538/stat : 13538 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444340719 15514783744 29529 33554432000 4194304 4196468 140720864267920 140058819577808 140059286898587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13539] ppid=13527 vsize=15151156 memory=1764 CPUtime=0.33 cores=0,2,4,6
/proc/13529/task/13539/stat : 13539 (java) R 13527 13527 32513 0 -1 4202560 1654 0 0 0 33 0 0 0 20 0 15 0 444340719 15514783744 29529 33554432000 4194304 4196468 140720864267920 140058818526064 140059271208204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13540] ppid=13527 vsize=15151156 memory=111628 CPUtime=0.36 cores=0,2,4,6
/proc/13529/task/13540/stat : 13540 (java) R 13527 13527 32513 0 -1 4202560 1737 0 0 0 36 0 0 0 20 0 15 0 444340719 15514783744 29529 33554432000 4194304 4196468 140720864267920 140058817459416 140059268401124 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13541] ppid=13527 vsize=15151156 memory=796 CPUtime=0.35 cores=0,2,4,6
/proc/13529/task/13541/stat : 13541 (java) S 13527 13527 32513 0 -1 1077944384 1921 0 0 0 35 0 0 0 20 0 15 0 444340719 15514783744 29529 33554432000 4194304 4196468 140720864267920 140058749299184 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13542] ppid=13527 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13542/stat : 13542 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444340719 15514783744 29529 33554432000 4194304 4196468 140720864267920 140058748246880 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13543] ppid=13527 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13543/stat : 13543 (java) S 13527 13527 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444340720 15514783744 29529 33554432000 4194304 4196468 140720864267920 140058747193904 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 119568 KiB
[startup+1.50458 s]
/proc/loadavg: 9.01 8.71 8.58 8/234 13543
/proc/meminfo: memFree=31141184/32770624 swapFree=66997372/67108860
[pid=13527] ppid=13524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13527/stat : 13527 (xcsp3-exec) S 13524 13527 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444340713 115843072 363 33554432000 4194304 5098028 140732469560528 140732469558632 140366983406204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25092096 140732469564282 140732469564525 140732469564525 140732469567434 0
/proc/13527/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/13529/stat : 13529 (java) S 13527 13527 32513 0 -1 1077944320 88223 0 0 0 207590 64 0 0 20 0 19 0 444340713 15789527040 311189 33554432000 4194304 4196468 140720864267920 140720864250464 140059286879991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
/proc/13529/statm: 3854865 311189 3529 1 0 3815965 0
[pid=13529/tid=13530] ppid=13527 vsize=15419460 memory=1244756 CPUtime=1.44 cores=0,2,4,6
/proc/13529/task/13530/stat : 13530 (java) S 13527 13527 32513 0 -1 1077944384 10293 0 0 0 139 5 0 0 20 0 19 0 444340714 15789527040 311189 33554432000 4194304 4196468 140720864267920 140059291120768 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13531] ppid=13527 vsize=15419460 memory=1244756 CPUtime=0.28 cores=0,2,4,6
/proc/13529/task/13531/stat : 13531 (java) S 13527 13527 32513 0 -1 1077944384 1213 0 0 0 22 6 0 0 20 0 19 0 444340715 15789527040 311189 33554432000 4194304 4196468 140720864267920 140059223116816 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13532] ppid=13527 vsize=15419460 memory=1244756 CPUtime=0.29 cores=0,2,4,6
/proc/13529/task/13532/stat : 13532 (java) S 13527 13527 32513 0 -1 1077944384 1134 0 0 0 23 6 0 0 20 0 19 0 444340715 15789527040 311189 33554432000 4194304 4196468 140720864267920 140059222064272 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13533] ppid=13527 vsize=15419460 memory=1244756 CPUtime=0.27 cores=0,2,4,6
/proc/13529/task/13533/stat : 13533 (java) S 13527 13527 32513 0 -1 1077944384 1631 0 0 0 21 6 0 0 20 0 19 0 444340715 15789527040 311189 33554432000 4194304 4196468 140720864267920 140059221011216 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13534] ppid=13527 vsize=15419460 memory=1244756 CPUtime=0.27 cores=0,2,4,6
/proc/13529/task/13534/stat : 13534 (java) S 13527 13527 32513 0 -1 1077944384 1704 0 0 0 21 6 0 0 20 0 19 0 444340715 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058875714448 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13535] ppid=13527 vsize=15419460 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/13529/task/13535/stat : 13535 (java) S 13527 13527 32513 0 -1 1077944384 2322 0 0 0 2 2 0 0 20 0 19 0 444340716 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058822736112 140059286891138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13536] ppid=13527 vsize=15419460 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13536/stat : 13536 (java) S 13527 13527 32513 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 444340716 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058821682400 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13537] ppid=13527 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13537/stat : 13537 (java) S 13527 13527 32513 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 444340717 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058820629232 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13538] ppid=13527 vsize=15419460 memory=1244756 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13538/stat : 13538 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444340719 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058819577808 140059286898587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13539] ppid=13527 vsize=15419460 memory=2012 CPUtime=2.53 cores=0,2,4,6
/proc/13529/task/13539/stat : 13539 (java) S 13527 13527 32513 0 -1 1077944384 19381 0 0 0 251 2 0 0 20 0 19 0 444340719 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058818525936 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13540] ppid=13527 vsize=15419460 memory=1388 CPUtime=3.06 cores=0,2,4,6
/proc/13529/task/13540/stat : 13540 (java) S 13527 13527 32513 0 -1 1077944384 18709 0 0 0 304 2 0 0 20 0 19 0 444340719 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058817473392 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13541] ppid=13527 vsize=15419460 memory=1452 CPUtime=0.88 cores=0,2,4,6
/proc/13529/task/13541/stat : 13541 (java) S 13527 13527 32513 0 -1 1077944384 13276 0 0 0 86 2 0 0 20 0 19 0 444340719 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058749299184 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13542] ppid=13527 vsize=15419460 memory=1244756 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13542/stat : 13542 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444340719 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058748246880 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13543] ppid=13527 vsize=15419460 memory=500 CPUtime=0.22 cores=0,2,4,6
/proc/13529/task/13543/stat : 13543 (java) S 13527 13527 32513 0 -1 1077944384 1011 0 0 0 11 11 0 0 20 0 19 0 444340720 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058747193904 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13544] ppid=13527 vsize=15419460 memory=1560 CPUtime=516.58 cores=0,2,4,6
/proc/13529/task/13544/stat : 13544 (java) R 13527 13527 32513 0 -1 4202560 2777 0 0 0 51657 1 0 0 20 0 19 0 444340873 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058737973840 140058908249180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13545] ppid=13527 vsize=15419460 memory=1244756 CPUtime=518.11 cores=0,2,4,6
/proc/13529/task/13545/stat : 13545 (java) R 13527 13527 32513 0 -1 4202560 8962 0 0 0 51790 21 0 0 20 0 19 0 444340873 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058736922920 140058907974511 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13546] ppid=13527 vsize=15419460 memory=3504 CPUtime=515.88 cores=0,2,4,6
/proc/13529/task/13546/stat : 13546 (java) R 13527 13527 32513 0 -1 4202560 1196 0 0 0 51587 1 0 0 20 0 19 0 444340873 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058735869512 140058908249180 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13547] ppid=13527 vsize=15419460 memory=1452 CPUtime=516.57 cores=0,2,4,6
/proc/13529/task/13547/stat : 13547 (java) R 13527 13527 32513 0 -1 4202560 3261 0 0 0 51656 1 0 0 20 0 19 0 444340873 15789527040 311189 33554432000 4194304 4196468 140720864267920 140058734816968 140058908249175 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
Current children cumulated CPU time: 2076.54 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1246208 KiB
[startup+582.302 s]
/proc/loadavg: 8.21 8.46 8.52 9/238 14083
/proc/meminfo: memFree=29222816/32770624 swapFree=66997372/67108860
[pid=13527] ppid=13524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13527/stat : 13527 (xcsp3-exec) S 13524 13527 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444340713 115843072 363 33554432000 4194304 5098028 140732469560528 140732469558632 140366983406204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25092096 140732469564282 140732469564525 140732469564525 140732469567434 0
/proc/13527/statm: 28282 363 304 221 0 87 0
[pid=13529] ppid=13527 vsize=15419460 memory=1244948 CPUtime=2315.32 cores=0,2,4,6
/proc/13529/stat : 13529 (java) S 13527 13527 32513 0 -1 1077944320 89529 0 0 0 231467 65 0 0 20 0 19 0 444340713 15789527040 311237 33554432000 4194304 4196468 140720864267920 140720864250464 140059286879991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
/proc/13529/statm: 3854865 311237 3529 1 0 3815965 0
[pid=13529/tid=13530] ppid=13527 vsize=15419460 memory=1244948 CPUtime=1.44 cores=0,2,4,6
/proc/13529/task/13530/stat : 13530 (java) S 13527 13527 32513 0 -1 1077944384 10293 0 0 0 139 5 0 0 20 0 19 0 444340714 15789527040 311237 33554432000 4194304 4196468 140720864267920 140059291120768 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13531] ppid=13527 vsize=15419460 memory=1244948 CPUtime=0.28 cores=0,2,4,6
/proc/13529/task/13531/stat : 13531 (java) S 13527 13527 32513 0 -1 1077944384 1213 0 0 0 22 6 0 0 20 0 19 0 444340715 15789527040 311237 33554432000 4194304 4196468 140720864267920 140059223116816 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13532] ppid=13527 vsize=15419460 memory=1244948 CPUtime=0.29 cores=0,2,4,6
/proc/13529/task/13532/stat : 13532 (java) S 13527 13527 32513 0 -1 1077944384 1134 0 0 0 23 6 0 0 20 0 19 0 444340715 15789527040 311237 33554432000 4194304 4196468 140720864267920 140059222064272 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13533] ppid=13527 vsize=15419460 memory=1244948 CPUtime=0.27 cores=0,2,4,6
/proc/13529/task/13533/stat : 13533 (java) S 13527 13527 32513 0 -1 1077944384 1631 0 0 0 21 6 0 0 20 0 19 0 444340715 15789527040 311237 33554432000 4194304 4196468 140720864267920 140059221011216 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13534] ppid=13527 vsize=15419460 memory=1244948 CPUtime=0.27 cores=0,2,4,6
/proc/13529/task/13534/stat : 13534 (java) S 13527 13527 32513 0 -1 1077944384 1704 0 0 0 21 6 0 0 20 0 19 0 444340715 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058875714448 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13535] ppid=13527 vsize=15419460 memory=1244948 CPUtime=0.04 cores=0,2,4,6
/proc/13529/task/13535/stat : 13535 (java) S 13527 13527 32513 0 -1 1077944384 2384 0 0 0 2 2 0 0 20 0 19 0 444340716 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058822736112 140059286891138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13536] ppid=13527 vsize=15419460 memory=1244948 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13536/stat : 13536 (java) S 13527 13527 32513 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 444340716 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058821682400 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13537] ppid=13527 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13537/stat : 13537 (java) S 13527 13527 32513 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 444340717 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058820629232 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13538] ppid=13527 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13538/stat : 13538 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444340719 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058819577808 140059286898587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13539] ppid=13527 vsize=15419460 memory=1452 CPUtime=2.54 cores=0,2,4,6
/proc/13529/task/13539/stat : 13539 (java) S 13527 13527 32513 0 -1 1077944384 19531 0 0 0 252 2 0 0 20 0 19 0 444340719 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058818525936 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13540] ppid=13527 vsize=15419460 memory=1244948 CPUtime=3.07 cores=0,2,4,6
/proc/13529/task/13540/stat : 13540 (java) S 13527 13527 32513 0 -1 1077944384 18717 0 0 0 305 2 0 0 20 0 19 0 444340719 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058817473392 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13541] ppid=13527 vsize=15419460 memory=1452 CPUtime=0.88 cores=0,2,4,6
/proc/13529/task/13541/stat : 13541 (java) S 13527 13527 32513 0 -1 1077944384 13280 0 0 0 86 2 0 0 20 0 19 0 444340719 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058749299184 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13542] ppid=13527 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13542/stat : 13542 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444340719 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058748246880 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13543] ppid=13527 vsize=15419460 memory=1244948 CPUtime=0.24 cores=0,2,4,6
/proc/13529/task/13543/stat : 13543 (java) S 13527 13527 32513 0 -1 1077944384 1040 0 0 0 12 12 0 0 20 0 19 0 444340720 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058747193904 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13544] ppid=13527 vsize=15419460 memory=6791534058613427641 CPUtime=576.56 cores=0,2,4,6
/proc/13529/task/13544/stat : 13544 (java) R 13527 13527 32513 0 -1 4202560 2880 0 0 0 57655 1 0 0 20 0 19 0 444340873 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058737973840 140058908249156 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13545] ppid=13527 vsize=15419460 memory=288230596050944315 CPUtime=577.46 cores=0,2,4,6
/proc/13529/task/13545/stat : 13545 (java) R 13527 13527 32513 0 -1 4202560 9650 0 0 0 57724 22 0 0 20 0 19 0 444340873 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058736922136 140058908756861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13546] ppid=13527 vsize=15419460 memory=14410423571057304 CPUtime=575.33 cores=0,2,4,6
/proc/13529/task/13546/stat : 13546 (java) R 13527 13527 32513 0 -1 4202560 1304 0 0 0 57532 1 0 0 20 0 19 0 444340873 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058735869592 140058907285050 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13547] ppid=13527 vsize=15419460 memory=1244948 CPUtime=576.54 cores=0,2,4,6
/proc/13529/task/13547/stat : 13547 (java) R 13527 13527 32513 0 -1 4202560 3415 0 0 0 57652 2 0 0 20 0 19 0 444340873 15789527040 311237 33554432000 4194304 4196468 140720864267920 140058734817384 140058908249156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
Current children cumulated CPU time: 2315.32 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1246400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.602 s]
/proc/loadavg: 8.15 8.43 8.51 9/238 14093
/proc/meminfo: memFree=29218916/32770624 swapFree=66997372/67108860
[pid=13527] ppid=13524 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13527/stat : 13527 (xcsp3-exec) S 13524 13527 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444340713 115843072 363 33554432000 4194304 5098028 140732469560528 140732469558632 140366983406204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25092096 140732469564282 140732469564525 140732469564525 140732469567434 0
/proc/13527/statm: 28282 363 304 221 0 87 0
[pid=13529] ppid=13527 vsize=15419460 memory=1253140 CPUtime=2400.02 cores=0,2,4,6
/proc/13529/stat : 13529 (java) S 13527 13527 32513 0 -1 1077944320 92077 0 0 0 239936 66 0 0 20 0 19 0 444340713 15789527040 313285 33554432000 4194304 4196468 140720864267920 140720864250464 140059286879991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
/proc/13529/statm: 3854865 313285 3529 1 0 3815965 0
[pid=13529/tid=13530] ppid=13527 vsize=15419460 memory=6791534058613427641 CPUtime=1.44 cores=0,2,4,6
/proc/13529/task/13530/stat : 13530 (java) S 13527 13527 32513 0 -1 1077944384 10293 0 0 0 139 5 0 0 20 0 19 0 444340714 15789527040 313285 33554432000 4194304 4196468 140720864267920 140059291120768 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13531] ppid=13527 vsize=15419460 memory=1448 CPUtime=0.29 cores=0,2,4,6
/proc/13529/task/13531/stat : 13531 (java) S 13527 13527 32513 0 -1 1077944384 1261 0 0 0 23 6 0 0 20 0 19 0 444340715 15789527040 313285 33554432000 4194304 4196468 140720864267920 140059223116816 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13532] ppid=13527 vsize=15419460 memory=1065984 CPUtime=0.29 cores=0,2,4,6
/proc/13529/task/13532/stat : 13532 (java) S 13527 13527 32513 0 -1 1077944384 1171 0 0 0 23 6 0 0 20 0 19 0 444340715 15789527040 313285 33554432000 4194304 4196468 140720864267920 140059222064272 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13533] ppid=13527 vsize=15419460 memory=4096 CPUtime=0.28 cores=0,2,4,6
/proc/13529/task/13533/stat : 13533 (java) S 13527 13527 32513 0 -1 1077944384 1793 0 0 0 22 6 0 0 20 0 19 0 444340715 15789527040 313285 33554432000 4194304 4196468 140720864267920 140059221011216 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13534] ppid=13527 vsize=15419460 memory=1756 CPUtime=0.28 cores=0,2,4,6
/proc/13529/task/13534/stat : 13534 (java) S 13527 13527 32513 0 -1 1077944384 2091 0 0 0 22 6 0 0 20 0 19 0 444340715 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058875714448 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13535] ppid=13527 vsize=15419460 memory=1808 CPUtime=0.04 cores=0,2,4,6
/proc/13529/task/13535/stat : 13535 (java) S 13527 13527 32513 0 -1 1077944384 2625 0 0 0 2 2 0 0 20 0 19 0 444340716 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058822736112 140059286891138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13536] ppid=13527 vsize=15419460 memory=920 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13536/stat : 13536 (java) S 13527 13527 32513 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 444340716 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058821682400 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13537] ppid=13527 vsize=15419460 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13537/stat : 13537 (java) S 13527 13527 32513 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 444340717 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058820629232 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13538] ppid=13527 vsize=15419460 memory=2736 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13538/stat : 13538 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444340719 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058819577808 140059286898587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13539] ppid=13527 vsize=15419460 memory=2596 CPUtime=2.54 cores=0,2,4,6
/proc/13529/task/13539/stat : 13539 (java) S 13527 13527 32513 0 -1 1077944384 19531 0 0 0 252 2 0 0 20 0 19 0 444340719 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058818525936 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13540] ppid=13527 vsize=15419460 memory=6935054825532540783 CPUtime=3.09 cores=0,2,4,6
/proc/13529/task/13540/stat : 13540 (java) S 13527 13527 32513 0 -1 1077944384 20048 0 0 0 307 2 0 0 20 0 19 0 444340719 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058817473392 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13541] ppid=13527 vsize=15419460 memory=4126316290023845779 CPUtime=0.88 cores=0,2,4,6
/proc/13529/task/13541/stat : 13541 (java) S 13527 13527 32513 0 -1 1077944384 13280 0 0 0 86 2 0 0 20 0 19 0 444340719 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058749299184 140059286891138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13542] ppid=13527 vsize=15419460 memory=1756 CPUtime=0 cores=0,2,4,6
/proc/13529/task/13542/stat : 13542 (java) S 13527 13527 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444340719 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058748246880 140059286890197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13543] ppid=13527 vsize=15419460 memory=1808 CPUtime=0.24 cores=0,2,4,6
/proc/13529/task/13543/stat : 13543 (java) R 13527 13527 32513 0 -1 1077944384 1048 0 0 0 12 12 0 0 20 0 19 0 444340720 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058747193904 140059286891138 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13544] ppid=13527 vsize=15419460 memory=920 CPUtime=597.83 cores=0,2,4,6
/proc/13529/task/13544/stat : 13544 (java) R 13527 13527 32513 0 -1 4202560 2888 0 0 0 59782 1 0 0 20 0 19 0 444340873 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058737974088 140058908521237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13545] ppid=13527 vsize=15419460 memory=3848 CPUtime=598.32 cores=0,2,4,6
/proc/13529/task/13545/stat : 13545 (java) R 13527 13527 32513 0 -1 4202560 9908 0 0 0 59810 22 0 0 20 0 19 0 444340873 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058736922456 140058908249180 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13546] ppid=13527 vsize=15419460 memory=13377 CPUtime=596.57 cores=0,2,4,6
/proc/13529/task/13546/stat : 13546 (java) R 13527 13527 32513 0 -1 4202560 1310 0 0 0 59656 1 0 0 20 0 19 0 444340873 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058735869344 140058908249156 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
[pid=13529/tid=13547] ppid=13527 vsize=15419460 memory=3504 CPUtime=597.79 cores=0,2,4,6
/proc/13529/task/13547/stat : 13547 (java) R 13527 13527 32513 0 -1 4202560 3477 0 0 0 59777 2 0 0 20 0 19 0 444340873 15789527040 313285 33554432000 4194304 4196468 140720864267920 140058734817688 140058908249180 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140720864269295 140720864269466 140720864269466 140720864272335 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1254592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.636 s]
# the end of solver process 13527 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001191 s, system=0.001191 s
[startup+603.684 s]
# the end of solver process 13529 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.65 s, system=0.680673 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): 603.684
CPU time (s): 2400.33
CPU user time (s): 2399.65
CPU system time (s): 0.680673
CPU usage (%): 397.613
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 1254592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.65
system time used= 0.680673
maximum resident set size= 1253776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16618
involuntary context switches= 42331
# summary of solver processes directly reported to runsolver:
# pid: 13527,13529
# total CPU time (s): 2400.33
# total CPU user time (s): 2399.65
# total CPU system time (s): 0.680673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.14659 second user time and 7.66691 second system time
The end