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 (15271 MiB free)
memory of node 1: 16384 MiB (10485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270413-1502674322/watcher-4270413-1502674322 -o /tmp/evaluation-result-4270413-1502674322/solver-4270413-1502674322 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673226-14192 --watchdog 312 ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 1511277566 HOME/instance-4270413-1502674322.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=14402, runsolver pid=14399
[startup+0.100171 s]*
/proc/loadavg: 2.16 2.15 2.10 3/206 14412
/proc/meminfo: memFree=26366508/32770624 swapFree=67108860/67108860
[pid=14402] ppid=14399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14402/stat : 14402 (xcsp3-exec) S 14399 14402 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 55772841 9740288 345 18446744073709551615 4194304 5098028 140734364444544 140734364442648 140561344213628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24809472 140734364447102 140734364447306 140734364447306 140734364450795 0
/proc/14402/statm: 2378 345 289 221 0 87 0
[pid=14404] ppid=14402 vsize=13574484 memory=19284 CPUtime=0.03 cores=0,2,4,6
/proc/14404/stat : 14404 (java) S 14402 14402 11586 0 -1 1077944320 4175 0 0 0 3 0 0 0 20 0 9 0 55772848 13900271616 4821 18446744073709551615 4194304 4196468 140732440276144 140732440258688 140204865326839 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
/proc/14404/statm: 3393621 4821 2104 1 0 3383118 0
[pid=14404/tid=14405] ppid=14402 vsize=13574484 memory=-8713483618642983523 CPUtime=0.03 cores=0,2,4,6
/proc/14404/task/14405/stat : 14405 (java) R 14402 14402 11586 0 -1 4202560 2883 0 0 0 3 0 0 0 20 0 9 0 55772848 13900271616 4821 18446744073709551615 4194304 4196468 140732440276144 140204869564784 140204858004853 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14406] ppid=14402 vsize=13574484 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14406/stat : 14406 (java) S 14402 14402 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 55772849 13900271616 4821 18446744073709551615 4194304 4196468 140732440276144 140204784741008 140204865337045 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14407] ppid=14402 vsize=13574484 memory=140519068792448 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14407/stat : 14407 (java) S 14402 14402 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 55772849 13900271616 4821 18446744073709551615 4194304 4196468 140732440276144 140204783688208 140204865337045 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14408] ppid=14402 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14408/stat : 14408 (java) S 14402 14402 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 55772849 13900271616 4821 18446744073709551615 4194304 4196468 140732440276144 140204782635408 140204865337045 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14409] ppid=14402 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14409/stat : 14409 (java) S 14402 14402 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 55772849 13900271616 4821 18446744073709551615 4194304 4196468 140732440276144 140204781582608 140204865337045 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14410] ppid=14402 vsize=13574484 memory=140519068792448 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14410/stat : 14410 (java) S 14402 14402 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 55772850 13900271616 4821 18446744073709551615 4194304 4196468 140732440276144 140204050328432 140204865337986 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14411] ppid=14402 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14411/stat : 14411 (java) S 14402 14402 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 55772851 13900271616 4821 18446744073709551615 4194304 4196468 140732440276144 140204049274400 140204865337045 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14412] ppid=14402 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14412/stat : 14412 (java) S 14402 14402 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 55772851 13900271616 4821 18446744073709551615 4194304 4196468 140732440276144 140204048221552 140204865337045 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20664 KiB
[startup+0.210553 s]*
/proc/loadavg: 2.16 2.15 2.10 4/212 14418
/proc/meminfo: memFree=26356352/32770624 swapFree=67108860/67108860
[pid=14402] ppid=14399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14402/stat : 14402 (xcsp3-exec) S 14399 14402 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 55772841 9740288 345 18446744073709551615 4194304 5098028 140734364444544 140734364442648 140561344213628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24809472 140734364447102 140734364447306 140734364447306 140734364450795 0
/proc/14402/statm: 2378 345 289 221 0 87 0
[pid=14404] ppid=14402 vsize=13974352 memory=30776 CPUtime=0.18 cores=0,2,4,6
/proc/14404/stat : 14404 (java) S 14402 14402 11586 0 -1 1077944320 6128 0 0 0 18 0 0 0 20 0 15 0 55772848 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140732440258688 140204865326839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
/proc/14404/statm: 3493588 7694 2950 1 0 3482964 0
[pid=14404/tid=14405] ppid=14402 vsize=13974352 memory=7022364594140610616 CPUtime=0.11 cores=0,2,4,6
/proc/14404/task/14405/stat : 14405 (java) R 14402 14402 11586 0 -1 4202560 3488 0 0 0 11 0 0 0 20 0 15 0 55772848 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204869561120 140204865338774 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14406] ppid=14402 vsize=13974352 memory=288230596134830447 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14406/stat : 14406 (java) S 14402 14402 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55772849 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204784741008 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14407] ppid=14402 vsize=13974352 memory=627483 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14407/stat : 14407 (java) S 14402 14402 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55772849 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204783688208 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14408] ppid=14402 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14408/stat : 14408 (java) S 14402 14402 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55772849 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204782635408 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14409] ppid=14402 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14409/stat : 14409 (java) S 14402 14402 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55772849 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204781582608 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14410] ppid=14402 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14410/stat : 14410 (java) S 14402 14402 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55772850 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204050328432 140204865337986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14411] ppid=14402 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14411/stat : 14411 (java) S 14402 14402 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 55772851 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204049274400 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14412] ppid=14402 vsize=13974352 memory=140519068792448 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14412/stat : 14412 (java) S 14402 14402 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 55772851 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204048221552 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14413] ppid=14402 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14413/stat : 14413 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204047169872 140204865345435 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14414] ppid=14402 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14404/task/14414/stat : 14414 (java) S 14402 14402 11586 0 -1 1077944384 506 0 0 0 1 0 0 0 20 0 15 0 55772853 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204046117232 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14415] ppid=14402 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14415/stat : 14415 (java) S 14402 14402 11586 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 15 0 55772853 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204045064432 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14416] ppid=14402 vsize=13974352 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14404/task/14416/stat : 14416 (java) R 14402 14402 11586 0 -1 4202560 693 0 0 0 3 0 0 0 20 0 15 0 55772853 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204044009424 140204846700323 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14417] ppid=14402 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14417/stat : 14417 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204042959072 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14418] ppid=14402 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14418/stat : 14418 (java) S 14402 14402 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55772856 14309736448 7694 18446744073709551615 4194304 4196468 140732440276144 140204041907376 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32156 KiB
[startup+0.310634 s]*
/proc/loadavg: 2.16 2.15 2.10 3/212 14418
/proc/meminfo: memFree=26346080/32770624 swapFree=67108860/67108860
[pid=14402] ppid=14399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14402/stat : 14402 (xcsp3-exec) S 14399 14402 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 55772841 9740288 345 18446744073709551615 4194304 5098028 140734364444544 140734364442648 140561344213628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24809472 140734364447102 140734364447306 140734364447306 140734364450795 0
/proc/14402/statm: 2378 345 289 221 0 87 0
[pid=14404] ppid=14402 vsize=13978608 memory=40268 CPUtime=0.35 cores=0,2,4,6
/proc/14404/stat : 14404 (java) S 14402 14402 11586 0 -1 1077944320 9734 0 0 0 33 2 0 0 20 0 15 0 55772848 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140732440258688 140204865326839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
/proc/14404/statm: 3494652 10067 3050 1 0 3482964 0
[pid=14404/tid=14405] ppid=14402 vsize=13978608 memory=-8774313645642428999 CPUtime=0.22 cores=0,2,4,6
/proc/14404/task/14405/stat : 14405 (java) R 14402 14402 11586 0 -1 4202560 6935 0 0 0 20 2 0 0 20 0 15 0 55772848 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204869553616 140204849407326 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14406] ppid=14402 vsize=13978608 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14406/stat : 14406 (java) S 14402 14402 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55772849 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204784741008 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14407] ppid=14402 vsize=13978608 memory=-8542328529919094630 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14407/stat : 14407 (java) S 14402 14402 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55772849 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204783688208 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14408] ppid=14402 vsize=13978608 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14408/stat : 14408 (java) S 14402 14402 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55772849 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204782635408 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14409] ppid=14402 vsize=13978608 memory=10 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14409/stat : 14409 (java) S 14402 14402 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55772849 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204781582608 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14410] ppid=14402 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14410/stat : 14410 (java) S 14402 14402 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55772850 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204050328432 140204865337986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14411] ppid=14402 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14411/stat : 14411 (java) S 14402 14402 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 55772851 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204049274400 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14412] ppid=14402 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14412/stat : 14412 (java) S 14402 14402 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 55772851 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204048221552 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14413] ppid=14402 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14413/stat : 14413 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204047169872 140204865345435 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14414] ppid=14402 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14404/task/14414/stat : 14414 (java) S 14402 14402 11586 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 15 0 55772853 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204046117232 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14415] ppid=14402 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14404/task/14415/stat : 14415 (java) S 14402 14402 11586 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 15 0 55772853 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204045064432 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14416] ppid=14402 vsize=13978608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14404/task/14416/stat : 14416 (java) S 14402 14402 11586 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 15 0 55772853 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204044011632 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14417] ppid=14402 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14417/stat : 14417 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204042959072 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14418] ppid=14402 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14418/stat : 14418 (java) S 14402 14402 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55772856 14314094592 10067 18446744073709551615 4194304 4196468 140732440276144 140204041907376 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41648 KiB
[startup+0.700756 s]
/proc/loadavg: 2.16 2.15 2.10 5/212 14418
/proc/meminfo: memFree=26318100/32770624 swapFree=67108860/67108860
[pid=14402] ppid=14399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14402/stat : 14402 (xcsp3-exec) S 14399 14402 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 55772841 9740288 345 18446744073709551615 4194304 5098028 140734364444544 140734364442648 140561344213628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24809472 140734364447102 140734364447306 140734364447306 140734364450795 0
/proc/14402/statm: 2378 345 289 221 0 87 0
[pid=14404] ppid=14402 vsize=13978608 memory=151604 CPUtime=1.16 cores=0,2,4,6
/proc/14404/stat : 14404 (java) S 14402 14402 11586 0 -1 1077944320 12690 0 0 0 112 4 0 0 20 0 15 0 55772848 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140732440258688 140204865326839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
/proc/14404/statm: 3494652 37901 3119 1 0 3482964 0
[pid=14404/tid=14405] ppid=14402 vsize=13978608 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/14404/task/14405/stat : 14405 (java) R 14402 14402 11586 0 -1 4202560 7591 0 0 0 57 3 0 0 20 0 15 0 55772848 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204869563088 140204865348765 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14406] ppid=14402 vsize=13978608 memory=8242257093008242997 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14406/stat : 14406 (java) S 14402 14402 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55772849 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204784741008 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14407] ppid=14402 vsize=13978608 memory=5787495302108111680 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14407/stat : 14407 (java) S 14402 14402 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55772849 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204783688208 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14408] ppid=14402 vsize=13978608 memory=7666364995466192728 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14408/stat : 14408 (java) S 14402 14402 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55772849 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204782635408 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14409] ppid=14402 vsize=13978608 memory=5790591594678725216 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14409/stat : 14409 (java) S 14402 14402 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55772849 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204781582608 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14410] ppid=14402 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14410/stat : 14410 (java) S 14402 14402 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 55772850 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204050328432 140204865337986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14411] ppid=14402 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14411/stat : 14411 (java) S 14402 14402 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 55772851 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204049274400 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14412] ppid=14402 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14412/stat : 14412 (java) S 14402 14402 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 55772851 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204048221552 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14413] ppid=14402 vsize=13978608 memory=288230600329135420 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14413/stat : 14413 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204047169872 140204865345435 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14414] ppid=14402 vsize=13978608 memory=14694093259302042 CPUtime=0.19 cores=0,2,4,6
/proc/14404/task/14414/stat : 14414 (java) S 14402 14402 11586 0 -1 1077944384 1472 0 0 0 19 0 0 0 20 0 15 0 55772853 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204046117232 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14415] ppid=14402 vsize=13978608 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/14404/task/14415/stat : 14415 (java) S 14402 14402 11586 0 -1 1077944384 919 0 0 0 18 0 0 0 20 0 15 0 55772853 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204045064432 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14416] ppid=14402 vsize=13978608 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/14404/task/14416/stat : 14416 (java) S 14402 14402 11586 0 -1 1077944384 1403 0 0 0 17 0 0 0 20 0 15 0 55772853 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204044011632 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14417] ppid=14402 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14417/stat : 14417 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204042959072 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14418] ppid=14402 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14418/stat : 14418 (java) S 14402 14402 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 55772856 14314094592 37901 18446744073709551615 4194304 4196468 140732440276144 140204041907376 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 152984 KiB
[startup+1.50568 s]
/proc/loadavg: 2.16 2.15 2.10 3/212 14418
/proc/meminfo: memFree=26094124/32770624 swapFree=67108860/67108860
[pid=14402] ppid=14399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14402/stat : 14402 (xcsp3-exec) S 14399 14402 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 55772841 9740288 345 18446744073709551615 4194304 5098028 140734364444544 140734364442648 140561344213628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24809472 140734364447102 140734364447306 140734364447306 140734364450795 0
/proc/14402/statm: 2378 345 289 221 0 87 0
[pid=14404] ppid=14402 vsize=13978608 memory=474472 CPUtime=3.51 cores=0,2,4,6
/proc/14404/stat : 14404 (java) S 14402 14402 11586 0 -1 1077944320 13639 0 0 0 307 44 0 0 20 0 15 0 55772848 14314094592 118618 18446744073709551615 4194304 4196468 140732440276144 140732440258688 140204865326839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
/proc/14404/statm: 3494652 118618 3155 1 0 3482964 0
[pid=14404/tid=14405] ppid=14402 vsize=13978608 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/14404/task/14405/stat : 14405 (java) S 14402 14402 11586 0 -1 1077944384 7604 0 0 0 84 4 0 0 20 0 15 0 55772848 14314094592 118618 18446744073709551615 4194304 4196468 140732440276144 140204869565936 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14406] ppid=14402 vsize=13978608 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/14404/task/14406/stat : 14406 (java) R 14402 14402 11586 0 -1 4202560 207 0 0 0 41 9 0 0 20 0 15 0 55772849 14314094592 118618 18446744073709551615 4194304 4196468 140732440276144 140204784741008 140204850323220 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14407] ppid=14402 vsize=13978608 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/14404/task/14407/stat : 14407 (java) R 14402 14402 11586 0 -1 4202560 212 0 0 0 41 9 0 0 20 0 15 0 55772849 14314094592 118618 18446744073709551615 4194304 4196468 140732440276144 140204783688208 140204850322785 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14408] ppid=14402 vsize=13978608 memory=2209 CPUtime=0.5 cores=0,2,4,6
/proc/14404/task/14408/stat : 14408 (java) R 14402 14402 11586 0 -1 4202560 218 0 0 0 41 9 0 0 20 0 15 0 55772849 14314094592 118618 18446744073709551615 4194304 4196468 140732440276144 140204782635528 140204850324922 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14409] ppid=14402 vsize=13978608 memory=281037830136352 CPUtime=0.5 cores=0,2,4,6
################
# More data... #
################
/proc/14404/task/14412/stat : 14412 (java) S 14402 14402 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 55772851 14316269568 1358983 18446744073709551615 4194304 4196468 140732440276144 140204048221568 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14413] ppid=14402 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14413/stat : 14413 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14316269568 1358983 18446744073709551615 4194304 4196468 140732440276144 140204047169872 140204865345435 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14414] ppid=14402 vsize=13980732 memory=4279592 CPUtime=2.42 cores=0,2,4,6
/proc/14404/task/14414/stat : 14414 (java) S 14402 14402 11586 0 -1 1077944384 5943 0 0 0 241 1 0 0 20 0 15 0 55772853 14316269568 1358983 18446744073709551615 4194304 4196468 140732440276144 140204046117280 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14415] ppid=14402 vsize=13980732 memory=4120 CPUtime=2.44 cores=0,2,4,6
/proc/14404/task/14415/stat : 14415 (java) S 14402 14402 11586 0 -1 1077944384 6079 0 0 0 244 0 0 0 20 0 15 0 55772853 14316269568 1358983 18446744073709551615 4194304 4196468 140732440276144 140204045064192 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14416] ppid=14402 vsize=13980732 memory=31912 CPUtime=0.55 cores=0,2,4,6
/proc/14404/task/14416/stat : 14416 (java) S 14402 14402 11586 0 -1 1077944384 3096 0 0 0 55 0 0 0 20 0 15 0 55772853 14316269568 1358983 18446744073709551615 4194304 4196468 140732440276144 140204044011680 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14417] ppid=14402 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14417/stat : 14417 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14316269568 1358983 18446744073709551615 4194304 4196468 140732440276144 140204042959072 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14418] ppid=14402 vsize=13980732 memory=4052219680455484264 CPUtime=0.01 cores=0,2,4,6
/proc/14404/task/14418/stat : 14418 (java) S 14402 14402 11586 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 15 0 55772856 14316269568 1358983 18446744073709551615 4194304 4196468 140732440276144 140204041907376 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
Current children cumulated CPU time: 68.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 5437312 KiB
[startup+51.1103 s]
/proc/loadavg: 2.92 2.40 2.18 3/212 14419
/proc/meminfo: memFree=19949624/32770624 swapFree=67108860/67108860
[pid=14402] ppid=14399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14402/stat : 14402 (xcsp3-exec) S 14399 14402 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 55772841 9740288 345 18446744073709551615 4194304 5098028 140734364444544 140734364442648 140561344213628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24809472 140734364447102 140734364447306 140734364447306 140734364450795 0
/proc/14402/statm: 2378 345 289 221 0 87 0
[pid=14404] ppid=14402 vsize=13980732 memory=6232928 CPUtime=127.07 cores=0,2,4,6
/proc/14404/stat : 14404 (java) S 14402 14402 11586 0 -1 1077944320 80505 0 0 0 12096 611 0 0 20 0 15 0 55772848 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140732440258688 140204865326839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
/proc/14404/statm: 3495183 1558232 3260 1 0 3483476 0
[pid=14404/tid=14405] ppid=14402 vsize=13980732 memory=6232380 CPUtime=22.28 cores=0,2,4,6
/proc/14404/task/14405/stat : 14405 (java) R 14402 14402 11586 0 -1 4202560 23668 0 0 0 2214 14 0 0 20 0 15 0 55772848 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204869565464 140204467328884 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14406] ppid=14402 vsize=13980732 memory=4465 CPUtime=23.44 cores=0,2,4,6
/proc/14404/task/14406/stat : 14406 (java) S 14402 14402 11586 0 -1 1077944384 6274 0 0 0 2194 150 0 0 20 0 15 0 55772849 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204784741008 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14407] ppid=14402 vsize=13980732 memory=4420 CPUtime=23.42 cores=0,2,4,6
/proc/14404/task/14407/stat : 14407 (java) S 14402 14402 11586 0 -1 1077944384 5934 0 0 0 2198 144 0 0 20 0 15 0 55772849 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204783688208 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14408] ppid=14402 vsize=13980732 memory=1380 CPUtime=23.42 cores=0,2,4,6
/proc/14404/task/14408/stat : 14408 (java) S 14402 14402 11586 0 -1 1077944384 6711 0 0 0 2195 147 0 0 20 0 15 0 55772849 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204782635408 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14409] ppid=14402 vsize=13980732 memory=6232428 CPUtime=23.3 cores=0,2,4,6
/proc/14404/task/14409/stat : 14409 (java) S 14402 14402 11586 0 -1 1077944384 5642 0 0 0 2182 148 0 0 20 0 15 0 55772849 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204781582608 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14410] ppid=14402 vsize=13980732 memory=1380 CPUtime=5.14 cores=0,2,4,6
/proc/14404/task/14410/stat : 14410 (java) S 14402 14402 11586 0 -1 1077944384 12214 0 0 0 513 1 0 0 20 0 15 0 55772850 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204050328432 140204865337986 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14411] ppid=14402 vsize=13980732 memory=6232856 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14411/stat : 14411 (java) S 14402 14402 11586 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 55772851 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204049274464 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14412] ppid=14402 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14412/stat : 14412 (java) S 14402 14402 11586 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 55772851 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204048221568 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14413] ppid=14402 vsize=13980732 memory=644 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14413/stat : 14413 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204047169872 140204865345435 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14414] ppid=14402 vsize=13980732 memory=1788 CPUtime=2.63 cores=0,2,4,6
/proc/14404/task/14414/stat : 14414 (java) S 14402 14402 11586 0 -1 1077944384 7254 0 0 0 262 1 0 0 20 0 15 0 55772853 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204046117232 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14415] ppid=14402 vsize=13980732 memory=956 CPUtime=2.67 cores=0,2,4,6
/proc/14404/task/14415/stat : 14415 (java) S 14402 14402 11586 0 -1 1077944384 7116 0 0 0 267 0 0 0 20 0 15 0 55772853 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204045064432 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14416] ppid=14402 vsize=13980732 memory=1236 CPUtime=0.65 cores=0,2,4,6
/proc/14404/task/14416/stat : 14416 (java) S 14402 14402 11586 0 -1 1077944384 4162 0 0 0 64 1 0 0 20 0 15 0 55772853 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204044011632 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14417] ppid=14402 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14417/stat : 14417 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204042959072 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14418] ppid=14402 vsize=13980732 memory=6228468 CPUtime=0.04 cores=0,2,4,6
/proc/14404/task/14418/stat : 14418 (java) S 14402 14402 11586 0 -1 1077944384 128 0 0 0 3 1 0 0 20 0 15 0 55772856 14316269568 1558232 18446744073709551615 4194304 4196468 140732440276144 140204041907376 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
Current children cumulated CPU time: 127.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6234308 KiB
[startup+102.301 s]
/proc/loadavg: 2.48 2.35 2.18 3/212 14497
/proc/meminfo: memFree=20945252/32770624 swapFree=67108860/67108860
[pid=14402] ppid=14399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14402/stat : 14402 (xcsp3-exec) S 14399 14402 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 55772841 9740288 345 18446744073709551615 4194304 5098028 140734364444544 140734364442648 140561344213628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24809472 140734364447102 140734364447306 140734364447306 140734364450795 0
/proc/14402/statm: 2378 345 289 221 0 87 0
[pid=14404] ppid=14402 vsize=13980732 memory=6777196 CPUtime=183.04 cores=0,2,4,6
/proc/14404/stat : 14404 (java) S 14402 14402 11586 0 -1 1077944320 95977 0 0 0 17635 669 0 0 20 0 15 0 55772848 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140732440258688 140204865326839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
/proc/14404/statm: 3495183 1694299 3260 1 0 3483476 0
[pid=14404/tid=14405] ppid=14402 vsize=13980732 memory=1380 CPUtime=71.87 cores=0,2,4,6
/proc/14404/task/14405/stat : 14405 (java) R 14402 14402 11586 0 -1 4202560 26589 0 0 0 7173 14 0 0 20 0 15 0 55772848 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204869565464 140204467328884 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14406] ppid=14402 vsize=13980732 memory=68 CPUtime=25 cores=0,2,4,6
/proc/14404/task/14406/stat : 14406 (java) S 14402 14402 11586 0 -1 1077944384 9581 0 0 0 2335 165 0 0 20 0 15 0 55772849 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204784741008 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14407] ppid=14402 vsize=13980732 memory=281037830695952 CPUtime=24.99 cores=0,2,4,6
/proc/14404/task/14407/stat : 14407 (java) S 14402 14402 11586 0 -1 1077944384 7790 0 0 0 2342 157 0 0 20 0 15 0 55772849 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204783688208 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14408] ppid=14402 vsize=13980732 memory=6777196 CPUtime=25.01 cores=0,2,4,6
/proc/14404/task/14408/stat : 14408 (java) S 14402 14402 11586 0 -1 1077944384 9652 0 0 0 2340 161 0 0 20 0 15 0 55772849 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204782635408 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14409] ppid=14402 vsize=13980732 memory=1380 CPUtime=24.89 cores=0,2,4,6
/proc/14404/task/14409/stat : 14409 (java) S 14402 14402 11586 0 -1 1077944384 8720 0 0 0 2326 163 0 0 20 0 15 0 55772849 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204781582608 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14410] ppid=14402 vsize=13980732 memory=6777196 CPUtime=5.15 cores=0,2,4,6
/proc/14404/task/14410/stat : 14410 (java) S 14402 14402 11586 0 -1 1077944384 12488 0 0 0 514 1 0 0 20 0 15 0 55772850 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204050328432 140204865337986 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14411] ppid=14402 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14411/stat : 14411 (java) S 14402 14402 11586 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 55772851 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204049274464 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14412] ppid=14402 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14412/stat : 14412 (java) S 14402 14402 11586 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 55772851 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204048221568 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14413] ppid=14402 vsize=13980732 memory=6777184 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14413/stat : 14413 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204047169872 140204865345435 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14414] ppid=14402 vsize=13980732 memory=31912 CPUtime=2.63 cores=0,2,4,6
/proc/14404/task/14414/stat : 14414 (java) S 14402 14402 11586 0 -1 1077944384 7257 0 0 0 262 1 0 0 20 0 15 0 55772853 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204046117232 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14415] ppid=14402 vsize=13980732 memory=2384 CPUtime=2.68 cores=0,2,4,6
/proc/14404/task/14415/stat : 14415 (java) S 14402 14402 11586 0 -1 1077944384 7124 0 0 0 268 0 0 0 20 0 15 0 55772853 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204045064432 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14416] ppid=14402 vsize=13980732 memory=1996 CPUtime=0.66 cores=0,2,4,6
/proc/14404/task/14416/stat : 14416 (java) S 14402 14402 11586 0 -1 1077944384 5204 0 0 0 65 1 0 0 20 0 15 0 55772853 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204044011632 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14417] ppid=14402 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14417/stat : 14417 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204042959072 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14418] ppid=14402 vsize=13980732 memory=9992 CPUtime=0.07 cores=0,2,4,6
/proc/14404/task/14418/stat : 14418 (java) S 14402 14402 11586 0 -1 1077944384 170 0 0 0 3 4 0 0 20 0 15 0 55772856 14316269568 1694299 18446744073709551615 4194304 4196468 140732440276144 140204041907376 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
Current children cumulated CPU time: 183.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6778576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+161.201 s]
/proc/loadavg: 2.34 2.35 2.19 3/215 14512
/proc/meminfo: memFree=17035920/32770624 swapFree=67108860/67108860
[pid=14402] ppid=14399 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14402/stat : 14402 (xcsp3-exec) S 14399 14402 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 55772841 9740288 345 18446744073709551615 4194304 5098028 140734364444544 140734364442648 140561344213628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24809472 140734364447102 140734364447306 140734364447306 140734364450795 0
/proc/14402/statm: 2378 345 289 221 0 87 0
[pid=14404] ppid=14402 vsize=13980732 memory=7063888 CPUtime=252.02 cores=0,2,4,6
/proc/14404/stat : 14404 (java) S 14402 14402 11586 0 -1 1077944320 113222 0 0 0 24521 681 0 0 20 0 15 0 55772848 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140732440258688 140204865326839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
/proc/14404/statm: 3495183 1765972 3260 1 0 3483476 0
[pid=14404/tid=14405] ppid=14402 vsize=13980732 memory=5668 CPUtime=126.55 cores=0,2,4,6
/proc/14404/task/14405/stat : 14405 (java) R 14402 14402 11586 0 -1 4202560 30646 0 0 0 12640 15 0 0 20 0 15 0 55772848 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204869566104 140204467328884 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14406] ppid=14402 vsize=13980732 memory=1996 CPUtime=28.37 cores=0,2,4,6
/proc/14404/task/14406/stat : 14406 (java) S 14402 14402 11586 0 -1 1077944384 11714 0 0 0 2670 167 0 0 20 0 15 0 55772849 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204784741008 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14407] ppid=14402 vsize=13980732 memory=1380 CPUtime=28.35 cores=0,2,4,6
/proc/14404/task/14407/stat : 14407 (java) S 14402 14402 11586 0 -1 1077944384 9358 0 0 0 2676 159 0 0 20 0 15 0 55772849 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204783688208 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14408] ppid=14402 vsize=13980732 memory=7063888 CPUtime=28.31 cores=0,2,4,6
/proc/14404/task/14408/stat : 14408 (java) S 14402 14402 11586 0 -1 1077944384 11404 0 0 0 2668 163 0 0 20 0 15 0 55772849 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204782635408 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14409] ppid=14402 vsize=13980732 memory=9992 CPUtime=28.25 cores=0,2,4,6
/proc/14404/task/14409/stat : 14409 (java) S 14402 14402 11586 0 -1 1077944384 10240 0 0 0 2659 166 0 0 20 0 15 0 55772849 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204781582608 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14410] ppid=14402 vsize=13980732 memory=1716 CPUtime=6 cores=0,2,4,6
/proc/14404/task/14410/stat : 14410 (java) S 14402 14402 11586 0 -1 1077944384 16417 0 0 0 599 1 0 0 20 0 15 0 55772850 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204050328432 140204865337986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14411] ppid=14402 vsize=13980732 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14411/stat : 14411 (java) S 14402 14402 11586 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 55772851 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204049274464 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14412] ppid=14402 vsize=13980732 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14412/stat : 14412 (java) S 14402 14402 11586 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 55772851 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204048221568 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14413] ppid=14402 vsize=13980732 memory=3908 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14413/stat : 14413 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204047169872 140204865345435 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14414] ppid=14402 vsize=13980732 memory=4064 CPUtime=2.64 cores=0,2,4,6
/proc/14404/task/14414/stat : 14414 (java) S 14402 14402 11586 0 -1 1077944384 7353 0 0 0 262 2 0 0 20 0 15 0 55772853 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204046117232 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14415] ppid=14402 vsize=13980732 memory=1108 CPUtime=2.68 cores=0,2,4,6
/proc/14404/task/14415/stat : 14415 (java) S 14402 14402 11586 0 -1 1077944384 7132 0 0 0 268 0 0 0 20 0 15 0 55772853 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204045064432 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14416] ppid=14402 vsize=13980732 memory=2756 CPUtime=0.68 cores=0,2,4,6
/proc/14404/task/14416/stat : 14416 (java) S 14402 14402 11586 0 -1 1077944384 7338 0 0 0 67 1 0 0 20 0 15 0 55772853 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204044011632 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14417] ppid=14402 vsize=13980732 memory=2856 CPUtime=0 cores=0,2,4,6
/proc/14404/task/14417/stat : 14417 (java) S 14402 14402 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 55772853 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204042959072 140204865337045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
[pid=14404/tid=14418] ppid=14402 vsize=13980732 memory=1160 CPUtime=0.11 cores=0,2,4,6
/proc/14404/task/14418/stat : 14418 (java) S 14402 14402 11586 0 -1 1077944384 218 0 0 0 5 6 0 0 20 0 15 0 55772856 14316269568 1765972 18446744073709551615 4194304 4196468 140732440276144 140204041907376 140204865337986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140732440277431 140732440277606 140732440277606 140732440281039 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7065268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+161.233 s]
# the end of solver process 14402 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000947 s, system=0.000947 s
[startup+161.239 s]
# the end of solver process 14404 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.211 s, system=6.84551 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): 161.239
CPU time (s): 252.057
CPU user time (s): 245.211
CPU system time (s): 6.84551
CPU usage (%): 156.325
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 7065268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.211
system time used= 6.84551
maximum resident set size= 7064248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114184
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6751
involuntary context switches= 1262
# summary of solver processes directly reported to runsolver:
# pid: 14402,14404
# total CPU time (s): 252.057
# total CPU user time (s): 245.211
# total CPU system time (s): 6.84551
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00047 second user time and 1.68398 second system time
The end