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 (15220 MiB free)
memory of node 1: 16384 MiB (15615 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270265-1502617269/watcher-4270265-1502617269 -o /tmp/evaluation-result-4270265-1502617269/solver-4270265-1502617269 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1199009121 HOME/instance-4270265-1502617269.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=28691, runsolver pid=28686
[startup+0.100108 s]*
/proc/loadavg: 2.00 1.85 1.67 3/193 28708
/proc/meminfo: memFree=31566776/32770624 swapFree=67108860/67108860
[pid=28691] ppid=28686 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28691/stat : 28691 (xcsp3-exec) S 28686 28691 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 63920250 9740288 344 18446744073709551615 4194304 5098028 140727791684416 140727791682520 140025447989884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 7929856 140727791690110 140727791690314 140727791690314 140727791693803 0
/proc/28691/statm: 2378 344 289 221 0 87 0
[pid=28697] ppid=28691 vsize=13441356 memory=16092 CPUtime=0.01 cores=1,3,5,7
/proc/28697/stat : 28697 (java) S 28691 28691 17093 0 -1 1077944320 3811 0 0 0 1 0 0 0 20 0 7 0 63920258 13763948544 4023 18446744073709551615 4194304 4196468 140728991827824 140728991810368 140530021691127 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
/proc/28697/statm: 3360339 4023 2020 1 0 3349836 0
[pid=28697/tid=28699] ppid=28691 vsize=13441356 memory=-6871798056524144002 CPUtime=0.01 cores=1,3,5,7
/proc/28697/task/28699/stat : 28699 (java) R 28691 28691 17093 0 -1 4202560 2571 0 0 0 1 0 0 0 20 0 7 0 63920259 13763948544 4023 18446744073709551615 4194304 4196468 140728991827824 140530025933584 140530005771614 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28701] ppid=28691 vsize=13441356 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28701/stat : 28701 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 63920259 13763948544 4023 18446744073709551615 4194304 4196468 140728991827824 140529989250064 140530021701333 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28702] ppid=28691 vsize=13441356 memory=139866722420352 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28702/stat : 28702 (java) S 28691 28691 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 63920259 13763948544 4023 18446744073709551615 4194304 4196468 140728991827824 140529620831376 140530021701333 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28703] ppid=28691 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28703/stat : 28703 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 63920259 13763948544 4023 18446744073709551615 4194304 4196468 140728991827824 140529619778320 140530021701333 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28704] ppid=28691 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28704/stat : 28704 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 63920259 13763948544 4023 18446744073709551615 4194304 4196468 140728991827824 140529618725776 140530021701333 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28709] ppid=28691 vsize=13441356 memory=139866722420352 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28709/stat : 28709 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 63920261 13763948544 4023 18446744073709551615 4194304 4196468 140728991827824 140529139804400 140530021702274 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17468 KiB
[startup+0.209886 s]*
/proc/loadavg: 2.00 1.85 1.67 2/210 28725
/proc/meminfo: memFree=31547916/32770624 swapFree=67108860/67108860
[pid=28691] ppid=28686 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28691/stat : 28691 (xcsp3-exec) S 28686 28691 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 63920250 9740288 344 18446744073709551615 4194304 5098028 140727791684416 140727791682520 140025447989884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 7929856 140727791690110 140727791690314 140727791690314 140727791693803 0
/proc/28691/statm: 2378 344 289 221 0 87 0
[pid=28697] ppid=28691 vsize=13974352 memory=28084 CPUtime=0.1 cores=1,3,5,7
/proc/28697/stat : 28697 (java) S 28691 28691 17093 0 -1 1077944320 5469 0 0 0 9 1 0 0 20 0 15 0 63920258 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140728991810368 140530021691127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
/proc/28697/statm: 3493588 7021 2813 1 0 3482964 0
[pid=28697/tid=28699] ppid=28691 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/28697/task/28699/stat : 28699 (java) R 28691 28691 17093 0 -1 4202560 3538 0 0 0 7 1 0 0 20 0 15 0 63920259 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140530025919008 140530005771614 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28701] ppid=28691 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28701/stat : 28701 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920259 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529989250064 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28702] ppid=28691 vsize=13974352 memory=139866722447676 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28702/stat : 28702 (java) S 28691 28691 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63920259 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529620831376 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28703] ppid=28691 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28703/stat : 28703 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920259 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529619778320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28704] ppid=28691 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28704/stat : 28704 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920259 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529618725776 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28709] ppid=28691 vsize=13974352 memory=139866722420352 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28709/stat : 28709 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920261 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529139804400 140530021702274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28711] ppid=28691 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28711/stat : 28711 (java) S 28691 28691 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63920261 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529138750624 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28713] ppid=28691 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28713/stat : 28713 (java) S 28691 28691 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63920261 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529137697520 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28715] ppid=28691 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28715/stat : 28715 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529136646096 140530021709723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28716] ppid=28691 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28716/stat : 28716 (java) S 28691 28691 17093 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 63920264 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529135594224 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28717] ppid=28691 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28717/stat : 28717 (java) S 28691 28691 17093 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 63920264 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529134541680 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28718] ppid=28691 vsize=13974352 memory=139866722420352 CPUtime=0.01 cores=1,3,5,7
/proc/28697/task/28718/stat : 28718 (java) S 28691 28691 17093 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 15 0 63920264 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529133488624 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28723] ppid=28691 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28723/stat : 28723 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529132436320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28725] ppid=28691 vsize=13974352 memory=139866722420352 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28725/stat : 28725 (java) S 28691 28691 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63920268 14309736448 7021 18446744073709551615 4194304 4196468 140728991827824 140529131383344 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29460 KiB
[startup+0.310128 s]*
/proc/loadavg: 2.00 1.85 1.67 3/211 28726
/proc/meminfo: memFree=31529016/32770624 swapFree=67108860/67108860
[pid=28691] ppid=28686 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28691/stat : 28691 (xcsp3-exec) S 28686 28691 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 63920250 9740288 344 18446744073709551615 4194304 5098028 140727791684416 140727791682520 140025447989884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 7929856 140727791690110 140727791690314 140727791690314 140727791693803 0
/proc/28691/statm: 2378 344 289 221 0 87 0
[pid=28697] ppid=28691 vsize=13974352 memory=39956 CPUtime=0.31 cores=1,3,5,7
/proc/28697/stat : 28697 (java) S 28691 28691 17093 0 -1 1077944320 9163 0 0 0 28 3 0 0 20 0 15 0 63920258 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140728991810368 140530021691127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
/proc/28697/statm: 3493588 9989 2999 1 0 3482964 0
[pid=28697/tid=28699] ppid=28691 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/28697/task/28699/stat : 28699 (java) R 28691 28691 17093 0 -1 4202560 6317 0 0 0 16 2 0 0 20 0 15 0 63920259 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140530025909216 140530001878228 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28701] ppid=28691 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28701/stat : 28701 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920259 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529989250064 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28702] ppid=28691 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28702/stat : 28702 (java) S 28691 28691 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63920259 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529620831376 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28703] ppid=28691 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28703/stat : 28703 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920259 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529619778320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28704] ppid=28691 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28704/stat : 28704 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920259 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529618725776 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28709] ppid=28691 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28709/stat : 28709 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920261 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529139804400 140530021702274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28711] ppid=28691 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28711/stat : 28711 (java) S 28691 28691 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63920261 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529138750624 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28713] ppid=28691 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28713/stat : 28713 (java) S 28691 28691 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63920261 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529137697520 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28715] ppid=28691 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28715/stat : 28715 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529136646096 140530021709723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28716] ppid=28691 vsize=13974352 memory=139866616910784 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28716/stat : 28716 (java) S 28691 28691 17093 0 -1 1077944384 593 0 0 0 2 0 0 0 20 0 15 0 63920264 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529135594224 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28717] ppid=28691 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28717/stat : 28717 (java) S 28691 28691 17093 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 15 0 63920264 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529134541680 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28718] ppid=28691 vsize=13974352 memory=139866722420352 CPUtime=0.07 cores=1,3,5,7
/proc/28697/task/28718/stat : 28718 (java) R 28691 28691 17093 0 -1 4202560 742 0 0 0 7 0 0 0 20 0 15 0 63920264 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529133488624 140530003275680 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28723] ppid=28691 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28723/stat : 28723 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529132436320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28725] ppid=28691 vsize=13974352 memory=139866722420352 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28725/stat : 28725 (java) S 28691 28691 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63920268 14309736448 9989 18446744073709551615 4194304 4196468 140728991827824 140529131383344 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41332 KiB
[startup+0.700727 s]
/proc/loadavg: 1.92 1.84 1.67 6/211 28726
/proc/meminfo: memFree=31501092/32770624 swapFree=67108860/67108860
[pid=28691] ppid=28686 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28691/stat : 28691 (xcsp3-exec) S 28686 28691 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 63920250 9740288 344 18446744073709551615 4194304 5098028 140727791684416 140727791682520 140025447989884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 7929856 140727791690110 140727791690314 140727791690314 140727791693803 0
/proc/28691/statm: 2378 344 289 221 0 87 0
[pid=28697] ppid=28691 vsize=13980732 memory=68504 CPUtime=1.17 cores=1,3,5,7
/proc/28697/stat : 28697 (java) S 28691 28691 17093 0 -1 1077944320 13310 0 0 0 112 5 0 0 20 0 15 0 63920258 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140728991810368 140530021691127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
/proc/28697/statm: 3495183 17126 3171 1 0 3483476 0
[pid=28697/tid=28699] ppid=28691 vsize=13980732 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/28697/task/28699/stat : 28699 (java) R 28691 28691 17093 0 -1 4202560 8769 0 0 0 52 4 0 0 20 0 15 0 63920259 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140530025927760 140530021703062 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28701] ppid=28691 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28701/stat : 28701 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920259 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529989250064 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28702] ppid=28691 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28702/stat : 28702 (java) S 28691 28691 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63920259 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529620831376 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28703] ppid=28691 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28703/stat : 28703 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920259 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529619778320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28704] ppid=28691 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28704/stat : 28704 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920259 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529618725776 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28709] ppid=28691 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28709/stat : 28709 (java) S 28691 28691 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63920261 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529139804400 140530021702274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28711] ppid=28691 vsize=13980732 memory=13 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28711/stat : 28711 (java) S 28691 28691 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63920261 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529138750624 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28713] ppid=28691 vsize=13980732 memory=66 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28713/stat : 28713 (java) S 28691 28691 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63920261 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529137697520 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28715] ppid=28691 vsize=13980732 memory=48880 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28715/stat : 28715 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529136646096 140530021709723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28716] ppid=28691 vsize=13980732 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/28697/task/28716/stat : 28716 (java) R 28691 28691 17093 0 -1 1077944384 1153 0 0 0 15 0 0 0 20 0 15 0 63920264 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529135594224 140530021702274 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28717] ppid=28691 vsize=13980732 memory=4872558044660077418 CPUtime=0.13 cores=1,3,5,7
/proc/28697/task/28717/stat : 28717 (java) R 28691 28691 17093 0 -1 4202560 631 0 0 0 13 0 0 0 20 0 15 0 63920264 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529134541680 140530001408263 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28718] ppid=28691 vsize=13980732 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/28697/task/28718/stat : 28718 (java) S 28691 28691 17093 0 -1 1077944384 1450 0 0 0 30 0 0 0 20 0 15 0 63920264 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529133488624 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28723] ppid=28691 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28723/stat : 28723 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529132436320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28725] ppid=28691 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28725/stat : 28725 (java) S 28691 28691 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63920268 14316269568 17126 18446744073709551615 4194304 4196468 140728991827824 140529131383344 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69880 KiB
[startup+1.50084 s]
/proc/loadavg: 1.92 1.84 1.67 7/211 28726
/proc/meminfo: memFree=31406104/32770624 swapFree=67108860/67108860
[pid=28691] ppid=28686 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28691/stat : 28691 (xcsp3-exec) S 28686 28691 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 63920250 9740288 344 18446744073709551615 4194304 5098028 140727791684416 140727791682520 140025447989884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 7929856 140727791690110 140727791690314 140727791690314 140727791693803 0
/proc/28691/statm: 2378 344 289 221 0 87 0
[pid=28697] ppid=28691 vsize=13980732 memory=115840 CPUtime=3.62 cores=1,3,5,7
/proc/28697/stat : 28697 (java) S 28691 28691 17093 0 -1 1077944320 38202 0 0 0 353 9 0 0 20 0 15 0 63920258 14316269568 28960 18446744073709551615 4194304 4196468 140728991827824 140728991810368 140530021691127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
/proc/28697/statm: 3495183 28960 3180 1 0 3483476 0
[pid=28697/tid=28699] ppid=28691 vsize=13980732 memory=6656426216303648864 CPUtime=1.36 cores=1,3,5,7
/proc/28697/task/28699/stat : 28699 (java) R 28691 28691 17093 0 -1 4202560 9650 0 0 0 132 4 0 0 20 0 15 0 63920259 14316269568 28960 18446744073709551615 4194304 4196468 140728991827824 140530025923488 140529666643436 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28701] ppid=28691 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28701/stat : 28701 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920259 14316269568 28960 18446744073709551615 4194304 4196468 140728991827824 140529989250064 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28702] ppid=28691 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28702/stat : 28702 (java) S 28691 28691 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63920259 14316269568 28960 18446744073709551615 4194304 4196468 140728991827824 140529620831376 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28703] ppid=28691 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28703/stat : 28703 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920259 14316269568 28960 18446744073709551615 4194304 4196468 140728991827824 140529619778320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28704] ppid=28691 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28704/stat : 28704 (java) S 28691 28691 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63920259 14316269568 28960 18446744073709551615 4194304 4196468 140728991827824 140529618725776 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28709] ppid=28691 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28709/stat : 28709 (java) S 28691 28691 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63920261 14316269568 28960 18446744073709551615 4194304 4196468 140728991827824 140529139804400 140530021702274 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28711] ppid=28691 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/28697/task/28713/stat : 28713 (java) S 28691 28691 17093 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 63920261 14316269568 60668 18446744073709551615 4194304 4196468 140728991827824 140529137697536 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28715] ppid=28691 vsize=13980732 memory=242672 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28715/stat : 28715 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14316269568 60668 18446744073709551615 4194304 4196468 140728991827824 140529136646096 140530021709723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28716] ppid=28691 vsize=13980732 memory=242672 CPUtime=3.67 cores=1,3,5,7
/proc/28697/task/28716/stat : 28716 (java) S 28691 28691 17093 0 -1 1077944384 23401 0 0 0 365 2 0 0 20 0 15 0 63920264 14316269568 60668 18446744073709551615 4194304 4196468 140728991827824 140529135594224 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28717] ppid=28691 vsize=13980732 memory=4028 CPUtime=3.96 cores=1,3,5,7
/proc/28697/task/28717/stat : 28717 (java) S 28691 28691 17093 0 -1 1077944384 25571 0 0 0 393 3 0 0 20 0 15 0 63920264 14316269568 60668 18446744073709551615 4194304 4196468 140728991827824 140529134541680 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28718] ppid=28691 vsize=13980732 memory=36128 CPUtime=0.54 cores=1,3,5,7
/proc/28697/task/28718/stat : 28718 (java) S 28691 28691 17093 0 -1 1077944384 5104 0 0 0 53 1 0 0 20 0 15 0 63920264 14316269568 60668 18446744073709551615 4194304 4196468 140728991827824 140529133488624 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28723] ppid=28691 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28723/stat : 28723 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14316269568 60668 18446744073709551615 4194304 4196468 140728991827824 140529132436320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28725] ppid=28691 vsize=13980732 memory=1204 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28725/stat : 28725 (java) S 28691 28691 17093 0 -1 1077944384 1545 0 0 0 1 1 0 0 20 0 15 0 63920268 14316269568 60668 18446744073709551615 4194304 4196468 140728991827824 140529131383344 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
Current children cumulated CPU time: 110.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 244048 KiB
[startup+162.301 s]
/proc/loadavg: 1.88 1.86 1.71 3/211 28732
/proc/meminfo: memFree=31172868/32770624 swapFree=67108860/67108860
[pid=28691] ppid=28686 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28691/stat : 28691 (xcsp3-exec) S 28686 28691 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 63920250 9740288 344 18446744073709551615 4194304 5098028 140727791684416 140727791682520 140025447989884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 7929856 140727791690110 140727791690314 140727791690314 140727791693803 0
/proc/28691/statm: 2378 344 289 221 0 87 0
[pid=28697] ppid=28691 vsize=13980732 memory=226380 CPUtime=170.78 cores=1,3,5,7
/proc/28697/stat : 28697 (java) S 28691 28691 17093 0 -1 1077944320 84596 0 0 0 17058 20 0 0 20 0 15 0 63920258 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140728991810368 140530021691127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
/proc/28697/statm: 3495183 56595 3234 1 0 3483476 0
[pid=28697/tid=28699] ppid=28691 vsize=13980732 memory=231508 CPUtime=162.09 cores=1,3,5,7
/proc/28697/task/28699/stat : 28699 (java) R 28691 28691 17093 0 -1 4202560 14888 0 0 0 16203 6 0 0 20 0 15 0 63920259 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140530025930416 140529668169785 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28701] ppid=28691 vsize=13980732 memory=231508 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28701/stat : 28701 (java) S 28691 28691 17093 0 -1 1077944384 1259 0 0 0 1 1 0 0 20 0 15 0 63920259 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529989250064 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28702] ppid=28691 vsize=13980732 memory=231404 CPUtime=0.01 cores=1,3,5,7
/proc/28697/task/28702/stat : 28702 (java) S 28691 28691 17093 0 -1 1077944384 552 0 0 0 1 0 0 0 20 0 15 0 63920259 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529620831376 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28703] ppid=28691 vsize=13980732 memory=231404 CPUtime=0.01 cores=1,3,5,7
/proc/28697/task/28703/stat : 28703 (java) S 28691 28691 17093 0 -1 1077944384 901 0 0 0 1 0 0 0 20 0 15 0 63920259 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529619778320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28704] ppid=28691 vsize=13980732 memory=231404 CPUtime=0.01 cores=1,3,5,7
/proc/28697/task/28704/stat : 28704 (java) S 28691 28691 17093 0 -1 1077944384 1872 0 0 0 1 0 0 0 20 0 15 0 63920259 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529618725776 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28709] ppid=28691 vsize=13980732 memory=231508 CPUtime=0.01 cores=1,3,5,7
/proc/28697/task/28709/stat : 28709 (java) S 28691 28691 17093 0 -1 1077944384 1489 0 0 0 1 0 0 0 20 0 15 0 63920261 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529139804400 140530021702274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28711] ppid=28691 vsize=13980732 memory=231508 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28711/stat : 28711 (java) S 28691 28691 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 63920261 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529138750688 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28713] ppid=28691 vsize=13980732 memory=231508 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28713/stat : 28713 (java) S 28691 28691 17093 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 63920261 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529137697536 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28715] ppid=28691 vsize=13980732 memory=226380 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28715/stat : 28715 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529136646096 140530021709723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28716] ppid=28691 vsize=13980732 memory=1376 CPUtime=3.82 cores=1,3,5,7
/proc/28697/task/28716/stat : 28716 (java) S 28691 28691 17093 0 -1 1077944384 26449 0 0 0 379 3 0 0 20 0 15 0 63920264 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529135594224 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28717] ppid=28691 vsize=13980732 memory=246212 CPUtime=4.11 cores=1,3,5,7
/proc/28697/task/28717/stat : 28717 (java) S 28691 28691 17093 0 -1 1077944384 28369 0 0 0 408 3 0 0 20 0 15 0 63920264 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529134541680 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28718] ppid=28691 vsize=13980732 memory=1376 CPUtime=0.56 cores=1,3,5,7
/proc/28697/task/28718/stat : 28718 (java) S 28691 28691 17093 0 -1 1077944384 5870 0 0 0 55 1 0 0 20 0 15 0 63920264 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529133488624 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28723] ppid=28691 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28723/stat : 28723 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529132436320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28725] ppid=28691 vsize=13980732 memory=4612 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28725/stat : 28725 (java) S 28691 28691 17093 0 -1 1077944384 1584 0 0 0 1 1 0 0 20 0 15 0 63920268 14316269568 56595 18446744073709551615 4194304 4196468 140728991827824 140529131383344 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
Current children cumulated CPU time: 170.78 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 227756 KiB
[startup+222.301 s]
/proc/loadavg: 1.85 1.86 1.71 3/214 28748
/proc/meminfo: memFree=31173064/32770624 swapFree=67108860/67108860
[pid=28691] ppid=28686 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28691/stat : 28691 (xcsp3-exec) S 28686 28691 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 63920250 9740288 344 18446744073709551615 4194304 5098028 140727791684416 140727791682520 140025447989884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 7929856 140727791690110 140727791690314 140727791690314 140727791693803 0
/proc/28691/statm: 2378 344 289 221 0 87 0
[pid=28697] ppid=28691 vsize=13980732 memory=210000 CPUtime=230.86 cores=1,3,5,7
/proc/28697/stat : 28697 (java) S 28691 28691 17093 0 -1 1077944320 85768 0 0 0 23065 21 0 0 20 0 15 0 63920258 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140728991810368 140530021691127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
/proc/28697/statm: 3495183 52500 3234 1 0 3483476 0
[pid=28697/tid=28699] ppid=28691 vsize=13980732 memory=213592 CPUtime=222.08 cores=1,3,5,7
/proc/28697/task/28699/stat : 28699 (java) R 28691 28691 17093 0 -1 4202560 15302 0 0 0 22202 6 0 0 20 0 15 0 63920259 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140530025930304 140529668402352 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28701] ppid=28691 vsize=13980732 memory=1376 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28701/stat : 28701 (java) S 28691 28691 17093 0 -1 1077944384 1272 0 0 0 1 1 0 0 20 0 15 0 63920259 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529989250064 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28702] ppid=28691 vsize=13980732 memory=210000 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28702/stat : 28702 (java) S 28691 28691 17093 0 -1 1077944384 574 0 0 0 1 1 0 0 20 0 15 0 63920259 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529620831376 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28703] ppid=28691 vsize=13980732 memory=1376 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28703/stat : 28703 (java) S 28691 28691 17093 0 -1 1077944384 1005 0 0 0 2 0 0 0 20 0 15 0 63920259 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529619778320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28704] ppid=28691 vsize=13980732 memory=1376 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28704/stat : 28704 (java) S 28691 28691 17093 0 -1 1077944384 1881 0 0 0 2 0 0 0 20 0 15 0 63920259 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529618725776 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28709] ppid=28691 vsize=13980732 memory=2257 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28709/stat : 28709 (java) S 28691 28691 17093 0 -1 1077944384 1578 0 0 0 2 0 0 0 20 0 15 0 63920261 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529139804400 140530021702274 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28711] ppid=28691 vsize=13980732 memory=279733234564544 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28711/stat : 28711 (java) S 28691 28691 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 63920261 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529138750688 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28713] ppid=28691 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28713/stat : 28713 (java) S 28691 28691 17093 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 63920261 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529137697536 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28715] ppid=28691 vsize=13980732 memory=213592 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28715/stat : 28715 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529136646096 140530021709723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28716] ppid=28691 vsize=13980732 memory=1376 CPUtime=3.88 cores=1,3,5,7
/proc/28697/task/28716/stat : 28716 (java) S 28691 28691 17093 0 -1 1077944384 26829 0 0 0 385 3 0 0 20 0 15 0 63920264 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529135594224 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28717] ppid=28691 vsize=13980732 memory=4028 CPUtime=4.11 cores=1,3,5,7
/proc/28697/task/28717/stat : 28717 (java) S 28691 28691 17093 0 -1 1077944384 28482 0 0 0 408 3 0 0 20 0 15 0 63920264 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529134541680 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28718] ppid=28691 vsize=13980732 memory=36156 CPUtime=0.56 cores=1,3,5,7
/proc/28697/task/28718/stat : 28718 (java) S 28691 28691 17093 0 -1 1077944384 5871 0 0 0 55 1 0 0 20 0 15 0 63920264 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529133488624 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28723] ppid=28691 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28723/stat : 28723 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529132436320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28725] ppid=28691 vsize=13980732 memory=36156 CPUtime=0.04 cores=1,3,5,7
/proc/28697/task/28725/stat : 28725 (java) S 28691 28691 17093 0 -1 1077944384 1611 0 0 0 2 2 0 0 20 0 15 0 63920268 14316269568 52500 18446744073709551615 4194304 4196468 140728991827824 140529131383344 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
Current children cumulated CPU time: 230.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 211376 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.81 1.85 1.71 3/214 28748
/proc/meminfo: memFree=31135028/32770624 swapFree=67108860/67108860
[pid=28691] ppid=28686 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28691/stat : 28691 (xcsp3-exec) S 28686 28691 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 63920250 9740288 344 18446744073709551615 4194304 5098028 140727791684416 140727791682520 140025447989884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 7929856 140727791690110 140727791690314 140727791690314 140727791693803 0
/proc/28691/statm: 2378 344 289 221 0 87 0
[pid=28697] ppid=28691 vsize=13980732 memory=206940 CPUtime=248.59 cores=1,3,5,7
/proc/28697/stat : 28697 (java) S 28691 28691 17093 0 -1 1077944320 85853 0 0 0 24838 21 0 0 20 0 15 0 63920258 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140728991810368 140530021691127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
/proc/28697/statm: 3495183 51735 3234 1 0 3483476 0
[pid=28697/tid=28699] ppid=28691 vsize=13980732 memory=-8195925453750481479 CPUtime=239.78 cores=1,3,5,7
/proc/28697/task/28699/stat : 28699 (java) R 28691 28691 17093 0 -1 4202560 15327 0 0 0 23972 6 0 0 20 0 15 0 63920259 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140530025928056 140529668997167 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28701] ppid=28691 vsize=13980732 memory=1992 CPUtime=0.03 cores=1,3,5,7
/proc/28697/task/28701/stat : 28701 (java) S 28691 28691 17093 0 -1 1077944384 1272 0 0 0 2 1 0 0 20 0 15 0 63920259 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529989250064 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28702] ppid=28691 vsize=13980732 memory=1204 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28702/stat : 28702 (java) S 28691 28691 17093 0 -1 1077944384 574 0 0 0 1 1 0 0 20 0 15 0 63920259 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529620831376 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28703] ppid=28691 vsize=13980732 memory=1000 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28703/stat : 28703 (java) S 28691 28691 17093 0 -1 1077944384 1005 0 0 0 2 0 0 0 20 0 15 0 63920259 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529619778320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28704] ppid=28691 vsize=13980732 memory=4872558044660077418 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28704/stat : 28704 (java) S 28691 28691 17093 0 -1 1077944384 1881 0 0 0 2 0 0 0 20 0 15 0 63920259 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529618725776 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28709] ppid=28691 vsize=13980732 memory=1376 CPUtime=0.02 cores=1,3,5,7
/proc/28697/task/28709/stat : 28709 (java) S 28691 28691 17093 0 -1 1077944384 1578 0 0 0 2 0 0 0 20 0 15 0 63920261 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529139804400 140530021702274 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28711] ppid=28691 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28711/stat : 28711 (java) S 28691 28691 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 63920261 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529138750688 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28713] ppid=28691 vsize=13980732 memory=206940 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28713/stat : 28713 (java) S 28691 28691 17093 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 63920261 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529137697536 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28715] ppid=28691 vsize=13980732 memory=7883944108235712103 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28715/stat : 28715 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529136646096 140530021709723 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28716] ppid=28691 vsize=13980732 memory=6445053927945233765 CPUtime=3.88 cores=1,3,5,7
/proc/28697/task/28716/stat : 28716 (java) S 28691 28691 17093 0 -1 1077944384 26857 0 0 0 385 3 0 0 20 0 15 0 63920264 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529135594224 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28717] ppid=28691 vsize=13980732 memory=6933690305039933585 CPUtime=4.11 cores=1,3,5,7
/proc/28697/task/28717/stat : 28717 (java) S 28691 28691 17093 0 -1 1077944384 28488 0 0 0 408 3 0 0 20 0 15 0 63920264 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529134541680 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28718] ppid=28691 vsize=13980732 memory=8173582993829750080 CPUtime=0.56 cores=1,3,5,7
/proc/28697/task/28718/stat : 28718 (java) S 28691 28691 17093 0 -1 1077944384 5897 0 0 0 55 1 0 0 20 0 15 0 63920264 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529133488624 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28723] ppid=28691 vsize=13980732 memory=7086820207622973797 CPUtime=0 cores=1,3,5,7
/proc/28697/task/28723/stat : 28723 (java) S 28691 28691 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63920264 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529132436320 140530021701333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
[pid=28697/tid=28725] ppid=28691 vsize=13980732 memory=7669175433104552302 CPUtime=0.04 cores=1,3,5,7
/proc/28697/task/28725/stat : 28725 (java) S 28691 28691 17093 0 -1 1077944384 1611 0 0 0 2 2 0 0 20 0 15 0 63920268 14316269568 51735 18446744073709551615 4194304 4196468 140728991827824 140529131383344 140530021702274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 15142912 140728991834551 140728991834726 140728991834726 140728991838159 0
Current children cumulated CPU time: 248.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 208316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 28691 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001929 s, system=0 s
[startup+240.036 s]
# the end of solver process 28697 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.396 s, system=0.220096 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): 240.036
CPU time (s): 248.616
CPU user time (s): 248.396
CPU system time (s): 0.220096
CPU usage (%): 103.574
Max. virtual memory (cumulated for all children) (KiB): 13992836
Max. memory (cumulated for all children) (KiB): 248616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.396
system time used= 0.220096
maximum resident set size= 250304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8425
involuntary context switches= 151
# summary of solver processes directly reported to runsolver:
# pid: 28691,28697
# total CPU time (s): 248.616
# total CPU user time (s): 248.396
# total CPU system time (s): 0.220096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1908 second user time and 2.34186 second system time
The end