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 (9888 MiB free)
memory of node 1: 16384 MiB (12243 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283018-1503210043/watcher-4283018-1503210043 -o /tmp/evaluation-result-4283018-1503210043/solver-4283018-1503210043 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node150-1503208459-5117 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1786102630 HOME/instance-4283018-1503210043.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5646, runsolver pid=5643
Current StackSize limit: 8192 KiB
[startup+0.103583 s]*
/proc/loadavg: 1.83 1.74 1.19 3/199 5666
/proc/meminfo: memFree=22646060/32770624 swapFree=67108860/67108860
[pid=5646] ppid=5643 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5646/stat : 5646 (xcsp3-exec) S 5643 5646 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154085235 9740288 346 33554432000 4194304 5098028 140729941535440 140729941533544 140184115688060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38547456 140729941542004 140729941542208 140729941542208 140729941544939 0
/proc/5646/statm: 2378 346 289 221 0 87 0
[pid=5648] ppid=5646 vsize=13978596 memory=28280 CPUtime=0.12 cores=1,3,5,7
/proc/5648/stat : 5648 (java) S 5646 5646 5085 0 -1 1077944320 5397 0 0 0 11 1 0 0 20 0 15 0 154085235 14314082304 7070 33554432000 4194304 4196468 140734995887616 140734995870160 140094386523895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
/proc/5648/statm: 3494649 7070 2878 1 0 3482966 0
[pid=5648/tid=5649] ppid=5646 vsize=13978596 memory=-7155505728550726788 CPUtime=0.09 cores=1,3,5,7
/proc/5648/task/5649/stat : 5649 (java) R 5646 5646 5085 0 -1 4202560 3327 0 0 0 8 1 0 0 20 0 15 0 154085235 14314082304 7070 33554432000 4194304 4196468 140734995887616 140094390757168 140094386535830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5650] ppid=5646 vsize=13978596 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5650/stat : 5650 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085236 14314082304 7070 33554432000 4194304 4196468 140734995887616 140094324124816 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5651] ppid=5646 vsize=13978596 memory=139933037979264 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5651/stat : 5651 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085236 14314082304 7070 33554432000 4194304 4196468 140734995887616 140094323072016 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5652] ppid=5646 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5652/stat : 5652 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085236 14314082304 7070 33554432000 4194304 4196468 140734995887616 140094322019216 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5653] ppid=5646 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5653/stat : 5653 (java) S 5646 5646 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154085236 14314082304 7070 33554432000 4194304 4196468 140734995887616 140094320966416 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5654] ppid=5646 vsize=13978596 memory=139933037979264 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5654/stat : 5654 (java) S 5646 5646 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154085238 14314082304 7070 33554432000 4194304 4196468 140734995887616 140093927836016 140094386535042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5655] ppid=5646 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5655/stat : 5655 (java) S 5646 5646 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154085238 14314082304 7070 33554432000 4194304 4196468 140734995887616 140093926781984 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5656] ppid=5646 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5656/stat : 5656 (java) S 5646 5646 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154085238 14314082304 7070 33554432000 4194304 4196468 140734995887616 140093925729136 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5657] ppid=5646 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5657/stat : 5657 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14314082304 7070 33554432000 4194304 4196468 140734995887616 140093924677456 140094386542491 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5658] ppid=5646 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5658/stat : 5658 (java) S 5646 5646 5085 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 154085241 14314082304 7070 33554432000 4194304 4196468 140734995887616 140093923625840 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5659] ppid=5646 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5659/stat : 5659 (java) S 5646 5646 5085 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 154085241 14314082304 7070 33554432000 4194304 4196468 140734995887616 140093922573040 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5660] ppid=5646 vsize=13978596 memory=139933037979264 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5660/stat : 5660 (java) R 5646 5646 5085 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 15 0 154085241 14314082304 7070 33554432000 4194304 4196468 140734995887616 140093921520240 140094386545242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5661] ppid=5646 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5661/stat : 5661 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14314082304 7070 33554432000 4194304 4196468 140734995887616 140093920467680 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5662] ppid=5646 vsize=13978596 memory=139933037979264 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5662/stat : 5662 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085241 14314082304 7070 33554432000 4194304 4196468 140734995887616 140093919414960 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29664 KiB
[startup+0.210593 s]*
/proc/loadavg: 1.83 1.74 1.19 4/212 5686
/proc/meminfo: memFree=22617484/32770624 swapFree=67108860/67108860
[pid=5646] ppid=5643 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5646/stat : 5646 (xcsp3-exec) S 5643 5646 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154085235 9740288 346 33554432000 4194304 5098028 140729941535440 140729941533544 140184115688060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38547456 140729941542004 140729941542208 140729941542208 140729941544939 0
/proc/5646/statm: 2378 346 289 221 0 87 0
[pid=5648] ppid=5646 vsize=13982852 memory=40100 CPUtime=0.34 cores=1,3,5,7
/proc/5648/stat : 5648 (java) S 5646 5646 5085 0 -1 1077944320 8050 0 0 0 31 3 0 0 20 0 15 0 154085235 14318440448 10025 33554432000 4194304 4196468 140734995887616 140734995870160 140094386523895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
/proc/5648/statm: 3495713 10025 3063 1 0 3482966 0
[pid=5648/tid=5649] ppid=5646 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/5648/task/5649/stat : 5649 (java) R 5646 5646 5085 0 -1 4202560 5269 0 0 0 18 2 0 0 20 0 15 0 154085235 14318440448 10025 33554432000 4194304 4196468 140734995887616 140094390739792 140094370604382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5650] ppid=5646 vsize=13982852 memory=9010 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5650/stat : 5650 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085236 14318440448 10025 33554432000 4194304 4196468 140734995887616 140094324124816 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5651] ppid=5646 vsize=13982852 memory=139933038089173 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5651/stat : 5651 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085236 14318440448 10025 33554432000 4194304 4196468 140734995887616 140094323072016 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5652] ppid=5646 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5652/stat : 5652 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085236 14318440448 10025 33554432000 4194304 4196468 140734995887616 140094322019216 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5653] ppid=5646 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5653/stat : 5653 (java) S 5646 5646 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154085236 14318440448 10025 33554432000 4194304 4196468 140734995887616 140094320966416 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5654] ppid=5646 vsize=13982852 memory=139933037979264 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5654/stat : 5654 (java) S 5646 5646 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154085238 14318440448 10025 33554432000 4194304 4196468 140734995887616 140093927836016 140094386535042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5655] ppid=5646 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5655/stat : 5655 (java) S 5646 5646 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154085238 14318440448 10025 33554432000 4194304 4196468 140734995887616 140093926781984 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5656] ppid=5646 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5656/stat : 5656 (java) S 5646 5646 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154085238 14318440448 10025 33554432000 4194304 4196468 140734995887616 140093925729136 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5657] ppid=5646 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5657/stat : 5657 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14318440448 10025 33554432000 4194304 4196468 140734995887616 140093924677456 140094386542491 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5658] ppid=5646 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5658/stat : 5658 (java) S 5646 5646 5085 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 154085241 14318440448 10025 33554432000 4194304 4196468 140734995887616 140093923625840 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5659] ppid=5646 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5648/task/5659/stat : 5659 (java) S 5646 5646 5085 0 -1 1077944384 397 0 0 0 3 0 0 0 20 0 15 0 154085241 14318440448 10025 33554432000 4194304 4196468 140734995887616 140093922573040 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5660] ppid=5646 vsize=13982852 memory=139933037979264 CPUtime=0.08 cores=1,3,5,7
/proc/5648/task/5660/stat : 5660 (java) S 5646 5646 5085 0 -1 1077944384 720 0 0 0 8 0 0 0 20 0 15 0 154085241 14318440448 10025 33554432000 4194304 4196468 140734995887616 140093921520240 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5661] ppid=5646 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5661/stat : 5661 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14318440448 10025 33554432000 4194304 4196468 140734995887616 140093920467680 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5662] ppid=5646 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5662/stat : 5662 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085241 14318440448 10025 33554432000 4194304 4196468 140734995887616 140093919414960 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41484 KiB
[startup+0.31757 s]*
/proc/loadavg: 1.83 1.74 1.19 4/218 5692
/proc/meminfo: memFree=22600920/32770624 swapFree=67108860/67108860
[pid=5646] ppid=5643 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5646/stat : 5646 (xcsp3-exec) S 5643 5646 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154085235 9740288 346 33554432000 4194304 5098028 140729941535440 140729941533544 140184115688060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38547456 140729941542004 140729941542208 140729941542208 140729941544939 0
/proc/5646/statm: 2378 346 289 221 0 87 0
[pid=5648] ppid=5646 vsize=13982852 memory=47036 CPUtime=0.52 cores=1,3,5,7
/proc/5648/stat : 5648 (java) S 5646 5646 5085 0 -1 1077944320 8963 0 0 0 49 3 0 0 20 0 15 0 154085235 14318440448 11759 33554432000 4194304 4196468 140734995887616 140734995870160 140094386523895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
/proc/5648/statm: 3495713 11759 3116 1 0 3482966 0
[pid=5648/tid=5649] ppid=5646 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/5648/task/5649/stat : 5649 (java) R 5646 5646 5085 0 -1 4202560 5979 0 0 0 27 2 0 0 20 0 15 0 154085235 14318440448 11759 33554432000 4194304 4196468 140734995887616 140094390746640 140094370604382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5650] ppid=5646 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5650/stat : 5650 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085236 14318440448 11759 33554432000 4194304 4196468 140734995887616 140094324124816 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5651] ppid=5646 vsize=13982852 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5651/stat : 5651 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085236 14318440448 11759 33554432000 4194304 4196468 140734995887616 140094323072016 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5652] ppid=5646 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5652/stat : 5652 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085236 14318440448 11759 33554432000 4194304 4196468 140734995887616 140094322019216 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5653] ppid=5646 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5653/stat : 5653 (java) S 5646 5646 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154085236 14318440448 11759 33554432000 4194304 4196468 140734995887616 140094320966416 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5654] ppid=5646 vsize=13982852 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5654/stat : 5654 (java) S 5646 5646 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154085238 14318440448 11759 33554432000 4194304 4196468 140734995887616 140093927836016 140094386535042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5655] ppid=5646 vsize=13982852 memory=6945503147187019673 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5655/stat : 5655 (java) S 5646 5646 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154085238 14318440448 11759 33554432000 4194304 4196468 140734995887616 140093926781984 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5656] ppid=5646 vsize=13982852 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5656/stat : 5656 (java) S 5646 5646 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154085238 14318440448 11759 33554432000 4194304 4196468 140734995887616 140093925729136 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5657] ppid=5646 vsize=13982852 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5657/stat : 5657 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14318440448 11759 33554432000 4194304 4196468 140734995887616 140093924677456 140094386542491 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5658] ppid=5646 vsize=13982852 memory=3047711566422646390 CPUtime=0.02 cores=1,3,5,7
/proc/5648/task/5658/stat : 5658 (java) S 5646 5646 5085 0 -1 1077944384 425 0 0 0 2 0 0 0 20 0 15 0 154085241 14318440448 11759 33554432000 4194304 4196468 140734995887616 140093923625840 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5659] ppid=5646 vsize=13982852 memory=-6444775992005010620 CPUtime=0.04 cores=1,3,5,7
/proc/5648/task/5659/stat : 5659 (java) R 5646 5646 5085 0 -1 4202560 419 0 0 0 4 0 0 0 20 0 15 0 154085241 14318440448 11759 33554432000 4194304 4196468 140734995887616 140093922573040 140094368071037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5660] ppid=5646 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/5648/task/5660/stat : 5660 (java) S 5646 5646 5085 0 -1 1077944384 850 0 0 0 13 0 0 0 20 0 15 0 154085241 14318440448 11759 33554432000 4194304 4196468 140734995887616 140093921520240 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5661] ppid=5646 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5661/stat : 5661 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14318440448 11759 33554432000 4194304 4196468 140734995887616 140093920467680 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5662] ppid=5646 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5662/stat : 5662 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085241 14318440448 11759 33554432000 4194304 4196468 140734995887616 140093919414960 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48420 KiB
[startup+0.701566 s]
/proc/loadavg: 1.83 1.74 1.19 5/218 5692
/proc/meminfo: memFree=22572648/32770624 swapFree=67108860/67108860
[pid=5646] ppid=5643 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5646/stat : 5646 (xcsp3-exec) S 5643 5646 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154085235 9740288 346 33554432000 4194304 5098028 140729941535440 140729941533544 140184115688060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38547456 140729941542004 140729941542208 140729941542208 140729941544939 0
/proc/5646/statm: 2378 346 289 221 0 87 0
[pid=5648] ppid=5646 vsize=13984976 memory=74968 CPUtime=1.48 cores=1,3,5,7
/proc/5648/stat : 5648 (java) S 5646 5646 5085 0 -1 1077944320 11981 0 0 0 143 5 0 0 20 0 15 0 154085235 14320615424 18742 33554432000 4194304 4196468 140734995887616 140734995870160 140094386523895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
/proc/5648/statm: 3496244 18742 3206 1 0 3483478 0
[pid=5648/tid=5649] ppid=5646 vsize=13984976 memory=42984 CPUtime=0.66 cores=1,3,5,7
/proc/5648/task/5649/stat : 5649 (java) R 5646 5646 5085 0 -1 4202560 6871 0 0 0 63 3 0 0 20 0 15 0 154085235 14320615424 18742 33554432000 4194304 4196468 140734995887616 140094390740480 140093998312730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5650] ppid=5646 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5650/stat : 5650 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085236 14320615424 18742 33554432000 4194304 4196468 140734995887616 140094324124816 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5651] ppid=5646 vsize=13984976 memory=54 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5651/stat : 5651 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085236 14320615424 18742 33554432000 4194304 4196468 140734995887616 140094323072016 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5652] ppid=5646 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5652/stat : 5652 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085236 14320615424 18742 33554432000 4194304 4196468 140734995887616 140094322019216 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5653] ppid=5646 vsize=13984976 memory=42984 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5653/stat : 5653 (java) S 5646 5646 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154085236 14320615424 18742 33554432000 4194304 4196468 140734995887616 140094320966416 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5654] ppid=5646 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5654/stat : 5654 (java) S 5646 5646 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154085238 14320615424 18742 33554432000 4194304 4196468 140734995887616 140093927836016 140094386535042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5655] ppid=5646 vsize=13984976 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5655/stat : 5655 (java) S 5646 5646 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154085238 14320615424 18742 33554432000 4194304 4196468 140734995887616 140093926781984 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5656] ppid=5646 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5656/stat : 5656 (java) S 5646 5646 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154085238 14320615424 18742 33554432000 4194304 4196468 140734995887616 140093925729136 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5657] ppid=5646 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5657/stat : 5657 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14320615424 18742 33554432000 4194304 4196468 140734995887616 140093924677456 140094386542491 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5658] ppid=5646 vsize=13984976 memory=11112 CPUtime=0.19 cores=1,3,5,7
/proc/5648/task/5658/stat : 5658 (java) R 5646 5646 5085 0 -1 4202560 1157 0 0 0 19 0 0 0 20 0 15 0 154085241 14320615424 18742 33554432000 4194304 4196468 140734995887616 140093923625968 140094366695428 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5659] ppid=5646 vsize=13984976 memory=5776 CPUtime=0.22 cores=1,3,5,7
/proc/5648/task/5659/stat : 5659 (java) R 5646 5646 5085 0 -1 4202560 968 0 0 0 22 0 0 0 20 0 15 0 154085241 14320615424 18742 33554432000 4194304 4196468 140734995887616 140093922554056 140094369986256 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5660] ppid=5646 vsize=13984976 memory=4616 CPUtime=0.37 cores=1,3,5,7
/proc/5648/task/5660/stat : 5660 (java) R 5646 5646 5085 0 -1 4202560 1679 0 0 0 37 0 0 0 20 0 15 0 154085241 14320615424 18742 33554432000 4194304 4196468 140734995887616 140093921520240 140094386545242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5661] ppid=5646 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5661/stat : 5661 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14320615424 18742 33554432000 4194304 4196468 140734995887616 140093920467680 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5662] ppid=5646 vsize=13984976 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5662/stat : 5662 (java) S 5646 5646 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154085241 14320615424 18742 33554432000 4194304 4196468 140734995887616 140093919414960 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 76352 KiB
[startup+1.50083 s]
/proc/loadavg: 2.00 1.78 1.20 7/218 5692
/proc/meminfo: memFree=22493076/32770624 swapFree=67108860/67108860
[pid=5646] ppid=5643 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5646/stat : 5646 (xcsp3-exec) S 5643 5646 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154085235 9740288 346 33554432000 4194304 5098028 140729941535440 140729941533544 140184115688060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38547456 140729941542004 140729941542208 140729941542208 140729941544939 0
/proc/5646/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
[pid=5648/tid=5654] ppid=5646 vsize=13984976 memory=240952 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5654/stat : 5654 (java) S 5646 5646 5085 0 -1 1077944384 1049 0 0 0 1 0 0 0 20 0 15 0 154085238 14320615424 59342 33554432000 4194304 4196468 140734995887616 140093927836016 140094386535042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5655] ppid=5646 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5655/stat : 5655 (java) S 5646 5646 5085 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154085238 14320615424 59342 33554432000 4194304 4196468 140734995887616 140093926781984 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5656] ppid=5646 vsize=13984976 memory=6756 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5656/stat : 5656 (java) S 5646 5646 5085 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154085238 14320615424 59342 33554432000 4194304 4196468 140734995887616 140093925729136 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5657] ppid=5646 vsize=13984976 memory=2544 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5657/stat : 5657 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14320615424 59342 33554432000 4194304 4196468 140734995887616 140093924677456 140094386542491 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5658] ppid=5646 vsize=13984976 memory=2544 CPUtime=2.71 cores=1,3,5,7
/proc/5648/task/5658/stat : 5658 (java) S 5646 5646 5085 0 -1 1077944384 18483 0 0 0 269 2 0 0 20 0 15 0 154085241 14320615424 59342 33554432000 4194304 4196468 140734995887616 140093923625840 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5659] ppid=5646 vsize=13984976 memory=1160 CPUtime=2.79 cores=1,3,5,7
/proc/5648/task/5659/stat : 5659 (java) S 5646 5646 5085 0 -1 1077944384 25535 0 0 0 276 3 0 0 20 0 15 0 154085241 14320615424 59342 33554432000 4194304 4196468 140734995887616 140093922573040 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5660] ppid=5646 vsize=13984976 memory=1384 CPUtime=0.55 cores=1,3,5,7
/proc/5648/task/5660/stat : 5660 (java) S 5646 5646 5085 0 -1 1077944384 6757 0 0 0 54 1 0 0 20 0 15 0 154085241 14320615424 59342 33554432000 4194304 4196468 140734995887616 140093921520240 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5661] ppid=5646 vsize=13984976 memory=240980 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5661/stat : 5661 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14320615424 59342 33554432000 4194304 4196468 140734995887616 140093920467680 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5662] ppid=5646 vsize=13984976 memory=279865841392736 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5662/stat : 5662 (java) S 5646 5646 5085 0 -1 1077944384 1463 0 0 0 0 1 0 0 20 0 15 0 154085241 14320615424 59342 33554432000 4194304 4196468 140734995887616 140093919414960 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
Current children cumulated CPU time: 108.42 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 238752 KiB
[startup+162.301 s]
/proc/loadavg: 1.86 1.82 1.31 3/217 5694
/proc/meminfo: memFree=22195996/32770624 swapFree=67108860/67108860
[pid=5646] ppid=5643 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5646/stat : 5646 (xcsp3-exec) S 5643 5646 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154085235 9740288 346 33554432000 4194304 5098028 140729941535440 140729941533544 140184115688060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38547456 140729941542004 140729941542208 140729941542208 140729941544939 0
/proc/5646/statm: 2378 346 289 221 0 87 0
[pid=5648] ppid=5646 vsize=13984976 memory=253916 CPUtime=168.61 cores=1,3,5,7
/proc/5648/stat : 5648 (java) S 5646 5646 5085 0 -1 1077944320 71112 0 0 0 16844 17 0 0 20 0 15 0 154085235 14320615424 63479 33554432000 4194304 4196468 140734995887616 140734995870160 140094386523895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
/proc/5648/statm: 3496244 63479 3259 1 0 3483478 0
[pid=5648/tid=5649] ppid=5646 vsize=13984976 memory=253916 CPUtime=162.24 cores=1,3,5,7
/proc/5648/task/5649/stat : 5649 (java) R 5646 5646 5085 0 -1 4202560 12120 0 0 0 16218 6 0 0 20 0 15 0 154085235 14320615424 63479 33554432000 4194304 4196468 140734995887616 140094390759936 140093998572637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5650] ppid=5646 vsize=13984976 memory=253916 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5650/stat : 5650 (java) S 5646 5646 5085 0 -1 1077944384 1488 0 0 0 1 0 0 0 20 0 15 0 154085236 14320615424 63479 33554432000 4194304 4196468 140734995887616 140094324124816 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5651] ppid=5646 vsize=13984976 memory=253916 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5651/stat : 5651 (java) S 5646 5646 5085 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 154085236 14320615424 63479 33554432000 4194304 4196468 140734995887616 140094323072016 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5652] ppid=5646 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5652/stat : 5652 (java) S 5646 5646 5085 0 -1 1077944384 774 0 0 0 1 0 0 0 20 0 15 0 154085236 14320615424 63479 33554432000 4194304 4196468 140734995887616 140094322019216 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5653] ppid=5646 vsize=13984976 memory=279865841095184 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5653/stat : 5653 (java) S 5646 5646 5085 0 -1 1077944384 1001 0 0 0 1 0 0 0 20 0 15 0 154085236 14320615424 63479 33554432000 4194304 4196468 140734995887616 140094320966416 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5654] ppid=5646 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5654/stat : 5654 (java) S 5646 5646 5085 0 -1 1077944384 1072 0 0 0 1 0 0 0 20 0 15 0 154085238 14320615424 63479 33554432000 4194304 4196468 140734995887616 140093927836016 140094386535042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5655] ppid=5646 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5655/stat : 5655 (java) S 5646 5646 5085 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154085238 14320615424 63479 33554432000 4194304 4196468 140734995887616 140093926781984 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5656] ppid=5646 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5656/stat : 5656 (java) S 5646 5646 5085 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154085238 14320615424 63479 33554432000 4194304 4196468 140734995887616 140093925729136 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5657] ppid=5646 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5657/stat : 5657 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14320615424 63479 33554432000 4194304 4196468 140734995887616 140093924677456 140094386542491 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5658] ppid=5646 vsize=13984976 memory=4140 CPUtime=2.85 cores=1,3,5,7
/proc/5648/task/5658/stat : 5658 (java) S 5646 5646 5085 0 -1 1077944384 18942 0 0 0 283 2 0 0 20 0 15 0 154085241 14320615424 63479 33554432000 4194304 4196468 140734995887616 140093923625840 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5659] ppid=5646 vsize=13984976 memory=1384 CPUtime=2.8 cores=1,3,5,7
/proc/5648/task/5659/stat : 5659 (java) S 5646 5646 5085 0 -1 1077944384 25598 0 0 0 277 3 0 0 20 0 15 0 154085241 14320615424 63479 33554432000 4194304 4196468 140734995887616 140093922573040 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5660] ppid=5646 vsize=13984976 memory=253916 CPUtime=0.55 cores=1,3,5,7
/proc/5648/task/5660/stat : 5660 (java) S 5646 5646 5085 0 -1 1077944384 6843 0 0 0 54 1 0 0 20 0 15 0 154085241 14320615424 63479 33554432000 4194304 4196468 140734995887616 140093921520240 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5661] ppid=5646 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5661/stat : 5661 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14320615424 63479 33554432000 4194304 4196468 140734995887616 140093920467680 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5662] ppid=5646 vsize=13984976 memory=253916 CPUtime=0.03 cores=1,3,5,7
/proc/5648/task/5662/stat : 5662 (java) S 5646 5646 5085 0 -1 1077944384 1491 0 0 0 1 2 0 0 20 0 15 0 154085241 14320615424 63479 33554432000 4194304 4196468 140734995887616 140093919414960 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
Current children cumulated CPU time: 168.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 255300 KiB
[startup+222.301 s]
/proc/loadavg: 1.80 1.82 1.34 3/217 5702
/proc/meminfo: memFree=22208176/32770624 swapFree=67108860/67108860
[pid=5646] ppid=5643 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5646/stat : 5646 (xcsp3-exec) S 5643 5646 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154085235 9740288 346 33554432000 4194304 5098028 140729941535440 140729941533544 140184115688060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38547456 140729941542004 140729941542208 140729941542208 140729941544939 0
/proc/5646/statm: 2378 346 289 221 0 87 0
[pid=5648] ppid=5646 vsize=13984976 memory=247276 CPUtime=228.67 cores=1,3,5,7
/proc/5648/stat : 5648 (java) S 5646 5646 5085 0 -1 1077944320 71773 0 0 0 22849 18 0 0 20 0 15 0 154085235 14320615424 61819 33554432000 4194304 4196468 140734995887616 140734995870160 140094386523895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
/proc/5648/statm: 3496244 61819 3259 1 0 3483478 0
[pid=5648/tid=5649] ppid=5646 vsize=13984976 memory=247276 CPUtime=222.24 cores=1,3,5,7
/proc/5648/task/5649/stat : 5649 (java) R 5646 5646 5085 0 -1 4202560 12176 0 0 0 22218 6 0 0 20 0 15 0 154085235 14320615424 61819 33554432000 4194304 4196468 140734995887616 140094390760544 140094003931071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5650] ppid=5646 vsize=13984976 memory=247276 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5650/stat : 5650 (java) S 5646 5646 5085 0 -1 1077944384 1496 0 0 0 1 0 0 0 20 0 15 0 154085236 14320615424 61819 33554432000 4194304 4196468 140734995887616 140094324124816 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5651] ppid=5646 vsize=13984976 memory=247276 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5651/stat : 5651 (java) S 5646 5646 5085 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 15 0 154085236 14320615424 61819 33554432000 4194304 4196468 140734995887616 140094323072016 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5652] ppid=5646 vsize=13984976 memory=247276 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5652/stat : 5652 (java) S 5646 5646 5085 0 -1 1077944384 781 0 0 0 1 0 0 0 20 0 15 0 154085236 14320615424 61819 33554432000 4194304 4196468 140734995887616 140094322019216 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5653] ppid=5646 vsize=13984976 memory=247276 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5653/stat : 5653 (java) S 5646 5646 5085 0 -1 1077944384 1006 0 0 0 1 0 0 0 20 0 15 0 154085236 14320615424 61819 33554432000 4194304 4196468 140734995887616 140094320966416 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5654] ppid=5646 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5654/stat : 5654 (java) S 5646 5646 5085 0 -1 1077944384 1210 0 0 0 1 0 0 0 20 0 15 0 154085238 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093927836016 140094386535042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5655] ppid=5646 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5655/stat : 5655 (java) S 5646 5646 5085 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154085238 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093926781984 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5656] ppid=5646 vsize=13984976 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5656/stat : 5656 (java) S 5646 5646 5085 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154085238 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093925729136 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5657] ppid=5646 vsize=13984976 memory=247276 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5657/stat : 5657 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093924677456 140094386542491 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5658] ppid=5646 vsize=13984976 memory=247276 CPUtime=2.86 cores=1,3,5,7
/proc/5648/task/5658/stat : 5658 (java) S 5646 5646 5085 0 -1 1077944384 18954 0 0 0 284 2 0 0 20 0 15 0 154085241 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093923625840 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5659] ppid=5646 vsize=13984976 memory=1384 CPUtime=2.81 cores=1,3,5,7
/proc/5648/task/5659/stat : 5659 (java) S 5646 5646 5085 0 -1 1077944384 25672 0 0 0 278 3 0 0 20 0 15 0 154085241 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093922573040 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5660] ppid=5646 vsize=13984976 memory=4104 CPUtime=0.56 cores=1,3,5,7
/proc/5648/task/5660/stat : 5660 (java) S 5646 5646 5085 0 -1 1077944384 7197 0 0 0 55 1 0 0 20 0 15 0 154085241 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093921520240 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5661] ppid=5646 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5661/stat : 5661 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093920467680 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5662] ppid=5646 vsize=13984976 memory=247276 CPUtime=0.04 cores=1,3,5,7
/proc/5648/task/5662/stat : 5662 (java) S 5646 5646 5085 0 -1 1077944384 1495 0 0 0 1 3 0 0 20 0 15 0 154085241 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093919414960 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
Current children cumulated CPU time: 228.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 248660 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.84 1.83 1.35 3/217 5702
/proc/meminfo: memFree=22208200/32770624 swapFree=67108860/67108860
[pid=5646] ppid=5643 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5646/stat : 5646 (xcsp3-exec) S 5643 5646 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154085235 9740288 346 33554432000 4194304 5098028 140729941535440 140729941533544 140184115688060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38547456 140729941542004 140729941542208 140729941542208 140729941544939 0
/proc/5646/statm: 2378 346 289 221 0 87 0
[pid=5648] ppid=5646 vsize=13984976 memory=247276 CPUtime=246.38 cores=1,3,5,7
/proc/5648/stat : 5648 (java) S 5646 5646 5085 0 -1 1077944320 71777 0 0 0 24620 18 0 0 20 0 15 0 154085235 14320615424 61819 33554432000 4194304 4196468 140734995887616 140734995870160 140094386523895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
/proc/5648/statm: 3496244 61819 3259 1 0 3483478 0
[pid=5648/tid=5649] ppid=5646 vsize=13984976 memory=10640 CPUtime=239.95 cores=1,3,5,7
/proc/5648/task/5649/stat : 5649 (java) R 5646 5646 5085 0 -1 4202560 12177 0 0 0 23989 6 0 0 20 0 15 0 154085235 14320615424 61819 33554432000 4194304 4196468 140734995887616 140094390761208 140094004505646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5650] ppid=5646 vsize=13984976 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5650/stat : 5650 (java) S 5646 5646 5085 0 -1 1077944384 1496 0 0 0 1 0 0 0 20 0 15 0 154085236 14320615424 61819 33554432000 4194304 4196468 140734995887616 140094324124816 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5651] ppid=5646 vsize=13984976 memory=1200 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5651/stat : 5651 (java) S 5646 5646 5085 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 15 0 154085236 14320615424 61819 33554432000 4194304 4196468 140734995887616 140094323072016 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5652] ppid=5646 vsize=13984976 memory=15876 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5652/stat : 5652 (java) S 5646 5646 5085 0 -1 1077944384 781 0 0 0 1 0 0 0 20 0 15 0 154085236 14320615424 61819 33554432000 4194304 4196468 140734995887616 140094322019216 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5653] ppid=5646 vsize=13984976 memory=4044 CPUtime=0.02 cores=1,3,5,7
/proc/5648/task/5653/stat : 5653 (java) S 5646 5646 5085 0 -1 1077944384 1006 0 0 0 2 0 0 0 20 0 15 0 154085236 14320615424 61819 33554432000 4194304 4196468 140734995887616 140094320966416 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5654] ppid=5646 vsize=13984976 memory=16444 CPUtime=0.01 cores=1,3,5,7
/proc/5648/task/5654/stat : 5654 (java) S 5646 5646 5085 0 -1 1077944384 1212 0 0 0 1 0 0 0 20 0 15 0 154085238 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093927836016 140094386535042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5655] ppid=5646 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5655/stat : 5655 (java) S 5646 5646 5085 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154085238 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093926781984 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5656] ppid=5646 vsize=13984976 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5656/stat : 5656 (java) S 5646 5646 5085 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154085238 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093925729136 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5657] ppid=5646 vsize=13984976 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5657/stat : 5657 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093924677456 140094386542491 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5658] ppid=5646 vsize=13984976 memory=7540 CPUtime=2.86 cores=1,3,5,7
/proc/5648/task/5658/stat : 5658 (java) S 5646 5646 5085 0 -1 1077944384 18954 0 0 0 284 2 0 0 20 0 15 0 154085241 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093923625840 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5659] ppid=5646 vsize=13984976 memory=840 CPUtime=2.81 cores=1,3,5,7
/proc/5648/task/5659/stat : 5659 (java) S 5646 5646 5085 0 -1 1077944384 25673 0 0 0 278 3 0 0 20 0 15 0 154085241 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093922573040 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5660] ppid=5646 vsize=13984976 memory=4104 CPUtime=0.56 cores=1,3,5,7
/proc/5648/task/5660/stat : 5660 (java) S 5646 5646 5085 0 -1 1077944384 7197 0 0 0 55 1 0 0 20 0 15 0 154085241 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093921520240 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5661] ppid=5646 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/5648/task/5661/stat : 5661 (java) S 5646 5646 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154085241 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093920467680 140094386534101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
[pid=5648/tid=5662] ppid=5646 vsize=13984976 memory=920 CPUtime=0.04 cores=1,3,5,7
/proc/5648/task/5662/stat : 5662 (java) S 5646 5646 5085 0 -1 1077944384 1495 0 0 0 1 3 0 0 20 0 15 0 154085241 14320615424 61819 33554432000 4194304 4196468 140734995887616 140093919414960 140094386535042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 8929280 140734995891357 140734995891532 140734995891532 140734995894223 0
Current children cumulated CPU time: 246.38 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 248660 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 5646 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.219 s, system=0.184086 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.019
CPU time (s): 246.403
CPU user time (s): 246.219
CPU system time (s): 0.184086
CPU usage (%): 102.66
Max. virtual memory (cumulated for all children) (KiB): 13997240
Max. memory (cumulated for all children) (KiB): 255328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.219
system time used= 0.184086
maximum resident set size= 256004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72481
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8306
involuntary context switches= 292
# summary of solver processes directly reported to runsolver:
# pid: 5646
# total CPU time (s): 246.403
# total CPU user time (s): 246.219
# total CPU system time (s): 0.184086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1427 second user time and 2.38089 second system time
The end