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 (11983 MiB free)
memory of node 1: 16384 MiB (13672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283221-1503221155/watcher-4283221-1503221155 -o /tmp/evaluation-result-4283221-1503221155/solver-4283221-1503221155 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1503215350-27175 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1642410766 HOME/instance-4283221-1503221155.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=28133, runsolver pid=28130
[startup+0.100136 s]*
/proc/loadavg: 1.96 1.64 1.55 3/217 28149
/proc/meminfo: memFree=26254232/32770624 swapFree=67108860/67108860
[pid=28133] ppid=28130 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28133/stat : 28133 (xcsp3-exec) S 28130 28133 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155203033 9740288 346 33554432000 4194304 5098028 140735601038368 140735601036472 139960239764092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32083968 140735601042542 140735601042747 140735601042747 140735601045483 0
/proc/28133/statm: 2378 346 289 221 0 87 0
[pid=28135] ppid=28133 vsize=13978596 memory=27864 CPUtime=0.11 cores=1,3,5,7
/proc/28135/stat : 28135 (java) S 28133 28133 21109 0 -1 1077944320 5321 0 0 0 10 1 0 0 20 0 15 0 155203033 14314082304 6966 33554432000 4194304 4196468 140733194681648 140733194664192 140559828270839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
/proc/28135/statm: 3494649 6966 2866 1 0 3482966 0
[pid=28135/tid=28136] ppid=28133 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/28135/task/28136/stat : 28136 (java) R 28133 28133 21109 0 -1 4202560 3338 0 0 0 8 1 0 0 20 0 15 0 155203033 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559832504112 140559828282774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28137] ppid=28133 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28137/stat : 28137 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203034 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559423826192 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28138] ppid=28133 vsize=13978596 memory=139681629443712 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28138/stat : 28138 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203034 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559422773648 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28139] ppid=28133 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28139/stat : 28139 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203034 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559421721104 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28140] ppid=28133 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28140/stat : 28140 (java) S 28133 28133 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155203034 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559420668560 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28141] ppid=28133 vsize=13978596 memory=139681629443712 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28141/stat : 28141 (java) S 28133 28133 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155203036 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559302466032 140559828281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28142] ppid=28133 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28142/stat : 28142 (java) S 28133 28133 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155203036 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559301412256 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28143] ppid=28133 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28143/stat : 28143 (java) S 28133 28133 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155203036 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559300359664 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28144] ppid=28133 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28144/stat : 28144 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559299308240 140559828289435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28145] ppid=28133 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28145/stat : 28145 (java) S 28133 28133 21109 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 155203039 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559298254832 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28146] ppid=28133 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28146/stat : 28146 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559297202288 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28147] ppid=28133 vsize=13978596 memory=139681629443712 CPUtime=0.01 cores=1,3,5,7
/proc/28135/task/28147/stat : 28147 (java) R 28133 28133 21109 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 15 0 155203039 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559296149744 140559811645825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28148] ppid=28133 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28148/stat : 28148 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559295097440 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28149] ppid=28133 vsize=13978596 memory=139681629443712 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28149/stat : 28149 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203039 14314082304 6966 33554432000 4194304 4196468 140733194681648 140559294044976 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29248 KiB
[startup+0.210582 s]*
/proc/loadavg: 1.96 1.64 1.55 5/217 28149
/proc/meminfo: memFree=26242944/32770624 swapFree=67108860/67108860
[pid=28133] ppid=28130 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28133/stat : 28133 (xcsp3-exec) S 28130 28133 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155203033 9740288 346 33554432000 4194304 5098028 140735601038368 140735601036472 139960239764092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32083968 140735601042542 140735601042747 140735601042747 140735601045483 0
/proc/28133/statm: 2378 346 289 221 0 87 0
[pid=28135] ppid=28133 vsize=13982852 memory=40100 CPUtime=0.33 cores=1,3,5,7
/proc/28135/stat : 28135 (java) S 28133 28133 21109 0 -1 1077944320 8094 0 0 0 31 2 0 0 20 0 15 0 155203033 14318440448 10025 33554432000 4194304 4196468 140733194681648 140733194664192 140559828270839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
/proc/28135/statm: 3495713 10025 3056 1 0 3482966 0
[pid=28135/tid=28136] ppid=28133 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/28135/task/28136/stat : 28136 (java) D 28133 28133 21109 0 -1 1077944384 5317 0 0 0 18 1 0 0 20 0 15 0 155203033 14318440448 10025 33554432000 4194304 4196468 140733194681648 140559832481632 140559820950061 0 4 0 16800975 18446744072101580324 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28137] ppid=28133 vsize=13982852 memory=9005 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28137/stat : 28137 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203034 14318440448 10025 33554432000 4194304 4196468 140733194681648 140559423826192 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28138] ppid=28133 vsize=13982852 memory=139681630186829 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28138/stat : 28138 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203034 14318440448 10025 33554432000 4194304 4196468 140733194681648 140559422773648 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28139] ppid=28133 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28139/stat : 28139 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203034 14318440448 10025 33554432000 4194304 4196468 140733194681648 140559421721104 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28140] ppid=28133 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28140/stat : 28140 (java) S 28133 28133 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155203034 14318473216 10025 33554432000 4194304 4196468 140733194681648 140559420668560 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28141] ppid=28133 vsize=13982852 memory=139681629443712 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28141/stat : 28141 (java) S 28133 28133 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155203036 14318440448 10025 33554432000 4194304 4196468 140733194681648 140559302466032 140559828281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28142] ppid=28133 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28142/stat : 28142 (java) S 28133 28133 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155203036 14318440448 10025 33554432000 4194304 4196468 140733194681648 140559301412256 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28143] ppid=28133 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28143/stat : 28143 (java) S 28133 28133 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155203036 14318440448 10025 33554432000 4194304 4196468 140733194681648 140559300359664 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28144] ppid=28133 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28144/stat : 28144 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14318440448 10025 33554432000 4194304 4196468 140733194681648 140559299308240 140559828289435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28145] ppid=28133 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28135/task/28145/stat : 28145 (java) S 28133 28133 21109 0 -1 1077944384 561 0 0 0 1 0 0 0 20 0 15 0 155203039 14318440448 10025 33554432000 4194304 4196468 140733194681648 140559298254832 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28146] ppid=28133 vsize=13982884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28135/task/28146/stat : 28146 (java) S 28133 28133 21109 0 -1 1077944384 183 0 0 0 3 0 0 0 20 0 15 0 155203039 14318473216 10025 33554432000 4194304 4196468 140733194681648 140559297202288 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28147] ppid=28133 vsize=13982884 memory=139681629443712 CPUtime=0.08 cores=1,3,5,7
/proc/28135/task/28147/stat : 28147 (java) S 28133 28133 21109 0 -1 1077944384 736 0 0 0 8 0 0 0 20 0 15 0 155203039 14318473216 10025 33554432000 4194304 4196468 140733194681648 140559296149744 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28148] ppid=28133 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28148/stat : 28148 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14318440448 10025 33554432000 4194304 4196468 140733194681648 140559295097440 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28149] ppid=28133 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28149/stat : 28149 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203039 14318440448 10025 33554432000 4194304 4196468 140733194681648 140559294044976 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41484 KiB
[startup+0.312178 s]*
/proc/loadavg: 1.96 1.64 1.55 4/217 28149
/proc/meminfo: memFree=26234880/32770624 swapFree=67108860/67108860
[pid=28133] ppid=28130 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28133/stat : 28133 (xcsp3-exec) S 28130 28133 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155203033 9740288 346 33554432000 4194304 5098028 140735601038368 140735601036472 139960239764092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32083968 140735601042542 140735601042747 140735601042747 140735601045483 0
/proc/28133/statm: 2378 346 289 221 0 87 0
[pid=28135] ppid=28133 vsize=13982928 memory=47624 CPUtime=0.5 cores=1,3,5,7
/proc/28135/stat : 28135 (java) S 28133 28133 21109 0 -1 1077944320 9094 0 0 0 47 3 0 0 20 0 15 0 155203033 14318518272 11906 33554432000 4194304 4196468 140733194681648 140733194664192 140559828270839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
/proc/28135/statm: 3495732 11906 3139 1 0 3482966 0
[pid=28135/tid=28136] ppid=28133 vsize=13982928 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/28135/task/28136/stat : 28136 (java) R 28133 28133 21109 0 -1 4202560 6071 0 0 0 28 2 0 0 20 0 15 0 155203033 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559832508272 140559812351326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28137] ppid=28133 vsize=13982928 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28137/stat : 28137 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203034 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559423826192 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28138] ppid=28133 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28138/stat : 28138 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203034 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559422773648 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28139] ppid=28133 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28139/stat : 28139 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203034 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559421721104 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28140] ppid=28133 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28140/stat : 28140 (java) S 28133 28133 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155203034 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559420668560 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28141] ppid=28133 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28141/stat : 28141 (java) S 28133 28133 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155203036 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559302466032 140559828281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28142] ppid=28133 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28142/stat : 28142 (java) S 28133 28133 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155203036 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559301412256 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28143] ppid=28133 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28143/stat : 28143 (java) S 28133 28133 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155203036 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559300359664 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28144] ppid=28133 vsize=13982928 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28144/stat : 28144 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559299308240 140559828289435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28145] ppid=28133 vsize=13982928 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/28135/task/28145/stat : 28145 (java) S 28133 28133 21109 0 -1 1077944384 632 0 0 0 3 0 0 0 20 0 15 0 155203039 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559298254832 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28146] ppid=28133 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28135/task/28146/stat : 28146 (java) S 28133 28133 21109 0 -1 1077944384 253 0 0 0 4 0 0 0 20 0 15 0 155203039 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559297202288 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28147] ppid=28133 vsize=13982928 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28135/task/28147/stat : 28147 (java) R 28133 28133 21109 0 -1 4202560 833 0 0 0 12 0 0 0 20 0 15 0 155203039 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559296149744 140559821370686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28148] ppid=28133 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28148/stat : 28148 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559295097440 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28149] ppid=28133 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28149/stat : 28149 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203039 14318518272 11906 33554432000 4194304 4196468 140733194681648 140559294044976 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49008 KiB
[startup+0.701325 s]
/proc/loadavg: 1.96 1.64 1.55 6/217 28149
/proc/meminfo: memFree=26220676/32770624 swapFree=67108860/67108860
[pid=28133] ppid=28130 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28133/stat : 28133 (xcsp3-exec) S 28130 28133 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155203033 9740288 346 33554432000 4194304 5098028 140735601038368 140735601036472 139960239764092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32083968 140735601042542 140735601042747 140735601042747 140735601045483 0
/proc/28133/statm: 2378 346 289 221 0 87 0
[pid=28135] ppid=28133 vsize=13984976 memory=75620 CPUtime=1.65 cores=1,3,5,7
/proc/28135/stat : 28135 (java) S 28133 28133 21109 0 -1 1077944320 14078 0 0 0 160 5 0 0 20 0 15 0 155203033 14320615424 18905 33554432000 4194304 4196468 140733194681648 140733194664192 140559828270839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
/proc/28135/statm: 3496244 18905 3205 1 0 3483478 0
[pid=28135/tid=28136] ppid=28133 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/28135/task/28136/stat : 28136 (java) R 28133 28133 21109 0 -1 4202560 6661 0 0 0 64 3 0 0 20 0 15 0 155203033 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559832509152 140559468510333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28137] ppid=28133 vsize=13984976 memory=288230587427463936 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28137/stat : 28137 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203034 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559423826192 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28138] ppid=28133 vsize=13984976 memory=16106957111054841 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28138/stat : 28138 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203034 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559422773648 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28139] ppid=28133 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28139/stat : 28139 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203034 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559421721104 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28140] ppid=28133 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28140/stat : 28140 (java) S 28133 28133 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155203034 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559420668560 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28141] ppid=28133 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28141/stat : 28141 (java) S 28133 28133 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155203036 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559302466032 140559828281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28142] ppid=28133 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28142/stat : 28142 (java) S 28133 28133 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155203036 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559301412256 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28143] ppid=28133 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28143/stat : 28143 (java) S 28133 28133 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155203036 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559300359664 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28144] ppid=28133 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28144/stat : 28144 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559299308240 140559828289435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28145] ppid=28133 vsize=13984976 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/28135/task/28145/stat : 28145 (java) R 28133 28133 21109 0 -1 4202560 2044 0 0 0 31 0 0 0 20 0 15 0 155203039 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559298247320 140559807932836 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28146] ppid=28133 vsize=13984976 memory=4125407593736988775 CPUtime=0.35 cores=1,3,5,7
/proc/28135/task/28146/stat : 28146 (java) R 28133 28133 21109 0 -1 4202560 2095 0 0 0 35 0 0 0 20 0 15 0 155203039 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559297190640 140559813152582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28147] ppid=28133 vsize=13984976 memory=6946354173816957033 CPUtime=0.29 cores=1,3,5,7
/proc/28135/task/28147/stat : 28147 (java) R 28133 28133 21109 0 -1 4202560 1970 0 0 0 29 0 0 0 20 0 15 0 155203039 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559296149744 140559807720613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28148] ppid=28133 vsize=13984976 memory=7594587674001172330 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28148/stat : 28148 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559295097440 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28149] ppid=28133 vsize=13984976 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28149/stat : 28149 (java) S 28133 28133 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155203039 14320615424 18905 33554432000 4194304 4196468 140733194681648 140559294044976 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 77004 KiB
[startup+1.50083 s]
/proc/loadavg: 1.96 1.64 1.55 6/217 28149
/proc/meminfo: memFree=26185508/32770624 swapFree=67108860/67108860
[pid=28133] ppid=28130 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28133/stat : 28133 (xcsp3-exec) S 28130 28133 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155203033 9740288 346 33554432000 4194304 5098028 140735601038368 140735601036472 139960239764092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32083968 140735601042542 140735601042747 140735601042747 140735601045483 0
/proc/28133/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/28135/task/28143/stat : 28143 (java) S 28133 28133 21109 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 155203036 14320615424 90282 33554432000 4194304 4196468 140733194681648 140559300359680 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28144] ppid=28133 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28144/stat : 28144 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14320615424 90282 33554432000 4194304 4196468 140733194681648 140559299308240 140559828289435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28145] ppid=28133 vsize=13984976 memory=2408 CPUtime=4.57 cores=1,3,5,7
/proc/28135/task/28145/stat : 28145 (java) S 28133 28133 21109 0 -1 1077944384 36446 0 0 0 454 3 0 0 20 0 15 0 155203039 14320615424 90282 33554432000 4194304 4196468 140733194681648 140559298254832 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28146] ppid=28133 vsize=13984976 memory=1384 CPUtime=3.31 cores=1,3,5,7
/proc/28135/task/28146/stat : 28146 (java) S 28133 28133 21109 0 -1 1077944384 20566 0 0 0 329 2 0 0 20 0 15 0 155203039 14320615424 90282 33554432000 4194304 4196468 140733194681648 140559297202288 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28147] ppid=28133 vsize=13984976 memory=1384 CPUtime=0.69 cores=1,3,5,7
/proc/28135/task/28147/stat : 28147 (java) S 28133 28133 21109 0 -1 1077944384 9126 0 0 0 68 1 0 0 20 0 15 0 155203039 14320615424 90282 33554432000 4194304 4196468 140733194681648 140559296149744 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28148] ppid=28133 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28148/stat : 28148 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14320615424 90282 33554432000 4194304 4196468 140733194681648 140559295097440 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28149] ppid=28133 vsize=13984976 memory=1384 CPUtime=1.31 cores=1,3,5,7
/proc/28135/task/28149/stat : 28149 (java) S 28133 28133 21109 0 -1 1077944384 1778 0 0 0 57 74 0 0 20 0 15 0 155203039 14320615424 90282 33554432000 4194304 4196468 140733194681648 140559294044976 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
Current children cumulated CPU time: 2376.41 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 362512 KiB
[startup+2382.3 s]
/proc/loadavg: 1.34 1.66 1.66 3/218 28221
/proc/meminfo: memFree=25913020/32770624 swapFree=67108860/67108860
[pid=28133] ppid=28130 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28133/stat : 28133 (xcsp3-exec) S 28130 28133 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155203033 9740288 346 33554432000 4194304 5098028 140735601038368 140735601036472 139960239764092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32083968 140735601042542 140735601042747 140735601042747 140735601045483 0
/proc/28133/statm: 2378 346 289 221 0 87 0
[pid=28135] ppid=28133 vsize=13984976 memory=344712 CPUtime=2437.72 cores=1,3,5,7
/proc/28135/stat : 28135 (java) S 28133 28133 21109 0 -1 1077944320 340518 0 0 0 243294 478 0 0 20 0 15 0 155203033 14320615424 86178 33554432000 4194304 4196468 140733194681648 140733194664192 140559828270839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
/proc/28135/statm: 3496244 86178 3286 1 0 3483478 0
[pid=28135/tid=28136] ppid=28133 vsize=13984976 memory=345740 CPUtime=2360.85 cores=1,3,5,7
/proc/28135/task/28136/stat : 28136 (java) R 28133 28133 21109 0 -1 4202560 101718 0 0 0 236054 31 0 0 20 0 15 0 155203033 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559832510288 140559470079593 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28137] ppid=28133 vsize=13984976 memory=1384 CPUtime=15.86 cores=1,3,5,7
/proc/28135/task/28137/stat : 28137 (java) S 28133 28133 21109 0 -1 1077944384 28428 0 0 0 1499 87 0 0 20 0 15 0 155203034 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559423826192 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28138] ppid=28133 vsize=13984976 memory=357024 CPUtime=15.88 cores=1,3,5,7
/proc/28135/task/28138/stat : 28138 (java) S 28133 28133 21109 0 -1 1077944384 28034 0 0 0 1501 87 0 0 20 0 15 0 155203034 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559422773648 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28139] ppid=28133 vsize=13984976 memory=351896 CPUtime=15.86 cores=1,3,5,7
/proc/28135/task/28139/stat : 28139 (java) S 28133 28133 21109 0 -1 1077944384 27926 0 0 0 1501 85 0 0 20 0 15 0 155203034 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559421721104 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28140] ppid=28133 vsize=13984976 memory=349332 CPUtime=15.83 cores=1,3,5,7
/proc/28135/task/28140/stat : 28140 (java) S 28133 28133 21109 0 -1 1077944384 26862 0 0 0 1499 84 0 0 20 0 15 0 155203034 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559420668560 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28141] ppid=28133 vsize=13984976 memory=345740 CPUtime=3.44 cores=1,3,5,7
/proc/28135/task/28141/stat : 28141 (java) S 28133 28133 21109 0 -1 1077944384 58210 0 0 0 284 60 0 0 20 0 15 0 155203036 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559302466032 140559828281986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28142] ppid=28133 vsize=13984976 memory=345228 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28142/stat : 28142 (java) S 28133 28133 21109 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 155203036 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559301412320 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28143] ppid=28133 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28143/stat : 28143 (java) S 28133 28133 21109 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 155203036 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559300359680 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28144] ppid=28133 vsize=13984976 memory=164 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28144/stat : 28144 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559299308240 140559828289435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28145] ppid=28133 vsize=13984976 memory=24816 CPUtime=4.57 cores=1,3,5,7
/proc/28135/task/28145/stat : 28145 (java) S 28133 28133 21109 0 -1 1077944384 36448 0 0 0 454 3 0 0 20 0 15 0 155203039 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559298254832 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28146] ppid=28133 vsize=13984976 memory=18444 CPUtime=3.31 cores=1,3,5,7
/proc/28135/task/28146/stat : 28146 (java) S 28133 28133 21109 0 -1 1077944384 20568 0 0 0 329 2 0 0 20 0 15 0 155203039 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559297202288 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28147] ppid=28133 vsize=13984976 memory=1384 CPUtime=0.69 cores=1,3,5,7
/proc/28135/task/28147/stat : 28147 (java) S 28133 28133 21109 0 -1 1077944384 9128 0 0 0 68 1 0 0 20 0 15 0 155203039 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559296149744 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28148] ppid=28133 vsize=13984976 memory=348304 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28148/stat : 28148 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559295097440 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28149] ppid=28133 vsize=13984976 memory=1384 CPUtime=1.33 cores=1,3,5,7
/proc/28135/task/28149/stat : 28149 (java) S 28133 28133 21109 0 -1 1077944384 1793 0 0 0 58 75 0 0 20 0 15 0 155203039 14320615424 86178 33554432000 4194304 4196468 140733194681648 140559294044976 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
Current children cumulated CPU time: 2437.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 346096 KiB
[startup+2442.3 s]
/proc/loadavg: 1.55 1.66 1.66 3/218 28222
/proc/meminfo: memFree=25892712/32770624 swapFree=67108860/67108860
[pid=28133] ppid=28130 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28133/stat : 28133 (xcsp3-exec) S 28130 28133 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155203033 9740288 346 33554432000 4194304 5098028 140735601038368 140735601036472 139960239764092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32083968 140735601042542 140735601042747 140735601042747 140735601045483 0
/proc/28133/statm: 2378 346 289 221 0 87 0
[pid=28135] ppid=28133 vsize=13984976 memory=368228 CPUtime=2499.07 cores=1,3,5,7
/proc/28135/stat : 28135 (java) S 28133 28133 21109 0 -1 1077944320 344813 0 0 0 249414 493 0 0 20 0 15 0 155203033 14320615424 92057 33554432000 4194304 4196468 140733194681648 140733194664192 140559828270839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
/proc/28135/statm: 3496244 92057 3286 1 0 3483478 0
[pid=28135/tid=28136] ppid=28133 vsize=13984976 memory=381840 CPUtime=2420.27 cores=1,3,5,7
/proc/28135/task/28136/stat : 28136 (java) R 28133 28133 21109 0 -1 4202560 102804 0 0 0 241995 32 0 0 20 0 15 0 155203033 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559832510288 140559469893925 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28137] ppid=28133 vsize=13984976 memory=356428 CPUtime=16.31 cores=1,3,5,7
/proc/28135/task/28137/stat : 28137 (java) S 28133 28133 21109 0 -1 1077944384 28889 0 0 0 1541 90 0 0 20 0 15 0 155203034 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559423826192 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28138] ppid=28133 vsize=13984976 memory=1384 CPUtime=16.33 cores=1,3,5,7
/proc/28135/task/28138/stat : 28138 (java) S 28133 28133 21109 0 -1 1077944384 28664 0 0 0 1543 90 0 0 20 0 15 0 155203034 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559422773648 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28139] ppid=28133 vsize=13984976 memory=354452 CPUtime=16.31 cores=1,3,5,7
/proc/28135/task/28139/stat : 28139 (java) S 28133 28133 21109 0 -1 1077944384 28400 0 0 0 1542 89 0 0 20 0 15 0 155203034 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559421721104 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28140] ppid=28133 vsize=13984976 memory=1384 CPUtime=16.28 cores=1,3,5,7
/proc/28135/task/28140/stat : 28140 (java) S 28133 28133 21109 0 -1 1077944384 27354 0 0 0 1541 87 0 0 20 0 15 0 155203034 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559420668560 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28141] ppid=28133 vsize=13984976 memory=357968 CPUtime=3.52 cores=1,3,5,7
/proc/28135/task/28141/stat : 28141 (java) S 28133 28133 21109 0 -1 1077944384 59298 0 0 0 291 61 0 0 20 0 15 0 155203036 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559302466032 140559828281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28142] ppid=28133 vsize=13984976 memory=357452 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28142/stat : 28142 (java) S 28133 28133 21109 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 155203036 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559301412320 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28143] ppid=28133 vsize=13984976 memory=367700 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28143/stat : 28143 (java) S 28133 28133 21109 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 155203036 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559300359680 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28144] ppid=28133 vsize=13984976 memory=371812 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28144/stat : 28144 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559299308240 140559828289435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28145] ppid=28133 vsize=13984976 memory=368228 CPUtime=4.57 cores=1,3,5,7
/proc/28135/task/28145/stat : 28145 (java) S 28133 28133 21109 0 -1 1077944384 36450 0 0 0 454 3 0 0 20 0 15 0 155203039 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559298254832 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28146] ppid=28133 vsize=13984976 memory=1384 CPUtime=3.31 cores=1,3,5,7
/proc/28135/task/28146/stat : 28146 (java) S 28133 28133 21109 0 -1 1077944384 20570 0 0 0 329 2 0 0 20 0 15 0 155203039 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559297202288 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28147] ppid=28133 vsize=13984976 memory=371304 CPUtime=0.7 cores=1,3,5,7
/proc/28135/task/28147/stat : 28147 (java) S 28133 28133 21109 0 -1 1077944384 9173 0 0 0 69 1 0 0 20 0 15 0 155203039 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559296149744 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28148] ppid=28133 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28148/stat : 28148 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559295097440 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28149] ppid=28133 vsize=13984976 memory=382352 CPUtime=1.37 cores=1,3,5,7
/proc/28135/task/28149/stat : 28149 (java) S 28133 28133 21109 0 -1 1077944384 1808 0 0 0 60 77 0 0 20 0 15 0 155203039 14320615424 92057 33554432000 4194304 4196468 140733194681648 140559294044976 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
Current children cumulated CPU time: 2499.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 369612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.8 s]
/proc/loadavg: 1.53 1.65 1.66 3/218 28222
/proc/meminfo: memFree=25886164/32770624 swapFree=67108860/67108860
[pid=28133] ppid=28130 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28133/stat : 28133 (xcsp3-exec) S 28130 28133 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155203033 9740288 346 33554432000 4194304 5098028 140735601038368 140735601036472 139960239764092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32083968 140735601042542 140735601042747 140735601042747 140735601045483 0
/proc/28133/statm: 2378 346 289 221 0 87 0
[pid=28135] ppid=28133 vsize=13984976 memory=376024 CPUtime=2520.07 cores=1,3,5,7
/proc/28135/stat : 28135 (java) S 28133 28133 21109 0 -1 1077944320 348435 0 0 0 251508 499 0 0 20 0 15 0 155203033 14320615424 94006 33554432000 4194304 4196468 140733194681648 140733194664192 140559828270839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
/proc/28135/statm: 3496244 94006 3286 1 0 3483478 0
[pid=28135/tid=28136] ppid=28133 vsize=13984976 memory=6791534058613427641 CPUtime=2440.56 cores=1,3,5,7
/proc/28135/task/28136/stat : 28136 (java) R 28133 28133 21109 0 -1 4202560 104551 0 0 0 244024 32 0 0 20 0 15 0 155203033 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559832510288 140559471790463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28137] ppid=28133 vsize=13984976 memory=5784 CPUtime=16.48 cores=1,3,5,7
/proc/28135/task/28137/stat : 28137 (java) S 28133 28133 21109 0 -1 1077944384 29301 0 0 0 1557 91 0 0 20 0 15 0 155203034 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559423826192 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28138] ppid=28133 vsize=13984976 memory=4616 CPUtime=16.5 cores=1,3,5,7
/proc/28135/task/28138/stat : 28138 (java) S 28133 28133 21109 0 -1 1077944384 29300 0 0 0 1559 91 0 0 20 0 15 0 155203034 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559422773648 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28139] ppid=28133 vsize=13984976 memory=1228 CPUtime=16.47 cores=1,3,5,7
/proc/28135/task/28139/stat : 28139 (java) S 28133 28133 21109 0 -1 1077944384 28770 0 0 0 1558 89 0 0 20 0 15 0 155203034 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559421721104 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28140] ppid=28133 vsize=13984976 memory=11108 CPUtime=16.45 cores=1,3,5,7
/proc/28135/task/28140/stat : 28140 (java) S 28133 28133 21109 0 -1 1077944384 27786 0 0 0 1557 88 0 0 20 0 15 0 155203034 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559420668560 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28141] ppid=28133 vsize=13984976 memory=5784 CPUtime=3.55 cores=1,3,5,7
/proc/28135/task/28141/stat : 28141 (java) S 28133 28133 21109 0 -1 1077944384 59321 0 0 0 293 62 0 0 20 0 15 0 155203036 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559302466032 140559828281986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28142] ppid=28133 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28142/stat : 28142 (java) S 28133 28133 21109 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 155203036 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559301412320 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28143] ppid=28133 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28143/stat : 28143 (java) S 28133 28133 21109 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 155203036 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559300359680 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28144] ppid=28133 vsize=13984976 memory=11108 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28144/stat : 28144 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559299308240 140559828289435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28145] ppid=28133 vsize=13984976 memory=796 CPUtime=4.57 cores=1,3,5,7
/proc/28135/task/28145/stat : 28145 (java) S 28133 28133 21109 0 -1 1077944384 36450 0 0 0 454 3 0 0 20 0 15 0 155203039 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559298254832 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28146] ppid=28133 vsize=13984976 memory=1424 CPUtime=3.31 cores=1,3,5,7
/proc/28135/task/28146/stat : 28146 (java) S 28133 28133 21109 0 -1 1077944384 20570 0 0 0 329 2 0 0 20 0 15 0 155203039 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559297202288 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28147] ppid=28133 vsize=13984976 memory=1576 CPUtime=0.7 cores=1,3,5,7
/proc/28135/task/28147/stat : 28147 (java) S 28133 28133 21109 0 -1 1077944384 9173 0 0 0 69 1 0 0 20 0 15 0 155203039 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559296149744 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28148] ppid=28133 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28135/task/28148/stat : 28148 (java) S 28133 28133 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155203039 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559295097440 140559828281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
[pid=28135/tid=28149] ppid=28133 vsize=13984976 memory=4128 CPUtime=1.39 cores=1,3,5,7
/proc/28135/task/28149/stat : 28149 (java) S 28133 28133 21109 0 -1 1077944384 1810 0 0 0 61 78 0 0 20 0 15 0 155203039 14320615424 94006 33554432000 4194304 4196468 140733194681648 140559294044976 140559828281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 17207296 140733194687639 140733194687815 140733194687815 140733194690511 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 377408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.81 s]
# the end of solver process 28133 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.0009 s, system=0.0009 s
[startup+2462.81 s]
# the end of solver process 28135 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.1 s, system=4.99675 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): 2462.81
CPU time (s): 2520.09
CPU user time (s): 2515.1
CPU system time (s): 4.99675
CPU usage (%): 102.326
Max. virtual memory (cumulated for all children) (KiB): 13996352
Max. memory (cumulated for all children) (KiB): 530248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.1
system time used= 4.99675
maximum resident set size= 529464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127508
involuntary context switches= 5867
# summary of solver processes directly reported to runsolver:
# pid: 28133,28135
# total CPU time (s): 2520.09
# total CPU user time (s): 2515.1
# total CPU system time (s): 4.99675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7145 second user time and 23.4858 second system time
The end