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 (13015 MiB free)
memory of node 1: 16384 MiB (12571 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283574-1503218751/watcher-4283574-1503218751 -o /tmp/evaluation-result-4283574-1503218751/solver-4283574-1503218751 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503215438-13001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1000651417 HOME/instance-4283574-1503218751.xml
running on 4 cores: 0,2,4,6
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=13225, runsolver pid=13222
[startup+0.100938 s]*
/proc/loadavg: 1.85 1.85 1.88 4/218 13241
/proc/meminfo: memFree=26184756/32770624 swapFree=67108860/67108860
[pid=13225] ppid=13222 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13225/stat : 13225 (xcsp3-exec) S 13222 13225 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154962536 9740288 346 33554432000 4194304 5098028 140727632378448 140727632376552 139962939134588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16060416 140727632381038 140727632381243 140727632381243 140727632383979 0
/proc/13225/statm: 2378 346 289 221 0 87 0
[pid=13227] ppid=13225 vsize=13978596 memory=27588 CPUtime=0.11 cores=0,2,4,6
/proc/13227/stat : 13227 (java) S 13225 13225 8036 0 -1 1077944320 5306 0 0 0 10 1 0 0 20 0 15 0 154962537 14314082304 6897 33554432000 4194304 4196468 140729936217424 140729936199968 140239584153335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
/proc/13227/statm: 3494649 6897 2839 1 0 3482966 0
[pid=13227/tid=13228] ppid=13225 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=0,2,4,6
/proc/13227/task/13228/stat : 13228 (java) R 13225 13225 8036 0 -1 4202560 3334 0 0 0 8 1 0 0 20 0 15 0 154962537 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239588373648 140239221911760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13229] ppid=13225 vsize=13978596 memory=3472468188472521936 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13229/stat : 13229 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962538 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239180327696 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13230] ppid=13225 vsize=13978596 memory=140059577370240 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13230/stat : 13230 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962538 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239179275152 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13231] ppid=13225 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13231/stat : 13231 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962538 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239178222608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13232] ppid=13225 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13232/stat : 13232 (java) S 13225 13225 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154962538 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239177170064 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13233] ppid=13225 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13233/stat : 13233 (java) S 13225 13225 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154962539 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239058184176 140239584164482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13234] ppid=13225 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13234/stat : 13234 (java) S 13225 13225 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154962540 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239057130400 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13235] ppid=13225 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13235/stat : 13235 (java) S 13225 13225 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154962540 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239056077808 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13236] ppid=13225 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13236/stat : 13236 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239055026384 140239584171931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13237] ppid=13225 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13237/stat : 13237 (java) S 13225 13225 8036 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 154962542 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239053974000 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13238] ppid=13225 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13238/stat : 13238 (java) S 13225 13225 8036 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 154962542 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239052921456 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13239] ppid=13225 vsize=13978596 memory=140059577370240 CPUtime=0.01 cores=0,2,4,6
/proc/13227/task/13239/stat : 13239 (java) R 13225 13225 8036 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 154962542 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239051868912 140239563028797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13240] ppid=13225 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13240/stat : 13240 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239050816608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13241] ppid=13225 vsize=13978596 memory=140059577370240 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13241/stat : 13241 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962543 14314082304 6897 33554432000 4194304 4196468 140729936217424 140239049763120 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28972 KiB
[startup+0.210753 s]*
/proc/loadavg: 1.85 1.85 1.88 3/218 13241
/proc/meminfo: memFree=26172448/32770624 swapFree=67108860/67108860
[pid=13225] ppid=13222 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13225/stat : 13225 (xcsp3-exec) S 13222 13225 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154962536 9740288 346 33554432000 4194304 5098028 140727632378448 140727632376552 139962939134588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16060416 140727632381038 140727632381243 140727632381243 140727632383979 0
/proc/13225/statm: 2378 346 289 221 0 87 0
[pid=13227] ppid=13225 vsize=13982852 memory=40204 CPUtime=0.34 cores=0,2,4,6
/proc/13227/stat : 13227 (java) S 13225 13225 8036 0 -1 1077944320 8070 0 0 0 31 3 0 0 20 0 15 0 154962537 14318440448 10051 33554432000 4194304 4196468 140729936217424 140729936199968 140239584153335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
/proc/13227/statm: 3495713 10051 3037 1 0 3482966 0
[pid=13227/tid=13228] ppid=13225 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=0,2,4,6
/proc/13227/task/13228/stat : 13228 (java) R 13225 13225 8036 0 -1 4202560 5255 0 0 0 17 2 0 0 20 0 15 0 154962537 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239588374328 140239584175261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13229] ppid=13225 vsize=13982852 memory=3472468188472521936 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13229/stat : 13229 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962538 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239180327696 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13230] ppid=13225 vsize=13982852 memory=140059577370240 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13230/stat : 13230 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962538 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239179275152 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13231] ppid=13225 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13231/stat : 13231 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962538 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239178222608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13232] ppid=13225 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13232/stat : 13232 (java) S 13225 13225 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154962538 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239177170064 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13233] ppid=13225 vsize=13982852 memory=140059577370240 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13233/stat : 13233 (java) S 13225 13225 8036 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154962539 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239058184176 140239584164482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13234] ppid=13225 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13234/stat : 13234 (java) S 13225 13225 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154962540 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239057130400 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13235] ppid=13225 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13235/stat : 13235 (java) S 13225 13225 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154962540 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239056077808 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13236] ppid=13225 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13236/stat : 13236 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239055026384 140239584171931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13237] ppid=13225 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13227/task/13237/stat : 13237 (java) S 13225 13225 8036 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 15 0 154962542 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239053974000 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13238] ppid=13225 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/13227/task/13238/stat : 13238 (java) S 13225 13225 8036 0 -1 1077944384 380 0 0 0 3 0 0 0 20 0 15 0 154962542 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239052921456 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13239] ppid=13225 vsize=13982852 memory=140059577370240 CPUtime=0.08 cores=0,2,4,6
/proc/13227/task/13239/stat : 13239 (java) S 13225 13225 8036 0 -1 1077944384 759 0 0 0 8 0 0 0 20 0 15 0 154962542 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239051868912 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13240] ppid=13225 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13240/stat : 13240 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239050816608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13241] ppid=13225 vsize=13982852 memory=140059577370240 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13241/stat : 13241 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962543 14318440448 10051 33554432000 4194304 4196468 140729936217424 140239049763120 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41588 KiB
[startup+0.310724 s]*
/proc/loadavg: 1.85 1.85 1.88 4/218 13241
/proc/meminfo: memFree=26166380/32770624 swapFree=67108860/67108860
[pid=13225] ppid=13222 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13225/stat : 13225 (xcsp3-exec) S 13222 13225 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154962536 9740288 346 33554432000 4194304 5098028 140727632378448 140727632376552 139962939134588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16060416 140727632381038 140727632381243 140727632381243 140727632383979 0
/proc/13225/statm: 2378 346 289 221 0 87 0
[pid=13227] ppid=13225 vsize=13982852 memory=47108 CPUtime=0.49 cores=0,2,4,6
/proc/13227/stat : 13227 (java) S 13225 13225 8036 0 -1 1077944320 9000 0 0 0 46 3 0 0 20 0 15 0 154962537 14318440448 11777 33554432000 4194304 4196468 140729936217424 140729936199968 140239584153335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
/proc/13227/statm: 3495713 11777 3075 1 0 3482966 0
[pid=13227/tid=13228] ppid=13225 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=0,2,4,6
/proc/13227/task/13228/stat : 13228 (java) R 13225 13225 8036 0 -1 4202560 5974 0 0 0 27 2 0 0 20 0 15 0 154962537 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239588387408 140239584175261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13229] ppid=13225 vsize=13982852 memory=3472468188472521936 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13229/stat : 13229 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962538 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239180327696 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13230] ppid=13225 vsize=13982852 memory=140059577370240 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13230/stat : 13230 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962538 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239179275152 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13231] ppid=13225 vsize=13982852 memory=6 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13231/stat : 13231 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962538 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239178222608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13232] ppid=13225 vsize=13982852 memory=140059420534815 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13232/stat : 13232 (java) S 13225 13225 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154962538 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239177170064 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13233] ppid=13225 vsize=13982852 memory=280118841048864 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13233/stat : 13233 (java) S 13225 13225 8036 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154962539 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239058184176 140239584164482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13234] ppid=13225 vsize=13982852 memory=140059420511759 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13234/stat : 13234 (java) S 13225 13225 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154962540 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239057130400 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13235] ppid=13225 vsize=13982852 memory=280118997765128 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13235/stat : 13235 (java) S 13225 13225 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154962540 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239056077808 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13236] ppid=13225 vsize=13982852 memory=140059420534815 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13236/stat : 13236 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239055026384 140239584171931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13237] ppid=13225 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13227/task/13237/stat : 13237 (java) S 13225 13225 8036 0 -1 1077944384 479 0 0 0 3 0 0 0 20 0 15 0 154962542 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239053974000 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13238] ppid=13225 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/13227/task/13238/stat : 13238 (java) R 13225 13225 8036 0 -1 4202560 383 0 0 0 3 0 0 0 20 0 15 0 154962542 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239052921456 140239564005440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13239] ppid=13225 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13227/task/13239/stat : 13239 (java) S 13225 13225 8036 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 15 0 154962542 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239051868912 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13240] ppid=13225 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13240/stat : 13240 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239050816608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13241] ppid=13225 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13241/stat : 13241 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962543 14318440448 11777 33554432000 4194304 4196468 140729936217424 140239049763120 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48492 KiB
[startup+0.701279 s]
/proc/loadavg: 1.85 1.85 1.88 5/218 13241
/proc/meminfo: memFree=26153612/32770624 swapFree=67108860/67108860
[pid=13225] ppid=13222 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13225/stat : 13225 (xcsp3-exec) S 13222 13225 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154962536 9740288 346 33554432000 4194304 5098028 140727632378448 140727632376552 139962939134588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16060416 140727632381038 140727632381243 140727632381243 140727632383979 0
/proc/13225/statm: 2378 346 289 221 0 87 0
[pid=13227] ppid=13225 vsize=13984976 memory=71280 CPUtime=1.47 cores=0,2,4,6
/proc/13227/stat : 13227 (java) S 13225 13225 8036 0 -1 1077944320 11457 0 0 0 142 5 0 0 20 0 15 0 154962537 14320615424 17820 33554432000 4194304 4196468 140729936217424 140729936199968 140239584153335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
/proc/13227/statm: 3496244 17820 3201 1 0 3483478 0
[pid=13227/tid=13228] ppid=13225 vsize=13984976 memory=3472328296227679313 CPUtime=0.67 cores=0,2,4,6
/proc/13227/task/13228/stat : 13228 (java) R 13225 13225 8036 0 -1 4202560 6697 0 0 0 64 3 0 0 20 0 15 0 154962537 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239588391376 140239584174682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13229] ppid=13225 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13229/stat : 13229 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962538 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239180327696 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13230] ppid=13225 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13230/stat : 13230 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962538 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239179275152 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13231] ppid=13225 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13231/stat : 13231 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962538 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239178222608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13232] ppid=13225 vsize=13984976 memory=53 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13232/stat : 13232 (java) S 13225 13225 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154962538 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239177170064 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13233] ppid=13225 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13233/stat : 13233 (java) S 13225 13225 8036 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154962539 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239058184176 140239584164482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13234] ppid=13225 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13234/stat : 13234 (java) S 13225 13225 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154962540 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239057130400 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13235] ppid=13225 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13235/stat : 13235 (java) S 13225 13225 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154962540 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239056077808 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13236] ppid=13225 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13236/stat : 13236 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239055026384 140239584171931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13237] ppid=13225 vsize=13984976 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/13227/task/13237/stat : 13237 (java) R 13225 13225 8036 0 -1 4202560 1029 0 0 0 24 0 0 0 20 0 15 0 154962542 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239053974000 140239564001376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13238] ppid=13225 vsize=13984976 memory=5796 CPUtime=0.23 cores=0,2,4,6
/proc/13227/task/13238/stat : 13238 (java) R 13225 13225 8036 0 -1 1077944384 973 0 0 0 23 0 0 0 20 0 15 0 154962542 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239052907408 140239584163541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13239] ppid=13225 vsize=13984976 memory=1224 CPUtime=0.29 cores=0,2,4,6
/proc/13227/task/13239/stat : 13239 (java) R 13225 13225 8036 0 -1 4202560 1449 0 0 0 29 0 0 0 20 0 15 0 154962542 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239051868912 140239584165270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13240] ppid=13225 vsize=13984976 memory=8716 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13240/stat : 13240 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239050816608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13241] ppid=13225 vsize=13984976 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13241/stat : 13241 (java) S 13225 13225 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154962543 14320615424 17820 33554432000 4194304 4196468 140729936217424 140239049763120 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 72664 KiB
[startup+1.50082 s]
/proc/loadavg: 1.85 1.85 1.88 6/218 13241
/proc/meminfo: memFree=26124896/32770624 swapFree=67108860/67108860
[pid=13225] ppid=13222 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13225/stat : 13225 (xcsp3-exec) S 13222 13225 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154962536 9740288 346 33554432000 4194304 5098028 140727632378448 140727632376552 139962939134588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16060416 140727632381038 140727632381243 140727632381243 140727632383979 0
/proc/13225/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/13227/task/13235/stat : 13235 (java) S 13225 13225 8036 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154962540 14320615424 92547 33554432000 4194304 4196468 140729936217424 140239056077808 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13236] ppid=13225 vsize=13984976 memory=342744 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13236/stat : 13236 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14320615424 92547 33554432000 4194304 4196468 140729936217424 140239055026384 140239584171931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13237] ppid=13225 vsize=13984976 memory=1384 CPUtime=5.66 cores=0,2,4,6
/proc/13227/task/13237/stat : 13237 (java) S 13225 13225 8036 0 -1 1077944384 31271 0 0 0 563 3 0 0 20 0 15 0 154962542 14320615424 92547 33554432000 4194304 4196468 140729936217424 140239053974000 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13238] ppid=13225 vsize=13984976 memory=351976 CPUtime=5.33 cores=0,2,4,6
/proc/13227/task/13238/stat : 13238 (java) S 13225 13225 8036 0 -1 1077944384 29551 0 0 0 531 2 0 0 20 0 15 0 154962542 14320615424 92547 33554432000 4194304 4196468 140729936217424 140239052921456 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13239] ppid=13225 vsize=13984976 memory=1384 CPUtime=0.92 cores=0,2,4,6
/proc/13227/task/13239/stat : 13239 (java) S 13225 13225 8036 0 -1 1077944384 12428 0 0 0 89 3 0 0 20 0 15 0 154962542 14320615424 92547 33554432000 4194304 4196468 140729936217424 140239051868912 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13240] ppid=13225 vsize=13984976 memory=370192 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13240/stat : 13240 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14320615424 92547 33554432000 4194304 4196468 140729936217424 140239050816608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13241] ppid=13225 vsize=13984976 memory=1712 CPUtime=1.13 cores=0,2,4,6
/proc/13227/task/13241/stat : 13241 (java) S 13225 13225 8036 0 -1 1077944384 1051 0 0 0 60 53 0 0 20 0 15 0 154962543 14320615424 92547 33554432000 4194304 4196468 140729936217424 140239049763120 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
Current children cumulated CPU time: 2452.89 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 371572 KiB
[startup+2442.3 s]
/proc/loadavg: 1.62 1.49 1.60 3/218 13573
/proc/meminfo: memFree=25800308/32770624 swapFree=67108860/67108860
[pid=13225] ppid=13222 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13225/stat : 13225 (xcsp3-exec) S 13222 13225 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154962536 9740288 346 33554432000 4194304 5098028 140727632378448 140727632376552 139962939134588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16060416 140727632381038 140727632381243 140727632381243 140727632383979 0
/proc/13225/statm: 2378 346 289 221 0 87 0
[pid=13227] ppid=13225 vsize=13984976 memory=338948 CPUtime=2514.32 cores=0,2,4,6
/proc/13227/stat : 13227 (java) S 13225 13225 8036 0 -1 1077944320 271036 0 0 0 251067 365 0 0 20 0 15 0 154962537 14320615424 84737 33554432000 4194304 4196468 140729936217424 140729936199968 140239584153335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
/proc/13227/statm: 3496244 84737 3282 1 0 3483478 0
[pid=13227/tid=13228] ppid=13225 vsize=13984976 memory=340776 CPUtime=2418.87 cores=0,2,4,6
/proc/13227/task/13228/stat : 13228 (java) R 13225 13225 8036 0 -1 4202560 58538 0 0 0 241873 14 0 0 20 0 15 0 154962537 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239588393072 140239231151372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13229] ppid=13225 vsize=13984976 memory=340776 CPUtime=20.04 cores=0,2,4,6
/proc/13227/task/13229/stat : 13229 (java) S 13225 13225 8036 0 -1 1077944384 29254 0 0 0 1935 69 0 0 20 0 15 0 154962538 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239180327696 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13230] ppid=13225 vsize=13984976 memory=1384 CPUtime=20.08 cores=0,2,4,6
/proc/13227/task/13230/stat : 13230 (java) S 13225 13225 8036 0 -1 1077944384 27199 0 0 0 1938 70 0 0 20 0 15 0 154962538 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239179275152 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13231] ppid=13225 vsize=13984976 memory=339752 CPUtime=20.06 cores=0,2,4,6
/proc/13227/task/13231/stat : 13231 (java) S 13225 13225 8036 0 -1 1077944384 25197 0 0 0 1936 70 0 0 20 0 15 0 154962538 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239178222608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13232] ppid=13225 vsize=13984976 memory=339752 CPUtime=20.08 cores=0,2,4,6
/proc/13227/task/13232/stat : 13232 (java) S 13225 13225 8036 0 -1 1077944384 26708 0 0 0 1942 66 0 0 20 0 15 0 154962538 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239177170064 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13233] ppid=13225 vsize=13984976 memory=338948 CPUtime=2.01 cores=0,2,4,6
/proc/13227/task/13233/stat : 13233 (java) S 13225 13225 8036 0 -1 1077944384 28466 0 0 0 173 28 0 0 20 0 15 0 154962539 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239058184176 140239584164482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13234] ppid=13225 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13234/stat : 13234 (java) S 13225 13225 8036 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154962540 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239057130400 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13235] ppid=13225 vsize=13984976 memory=164 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13235/stat : 13235 (java) S 13225 13225 8036 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154962540 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239056077808 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13236] ppid=13225 vsize=13984976 memory=366084 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13236/stat : 13236 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239055026384 140239584171931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13237] ppid=13225 vsize=13984976 memory=340776 CPUtime=5.66 cores=0,2,4,6
/proc/13227/task/13237/stat : 13237 (java) S 13225 13225 8036 0 -1 1077944384 31273 0 0 0 563 3 0 0 20 0 15 0 154962542 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239053974000 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13238] ppid=13225 vsize=13984976 memory=1384 CPUtime=5.33 cores=0,2,4,6
/proc/13227/task/13238/stat : 13238 (java) S 13225 13225 8036 0 -1 1077944384 29554 0 0 0 531 2 0 0 20 0 15 0 154962542 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239052921456 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13239] ppid=13225 vsize=13984976 memory=344368 CPUtime=0.92 cores=0,2,4,6
/proc/13227/task/13239/stat : 13239 (java) S 13225 13225 8036 0 -1 1077944384 12430 0 0 0 89 3 0 0 20 0 15 0 154962542 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239051868912 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13240] ppid=13225 vsize=13984976 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13240/stat : 13240 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239050816608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13241] ppid=13225 vsize=13984976 memory=916 CPUtime=1.16 cores=0,2,4,6
/proc/13227/task/13241/stat : 13241 (java) S 13225 13225 8036 0 -1 1077944384 1070 0 0 0 61 55 0 0 20 0 15 0 154962543 14320615424 84737 33554432000 4194304 4196468 140729936217424 140239049763120 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
Current children cumulated CPU time: 2514.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 340332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2447.9 s]
/proc/loadavg: 1.65 1.50 1.60 3/218 13573
/proc/meminfo: memFree=25753396/32770624 swapFree=67108860/67108860
[pid=13225] ppid=13222 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13225/stat : 13225 (xcsp3-exec) S 13222 13225 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154962536 9740288 346 33554432000 4194304 5098028 140727632378448 140727632376552 139962939134588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16060416 140727632381038 140727632381243 140727632381243 140727632383979 0
/proc/13225/statm: 2378 346 289 221 0 87 0
[pid=13227] ppid=13225 vsize=13984976 memory=333860 CPUtime=2520.03 cores=0,2,4,6
/proc/13227/stat : 13227 (java) S 13225 13225 8036 0 -1 1077944320 271069 0 0 0 251638 365 0 0 20 0 15 0 154962537 14320615424 83465 33554432000 4194304 4196468 140729936217424 140729936199968 140239584153335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
/proc/13227/statm: 3496244 83465 3282 1 0 3483478 0
[pid=13227/tid=13228] ppid=13225 vsize=13984976 memory=1384 CPUtime=2424.42 cores=0,2,4,6
/proc/13227/task/13228/stat : 13228 (java) R 13225 13225 8036 0 -1 4202560 58544 0 0 0 242428 14 0 0 20 0 15 0 154962537 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239588392704 140239227059649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13229] ppid=13225 vsize=13984976 memory=336896 CPUtime=20.08 cores=0,2,4,6
/proc/13227/task/13229/stat : 13229 (java) S 13225 13225 8036 0 -1 1077944384 29259 0 0 0 1939 69 0 0 20 0 15 0 154962538 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239180327696 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13230] ppid=13225 vsize=13984976 memory=1384 CPUtime=20.12 cores=0,2,4,6
/proc/13227/task/13230/stat : 13230 (java) S 13225 13225 8036 0 -1 1077944384 27202 0 0 0 1942 70 0 0 20 0 15 0 154962538 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239179275152 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13231] ppid=13225 vsize=13984976 memory=164 CPUtime=20.1 cores=0,2,4,6
/proc/13227/task/13231/stat : 13231 (java) S 13225 13225 8036 0 -1 1077944384 25204 0 0 0 1940 70 0 0 20 0 15 0 154962538 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239178222608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13232] ppid=13225 vsize=13984976 memory=340776 CPUtime=20.12 cores=0,2,4,6
/proc/13227/task/13232/stat : 13232 (java) S 13225 13225 8036 0 -1 1077944384 26714 0 0 0 1946 66 0 0 20 0 15 0 154962538 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239177170064 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13233] ppid=13225 vsize=13984976 memory=366084 CPUtime=2.01 cores=0,2,4,6
/proc/13227/task/13233/stat : 13233 (java) S 13225 13225 8036 0 -1 1077944384 28470 0 0 0 173 28 0 0 20 0 15 0 154962539 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239058184176 140239584164482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13234] ppid=13225 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13234/stat : 13234 (java) S 13225 13225 8036 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154962540 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239057130400 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13235] ppid=13225 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13235/stat : 13235 (java) S 13225 13225 8036 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154962540 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239056077808 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13236] ppid=13225 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13236/stat : 13236 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239055026384 140239584171931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13237] ppid=13225 vsize=13984976 memory=339752 CPUtime=5.66 cores=0,2,4,6
/proc/13227/task/13237/stat : 13237 (java) S 13225 13225 8036 0 -1 1077944384 31273 0 0 0 563 3 0 0 20 0 15 0 154962542 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239053974000 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13238] ppid=13225 vsize=13984976 memory=4100 CPUtime=5.33 cores=0,2,4,6
/proc/13227/task/13238/stat : 13238 (java) S 13225 13225 8036 0 -1 1077944384 29554 0 0 0 531 2 0 0 20 0 15 0 154962542 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239052921456 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13239] ppid=13225 vsize=13984976 memory=338948 CPUtime=0.92 cores=0,2,4,6
/proc/13227/task/13239/stat : 13239 (java) S 13225 13225 8036 0 -1 1077944384 12430 0 0 0 89 3 0 0 20 0 15 0 154962542 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239051868912 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13240] ppid=13225 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13240/stat : 13240 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239050816608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13241] ppid=13225 vsize=13984976 memory=2448 CPUtime=1.17 cores=0,2,4,6
/proc/13227/task/13241/stat : 13241 (java) S 13225 13225 8036 0 -1 1077944384 1072 0 0 0 62 55 0 0 20 0 15 0 154962543 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239049763120 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 335244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2447.91 s]
# the end of solver process 13225 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000939 s, system=0.000939 s
[startup+2447.91 s]
# the end of solver process 13227 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.39 s, system=3.66076 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
[startup+2447.9 s]
/proc/loadavg: 1.65 1.50 1.60 3/218 13573
/proc/meminfo: memFree=25753396/32770624 swapFree=67108860/67108860
[pid=13225] ppid=13222 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13225/stat : 13225 (xcsp3-exec) S 13222 13225 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154962536 9740288 346 33554432000 4194304 5098028 140727632378448 140727632376552 139962939134588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16060416 140727632381038 140727632381243 140727632381243 140727632383979 0
/proc/13225/statm: 2378 346 289 221 0 87 0
[pid=13227] ppid=13225 vsize=13984976 memory=333860 CPUtime=2520.03 cores=0,2,4,6
/proc/13227/stat : 13227 (java) S 13225 13225 8036 0 -1 1077944320 271069 0 0 0 251638 365 0 0 20 0 15 0 154962537 14320615424 83465 33554432000 4194304 4196468 140729936217424 140729936199968 140239584153335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
/proc/13227/statm: 3496244 83465 3282 1 0 3483478 0
[pid=13227/tid=13228] ppid=13225 vsize=13984976 memory=1384 CPUtime=2424.42 cores=0,2,4,6
/proc/13227/task/13228/stat : 13228 (java) R 13225 13225 8036 0 -1 4202560 58544 0 0 0 242428 14 0 0 20 0 15 0 154962537 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239588392704 140239227059649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13229] ppid=13225 vsize=13984976 memory=336896 CPUtime=20.08 cores=0,2,4,6
/proc/13227/task/13229/stat : 13229 (java) S 13225 13225 8036 0 -1 1077944384 29259 0 0 0 1939 69 0 0 20 0 15 0 154962538 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239180327696 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13230] ppid=13225 vsize=13984976 memory=1384 CPUtime=20.12 cores=0,2,4,6
/proc/13227/task/13230/stat : 13230 (java) S 13225 13225 8036 0 -1 1077944384 27202 0 0 0 1942 70 0 0 20 0 15 0 154962538 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239179275152 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13231] ppid=13225 vsize=13984976 memory=164 CPUtime=20.1 cores=0,2,4,6
/proc/13227/task/13231/stat : 13231 (java) S 13225 13225 8036 0 -1 1077944384 25204 0 0 0 1940 70 0 0 20 0 15 0 154962538 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239178222608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13232] ppid=13225 vsize=13984976 memory=340776 CPUtime=20.12 cores=0,2,4,6
/proc/13227/task/13232/stat : 13232 (java) S 13225 13225 8036 0 -1 1077944384 26714 0 0 0 1946 66 0 0 20 0 15 0 154962538 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239177170064 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13233] ppid=13225 vsize=13984976 memory=366084 CPUtime=2.01 cores=0,2,4,6
/proc/13227/task/13233/stat : 13233 (java) S 13225 13225 8036 0 -1 1077944384 28470 0 0 0 173 28 0 0 20 0 15 0 154962539 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239058184176 140239584164482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13234] ppid=13225 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13234/stat : 13234 (java) S 13225 13225 8036 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154962540 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239057130400 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13235] ppid=13225 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13235/stat : 13235 (java) S 13225 13225 8036 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154962540 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239056077808 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13236] ppid=13225 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13236/stat : 13236 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239055026384 140239584171931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13237] ppid=13225 vsize=13984976 memory=339752 CPUtime=5.66 cores=0,2,4,6
/proc/13227/task/13237/stat : 13237 (java) S 13225 13225 8036 0 -1 1077944384 31273 0 0 0 563 3 0 0 20 0 15 0 154962542 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239053974000 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13238] ppid=13225 vsize=13984976 memory=4100 CPUtime=5.33 cores=0,2,4,6
/proc/13227/task/13238/stat : 13238 (java) S 13225 13225 8036 0 -1 1077944384 29554 0 0 0 531 2 0 0 20 0 15 0 154962542 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239052921456 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13239] ppid=13225 vsize=13984976 memory=338948 CPUtime=0.92 cores=0,2,4,6
/proc/13227/task/13239/stat : 13239 (java) S 13225 13225 8036 0 -1 1077944384 12430 0 0 0 89 3 0 0 20 0 15 0 154962542 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239051868912 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13240] ppid=13225 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/13227/task/13240/stat : 13240 (java) S 13225 13225 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154962542 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239050816608 140239584163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
[pid=13227/tid=13241] ppid=13225 vsize=13984976 memory=2448 CPUtime=1.17 cores=0,2,4,6
/proc/13227/task/13241/stat : 13241 (java) S 13225 13225 8036 0 -1 1077944384 1072 0 0 0 62 55 0 0 20 0 15 0 154962543 14320615424 83465 33554432000 4194304 4196468 140729936217424 140239049763120 140239584164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140729936225431 140729936225607 140729936225607 140729936228303 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 335244 KiB
Child status: 143
Real time (s): 2447.91
CPU time (s): 2520.05
CPU user time (s): 2516.39
CPU system time (s): 3.66076
CPU usage (%): 102.947
Max. virtual memory (cumulated for all children) (KiB): 13996792
Max. memory (cumulated for all children) (KiB): 513248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.39
system time used= 3.66076
maximum resident set size= 515316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90914
involuntary context switches= 5761
# summary of solver processes directly reported to runsolver:
# pid: 13225,13227
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.39
# total CPU system time (s): 3.66076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4354 second user time and 25.1382 second system time
The end