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 (14189 MiB free)
memory of node 1: 16384 MiB (13486 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283147-1503210276/watcher-4283147-1503210276 -o /tmp/evaluation-result-4283147-1503210276/solver-4283147-1503210276 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node102-1503209175-21931 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1875584451 HOME/instance-4283147-1503210276.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
solver pid=22113, runsolver pid=22110
Current StackSize limit: 8192 KiB
[startup+0.100143 s]*
/proc/loadavg: 1.69 1.47 1.24 2/205 22146
/proc/meminfo: memFree=28314620/32770624 swapFree=67108860/67108860
[pid=22113] ppid=22110 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22113/stat : 22113 (xcsp3-exec) S 22110 22113 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154115777 9740288 346 33554432000 4194304 5098028 140733962922464 140733962920568 140358966112892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17510400 140733962925172 140733962925376 140733962925376 140733962928107 0
/proc/22113/statm: 2378 346 289 221 0 87 0
[pid=22115] ppid=22113 vsize=13978596 memory=27584 CPUtime=0.12 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22113 21899 0 -1 1077944320 5220 0 0 0 11 1 0 0 20 0 15 0 154115777 14314082304 6896 33554432000 4194304 4196468 140733344127664 140733344110208 140328225353463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
/proc/22115/statm: 3494649 6896 2894 1 0 3482966 0
[pid=22115/tid=22117] ppid=22113 vsize=13978596 memory=4279135703913235848 CPUtime=0.08 cores=1,3,5,7
/proc/22115/task/22117/stat : 22117 (java) R 22113 22113 21899 0 -1 4202560 3138 0 0 0 8 0 0 0 20 0 15 0 154115778 14314082304 6896 33554432000 4194304 4196468 140733344127664 140328229585568 140328225365398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22121] ppid=22113 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22121/stat : 22121 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115779 14314082304 6896 33554432000 4194304 4196468 140733344127664 140328192912144 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22122] ppid=22113 vsize=13978596 memory=139635633608320 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22122/stat : 22122 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115779 14314082304 6896 33554432000 4194304 4196468 140733344127664 140327820131216 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22123] ppid=22113 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22123/stat : 22123 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115779 14314082304 6896 33554432000 4194304 4196468 140733344127664 140327819078672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22124] ppid=22113 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22124/stat : 22124 (java) S 22113 22113 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115779 14314082304 6896 33554432000 4194304 4196468 140733344127664 140327818026128 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22125] ppid=22113 vsize=13978596 memory=139635633608320 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22125/stat : 22125 (java) S 22113 22113 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115780 14314082304 6896 33554432000 4194304 4196468 140733344127664 140327699552240 140328225364610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22126] ppid=22113 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22126/stat : 22126 (java) S 22113 22113 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154115780 14314082304 6896 33554432000 4194304 4196468 140733344127664 140327698498464 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22127] ppid=22113 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22127/stat : 22127 (java) S 22113 22113 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154115780 14314082304 6896 33554432000 4194304 4196468 140733344127664 140327697445872 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22129] ppid=22113 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22129/stat : 22129 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14314082304 6896 33554432000 4194304 4196468 140733344127664 140327696394448 140328225372059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22130] ppid=22113 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22130/stat : 22130 (java) S 22113 22113 21899 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 154115783 14314082304 6896 33554432000 4194304 4196468 140733344127664 140327695342064 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22131] ppid=22113 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22131/stat : 22131 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14314082304 6896 33554432000 4194304 4196468 140733344127664 140327694289520 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22132] ppid=22113 vsize=13978596 memory=139635633608320 CPUtime=0.01 cores=1,3,5,7
/proc/22115/task/22132/stat : 22132 (java) S 22113 22113 21899 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 15 0 154115783 14314082304 6896 33554432000 4194304 4196468 140733344127664 140327693236976 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22133] ppid=22113 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22133/stat : 22133 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14314082304 6896 33554432000 4194304 4196468 140733344127664 140327692184672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22134] ppid=22113 vsize=13978596 memory=139635633608320 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22134/stat : 22134 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115783 14314082304 6896 33554432000 4194304 4196468 140733344127664 140327691131184 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28968 KiB
[startup+0.210836 s]*
/proc/loadavg: 1.69 1.47 1.24 6/218 22159
/proc/meminfo: memFree=28287700/32770624 swapFree=67108860/67108860
[pid=22113] ppid=22110 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22113/stat : 22113 (xcsp3-exec) S 22110 22113 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154115777 9740288 346 33554432000 4194304 5098028 140733962922464 140733962920568 140358966112892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17510400 140733962925172 140733962925376 140733962925376 140733962928107 0
/proc/22113/statm: 2378 346 289 221 0 87 0
[pid=22115] ppid=22113 vsize=13982852 memory=39176 CPUtime=0.33 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22113 21899 0 -1 1077944320 7822 0 0 0 31 2 0 0 20 0 15 0 154115777 14318440448 9794 33554432000 4194304 4196468 140733344127664 140733344110208 140328225353463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
/proc/22115/statm: 3495713 9794 3060 1 0 3482966 0
[pid=22115/tid=22117] ppid=22113 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22115/task/22117/stat : 22117 (java) R 22113 22113 21899 0 -1 4202560 4916 0 0 0 18 2 0 0 20 0 15 0 154115778 14318440448 9794 33554432000 4194304 4196468 140733344127664 140328229563088 140328218070567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22121] ppid=22113 vsize=13982852 memory=8961 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22121/stat : 22121 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115779 14318440448 9794 33554432000 4194304 4196468 140733344127664 140328192912144 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22122] ppid=22113 vsize=13982852 memory=4051185985862162080 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22122/stat : 22122 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115779 14318440448 9794 33554432000 4194304 4196468 140733344127664 140327820131216 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22123] ppid=22113 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22123/stat : 22123 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115779 14318440448 9794 33554432000 4194304 4196468 140733344127664 140327819078672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22124] ppid=22113 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22124/stat : 22124 (java) S 22113 22113 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115779 14318440448 9794 33554432000 4194304 4196468 140733344127664 140327818026128 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22125] ppid=22113 vsize=13982852 memory=139635633608320 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22125/stat : 22125 (java) S 22113 22113 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115780 14318440448 9794 33554432000 4194304 4196468 140733344127664 140327699552240 140328225364610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22126] ppid=22113 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22126/stat : 22126 (java) S 22113 22113 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154115780 14318440448 9794 33554432000 4194304 4196468 140733344127664 140327698498464 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22127] ppid=22113 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22127/stat : 22127 (java) S 22113 22113 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154115780 14318440448 9794 33554432000 4194304 4196468 140733344127664 140327697445872 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22129] ppid=22113 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22129/stat : 22129 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14318440448 9794 33554432000 4194304 4196468 140733344127664 140327696394448 140328225372059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22130] ppid=22113 vsize=13982884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22130/stat : 22130 (java) S 22113 22113 21899 0 -1 1077944384 596 0 0 0 2 0 0 0 20 0 15 0 154115783 14318473216 9794 33554432000 4194304 4196468 140733344127664 140327695342064 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22131] ppid=22113 vsize=13982884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22131/stat : 22131 (java) S 22113 22113 21899 0 -1 1077944384 186 0 0 0 2 0 0 0 20 0 15 0 154115783 14318473216 9794 33554432000 4194304 4196468 140733344127664 140327694289520 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22132] ppid=22113 vsize=13982852 memory=139635633608320 CPUtime=0.07 cores=1,3,5,7
/proc/22115/task/22132/stat : 22132 (java) S 22113 22113 21899 0 -1 1077944384 836 0 0 0 7 0 0 0 20 0 15 0 154115783 14318440448 9794 33554432000 4194304 4196468 140733344127664 140327693236976 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22133] ppid=22113 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22133/stat : 22133 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14318440448 9794 33554432000 4194304 4196468 140733344127664 140327692184672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22134] ppid=22113 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22134/stat : 22134 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115783 14318440448 9794 33554432000 4194304 4196468 140733344127664 140327691131184 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40560 KiB
[startup+0.310549 s]*
/proc/loadavg: 1.69 1.47 1.24 4/218 22159
/proc/meminfo: memFree=28269604/32770624 swapFree=67108860/67108860
[pid=22113] ppid=22110 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22113/stat : 22113 (xcsp3-exec) S 22110 22113 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154115777 9740288 346 33554432000 4194304 5098028 140733962922464 140733962920568 140358966112892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17510400 140733962925172 140733962925376 140733962925376 140733962928107 0
/proc/22113/statm: 2378 346 289 221 0 87 0
[pid=22115] ppid=22113 vsize=13982852 memory=46264 CPUtime=0.5 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22113 21899 0 -1 1077944320 8732 0 0 0 47 3 0 0 20 0 15 0 154115777 14318440448 11566 33554432000 4194304 4196468 140733344127664 140733344110208 140328225353463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
/proc/22115/statm: 3495713 11566 3113 1 0 3482966 0
[pid=22115/tid=22117] ppid=22113 vsize=13982852 memory=595678064335126645 CPUtime=0.29 cores=1,3,5,7
/proc/22115/task/22117/stat : 22117 (java) R 22113 22113 21899 0 -1 4202560 5539 0 0 0 27 2 0 0 20 0 15 0 154115778 14318440448 11566 33554432000 4194304 4196468 140733344127664 140328229592408 140327861654205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22121] ppid=22113 vsize=13982852 memory=302022874271842660 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22121/stat : 22121 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115779 14318440448 11566 33554432000 4194304 4196468 140733344127664 140328192912144 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22122] ppid=22113 vsize=13982852 memory=774756 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22122/stat : 22122 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115779 14318440448 11566 33554432000 4194304 4196468 140733344127664 140327820131216 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22123] ppid=22113 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22123/stat : 22123 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115779 14318440448 11566 33554432000 4194304 4196468 140733344127664 140327819078672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22124] ppid=22113 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22124/stat : 22124 (java) S 22113 22113 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115779 14318440448 11566 33554432000 4194304 4196468 140733344127664 140327818026128 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22125] ppid=22113 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22125/stat : 22125 (java) S 22113 22113 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115780 14318440448 11566 33554432000 4194304 4196468 140733344127664 140327699552240 140328225364610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22126] ppid=22113 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22126/stat : 22126 (java) S 22113 22113 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154115780 14318440448 11566 33554432000 4194304 4196468 140733344127664 140327698498464 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22127] ppid=22113 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22127/stat : 22127 (java) S 22113 22113 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154115780 14318440448 11566 33554432000 4194304 4196468 140733344127664 140327697445872 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22129] ppid=22113 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22129/stat : 22129 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14318440448 11566 33554432000 4194304 4196468 140733344127664 140327696394448 140328225372059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22130] ppid=22113 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22115/task/22130/stat : 22130 (java) R 22113 22113 21899 0 -1 4202560 619 0 0 0 3 0 0 0 20 0 15 0 154115783 14318440448 11566 33554432000 4194304 4196468 140733344127664 140327695342064 140328209263848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22131] ppid=22113 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22115/task/22131/stat : 22131 (java) S 22113 22113 21899 0 -1 1077944384 262 0 0 0 3 0 0 0 20 0 15 0 154115783 14318440448 11566 33554432000 4194304 4196468 140733344127664 140327694289520 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22132] ppid=22113 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22115/task/22132/stat : 22132 (java) R 22113 22113 21899 0 -1 4202560 1011 0 0 0 12 0 0 0 20 0 15 0 154115783 14318440448 11566 33554432000 4194304 4196468 140733344127664 140327693233344 140328204307832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22133] ppid=22113 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22133/stat : 22133 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14318440448 11566 33554432000 4194304 4196468 140733344127664 140327692184672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22134] ppid=22113 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22134/stat : 22134 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115783 14318440448 11566 33554432000 4194304 4196468 140733344127664 140327691131184 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 47648 KiB
[startup+0.707595 s]
/proc/loadavg: 1.80 1.50 1.24 8/218 22159
/proc/meminfo: memFree=28236028/32770624 swapFree=67108860/67108860
[pid=22113] ppid=22110 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22113/stat : 22113 (xcsp3-exec) S 22110 22113 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154115777 9740288 346 33554432000 4194304 5098028 140733962922464 140733962920568 140358966112892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17510400 140733962925172 140733962925376 140733962925376 140733962928107 0
/proc/22113/statm: 2378 346 289 221 0 87 0
[pid=22115] ppid=22113 vsize=13984976 memory=79572 CPUtime=1.68 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22113 21899 0 -1 1077944320 12066 0 0 0 164 4 0 0 20 0 15 0 154115777 14320615424 19893 33554432000 4194304 4196468 140733344127664 140733344110208 140328225353463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
/proc/22115/statm: 3496244 19893 3212 1 0 3483478 0
[pid=22115/tid=22117] ppid=22113 vsize=13984976 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/22115/task/22117/stat : 22117 (java) R 22113 22113 21899 0 -1 4202560 6449 0 0 0 64 3 0 0 20 0 15 0 154115778 14320615424 19893 33554432000 4194304 4196468 140733344127664 140328229590176 140327861723807 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22121] ppid=22113 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22121/stat : 22121 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115779 14320615424 19893 33554432000 4194304 4196468 140733344127664 140328192912144 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22122] ppid=22113 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22122/stat : 22122 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115779 14320615424 19893 33554432000 4194304 4196468 140733344127664 140327820131216 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22123] ppid=22113 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22123/stat : 22123 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115779 14320615424 19893 33554432000 4194304 4196468 140733344127664 140327819078672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22124] ppid=22113 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22124/stat : 22124 (java) S 22113 22113 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115779 14320615424 19893 33554432000 4194304 4196468 140733344127664 140327818026128 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22125] ppid=22113 vsize=13984976 memory=2468 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22125/stat : 22125 (java) S 22113 22113 21899 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154115780 14320615424 19893 33554432000 4194304 4196468 140733344127664 140327699552240 140328225364610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22126] ppid=22113 vsize=13984976 memory=928 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22126/stat : 22126 (java) S 22113 22113 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154115780 14320615424 19893 33554432000 4194304 4196468 140733344127664 140327698498464 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22127] ppid=22113 vsize=13984976 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22127/stat : 22127 (java) S 22113 22113 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154115780 14320615424 19893 33554432000 4194304 4196468 140733344127664 140327697445872 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22129] ppid=22113 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22129/stat : 22129 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14320615424 19893 33554432000 4194304 4196468 140733344127664 140327696394448 140328225372059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22130] ppid=22113 vsize=13984976 memory=4316 CPUtime=0.26 cores=1,3,5,7
/proc/22115/task/22130/stat : 22130 (java) R 22113 22113 21899 0 -1 4202560 1084 0 0 0 26 0 0 0 20 0 15 0 154115783 14320615424 19893 33554432000 4194304 4196468 140733344127664 140327695335256 140328208899769 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22131] ppid=22113 vsize=13984976 memory=2196 CPUtime=0.29 cores=1,3,5,7
/proc/22115/task/22131/stat : 22131 (java) R 22113 22113 21899 0 -1 4202560 1061 0 0 0 29 0 0 0 20 0 15 0 154115783 14320615424 19893 33554432000 4194304 4196468 140733344127664 140327694282544 140328205231268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22132] ppid=22113 vsize=13984976 memory=7784 CPUtime=0.42 cores=1,3,5,7
/proc/22115/task/22132/stat : 22132 (java) R 22113 22113 21899 0 -1 4202560 2166 0 0 0 42 0 0 0 20 0 15 0 154115783 14320615424 19893 33554432000 4194304 4196468 140733344127664 140327693237104 140328217594444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22133] ppid=22113 vsize=13984976 memory=832 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22133/stat : 22133 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14320615424 19893 33554432000 4194304 4196468 140733344127664 140327692184672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22134] ppid=22113 vsize=13984976 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22134/stat : 22134 (java) S 22113 22113 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115783 14320615424 19893 33554432000 4194304 4196468 140733344127664 140327691131184 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 80956 KiB
[startup+1.50164 s]
/proc/loadavg: 1.80 1.50 1.24 7/218 22159
/proc/meminfo: memFree=28185808/32770624 swapFree=67108860/67108860
[pid=22113] ppid=22110 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22113/stat : 22113 (xcsp3-exec) S 22110 22113 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154115777 9740288 346 33554432000 4194304 5098028 140733962922464 140733962920568 140358966112892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17510400 140733962925172 140733962925376 140733962925376 140733962928107 0
/proc/22113/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/22115/task/22127/stat : 22127 (java) S 22113 22113 21899 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154115780 14320615424 60659 33554432000 4194304 4196468 140733344127664 140327697445872 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22129] ppid=22113 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22129/stat : 22129 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14320615424 60659 33554432000 4194304 4196468 140733344127664 140327696394448 140328225372059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22130] ppid=22113 vsize=13984976 memory=6791534058613427641 CPUtime=5.6 cores=1,3,5,7
/proc/22115/task/22130/stat : 22130 (java) S 22113 22113 21899 0 -1 1077944384 19991 0 0 0 558 2 0 0 20 0 15 0 154115783 14320615424 60659 33554432000 4194304 4196468 140733344127664 140327695342064 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22131] ppid=22113 vsize=13984976 memory=242612 CPUtime=5.73 cores=1,3,5,7
/proc/22115/task/22131/stat : 22131 (java) S 22113 22113 21899 0 -1 1077944384 23769 0 0 0 571 2 0 0 20 0 15 0 154115783 14320615424 60659 33554432000 4194304 4196468 140733344127664 140327694289520 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22132] ppid=22113 vsize=13984976 memory=242612 CPUtime=0.78 cores=1,3,5,7
/proc/22115/task/22132/stat : 22132 (java) S 22113 22113 21899 0 -1 1077944384 6065 0 0 0 76 2 0 0 20 0 15 0 154115783 14320615424 60659 33554432000 4194304 4196468 140733344127664 140327693236976 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22133] ppid=22113 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22133/stat : 22133 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14320615424 60659 33554432000 4194304 4196468 140733344127664 140327692184672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22134] ppid=22113 vsize=13984976 memory=1944 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22134/stat : 22134 (java) S 22113 22113 21899 0 -1 1077944384 617 0 0 0 1 1 0 0 20 0 15 0 154115783 14320615424 60659 33554432000 4194304 4196468 140733344127664 140327691131184 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
Current children cumulated CPU time: 114.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 244020 KiB
[startup+162.301 s]
/proc/loadavg: 1.90 1.74 1.38 3/218 22240
/proc/meminfo: memFree=27889248/32770624 swapFree=67108860/67108860
[pid=22113] ppid=22110 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22113/stat : 22113 (xcsp3-exec) S 22110 22113 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154115777 9740288 346 33554432000 4194304 5098028 140733962922464 140733962920568 140358966112892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17510400 140733962925172 140733962925376 140733962925376 140733962928107 0
/proc/22113/statm: 2378 346 289 221 0 87 0
[pid=22115] ppid=22113 vsize=13984976 memory=255424 CPUtime=174.61 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22113 21899 0 -1 1077944320 75556 0 0 0 17445 16 0 0 20 0 15 0 154115777 14320615424 63856 33554432000 4194304 4196468 140733344127664 140733344110208 140328225353463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
/proc/22115/statm: 3496244 63856 3269 1 0 3483478 0
[pid=22115/tid=22117] ppid=22113 vsize=13984976 memory=254892 CPUtime=162.22 cores=1,3,5,7
/proc/22115/task/22117/stat : 22117 (java) R 22113 22113 21899 0 -1 4202560 12328 0 0 0 16217 5 0 0 20 0 15 0 154115778 14320615424 63856 33554432000 4194304 4196468 140733344127664 140328229589360 140327872964777 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22121] ppid=22113 vsize=13984976 memory=254892 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22121/stat : 22121 (java) S 22113 22113 21899 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 15 0 154115779 14320615424 63856 33554432000 4194304 4196468 140733344127664 140328192912144 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22122] ppid=22113 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22122/stat : 22122 (java) S 22113 22113 21899 0 -1 1077944384 3573 0 0 0 2 0 0 0 20 0 15 0 154115779 14320615424 63856 33554432000 4194304 4196468 140733344127664 140327820131216 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22123] ppid=22113 vsize=13984976 memory=254892 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22123/stat : 22123 (java) S 22113 22113 21899 0 -1 1077944384 4414 0 0 0 2 0 0 0 20 0 15 0 154115779 14320615424 63856 33554432000 4194304 4196468 140733344127664 140327819078672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22124] ppid=22113 vsize=13984976 memory=254892 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22124/stat : 22124 (java) S 22113 22113 21899 0 -1 1077944384 332 0 0 0 2 0 0 0 20 0 15 0 154115779 14320615424 63856 33554432000 4194304 4196468 140733344127664 140327818026128 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22125] ppid=22113 vsize=13984976 memory=254892 CPUtime=0.01 cores=1,3,5,7
/proc/22115/task/22125/stat : 22125 (java) S 22113 22113 21899 0 -1 1077944384 1363 0 0 0 1 0 0 0 20 0 15 0 154115780 14320615424 63856 33554432000 4194304 4196468 140733344127664 140327699552240 140328225364610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22126] ppid=22113 vsize=13984976 memory=242740 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22126/stat : 22126 (java) S 22113 22113 21899 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 154115780 14320615424 63856 33554432000 4194304 4196468 140733344127664 140327698498464 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22127] ppid=22113 vsize=13984976 memory=254892 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22127/stat : 22127 (java) S 22113 22113 21899 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154115780 14320615424 63856 33554432000 4194304 4196468 140733344127664 140327697445872 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22129] ppid=22113 vsize=13984976 memory=255400 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22129/stat : 22129 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14320615424 63856 33554432000 4194304 4196468 140733344127664 140327696394448 140328225372059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22130] ppid=22113 vsize=13984976 memory=1384 CPUtime=5.64 cores=1,3,5,7
/proc/22115/task/22130/stat : 22130 (java) S 22113 22113 21899 0 -1 1077944384 20578 0 0 0 562 2 0 0 20 0 15 0 154115783 14320615424 63856 33554432000 4194304 4196468 140733344127664 140327695342064 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22131] ppid=22113 vsize=13984976 memory=254892 CPUtime=5.75 cores=1,3,5,7
/proc/22115/task/22131/stat : 22131 (java) S 22113 22113 21899 0 -1 1077944384 24334 0 0 0 573 2 0 0 20 0 15 0 154115783 14320615424 63856 33554432000 4194304 4196468 140733344127664 140327694289520 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22132] ppid=22113 vsize=13984976 memory=254892 CPUtime=0.78 cores=1,3,5,7
/proc/22115/task/22132/stat : 22132 (java) S 22113 22113 21899 0 -1 1077944384 6313 0 0 0 76 2 0 0 20 0 15 0 154115783 14320615424 63856 33554432000 4194304 4196468 140733344127664 140327693236976 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22133] ppid=22113 vsize=13984976 memory=24584 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22133/stat : 22133 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14320615424 63856 33554432000 4194304 4196468 140733344127664 140327692184672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22134] ppid=22113 vsize=13984976 memory=1232 CPUtime=0.03 cores=1,3,5,7
/proc/22115/task/22134/stat : 22134 (java) S 22113 22113 21899 0 -1 1077944384 647 0 0 0 1 2 0 0 20 0 15 0 154115783 14320615424 63856 33554432000 4194304 4196468 140733344127664 140327691131184 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
Current children cumulated CPU time: 174.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 256808 KiB
[startup+222.301 s]
/proc/loadavg: 1.90 1.77 1.42 3/218 22241
/proc/meminfo: memFree=27893300/32770624 swapFree=67108860/67108860
[pid=22113] ppid=22110 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22113/stat : 22113 (xcsp3-exec) S 22110 22113 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154115777 9740288 346 33554432000 4194304 5098028 140733962922464 140733962920568 140358966112892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17510400 140733962925172 140733962925376 140733962925376 140733962928107 0
/proc/22113/statm: 2378 346 289 221 0 87 0
[pid=22115] ppid=22113 vsize=13984976 memory=252388 CPUtime=234.93 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22113 21899 0 -1 1077944320 76792 0 0 0 23476 17 0 0 20 0 15 0 154115777 14320615424 63097 33554432000 4194304 4196468 140733344127664 140733344110208 140328225353463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
/proc/22115/statm: 3496244 63097 3269 1 0 3483478 0
[pid=22115/tid=22117] ppid=22113 vsize=13984976 memory=252388 CPUtime=222.21 cores=1,3,5,7
/proc/22115/task/22117/stat : 22117 (java) R 22113 22113 21899 0 -1 4202560 12723 0 0 0 22216 5 0 0 20 0 15 0 154115778 14320615424 63097 33554432000 4194304 4196468 140733344127664 140328229592640 140327872964855 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22121] ppid=22113 vsize=13984976 memory=2404 CPUtime=0.03 cores=1,3,5,7
/proc/22115/task/22121/stat : 22121 (java) S 22113 22113 21899 0 -1 1077944384 573 0 0 0 3 0 0 0 20 0 15 0 154115779 14320615424 63097 33554432000 4194304 4196468 140733344127664 140328192912144 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22122] ppid=22113 vsize=13984976 memory=253416 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22122/stat : 22122 (java) S 22113 22113 21899 0 -1 1077944384 3608 0 0 0 2 0 0 0 20 0 15 0 154115779 14320615424 63097 33554432000 4194304 4196468 140733344127664 140327820131216 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22123] ppid=22113 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22123/stat : 22123 (java) S 22113 22113 21899 0 -1 1077944384 4443 0 0 0 2 0 0 0 20 0 15 0 154115779 14320615424 63097 33554432000 4194304 4196468 140733344127664 140327819078672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22124] ppid=22113 vsize=13984976 memory=253416 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22124/stat : 22124 (java) S 22113 22113 21899 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 15 0 154115779 14320615424 63097 33554432000 4194304 4196468 140733344127664 140327818026128 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22125] ppid=22113 vsize=13984976 memory=252388 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22125/stat : 22125 (java) S 22113 22113 21899 0 -1 1077944384 1513 0 0 0 2 0 0 0 20 0 15 0 154115780 14320615424 63097 33554432000 4194304 4196468 140733344127664 140327699552240 140328225364610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22126] ppid=22113 vsize=13984976 memory=252388 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22126/stat : 22126 (java) S 22113 22113 21899 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 154115780 14320615424 63097 33554432000 4194304 4196468 140733344127664 140327698498464 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22127] ppid=22113 vsize=13984976 memory=252388 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22127/stat : 22127 (java) S 22113 22113 21899 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154115780 14320615424 63097 33554432000 4194304 4196468 140733344127664 140327697445872 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22129] ppid=22113 vsize=13984976 memory=139637976728121 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22129/stat : 22129 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14320615424 63097 33554432000 4194304 4196468 140733344127664 140327696394448 140328225372059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22130] ppid=22113 vsize=13984976 memory=252388 CPUtime=5.77 cores=1,3,5,7
/proc/22115/task/22130/stat : 22130 (java) S 22113 22113 21899 0 -1 1077944384 20678 0 0 0 575 2 0 0 20 0 15 0 154115783 14320615424 63097 33554432000 4194304 4196468 140733344127664 140327695342064 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22131] ppid=22113 vsize=13984976 memory=1384 CPUtime=5.9 cores=1,3,5,7
/proc/22115/task/22131/stat : 22131 (java) S 22113 22113 21899 0 -1 1077944384 24474 0 0 0 588 2 0 0 20 0 15 0 154115783 14320615424 63097 33554432000 4194304 4196468 140733344127664 140327694289520 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22132] ppid=22113 vsize=13984976 memory=252388 CPUtime=0.79 cores=1,3,5,7
/proc/22115/task/22132/stat : 22132 (java) S 22113 22113 21899 0 -1 1077944384 6406 0 0 0 77 2 0 0 20 0 15 0 154115783 14320615424 63097 33554432000 4194304 4196468 140733344127664 140327693236976 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22133] ppid=22113 vsize=13984976 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22133/stat : 22133 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14320615424 63097 33554432000 4194304 4196468 140733344127664 140327692184672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22134] ppid=22113 vsize=13984976 memory=42840 CPUtime=0.04 cores=1,3,5,7
/proc/22115/task/22134/stat : 22134 (java) S 22113 22113 21899 0 -1 1077944384 653 0 0 0 2 2 0 0 20 0 15 0 154115783 14320615424 63097 33554432000 4194304 4196468 140733344127664 140327691131184 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
Current children cumulated CPU time: 234.93 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 253772 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.85 1.77 1.42 3/218 22241
/proc/meminfo: memFree=27891920/32770624 swapFree=67108860/67108860
[pid=22113] ppid=22110 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22113/stat : 22113 (xcsp3-exec) S 22110 22113 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154115777 9740288 346 33554432000 4194304 5098028 140733962922464 140733962920568 140358966112892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17510400 140733962925172 140733962925376 140733962925376 140733962928107 0
/proc/22113/statm: 2378 346 289 221 0 87 0
[pid=22115] ppid=22113 vsize=13984976 memory=251872 CPUtime=252.65 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22113 21899 0 -1 1077944320 76857 0 0 0 25247 18 0 0 20 0 15 0 154115777 14320615424 62968 33554432000 4194304 4196468 140733344127664 140733344110208 140328225353463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
/proc/22115/statm: 3496244 62968 3269 1 0 3483478 0
[pid=22115/tid=22117] ppid=22113 vsize=13984976 memory=1796 CPUtime=239.92 cores=1,3,5,7
/proc/22115/task/22117/stat : 22117 (java) R 22113 22113 21899 0 -1 4202560 12781 0 0 0 23987 5 0 0 20 0 15 0 154115778 14320615424 62968 33554432000 4194304 4196468 140733344127664 140328229592640 140327866789525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22121] ppid=22113 vsize=13984976 memory=956 CPUtime=0.03 cores=1,3,5,7
/proc/22115/task/22121/stat : 22121 (java) S 22113 22113 21899 0 -1 1077944384 575 0 0 0 3 0 0 0 20 0 15 0 154115779 14320615424 62968 33554432000 4194304 4196468 140733344127664 140328192912144 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22122] ppid=22113 vsize=13984976 memory=4872558044660077418 CPUtime=0.03 cores=1,3,5,7
/proc/22115/task/22122/stat : 22122 (java) S 22113 22113 21899 0 -1 1077944384 3609 0 0 0 3 0 0 0 20 0 15 0 154115779 14320615424 62968 33554432000 4194304 4196468 140733344127664 140327820131216 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22123] ppid=22113 vsize=13984976 memory=1944 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22123/stat : 22123 (java) S 22113 22113 21899 0 -1 1077944384 4445 0 0 0 2 0 0 0 20 0 15 0 154115779 14320615424 62968 33554432000 4194304 4196468 140733344127664 140327819078672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22124] ppid=22113 vsize=13984976 memory=1424 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22124/stat : 22124 (java) S 22113 22113 21899 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 15 0 154115779 14320615424 62968 33554432000 4194304 4196468 140733344127664 140327818026128 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22125] ppid=22113 vsize=13984976 memory=8608 CPUtime=0.02 cores=1,3,5,7
/proc/22115/task/22125/stat : 22125 (java) S 22113 22113 21899 0 -1 1077944384 1513 0 0 0 2 0 0 0 20 0 15 0 154115780 14320615424 62968 33554432000 4194304 4196468 140733344127664 140327699552240 140328225364610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22126] ppid=22113 vsize=13984976 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22126/stat : 22126 (java) S 22113 22113 21899 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 154115780 14320615424 62968 33554432000 4194304 4196468 140733344127664 140327698498464 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22127] ppid=22113 vsize=13984976 memory=11104 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22127/stat : 22127 (java) S 22113 22113 21899 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154115780 14320615424 62968 33554432000 4194304 4196468 140733344127664 140327697445872 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22129] ppid=22113 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22129/stat : 22129 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14320615424 62968 33554432000 4194304 4196468 140733344127664 140327696394448 140328225372059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22130] ppid=22113 vsize=13984976 memory=5792 CPUtime=5.77 cores=1,3,5,7
/proc/22115/task/22130/stat : 22130 (java) S 22113 22113 21899 0 -1 1077944384 20678 0 0 0 575 2 0 0 20 0 15 0 154115783 14320615424 62968 33554432000 4194304 4196468 140733344127664 140327695342064 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22131] ppid=22113 vsize=13984976 memory=252388 CPUtime=5.9 cores=1,3,5,7
/proc/22115/task/22131/stat : 22131 (java) S 22113 22113 21899 0 -1 1077944384 24474 0 0 0 588 2 0 0 20 0 15 0 154115783 14320615424 62968 33554432000 4194304 4196468 140733344127664 140327694289520 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22132] ppid=22113 vsize=13984976 memory=1384 CPUtime=0.79 cores=1,3,5,7
/proc/22115/task/22132/stat : 22132 (java) S 22113 22113 21899 0 -1 1077944384 6406 0 0 0 77 2 0 0 20 0 15 0 154115783 14320615424 62968 33554432000 4194304 4196468 140733344127664 140327693236976 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22133] ppid=22113 vsize=13984976 memory=252388 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22133/stat : 22133 (java) S 22113 22113 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115783 14320615424 62968 33554432000 4194304 4196468 140733344127664 140327692184672 140328225363669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
[pid=22115/tid=22134] ppid=22113 vsize=13984976 memory=4136 CPUtime=0.04 cores=1,3,5,7
/proc/22115/task/22134/stat : 22134 (java) S 22113 22113 21899 0 -1 1077944384 653 0 0 0 2 2 0 0 20 0 15 0 154115783 14320615424 62968 33554432000 4194304 4196468 140733344127664 140327691131184 140328225364610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140733344134301 140733344134476 140733344134476 140733344137167 0
Current children cumulated CPU time: 252.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 253256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 22113 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000947 s, system=0.000947 s
[startup+240.02 s]
# the end of solver process 22115 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.485 s, system=0.188045 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.02
CPU time (s): 252.673
CPU user time (s): 252.485
CPU system time (s): 0.188045
CPU usage (%): 105.272
Max. virtual memory (cumulated for all children) (KiB): 13997352
Max. memory (cumulated for all children) (KiB): 256828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.485
system time used= 0.188045
maximum resident set size= 259540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77567
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8264
involuntary context switches= 365
# summary of solver processes directly reported to runsolver:
# pid: 22113,22115
# total CPU time (s): 252.673
# total CPU user time (s): 252.485
# total CPU system time (s): 0.188045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40457 second user time and 2.2039 second system time
The end