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 (15090 MiB free)
memory of node 1: 16384 MiB (15564 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270186-1502621189/watcher-4270186-1502621189 -o /tmp/evaluation-result-4270186-1502621189/solver-4270186-1502621189 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502620090-31365 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1802284827 HOME/instance-4270186-1502621189.xml
running on 4 cores: 0,2,4,6
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=31577, runsolver pid=31574
[startup+0.100122 s]*
/proc/loadavg: 2.54 1.71 1.37 3/221 31593
/proc/meminfo: memFree=31374492/32770624 swapFree=67108860/67108860
[pid=31577] ppid=31574 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31577/stat : 31577 (xcsp3-exec) S 31574 31577 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95206740 9740288 346 33554432000 4194304 5098028 140726027415744 140726027413848 139811417141884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140726027424884 140726027425088 140726027425088 140726027427819 0
/proc/31577/statm: 2378 346 289 221 0 87 0
[pid=31579] ppid=31577 vsize=13978596 memory=28608 CPUtime=0.13 cores=0,2,4,6
/proc/31579/stat : 31579 (java) S 31577 31577 28385 0 -1 1077944320 5460 0 0 0 12 1 0 0 20 0 15 0 95206740 14314082304 7152 33554432000 4194304 4196468 140723019299808 140723019282352 139805405867767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
/proc/31579/statm: 3494649 7152 2904 1 0 3482966 0
[pid=31579/tid=31580] ppid=31577 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/31579/task/31580/stat : 31580 (java) R 31577 31577 28385 0 -1 4202560 3393 0 0 0 9 0 0 0 20 0 15 0 95206741 14314082304 7152 33554432000 4194304 4196468 140723019299808 139805410099696 139805391008573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31581] ppid=31577 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31581/stat : 31581 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206742 14314082304 7152 33554432000 4194304 4196468 140723019299808 139805358488336 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31582] ppid=31577 vsize=13978596 memory=140611614525056 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31582/stat : 31582 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206742 14314082304 7152 33554432000 4194304 4196468 140723019299808 139805357435792 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31583] ppid=31577 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31583/stat : 31583 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206742 14314082304 7152 33554432000 4194304 4196468 140723019299808 139805356383248 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31584] ppid=31577 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31584/stat : 31584 (java) S 31577 31577 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206742 14314082304 7152 33554432000 4194304 4196468 140723019299808 139805355330704 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31585] ppid=31577 vsize=13978596 memory=140611614525056 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31585/stat : 31585 (java) S 31577 31577 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206743 14314082304 7152 33554432000 4194304 4196468 140723019299808 139804947277808 139805405878914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31586] ppid=31577 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31586/stat : 31586 (java) S 31577 31577 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95206743 14314082304 7152 33554432000 4194304 4196468 140723019299808 139804946224032 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31587] ppid=31577 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31587/stat : 31587 (java) S 31577 31577 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95206744 14314082304 7152 33554432000 4194304 4196468 140723019299808 139804945171440 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31588] ppid=31577 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31588/stat : 31588 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14314082304 7152 33554432000 4194304 4196468 140723019299808 139804876466384 139805405886363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31589] ppid=31577 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31589/stat : 31589 (java) S 31577 31577 28385 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 95206746 14314082304 7152 33554432000 4194304 4196468 140723019299808 139804875414000 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31590] ppid=31577 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31590/stat : 31590 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14314082304 7152 33554432000 4194304 4196468 140723019299808 139804874361456 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31591] ppid=31577 vsize=13978596 memory=140611614525056 CPUtime=0.01 cores=0,2,4,6
/proc/31579/task/31591/stat : 31591 (java) S 31577 31577 28385 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 95206746 14314082304 7152 33554432000 4194304 4196468 140723019299808 139804873308912 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31592] ppid=31577 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31592/stat : 31592 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14314082304 7152 33554432000 4194304 4196468 140723019299808 139804872256608 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31593] ppid=31577 vsize=13978596 memory=140611614525056 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31593/stat : 31593 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206746 14314082304 7152 33554432000 4194304 4196468 140723019299808 139804871203120 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29992 KiB
[startup+0.212063 s]*
/proc/loadavg: 2.54 1.71 1.37 3/221 31593
/proc/meminfo: memFree=31363816/32770624 swapFree=67108860/67108860
[pid=31577] ppid=31574 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31577/stat : 31577 (xcsp3-exec) S 31574 31577 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95206740 9740288 346 33554432000 4194304 5098028 140726027415744 140726027413848 139811417141884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140726027424884 140726027425088 140726027425088 140726027427819 0
/proc/31577/statm: 2378 346 289 221 0 87 0
[pid=31579] ppid=31577 vsize=13982852 memory=40592 CPUtime=0.34 cores=0,2,4,6
/proc/31579/stat : 31579 (java) S 31577 31577 28385 0 -1 1077944320 8160 0 0 0 32 2 0 0 20 0 15 0 95206740 14318440448 10148 33554432000 4194304 4196468 140723019299808 140723019282352 139805405867767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
/proc/31579/statm: 3495713 10148 3078 1 0 3482966 0
[pid=31579/tid=31580] ppid=31577 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/31579/task/31580/stat : 31580 (java) R 31577 31577 28385 0 -1 4202560 5284 0 0 0 19 1 0 0 20 0 15 0 95206741 14318440448 10148 33554432000 4194304 4196468 140723019299808 139805410086720 139805389948254 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31581] ppid=31577 vsize=13982852 memory=13593 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31581/stat : 31581 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206742 14318440448 10148 33554432000 4194304 4196468 140723019299808 139805358488336 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31582] ppid=31577 vsize=13982852 memory=140611614553725 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31582/stat : 31582 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206742 14318440448 10148 33554432000 4194304 4196468 140723019299808 139805357435792 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31583] ppid=31577 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31583/stat : 31583 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206742 14318440448 10148 33554432000 4194304 4196468 140723019299808 139805356383248 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31584] ppid=31577 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31584/stat : 31584 (java) S 31577 31577 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206742 14318440448 10148 33554432000 4194304 4196468 140723019299808 139805355330704 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31585] ppid=31577 vsize=13982852 memory=140611614525056 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31585/stat : 31585 (java) S 31577 31577 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206743 14318440448 10148 33554432000 4194304 4196468 140723019299808 139804947277808 139805405878914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31586] ppid=31577 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31586/stat : 31586 (java) S 31577 31577 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95206743 14318440448 10148 33554432000 4194304 4196468 140723019299808 139804946224032 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31587] ppid=31577 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31587/stat : 31587 (java) S 31577 31577 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95206744 14318440448 10148 33554432000 4194304 4196468 140723019299808 139804945171440 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31588] ppid=31577 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31588/stat : 31588 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14318440448 10148 33554432000 4194304 4196468 140723019299808 139804876466384 139805405886363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31589] ppid=31577 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31579/task/31589/stat : 31589 (java) S 31577 31577 28385 0 -1 1077944384 668 0 0 0 2 0 0 0 20 0 15 0 95206746 14318440448 10148 33554432000 4194304 4196468 140723019299808 139804875414000 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31590] ppid=31577 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31579/task/31590/stat : 31590 (java) S 31577 31577 28385 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 15 0 95206746 14318440448 10148 33554432000 4194304 4196468 140723019299808 139804874361456 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31591] ppid=31577 vsize=13982852 memory=140611614525056 CPUtime=0.08 cores=0,2,4,6
/proc/31579/task/31591/stat : 31591 (java) S 31577 31577 28385 0 -1 1077944384 745 0 0 0 8 0 0 0 20 0 15 0 95206746 14318440448 10148 33554432000 4194304 4196468 140723019299808 139804873308912 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31592] ppid=31577 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31592/stat : 31592 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14318440448 10148 33554432000 4194304 4196468 140723019299808 139804872256608 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31593] ppid=31577 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31593/stat : 31593 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206746 14318440448 10148 33554432000 4194304 4196468 140723019299808 139804871203120 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41976 KiB
[startup+0.310649 s]*
/proc/loadavg: 2.54 1.71 1.37 6/221 31593
/proc/meminfo: memFree=31356660/32770624 swapFree=67108860/67108860
[pid=31577] ppid=31574 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31577/stat : 31577 (xcsp3-exec) S 31574 31577 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95206740 9740288 346 33554432000 4194304 5098028 140726027415744 140726027413848 139811417141884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140726027424884 140726027425088 140726027425088 140726027427819 0
/proc/31577/statm: 2378 346 289 221 0 87 0
[pid=31579] ppid=31577 vsize=13982852 memory=47848 CPUtime=0.51 cores=0,2,4,6
/proc/31579/stat : 31579 (java) S 31577 31577 28385 0 -1 1077944320 9104 0 0 0 48 3 0 0 20 0 15 0 95206740 14318440448 11962 33554432000 4194304 4196468 140723019299808 140723019282352 139805405867767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
/proc/31579/statm: 3495713 11962 3113 1 0 3482966 0
[pid=31579/tid=31580] ppid=31577 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/31579/task/31580/stat : 31580 (java) R 31577 31577 28385 0 -1 4202560 6018 0 0 0 27 2 0 0 20 0 15 0 95206741 14318440448 11962 33554432000 4194304 4196468 140723019299808 139805410105488 139805398545781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31581] ppid=31577 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31581/stat : 31581 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206742 14318440448 11962 33554432000 4194304 4196468 140723019299808 139805358488336 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31582] ppid=31577 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31582/stat : 31582 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206742 14318440448 11962 33554432000 4194304 4196468 140723019299808 139805357435792 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31583] ppid=31577 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31583/stat : 31583 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206742 14318440448 11962 33554432000 4194304 4196468 140723019299808 139805356383248 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31584] ppid=31577 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31584/stat : 31584 (java) S 31577 31577 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206742 14318440448 11962 33554432000 4194304 4196468 140723019299808 139805355330704 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31585] ppid=31577 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31585/stat : 31585 (java) S 31577 31577 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206743 14318440448 11962 33554432000 4194304 4196468 140723019299808 139804947277808 139805405878914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31586] ppid=31577 vsize=13982852 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31586/stat : 31586 (java) S 31577 31577 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95206743 14318440448 11962 33554432000 4194304 4196468 140723019299808 139804946224032 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31587] ppid=31577 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31587/stat : 31587 (java) S 31577 31577 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95206744 14318440448 11962 33554432000 4194304 4196468 140723019299808 139804945171440 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31588] ppid=31577 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31588/stat : 31588 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14318440448 11962 33554432000 4194304 4196468 140723019299808 139804876466384 139805405886363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31589] ppid=31577 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/31579/task/31589/stat : 31589 (java) S 31577 31577 28385 0 -1 1077944384 682 0 0 0 3 0 0 0 20 0 15 0 95206746 14318440448 11962 33554432000 4194304 4196468 140723019299808 139804875414000 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31590] ppid=31577 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31579/task/31590/stat : 31590 (java) S 31577 31577 28385 0 -1 1077944384 220 0 0 0 3 0 0 0 20 0 15 0 95206746 14318440448 11962 33554432000 4194304 4196468 140723019299808 139804874361456 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31591] ppid=31577 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/31579/task/31591/stat : 31591 (java) S 31577 31577 28385 0 -1 1077944384 881 0 0 0 13 0 0 0 20 0 15 0 95206746 14318440448 11962 33554432000 4194304 4196468 140723019299808 139804873308912 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31592] ppid=31577 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31592/stat : 31592 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14318440448 11962 33554432000 4194304 4196468 140723019299808 139804872256608 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31593] ppid=31577 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31593/stat : 31593 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206746 14318440448 11962 33554432000 4194304 4196468 140723019299808 139804871203120 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49232 KiB
[startup+0.700773 s]
/proc/loadavg: 2.54 1.71 1.37 3/221 31593
/proc/meminfo: memFree=31340912/32770624 swapFree=67108860/67108860
[pid=31577] ppid=31574 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31577/stat : 31577 (xcsp3-exec) S 31574 31577 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95206740 9740288 346 33554432000 4194304 5098028 140726027415744 140726027413848 139811417141884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140726027424884 140726027425088 140726027425088 140726027427819 0
/proc/31577/statm: 2378 346 289 221 0 87 0
[pid=31579] ppid=31577 vsize=13984976 memory=67692 CPUtime=1.56 cores=0,2,4,6
/proc/31579/stat : 31579 (java) S 31577 31577 28385 0 -1 1077944320 11571 0 1 0 152 4 0 0 20 0 15 0 95206740 14320615424 16923 33554432000 4194304 4196468 140723019299808 140723019282352 139805405867767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
/proc/31579/statm: 3496244 16923 3206 1 0 3483478 0
[pid=31579/tid=31580] ppid=31577 vsize=13984976 memory=3472328296227679313 CPUtime=0.67 cores=0,2,4,6
/proc/31579/task/31580/stat : 31580 (java) R 31577 31577 28385 0 -1 4202560 6622 0 0 0 64 3 0 0 20 0 15 0 95206741 14320615424 16923 33554432000 4194304 4196468 140723019299808 139805410104152 139805405879702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31581] ppid=31577 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31581/stat : 31581 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206742 14320615424 16923 33554432000 4194304 4196468 140723019299808 139805358488336 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31582] ppid=31577 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31582/stat : 31582 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206742 14320615424 16923 33554432000 4194304 4196468 140723019299808 139805357435792 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31583] ppid=31577 vsize=13984976 memory=27344 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31583/stat : 31583 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206742 14320615424 16923 33554432000 4194304 4196468 140723019299808 139805356383248 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31584] ppid=31577 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31584/stat : 31584 (java) S 31577 31577 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206742 14320615424 16923 33554432000 4194304 4196468 140723019299808 139805355330704 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31585] ppid=31577 vsize=13984976 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31585/stat : 31585 (java) S 31577 31577 28385 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95206743 14320615424 16923 33554432000 4194304 4196468 140723019299808 139804947277808 139805405878914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31586] ppid=31577 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31586/stat : 31586 (java) S 31577 31577 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95206743 14320615424 16923 33554432000 4194304 4196468 140723019299808 139804946224032 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31587] ppid=31577 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31587/stat : 31587 (java) S 31577 31577 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95206744 14320615424 16923 33554432000 4194304 4196468 140723019299808 139804945171440 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31588] ppid=31577 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31588/stat : 31588 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14320615424 16923 33554432000 4194304 4196468 140723019299808 139804876466384 139805405886363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31589] ppid=31577 vsize=13984976 memory=1948 CPUtime=0.27 cores=0,2,4,6
/proc/31579/task/31589/stat : 31589 (java) R 31577 31577 28385 0 -1 4202560 1350 0 1 0 27 0 0 0 20 0 15 0 95206746 14320615424 16923 33554432000 4194304 4196468 140723019299808 139804875414000 139805405889114 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31590] ppid=31577 vsize=13984976 memory=8560 CPUtime=0.27 cores=0,2,4,6
/proc/31579/task/31590/stat : 31590 (java) R 31577 31577 28385 0 -1 4202560 783 0 0 0 27 0 0 0 20 0 15 0 95206746 14320615424 16923 33554432000 4194304 4196468 140723019299808 139804874351424 139805389399258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31591] ppid=31577 vsize=13984976 memory=1228 CPUtime=0.31 cores=0,2,4,6
/proc/31579/task/31591/stat : 31591 (java) S 31577 31577 28385 0 -1 1077944384 1509 0 0 0 31 0 0 0 20 0 15 0 95206746 14320615424 16923 33554432000 4194304 4196468 140723019299808 139804873308912 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31592] ppid=31577 vsize=13984976 memory=12028 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31592/stat : 31592 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14320615424 16923 33554432000 4194304 4196468 140723019299808 139804872256608 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31593] ppid=31577 vsize=13984976 memory=5668 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31593/stat : 31593 (java) S 31577 31577 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206746 14320615424 16923 33554432000 4194304 4196468 140723019299808 139804871203120 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 69076 KiB
[startup+1.50082 s]
/proc/loadavg: 2.54 1.71 1.37 3/221 31593
/proc/meminfo: memFree=31336384/32770624 swapFree=67108860/67108860
[pid=31577] ppid=31574 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31577/stat : 31577 (xcsp3-exec) S 31574 31577 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95206740 9740288 346 33554432000 4194304 5098028 140726027415744 140726027413848 139811417141884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140726027424884 140726027425088 140726027425088 140726027427819 0
/proc/31577/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/31579/task/31587/stat : 31587 (java) S 31577 31577 28385 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95206744 14320615424 48480 33554432000 4194304 4196468 140723019299808 139804945171440 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31588] ppid=31577 vsize=13984976 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31588/stat : 31588 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14320615424 48480 33554432000 4194304 4196468 140723019299808 139804876466384 139805405886363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31589] ppid=31577 vsize=13984976 memory=1728 CPUtime=1.7 cores=0,2,4,6
/proc/31579/task/31589/stat : 31589 (java) S 31577 31577 28385 0 -1 1077944384 5854 0 1 0 170 0 0 0 20 0 15 0 95206746 14320615424 48480 33554432000 4194304 4196468 140723019299808 139804875414000 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31590] ppid=31577 vsize=13984976 memory=1384 CPUtime=1.8 cores=0,2,4,6
/proc/31579/task/31590/stat : 31590 (java) S 31577 31577 28385 0 -1 1077944384 7252 0 0 0 179 1 0 0 20 0 15 0 95206746 14320615424 48480 33554432000 4194304 4196468 140723019299808 139804874361456 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31591] ppid=31577 vsize=13984976 memory=195340 CPUtime=0.5 cores=0,2,4,6
/proc/31579/task/31591/stat : 31591 (java) S 31577 31577 28385 0 -1 1077944384 6434 0 0 0 50 0 0 0 20 0 15 0 95206746 14320615424 48480 33554432000 4194304 4196468 140723019299808 139804873308912 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31592] ppid=31577 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31592/stat : 31592 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14320615424 48480 33554432000 4194304 4196468 140723019299808 139804872256608 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31593] ppid=31577 vsize=13984976 memory=27344 CPUtime=0.01 cores=0,2,4,6
/proc/31579/task/31593/stat : 31593 (java) S 31577 31577 28385 0 -1 1077944384 930 0 0 0 0 1 0 0 20 0 15 0 95206746 14320615424 48480 33554432000 4194304 4196468 140723019299808 139804871203120 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
Current children cumulated CPU time: 106.4 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 195304 KiB
[startup+162.301 s]
/proc/loadavg: 1.85 1.75 1.44 3/218 31752
/proc/meminfo: memFree=31267180/32770624 swapFree=67108860/67108860
[pid=31577] ppid=31574 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31577/stat : 31577 (xcsp3-exec) S 31574 31577 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95206740 9740288 346 33554432000 4194304 5098028 140726027415744 140726027413848 139811417141884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140726027424884 140726027425088 140726027425088 140726027427819 0
/proc/31577/statm: 2378 346 289 221 0 87 0
[pid=31579] ppid=31577 vsize=13984976 memory=168828 CPUtime=166.49 cores=0,2,4,6
/proc/31579/stat : 31579 (java) S 31577 31577 28385 0 -1 1077944320 38498 0 1 0 16637 12 0 0 20 0 15 0 95206740 14320615424 42207 33554432000 4194304 4196468 140723019299808 140723019282352 139805405867767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
/proc/31579/statm: 3496244 42207 3260 1 0 3483478 0
[pid=31579/tid=31580] ppid=31577 vsize=13984976 memory=168828 CPUtime=162.18 cores=0,2,4,6
/proc/31579/task/31580/stat : 31580 (java) R 31577 31577 28385 0 -1 4202560 12510 0 0 0 16214 4 0 0 20 0 15 0 95206741 14320615424 42207 33554432000 4194304 4196468 140723019299808 139805410107216 139805031503526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31581] ppid=31577 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/31579/task/31581/stat : 31581 (java) S 31577 31577 28385 0 -1 1077944384 617 0 0 0 2 0 0 0 20 0 15 0 95206742 14320615424 42207 33554432000 4194304 4196468 140723019299808 139805358488336 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31582] ppid=31577 vsize=13984976 memory=170880 CPUtime=0.02 cores=0,2,4,6
/proc/31579/task/31582/stat : 31582 (java) S 31577 31577 28385 0 -1 1077944384 1056 0 0 0 2 0 0 0 20 0 15 0 95206742 14320615424 42207 33554432000 4194304 4196468 140723019299808 139805357435792 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31583] ppid=31577 vsize=13984976 memory=168828 CPUtime=0.02 cores=0,2,4,6
/proc/31579/task/31583/stat : 31583 (java) S 31577 31577 28385 0 -1 1077944384 498 0 0 0 2 0 0 0 20 0 15 0 95206742 14320615424 42207 33554432000 4194304 4196468 140723019299808 139805356383248 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31584] ppid=31577 vsize=13984976 memory=168828 CPUtime=0.02 cores=0,2,4,6
/proc/31579/task/31584/stat : 31584 (java) S 31577 31577 28385 0 -1 1077944384 422 0 0 0 2 0 0 0 20 0 15 0 95206742 14320615424 42207 33554432000 4194304 4196468 140723019299808 139805355330704 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31585] ppid=31577 vsize=13984976 memory=168828 CPUtime=0.02 cores=0,2,4,6
/proc/31579/task/31585/stat : 31585 (java) S 31577 31577 28385 0 -1 1077944384 1096 0 0 0 2 0 0 0 20 0 15 0 95206743 14320615424 42207 33554432000 4194304 4196468 140723019299808 139804947277808 139805405878914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31586] ppid=31577 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31586/stat : 31586 (java) S 31577 31577 28385 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 95206743 14320615424 42207 33554432000 4194304 4196468 140723019299808 139804946224032 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31587] ppid=31577 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31587/stat : 31587 (java) S 31577 31577 28385 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95206744 14320615424 42207 33554432000 4194304 4196468 140723019299808 139804945171440 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31588] ppid=31577 vsize=13984976 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31588/stat : 31588 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14320615424 42207 33554432000 4194304 4196468 140723019299808 139804876466384 139805405886363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31589] ppid=31577 vsize=13984976 memory=1384 CPUtime=1.73 cores=0,2,4,6
/proc/31579/task/31589/stat : 31589 (java) S 31577 31577 28385 0 -1 1077944384 5926 0 1 0 173 0 0 0 20 0 15 0 95206746 14320615424 42207 33554432000 4194304 4196468 140723019299808 139804875414000 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31590] ppid=31577 vsize=13984976 memory=170880 CPUtime=1.82 cores=0,2,4,6
/proc/31579/task/31590/stat : 31590 (java) S 31577 31577 28385 0 -1 1077944384 7467 0 0 0 181 1 0 0 20 0 15 0 95206746 14320615424 42207 33554432000 4194304 4196468 140723019299808 139804874361456 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31591] ppid=31577 vsize=13984976 memory=1384 CPUtime=0.51 cores=0,2,4,6
/proc/31579/task/31591/stat : 31591 (java) S 31577 31577 28385 0 -1 1077944384 6591 0 0 0 50 1 0 0 20 0 15 0 95206746 14320615424 42207 33554432000 4194304 4196468 140723019299808 139804873308912 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31592] ppid=31577 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31592/stat : 31592 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14320615424 42207 33554432000 4194304 4196468 140723019299808 139804872256608 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31593] ppid=31577 vsize=13984976 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/31579/task/31593/stat : 31593 (java) S 31577 31577 28385 0 -1 1077944384 955 0 0 0 1 2 0 0 20 0 15 0 95206746 14320615424 42207 33554432000 4194304 4196468 140723019299808 139804871203120 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
Current children cumulated CPU time: 166.49 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 170212 KiB
[startup+222.301 s]
/proc/loadavg: 2.39 1.92 1.51 3/217 31753
/proc/meminfo: memFree=31241672/32770624 swapFree=67108860/67108860
[pid=31577] ppid=31574 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31577/stat : 31577 (xcsp3-exec) S 31574 31577 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95206740 9740288 346 33554432000 4194304 5098028 140726027415744 140726027413848 139811417141884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140726027424884 140726027425088 140726027425088 140726027427819 0
/proc/31577/statm: 2378 346 289 221 0 87 0
[pid=31579] ppid=31577 vsize=13984976 memory=162724 CPUtime=226.72 cores=0,2,4,6
/proc/31579/stat : 31579 (java) S 31577 31577 28385 0 -1 1077944320 39863 0 1 0 22658 14 0 0 20 0 15 0 95206740 14320615424 40681 33554432000 4194304 4196468 140723019299808 140723019282352 139805405867767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
/proc/31579/statm: 3496244 40681 3261 1 0 3483478 0
[pid=31579/tid=31580] ppid=31577 vsize=13984976 memory=1384 CPUtime=222.12 cores=0,2,4,6
/proc/31579/task/31580/stat : 31580 (java) R 31577 31577 28385 0 -1 4202560 12854 0 0 0 22208 4 0 0 20 0 15 0 95206741 14320615424 40681 33554432000 4194304 4196468 140723019299808 139805410107472 139805031502936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31581] ppid=31577 vsize=13984976 memory=162724 CPUtime=0.05 cores=0,2,4,6
/proc/31579/task/31581/stat : 31581 (java) S 31577 31577 28385 0 -1 1077944384 636 0 0 0 5 0 0 0 20 0 15 0 95206742 14320615424 40681 33554432000 4194304 4196468 140723019299808 139805358488336 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31582] ppid=31577 vsize=13984976 memory=162724 CPUtime=0.05 cores=0,2,4,6
/proc/31579/task/31582/stat : 31582 (java) S 31577 31577 28385 0 -1 1077944384 1343 0 0 0 4 1 0 0 20 0 15 0 95206742 14320615424 40681 33554432000 4194304 4196468 140723019299808 139805357435792 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31583] ppid=31577 vsize=13984976 memory=160656 CPUtime=0.05 cores=0,2,4,6
/proc/31579/task/31583/stat : 31583 (java) S 31577 31577 28385 0 -1 1077944384 518 0 0 0 5 0 0 0 20 0 15 0 95206742 14320615424 40681 33554432000 4194304 4196468 140723019299808 139805356383248 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31584] ppid=31577 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/31579/task/31584/stat : 31584 (java) S 31577 31577 28385 0 -1 1077944384 443 0 0 0 4 0 0 0 20 0 15 0 95206742 14320615424 40681 33554432000 4194304 4196468 140723019299808 139805355330704 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31585] ppid=31577 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/31579/task/31585/stat : 31585 (java) S 31577 31577 28385 0 -1 1077944384 1269 0 0 0 4 0 0 0 20 0 15 0 95206743 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804947277808 139805405878914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31586] ppid=31577 vsize=13984976 memory=162724 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31586/stat : 31586 (java) S 31577 31577 28385 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 95206743 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804946224032 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31587] ppid=31577 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31587/stat : 31587 (java) S 31577 31577 28385 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95206744 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804945171440 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31588] ppid=31577 vsize=13984976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31588/stat : 31588 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804876466384 139805405886363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31589] ppid=31577 vsize=13984976 memory=1384 CPUtime=1.81 cores=0,2,4,6
/proc/31579/task/31589/stat : 31589 (java) S 31577 31577 28385 0 -1 1077944384 5984 0 1 0 181 0 0 0 20 0 15 0 95206746 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804875414000 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31590] ppid=31577 vsize=13984976 memory=160656 CPUtime=1.89 cores=0,2,4,6
/proc/31579/task/31590/stat : 31590 (java) S 31577 31577 28385 0 -1 1077944384 7847 0 0 0 188 1 0 0 20 0 15 0 95206746 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804874361456 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31591] ppid=31577 vsize=13984976 memory=1384 CPUtime=0.52 cores=0,2,4,6
/proc/31579/task/31591/stat : 31591 (java) S 31577 31577 28385 0 -1 1077944384 6639 0 0 0 51 1 0 0 20 0 15 0 95206746 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804873308912 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31592] ppid=31577 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31592/stat : 31592 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804872256608 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31593] ppid=31577 vsize=13984976 memory=288230617509003574 CPUtime=0.04 cores=0,2,4,6
/proc/31579/task/31593/stat : 31593 (java) S 31577 31577 28385 0 -1 1077944384 970 0 0 0 1 3 0 0 20 0 15 0 95206746 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804871203120 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
Current children cumulated CPU time: 226.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 164108 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.12 1.89 1.51 3/217 31753
/proc/meminfo: memFree=31229620/32770624 swapFree=67108860/67108860
[pid=31577] ppid=31574 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31577/stat : 31577 (xcsp3-exec) S 31574 31577 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95206740 9740288 346 33554432000 4194304 5098028 140726027415744 140726027413848 139811417141884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38866944 140726027424884 140726027425088 140726027425088 140726027427819 0
/proc/31577/statm: 2378 346 289 221 0 87 0
[pid=31579] ppid=31577 vsize=13984976 memory=162724 CPUtime=244.45 cores=0,2,4,6
/proc/31579/stat : 31579 (java) S 31577 31577 28385 0 -1 1077944320 39979 0 1 0 24430 15 0 0 20 0 15 0 95206740 14320615424 40681 33554432000 4194304 4196468 140723019299808 140723019282352 139805405867767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
/proc/31579/statm: 3496244 40681 3261 1 0 3483478 0
[pid=31579/tid=31580] ppid=31577 vsize=13984976 memory=6791534058613427641 CPUtime=239.81 cores=0,2,4,6
/proc/31579/task/31580/stat : 31580 (java) R 31577 31577 28385 0 -1 4202560 12964 0 0 0 23977 4 0 0 20 0 15 0 95206741 14320615424 40681 33554432000 4194304 4196468 140723019299808 139805410107584 139805034116412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31581] ppid=31577 vsize=13984976 memory=15876 CPUtime=0.06 cores=0,2,4,6
/proc/31579/task/31581/stat : 31581 (java) S 31577 31577 28385 0 -1 1077944384 636 0 0 0 6 0 0 0 20 0 15 0 95206742 14320615424 40681 33554432000 4194304 4196468 140723019299808 139805358488336 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31582] ppid=31577 vsize=13984976 memory=17656 CPUtime=0.06 cores=0,2,4,6
/proc/31579/task/31582/stat : 31582 (java) S 31577 31577 28385 0 -1 1077944384 1343 0 0 0 5 1 0 0 20 0 15 0 95206742 14320615424 40681 33554432000 4194304 4196468 140723019299808 139805357435792 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31583] ppid=31577 vsize=13984976 memory=4048 CPUtime=0.05 cores=0,2,4,6
/proc/31579/task/31583/stat : 31583 (java) S 31577 31577 28385 0 -1 1077944384 518 0 0 0 5 0 0 0 20 0 15 0 95206742 14320615424 40681 33554432000 4194304 4196468 140723019299808 139805356383248 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31584] ppid=31577 vsize=13984976 memory=162724 CPUtime=0.05 cores=0,2,4,6
/proc/31579/task/31584/stat : 31584 (java) S 31577 31577 28385 0 -1 1077944384 443 0 0 0 5 0 0 0 20 0 15 0 95206742 14320615424 40681 33554432000 4194304 4196468 140723019299808 139805355330704 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31585] ppid=31577 vsize=13984976 memory=1384 CPUtime=0.06 cores=0,2,4,6
/proc/31579/task/31585/stat : 31585 (java) S 31577 31577 28385 0 -1 1077944384 1269 0 0 0 5 1 0 0 20 0 15 0 95206743 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804947277808 139805405878914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31586] ppid=31577 vsize=13984976 memory=162724 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31586/stat : 31586 (java) S 31577 31577 28385 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 95206743 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804946224032 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31587] ppid=31577 vsize=13984976 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31587/stat : 31587 (java) S 31577 31577 28385 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95206744 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804945171440 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31588] ppid=31577 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31588/stat : 31588 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804876466384 139805405886363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31589] ppid=31577 vsize=13984976 memory=4140 CPUtime=1.81 cores=0,2,4,6
/proc/31579/task/31589/stat : 31589 (java) S 31577 31577 28385 0 -1 1077944384 5986 0 1 0 181 0 0 0 20 0 15 0 95206746 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804875414000 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31590] ppid=31577 vsize=13984976 memory=27344 CPUtime=1.89 cores=0,2,4,6
/proc/31579/task/31590/stat : 31590 (java) S 31577 31577 28385 0 -1 1077944384 7849 0 0 0 188 1 0 0 20 0 15 0 95206746 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804874361456 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31591] ppid=31577 vsize=13984976 memory=1296 CPUtime=0.52 cores=0,2,4,6
/proc/31579/task/31591/stat : 31591 (java) S 31577 31577 28385 0 -1 1077944384 6641 0 0 0 51 1 0 0 20 0 15 0 95206746 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804873308912 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31592] ppid=31577 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31579/task/31592/stat : 31592 (java) S 31577 31577 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95206746 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804872256608 139805405877973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
[pid=31579/tid=31593] ppid=31577 vsize=13984976 memory=840 CPUtime=0.04 cores=0,2,4,6
/proc/31579/task/31593/stat : 31593 (java) S 31577 31577 28385 0 -1 1077944384 970 0 0 0 1 3 0 0 20 0 15 0 95206746 14320615424 40681 33554432000 4194304 4196468 140723019299808 139804871203120 139805405878914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140723019302045 140723019302220 140723019302220 140723019304911 0
Current children cumulated CPU time: 244.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 164108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 31577 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000908 s, system=0.000908 s
[startup+240.03 s]
# the end of solver process 31579 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.32 s, system=0.154974 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.03
CPU time (s): 244.474
CPU user time (s): 244.32
CPU system time (s): 0.154974
CPU usage (%): 101.852
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 200308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.319
system time used= 0.154974
maximum resident set size= 201440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40857
page faults= 1
swaps= 0
block input operations= 8
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9217
involuntary context switches= 315
# summary of solver processes directly reported to runsolver:
# pid: 31577,31579
# total CPU time (s): 244.474
# total CPU user time (s): 244.32
# total CPU system time (s): 0.154974
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3742 second user time and 2.29962 second system time
The end