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 (10432 MiB free)
memory of node 1: 16384 MiB (15538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269991-1502623504/watcher-4269991-1502623504 -o /tmp/evaluation-result-4269991-1502623504/solver-4269991-1502623504 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502619962-4172 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2111858761 HOME/instance-4269991-1502623504.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=6726, runsolver pid=6723
[startup+0.107851 s]*
/proc/loadavg: 2.01 1.90 1.82 4/217 6742
/proc/meminfo: memFree=26576376/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6726/stat : 6726 (xcsp3-exec) S 6723 6726 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95438170 9740288 346 33554432000 4194304 5098028 140727163290304 140727163288408 140538445853308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10350592 140727163294836 140727163295040 140727163295040 140727163297771 0
/proc/6726/statm: 2378 346 289 221 0 87 0
[pid=6728] ppid=6726 vsize=13978596 memory=28616 CPUtime=0.13 cores=1,3,5,7
/proc/6728/stat : 6728 (java) S 6726 6726 29331 0 -1 1077944320 5536 0 0 0 12 1 0 0 20 0 15 0 95438170 14314082304 7154 33554432000 4194304 4196468 140721508984304 140721508966848 140123782745847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
/proc/6728/statm: 3494649 7154 2867 1 0 3482966 0
[pid=6728/tid=6729] ppid=6726 vsize=13978596 memory=-8412658762350172019 CPUtime=0.09 cores=1,3,5,7
/proc/6728/task/6729/stat : 6729 (java) R 6726 6726 29331 0 -1 4202560 3475 0 0 0 9 0 0 0 20 0 15 0 95438170 14314082304 7154 33554432000 4194304 4196468 140721508984304 140123786973216 140123782757782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6730] ppid=6726 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6730/stat : 6730 (java) S 6726 6726 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438171 14314082304 7154 33554432000 4194304 4196468 140721508984304 140123712834704 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6731] ppid=6726 vsize=13978596 memory=140388252366464 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6731/stat : 6731 (java) S 6726 6726 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438171 14314082304 7154 33554432000 4194304 4196468 140721508984304 140123711781904 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6732] ppid=6726 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6732/stat : 6732 (java) S 6726 6726 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438171 14314082304 7154 33554432000 4194304 4196468 140721508984304 140123376892816 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6733] ppid=6726 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6733/stat : 6733 (java) S 6726 6726 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438171 14314082304 7154 33554432000 4194304 4196468 140721508984304 140123375840016 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6734] ppid=6726 vsize=13978596 memory=140388252366464 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6734/stat : 6734 (java) S 6726 6726 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438173 14314082304 7154 33554432000 4194304 4196468 140721508984304 140122896546160 140123782756994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6735] ppid=6726 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6735/stat : 6735 (java) S 6726 6726 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95438173 14314082304 7154 33554432000 4194304 4196468 140721508984304 140122895492128 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6736] ppid=6726 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6736/stat : 6736 (java) S 6726 6726 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95438173 14314082304 7154 33554432000 4194304 4196468 140721508984304 140122894439280 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6737] ppid=6726 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6737/stat : 6737 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14314082304 7154 33554432000 4194304 4196468 140721508984304 140122893387600 140123782764443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6738] ppid=6726 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6738/stat : 6738 (java) S 6726 6726 29331 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 95438176 14314082304 7220 33554432000 4194304 4196468 140721508984304 140122892335984 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6739] ppid=6726 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6739/stat : 6739 (java) S 6726 6726 29331 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 95438176 14314082304 7220 33554432000 4194304 4196468 140721508984304 140122891283184 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6740] ppid=6726 vsize=13978596 memory=140388252366464 CPUtime=0.02 cores=1,3,5,7
/proc/6728/task/6740/stat : 6740 (java) R 6726 6726 29331 0 -1 4202560 332 0 0 0 2 0 0 0 20 0 15 0 95438176 14314082304 7220 33554432000 4194304 4196468 140721508984304 140122890230384 140123766947824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6741] ppid=6726 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6741/stat : 6741 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14314082304 7220 33554432000 4194304 4196468 140721508984304 140122889177824 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6742] ppid=6726 vsize=13978596 memory=140388252366464 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6742/stat : 6742 (java) S 6726 6726 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438176 14314082304 7220 33554432000 4194304 4196468 140721508984304 140122888125104 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30000 KiB
[startup+0.210483 s]*
/proc/loadavg: 2.01 1.90 1.82 5/217 6742
/proc/meminfo: memFree=26565336/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6726/stat : 6726 (xcsp3-exec) S 6723 6726 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95438170 9740288 346 33554432000 4194304 5098028 140727163290304 140727163288408 140538445853308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10350592 140727163294836 140727163295040 140727163295040 140727163297771 0
/proc/6726/statm: 2378 346 289 221 0 87 0
[pid=6728] ppid=6726 vsize=13982852 memory=40404 CPUtime=0.33 cores=1,3,5,7
/proc/6728/stat : 6728 (java) S 6726 6726 29331 0 -1 1077944320 8151 0 0 0 30 3 0 0 20 0 15 0 95438170 14318440448 10101 33554432000 4194304 4196468 140721508984304 140721508966848 140123782745847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
/proc/6728/statm: 3495713 10101 3078 1 0 3482966 0
[pid=6728/tid=6729] ppid=6726 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/6728/task/6729/stat : 6729 (java) R 6726 6726 29331 0 -1 4202560 5280 0 0 0 18 1 0 0 20 0 15 0 95438170 14318440448 10101 33554432000 4194304 4196468 140721508984304 140123786966840 140123775423861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6730] ppid=6726 vsize=13982852 memory=9541 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6730/stat : 6730 (java) S 6726 6726 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438171 14318440448 10101 33554432000 4194304 4196468 140721508984304 140123712834704 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6731] ppid=6726 vsize=13982852 memory=4049919359400042213 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6731/stat : 6731 (java) S 6726 6726 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438171 14318440448 10101 33554432000 4194304 4196468 140721508984304 140123711781904 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6732] ppid=6726 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6732/stat : 6732 (java) S 6726 6726 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438171 14318440448 10101 33554432000 4194304 4196468 140721508984304 140123376892816 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6733] ppid=6726 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6733/stat : 6733 (java) S 6726 6726 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438171 14318440448 10101 33554432000 4194304 4196468 140721508984304 140123375840016 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6734] ppid=6726 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6734/stat : 6734 (java) S 6726 6726 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438173 14318440448 10101 33554432000 4194304 4196468 140721508984304 140122896546160 140123782756994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6735] ppid=6726 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6735/stat : 6735 (java) S 6726 6726 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95438173 14318440448 10101 33554432000 4194304 4196468 140721508984304 140122895492128 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6736] ppid=6726 vsize=13982852 memory=140388252366464 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6736/stat : 6736 (java) S 6726 6726 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95438173 14318440448 10101 33554432000 4194304 4196468 140721508984304 140122894439280 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6737] ppid=6726 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6737/stat : 6737 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14318440448 10101 33554432000 4194304 4196468 140721508984304 140122893387600 140123782764443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6738] ppid=6726 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6728/task/6738/stat : 6738 (java) S 6726 6726 29331 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 95438176 14318440448 10101 33554432000 4194304 4196468 140721508984304 140122892335984 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6739] ppid=6726 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6728/task/6739/stat : 6739 (java) S 6726 6726 29331 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 95438176 14318440448 10101 33554432000 4194304 4196468 140721508984304 140122891283184 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6740] ppid=6726 vsize=13982852 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6728/task/6740/stat : 6740 (java) R 6726 6726 29331 0 -1 4202560 724 0 0 0 7 0 0 0 20 0 15 0 95438176 14318440448 10101 33554432000 4194304 4196468 140721508984304 140122890230384 140123767911519 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6741] ppid=6726 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6741/stat : 6741 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14318440448 10101 33554432000 4194304 4196468 140721508984304 140122889177824 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6742] ppid=6726 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6742/stat : 6742 (java) S 6726 6726 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438176 14318440448 10101 33554432000 4194304 4196468 140721508984304 140122888125104 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41788 KiB
[startup+0.317858 s]*
/proc/loadavg: 2.01 1.90 1.82 5/217 6742
/proc/meminfo: memFree=26559132/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6726/stat : 6726 (xcsp3-exec) S 6723 6726 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95438170 9740288 346 33554432000 4194304 5098028 140727163290304 140727163288408 140538445853308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10350592 140727163294836 140727163295040 140727163295040 140727163297771 0
/proc/6726/statm: 2378 346 289 221 0 87 0
[pid=6728] ppid=6726 vsize=13982928 memory=47652 CPUtime=0.5 cores=1,3,5,7
/proc/6728/stat : 6728 (java) S 6726 6726 29331 0 -1 1077944320 9049 0 0 0 47 3 0 0 20 0 15 0 95438170 14318518272 11913 33554432000 4194304 4196468 140721508984304 140721508966848 140123782745847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
/proc/6728/statm: 3495732 11913 3114 1 0 3482966 0
[pid=6728/tid=6729] ppid=6726 vsize=13982928 memory=-7246141791699957949 CPUtime=0.3 cores=1,3,5,7
/proc/6728/task/6729/stat : 6729 (java) R 6726 6726 29331 0 -1 4202560 6102 0 0 0 28 2 0 0 20 0 15 0 95438170 14318518272 11926 33554432000 4194304 4196468 140721508984304 140123786979584 140123782767773 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6730] ppid=6726 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6730/stat : 6730 (java) S 6726 6726 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438171 14318518272 11926 33554432000 4194304 4196468 140721508984304 140123712834704 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6731] ppid=6726 vsize=13982928 memory=1970350607106051 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6731/stat : 6731 (java) S 6726 6726 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438171 14318518272 11926 33554432000 4194304 4196468 140721508984304 140123711781904 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6732] ppid=6726 vsize=13982928 memory=2110738726819748 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6732/stat : 6732 (java) S 6726 6726 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438171 14318518272 11926 33554432000 4194304 4196468 140721508984304 140123376892816 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6733] ppid=6726 vsize=13982928 memory=140388119718335 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6733/stat : 6733 (java) S 6726 6726 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438171 14318518272 11926 33554432000 4194304 4196468 140721508984304 140123375840016 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6734] ppid=6726 vsize=13982928 memory=280776372084768 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6734/stat : 6734 (java) S 6726 6726 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438173 14318518272 11926 33554432000 4194304 4196468 140721508984304 140122896546160 140123782756994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6735] ppid=6726 vsize=13982928 memory=140388119653351 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6735/stat : 6735 (java) S 6726 6726 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95438173 14318518272 11926 33554432000 4194304 4196468 140721508984304 140122895492128 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6736] ppid=6726 vsize=13982928 memory=280776239445872 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6736/stat : 6736 (java) S 6726 6726 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95438173 14318518272 11926 33554432000 4194304 4196468 140721508984304 140122894439280 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6737] ppid=6726 vsize=13982928 memory=280776239450480 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6737/stat : 6737 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14318518272 11926 33554432000 4194304 4196468 140721508984304 140122893387600 140123782764443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6738] ppid=6726 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6728/task/6738/stat : 6738 (java) S 6726 6726 29331 0 -1 1077944384 462 0 0 0 4 0 0 0 20 0 15 0 95438176 14318518272 11926 33554432000 4194304 4196468 140721508984304 140122892335984 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6739] ppid=6726 vsize=13982928 memory=67 CPUtime=0.03 cores=1,3,5,7
/proc/6728/task/6739/stat : 6739 (java) S 6726 6726 29331 0 -1 1077944384 404 0 0 0 3 0 0 0 20 0 15 0 95438176 14318518272 11926 33554432000 4194304 4196468 140721508984304 140122891283184 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6740] ppid=6726 vsize=13982928 memory=140388252366464 CPUtime=0.12 cores=1,3,5,7
/proc/6728/task/6740/stat : 6740 (java) R 6726 6726 29331 0 -1 4202560 793 0 0 0 12 0 0 0 20 0 15 0 95438176 14318518272 11926 33554432000 4194304 4196468 140721508984304 140122890230384 140123782757782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6741] ppid=6726 vsize=13982928 memory=67 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6741/stat : 6741 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14318518272 11926 33554432000 4194304 4196468 140721508984304 140122889177824 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6742] ppid=6726 vsize=13982928 memory=140388252366464 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6742/stat : 6742 (java) S 6726 6726 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438176 14318518272 11926 33554432000 4194304 4196468 140721508984304 140122888125104 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49036 KiB
[startup+0.700854 s]
/proc/loadavg: 2.01 1.90 1.82 6/217 6742
/proc/meminfo: memFree=26545168/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6726/stat : 6726 (xcsp3-exec) S 6723 6726 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95438170 9740288 346 33554432000 4194304 5098028 140727163290304 140727163288408 140538445853308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10350592 140727163294836 140727163295040 140727163295040 140727163297771 0
/proc/6726/statm: 2378 346 289 221 0 87 0
[pid=6728] ppid=6726 vsize=13984976 memory=68732 CPUtime=1.59 cores=1,3,5,7
/proc/6728/stat : 6728 (java) S 6726 6726 29331 0 -1 1077944320 12924 0 0 0 155 4 0 0 20 0 15 0 95438170 14320615424 17183 33554432000 4194304 4196468 140721508984304 140721508966848 140123782745847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
/proc/6728/statm: 3496244 17183 3201 1 0 3483478 0
[pid=6728/tid=6729] ppid=6726 vsize=13984976 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/6728/task/6729/stat : 6729 (java) R 6726 6726 29331 0 -1 4202560 6592 0 0 0 64 2 0 0 20 0 15 0 95438170 14320615424 17183 33554432000 4194304 4196468 140721508984304 140123786985392 140123394894039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6730] ppid=6726 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6730/stat : 6730 (java) S 6726 6726 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 17183 33554432000 4194304 4196468 140721508984304 140123712834704 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6731] ppid=6726 vsize=13984976 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6731/stat : 6731 (java) S 6726 6726 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 17183 33554432000 4194304 4196468 140721508984304 140123711781904 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6732] ppid=6726 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6732/stat : 6732 (java) S 6726 6726 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 17183 33554432000 4194304 4196468 140721508984304 140123376892816 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6733] ppid=6726 vsize=13984976 memory=8564 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6733/stat : 6733 (java) S 6726 6726 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 17183 33554432000 4194304 4196468 140721508984304 140123375840016 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6734] ppid=6726 vsize=13984976 memory=5664 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6734/stat : 6734 (java) S 6726 6726 29331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 17183 33554432000 4194304 4196468 140721508984304 140122896546160 140123782756994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6735] ppid=6726 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6735/stat : 6735 (java) S 6726 6726 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 17183 33554432000 4194304 4196468 140721508984304 140122895492128 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6736] ppid=6726 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6736/stat : 6736 (java) S 6726 6726 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 17183 33554432000 4194304 4196468 140721508984304 140122894439280 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6737] ppid=6726 vsize=13984976 memory=10928 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6737/stat : 6737 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14320615424 17183 33554432000 4194304 4196468 140721508984304 140122893387600 140123782764443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6738] ppid=6726 vsize=13984976 memory=796 CPUtime=0.32 cores=1,3,5,7
/proc/6728/task/6738/stat : 6738 (java) R 6726 6726 29331 0 -1 4202560 1574 0 0 0 32 0 0 0 20 0 15 0 95438176 14320615424 17183 33554432000 4194304 4196468 140721508984304 140122892328472 140123767861050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6739] ppid=6726 vsize=13984976 memory=1424 CPUtime=0.32 cores=1,3,5,7
/proc/6728/task/6739/stat : 6739 (java) R 6726 6726 29331 0 -1 4202560 1883 0 0 0 32 0 0 0 20 0 15 0 95438176 14320615424 17183 33554432000 4194304 4196468 140721508984304 140122891269256 140123764270069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6740] ppid=6726 vsize=13984976 memory=7014751519583589713 CPUtime=0.25 cores=1,3,5,7
/proc/6728/task/6740/stat : 6740 (java) S 6726 6726 29331 0 -1 1077944384 1568 0 0 0 25 0 0 0 20 0 15 0 95438176 14320615424 17183 33554432000 4194304 4196468 140721508984304 140122890230384 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6741] ppid=6726 vsize=13984976 memory=7453282923461502565 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6741/stat : 6741 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14320615424 17183 33554432000 4194304 4196468 140721508984304 140122889177824 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6742] ppid=6726 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6742/stat : 6742 (java) S 6726 6726 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438176 14320615424 17183 33554432000 4194304 4196468 140721508984304 140122888125104 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 70116 KiB
[startup+1.50087 s]
/proc/loadavg: 2.01 1.90 1.82 5/217 6742
/proc/meminfo: memFree=26533520/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6726/stat : 6726 (xcsp3-exec) S 6723 6726 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95438170 9740288 346 33554432000 4194304 5098028 140727163290304 140727163288408 140538445853308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10350592 140727163294836 140727163295040 140727163295040 140727163297771 0
/proc/6726/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
[pid=6728/tid=6734] ppid=6726 vsize=13984976 memory=27576 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6734/stat : 6734 (java) S 6726 6726 29331 0 -1 1077944384 566 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 51937 33554432000 4194304 4196468 140721508984304 140122896546160 140123782756994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6735] ppid=6726 vsize=13984976 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6735/stat : 6735 (java) S 6726 6726 29331 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 51937 33554432000 4194304 4196468 140721508984304 140122895492128 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6736] ppid=6726 vsize=13984976 memory=27576 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6736/stat : 6736 (java) S 6726 6726 29331 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 51937 33554432000 4194304 4196468 140721508984304 140122894439280 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6737] ppid=6726 vsize=13984976 memory=4465 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6737/stat : 6737 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14320615424 51937 33554432000 4194304 4196468 140721508984304 140122893387600 140123782764443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6738] ppid=6726 vsize=13984976 memory=4420 CPUtime=2.2 cores=1,3,5,7
/proc/6728/task/6738/stat : 6738 (java) S 6726 6726 29331 0 -1 1077944384 16485 0 0 0 218 2 0 0 20 0 15 0 95438176 14320615424 51937 33554432000 4194304 4196468 140721508984304 140122892335984 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6739] ppid=6726 vsize=13984976 memory=0 CPUtime=2.18 cores=1,3,5,7
/proc/6728/task/6739/stat : 6739 (java) S 6726 6726 29331 0 -1 1077944384 16374 0 0 0 217 1 0 0 20 0 15 0 95438176 14320615424 51937 33554432000 4194304 4196468 140721508984304 140122891283184 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6740] ppid=6726 vsize=13984976 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/6728/task/6740/stat : 6740 (java) S 6726 6726 29331 0 -1 1077944384 5766 0 0 0 36 1 0 0 20 0 15 0 95438176 14320615424 51937 33554432000 4194304 4196468 140721508984304 140122890230384 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6741] ppid=6726 vsize=13984976 memory=170564 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6741/stat : 6741 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14320615424 51937 33554432000 4194304 4196468 140721508984304 140122889177824 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6742] ppid=6726 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/6728/task/6742/stat : 6742 (java) S 6726 6726 29331 0 -1 1077944384 1077 0 0 0 1 1 0 0 20 0 15 0 95438176 14320615424 51937 33554432000 4194304 4196468 140721508984304 140122888125104 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
Current children cumulated CPU time: 107.09 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 209132 KiB
[startup+162.301 s]
/proc/loadavg: 2.00 1.94 1.85 3/217 6821
/proc/meminfo: memFree=31287516/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6726/stat : 6726 (xcsp3-exec) S 6723 6726 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95438170 9740288 346 33554432000 4194304 5098028 140727163290304 140727163288408 140538445853308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10350592 140727163294836 140727163295040 140727163295040 140727163297771 0
/proc/6726/statm: 2378 346 289 221 0 87 0
[pid=6728] ppid=6726 vsize=13984976 memory=209872 CPUtime=167.13 cores=1,3,5,7
/proc/6728/stat : 6728 (java) S 6726 6726 29331 0 -1 1077944320 55067 0 0 0 16701 12 0 0 20 0 15 0 95438170 14320615424 52468 33554432000 4194304 4196468 140721508984304 140721508966848 140123782745847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
/proc/6728/statm: 3496244 52468 3250 1 0 3483478 0
[pid=6728/tid=6729] ppid=6726 vsize=13984976 memory=0 CPUtime=162.26 cores=1,3,5,7
/proc/6728/task/6729/stat : 6729 (java) R 6726 6726 29331 0 -1 4202560 11063 0 0 0 16222 4 0 0 20 0 15 0 95438170 14320615424 52468 33554432000 4194304 4196468 140721508984304 140123786984744 140123396302466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6730] ppid=6726 vsize=13984976 memory=209872 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6730/stat : 6730 (java) S 6726 6726 29331 0 -1 1077944384 786 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 52468 33554432000 4194304 4196468 140721508984304 140123712834704 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6731] ppid=6726 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6731/stat : 6731 (java) S 6726 6726 29331 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 52468 33554432000 4194304 4196468 140721508984304 140123711781904 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6732] ppid=6726 vsize=13984976 memory=209872 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6732/stat : 6732 (java) S 6726 6726 29331 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 52468 33554432000 4194304 4196468 140721508984304 140123376892816 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6733] ppid=6726 vsize=13984976 memory=209872 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6733/stat : 6733 (java) S 6726 6726 29331 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 52468 33554432000 4194304 4196468 140721508984304 140123375840016 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6734] ppid=6726 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6734/stat : 6734 (java) S 6726 6726 29331 0 -1 1077944384 622 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 52468 33554432000 4194304 4196468 140721508984304 140122896546160 140123782756994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6735] ppid=6726 vsize=13984976 memory=38 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6735/stat : 6735 (java) S 6726 6726 29331 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 52468 33554432000 4194304 4196468 140721508984304 140122895492128 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6736] ppid=6726 vsize=13984976 memory=27576 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6736/stat : 6736 (java) S 6726 6726 29331 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 52468 33554432000 4194304 4196468 140721508984304 140122894439280 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6737] ppid=6726 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6737/stat : 6737 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14320615424 52468 33554432000 4194304 4196468 140721508984304 140122893387600 140123782764443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6738] ppid=6726 vsize=13984976 memory=209872 CPUtime=2.21 cores=1,3,5,7
/proc/6728/task/6738/stat : 6738 (java) S 6726 6726 29331 0 -1 1077944384 16671 0 0 0 219 2 0 0 20 0 15 0 95438176 14320615424 52468 33554432000 4194304 4196468 140721508984304 140122892335984 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6739] ppid=6726 vsize=13984976 memory=1384 CPUtime=2.19 cores=1,3,5,7
/proc/6728/task/6739/stat : 6739 (java) S 6726 6726 29331 0 -1 1077944384 16507 0 0 0 218 1 0 0 20 0 15 0 95438176 14320615424 52468 33554432000 4194304 4196468 140721508984304 140122891283184 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6740] ppid=6726 vsize=13984976 memory=4096 CPUtime=0.38 cores=1,3,5,7
/proc/6728/task/6740/stat : 6740 (java) S 6726 6726 29331 0 -1 1077944384 6215 0 0 0 37 1 0 0 20 0 15 0 95438176 14320615424 52468 33554432000 4194304 4196468 140721508984304 140122890230384 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6741] ppid=6726 vsize=13984976 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6741/stat : 6741 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14320615424 52468 33554432000 4194304 4196468 140721508984304 140122889177824 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6742] ppid=6726 vsize=13984976 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7
/proc/6728/task/6742/stat : 6742 (java) S 6726 6726 29331 0 -1 1077944384 1111 0 0 0 1 2 0 0 20 0 15 0 95438176 14320615424 52468 33554432000 4194304 4196468 140721508984304 140122888125104 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
Current children cumulated CPU time: 167.13 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 211256 KiB
[startup+222.301 s]
/proc/loadavg: 1.95 1.93 1.86 3/217 6822
/proc/meminfo: memFree=31270936/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6726/stat : 6726 (xcsp3-exec) S 6723 6726 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95438170 9740288 346 33554432000 4194304 5098028 140727163290304 140727163288408 140538445853308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10350592 140727163294836 140727163295040 140727163295040 140727163297771 0
/proc/6726/statm: 2378 346 289 221 0 87 0
[pid=6728] ppid=6726 vsize=13984976 memory=226296 CPUtime=227.15 cores=1,3,5,7
/proc/6728/stat : 6728 (java) S 6726 6726 29331 0 -1 1077944320 56890 0 0 0 22702 13 0 0 20 0 15 0 95438170 14320615424 56574 33554432000 4194304 4196468 140721508984304 140721508966848 140123782745847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
/proc/6728/statm: 3496244 56574 3250 1 0 3483478 0
[pid=6728/tid=6729] ppid=6726 vsize=13984976 memory=226296 CPUtime=222.25 cores=1,3,5,7
/proc/6728/task/6729/stat : 6729 (java) R 6726 6726 29331 0 -1 4202560 11664 0 0 0 22221 4 0 0 20 0 15 0 95438170 14320615424 56574 33554432000 4194304 4196468 140721508984304 140123786985392 140123396302173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6730] ppid=6726 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6730/stat : 6730 (java) S 6726 6726 29331 0 -1 1077944384 1238 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 56574 33554432000 4194304 4196468 140721508984304 140123712834704 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6731] ppid=6726 vsize=13984976 memory=226264 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6731/stat : 6731 (java) S 6726 6726 29331 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 56574 33554432000 4194304 4196468 140721508984304 140123711781904 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6732] ppid=6726 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6732/stat : 6732 (java) S 6726 6726 29331 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 56574 33554432000 4194304 4196468 140721508984304 140123376892816 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6733] ppid=6726 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6733/stat : 6733 (java) S 6726 6726 29331 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 56574 33554432000 4194304 4196468 140721508984304 140123375840016 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6734] ppid=6726 vsize=13984976 memory=226296 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6734/stat : 6734 (java) S 6726 6726 29331 0 -1 1077944384 819 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122896546160 140123782756994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6735] ppid=6726 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6735/stat : 6735 (java) S 6726 6726 29331 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122895492128 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6736] ppid=6726 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6736/stat : 6736 (java) S 6726 6726 29331 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122894439280 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6737] ppid=6726 vsize=13984976 memory=226296 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6737/stat : 6737 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122893387600 140123782764443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6738] ppid=6726 vsize=13984976 memory=1384 CPUtime=2.21 cores=1,3,5,7
/proc/6728/task/6738/stat : 6738 (java) S 6726 6726 29331 0 -1 1077944384 16674 0 0 0 219 2 0 0 20 0 15 0 95438176 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122892335984 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6739] ppid=6726 vsize=13984976 memory=226296 CPUtime=2.19 cores=1,3,5,7
/proc/6728/task/6739/stat : 6739 (java) S 6726 6726 29331 0 -1 1077944384 16515 0 0 0 218 1 0 0 20 0 15 0 95438176 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122891283184 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6740] ppid=6726 vsize=13984976 memory=1384 CPUtime=0.38 cores=1,3,5,7
/proc/6728/task/6740/stat : 6740 (java) S 6726 6726 29331 0 -1 1077944384 6401 0 0 0 37 1 0 0 20 0 15 0 95438176 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122890230384 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6741] ppid=6726 vsize=13984976 memory=226296 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6741/stat : 6741 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122889177824 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6742] ppid=6726 vsize=13984976 memory=140388119641908 CPUtime=0.03 cores=1,3,5,7
/proc/6728/task/6742/stat : 6742 (java) S 6726 6726 29331 0 -1 1077944384 1142 0 0 0 1 2 0 0 20 0 15 0 95438176 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122888125104 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
Current children cumulated CPU time: 227.15 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 227680 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.96 1.94 1.86 3/217 6823
/proc/meminfo: memFree=31271184/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6726/stat : 6726 (xcsp3-exec) S 6723 6726 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95438170 9740288 346 33554432000 4194304 5098028 140727163290304 140727163288408 140538445853308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10350592 140727163294836 140727163295040 140727163295040 140727163297771 0
/proc/6726/statm: 2378 346 289 221 0 87 0
[pid=6728] ppid=6726 vsize=13984976 memory=226296 CPUtime=244.86 cores=1,3,5,7
/proc/6728/stat : 6728 (java) S 6726 6726 29331 0 -1 1077944320 56921 0 0 0 24473 13 0 0 20 0 15 0 95438170 14320615424 56574 33554432000 4194304 4196468 140721508984304 140721508966848 140123782745847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
/proc/6728/statm: 3496244 56574 3250 1 0 3483478 0
[pid=6728/tid=6729] ppid=6726 vsize=13984976 memory=6935054825532540783 CPUtime=239.96 cores=1,3,5,7
/proc/6728/task/6729/stat : 6729 (java) R 6726 6726 29331 0 -1 4202560 11695 0 0 0 23992 4 0 0 20 0 15 0 95438170 14320615424 56574 33554432000 4194304 4196468 140721508984304 140123786985392 140123396302066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6730] ppid=6726 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6730/stat : 6730 (java) S 6726 6726 29331 0 -1 1077944384 1238 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 56574 33554432000 4194304 4196468 140721508984304 140123712834704 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6731] ppid=6726 vsize=13984976 memory=226296 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6731/stat : 6731 (java) S 6726 6726 29331 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 56574 33554432000 4194304 4196468 140721508984304 140123711781904 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6732] ppid=6726 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6732/stat : 6732 (java) S 6726 6726 29331 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 56574 33554432000 4194304 4196468 140721508984304 140123376892816 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6733] ppid=6726 vsize=13984976 memory=4384 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6733/stat : 6733 (java) S 6726 6726 29331 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 95438171 14320615424 56574 33554432000 4194304 4196468 140721508984304 140123375840016 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6734] ppid=6726 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6734/stat : 6734 (java) S 6726 6726 29331 0 -1 1077944384 819 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122896546160 140123782756994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6735] ppid=6726 vsize=13984976 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6735/stat : 6735 (java) S 6726 6726 29331 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122895492128 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6736] ppid=6726 vsize=13984976 memory=226296 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6736/stat : 6736 (java) S 6726 6726 29331 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 95438173 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122894439280 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6737] ppid=6726 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6737/stat : 6737 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122893387600 140123782764443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6738] ppid=6726 vsize=13984976 memory=916 CPUtime=2.21 cores=1,3,5,7
/proc/6728/task/6738/stat : 6738 (java) S 6726 6726 29331 0 -1 1077944384 16674 0 0 0 219 2 0 0 20 0 15 0 95438176 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122892335984 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6739] ppid=6726 vsize=13984976 memory=3832 CPUtime=2.19 cores=1,3,5,7
/proc/6728/task/6739/stat : 6739 (java) S 6726 6726 29331 0 -1 1077944384 16515 0 0 0 218 1 0 0 20 0 15 0 95438176 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122891283184 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6740] ppid=6726 vsize=13984976 memory=6935054825532540783 CPUtime=0.38 cores=1,3,5,7
/proc/6728/task/6740/stat : 6740 (java) S 6726 6726 29331 0 -1 1077944384 6401 0 0 0 37 1 0 0 20 0 15 0 95438176 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122890230384 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6741] ppid=6726 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6728/task/6741/stat : 6741 (java) S 6726 6726 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438176 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122889177824 140123782756053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
[pid=6728/tid=6742] ppid=6726 vsize=13984976 memory=191936 CPUtime=0.04 cores=1,3,5,7
/proc/6728/task/6742/stat : 6742 (java) S 6726 6726 29331 0 -1 1077944384 1142 0 0 0 1 3 0 0 20 0 15 0 95438176 14320615424 56574 33554432000 4194304 4196468 140721508984304 140122888125104 140123782756994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 28053504 140721508988061 140721508988236 140721508988236 140721508990927 0
Current children cumulated CPU time: 244.86 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 227680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 6726 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.749 s, system=0.136953 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.02
CPU time (s): 244.886
CPU user time (s): 244.749
CPU system time (s): 0.136953
CPU usage (%): 102.027
Max. virtual memory (cumulated for all children) (KiB): 13996700
Max. memory (cumulated for all children) (KiB): 227680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.749
system time used= 0.136953
maximum resident set size= 226764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7348
involuntary context switches= 150
# summary of solver processes directly reported to runsolver:
# pid: 6726
# total CPU time (s): 244.886
# total CPU user time (s): 244.749
# total CPU system time (s): 0.136953
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.64257 second user time and 1.83364 second system time
The end