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 (11972 MiB free)
memory of node 1: 16384 MiB (13356 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282742-1503214569/watcher-4282742-1503214569 -o /tmp/evaluation-result-4282742-1503214569/solver-4282742-1503214569 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32625 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 447440249 HOME/instance-4282742-1503214569.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4515, runsolver pid=4512
[startup+0.100134 s]*
/proc/loadavg: 1.87 1.87 1.85 3/218 4531
/proc/meminfo: memFree=25919680/32770624 swapFree=67108860/67108860
[pid=4515] ppid=4512 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4515/stat : 4515 (xcsp3-exec) S 4512 4515 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154544954 9740288 346 33554432000 4194304 5098028 140731318977776 140731318975880 140696478913148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40525824 140731318981749 140731318981952 140731318981952 140731318984683 0
/proc/4515/statm: 2378 346 289 221 0 87 0
[pid=4517] ppid=4515 vsize=13978596 memory=28080 CPUtime=0.12 cores=1,3,5,7
/proc/4517/stat : 4517 (java) S 4515 4515 32593 0 -1 1077944320 5321 0 0 0 11 1 0 0 20 0 15 0 154544954 14314082304 7020 33554432000 4194304 4196468 140735429306224 140735429288768 139777947471607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
/proc/4517/statm: 3494649 7020 2895 1 0 3482966 0
[pid=4517/tid=4518] ppid=4515 vsize=13978596 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/4517/task/4518/stat : 4518 (java) R 4515 4515 32593 0 -1 4202560 3317 0 0 0 8 0 0 0 20 0 15 0 154544955 14314082304 7086 33554432000 4194304 4196468 140735429306224 139777951703712 139777947493533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4519] ppid=4515 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4519/stat : 4519 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14314082304 7086 33554432000 4194304 4196468 140735429306224 139777900091920 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4520] ppid=4515 vsize=13978596 memory=140097807849088 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4520/stat : 4520 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14314082304 7086 33554432000 4194304 4196468 140735429306224 139777542384272 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4521] ppid=4515 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4521/stat : 4521 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14314082304 7086 33554432000 4194304 4196468 140735429306224 139777541331216 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4522] ppid=4515 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4522/stat : 4522 (java) S 4515 4515 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154544955 14314082304 7086 33554432000 4194304 4196468 140735429306224 139777540278672 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4523] ppid=4515 vsize=13978596 memory=140097807849088 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4523/stat : 4523 (java) S 4515 4515 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154544957 14314082304 7086 33554432000 4194304 4196468 140735429306224 139776926907120 139777947482754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4524] ppid=4515 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4524/stat : 4524 (java) S 4515 4515 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154544957 14314082304 7086 33554432000 4194304 4196468 140735429306224 139776925853344 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4525] ppid=4515 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4525/stat : 4525 (java) S 4515 4515 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154544957 14314082304 7086 33554432000 4194304 4196468 140735429306224 139776924800240 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4526] ppid=4515 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4526/stat : 4526 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14314082304 7086 33554432000 4194304 4196468 140735429306224 139776923748816 139777947490203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4527] ppid=4515 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4527/stat : 4527 (java) S 4515 4515 32593 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 154544960 14314082304 7086 33554432000 4194304 4196468 140735429306224 139776922695920 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4528] ppid=4515 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4528/stat : 4528 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14314082304 7086 33554432000 4194304 4196468 140735429306224 139776921643376 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4529] ppid=4515 vsize=13978596 memory=140097807849088 CPUtime=0.01 cores=1,3,5,7
/proc/4517/task/4529/stat : 4529 (java) S 4515 4515 32593 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 15 0 154544960 14314082304 7086 33554432000 4194304 4196468 140735429306224 139776920590320 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4530] ppid=4515 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4530/stat : 4530 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14314082304 7086 33554432000 4194304 4196468 140735429306224 139776919538016 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4531] ppid=4515 vsize=13978596 memory=140097807849088 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4531/stat : 4531 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544960 14314082304 7086 33554432000 4194304 4196468 140735429306224 139776918486064 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29464 KiB
[startup+0.210911 s]*
/proc/loadavg: 1.87 1.87 1.85 4/218 4531
/proc/meminfo: memFree=25908184/32770624 swapFree=67108860/67108860
[pid=4515] ppid=4512 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4515/stat : 4515 (xcsp3-exec) S 4512 4515 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154544954 9740288 346 33554432000 4194304 5098028 140731318977776 140731318975880 140696478913148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40525824 140731318981749 140731318981952 140731318981952 140731318984683 0
/proc/4515/statm: 2378 346 289 221 0 87 0
[pid=4517] ppid=4515 vsize=13982852 memory=40264 CPUtime=0.33 cores=1,3,5,7
/proc/4517/stat : 4517 (java) S 4515 4515 32593 0 -1 1077944320 8214 0 0 0 30 3 0 0 20 0 15 0 154544954 14318440448 10066 33554432000 4194304 4196468 140735429306224 140735429288768 139777947471607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
/proc/4517/statm: 3495713 10066 3044 1 0 3482966 0
[pid=4517/tid=4518] ppid=4515 vsize=13982852 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4517/task/4518/stat : 4518 (java) R 4515 4515 32593 0 -1 4202560 5357 0 0 0 18 2 0 0 20 0 15 0 154544955 14318440448 10066 33554432000 4194304 4196468 140735429306224 139777951681344 139777931552094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4519] ppid=4515 vsize=13982852 memory=4294976320 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4519/stat : 4519 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14318440448 10066 33554432000 4194304 4196468 140735429306224 139777900091920 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4520] ppid=4515 vsize=13982852 memory=288370473959560832 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4520/stat : 4520 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14318440448 10066 33554432000 4194304 4196468 140735429306224 139777542384272 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4521] ppid=4515 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4521/stat : 4521 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14318440448 10066 33554432000 4194304 4196468 140735429306224 139777541331216 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4522] ppid=4515 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4522/stat : 4522 (java) S 4515 4515 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154544955 14318440448 10066 33554432000 4194304 4196468 140735429306224 139777540278672 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4523] ppid=4515 vsize=13982852 memory=140097807849088 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4523/stat : 4523 (java) S 4515 4515 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154544957 14318440448 10066 33554432000 4194304 4196468 140735429306224 139776926907120 139777947482754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4524] ppid=4515 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4524/stat : 4524 (java) S 4515 4515 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154544957 14318440448 10066 33554432000 4194304 4196468 140735429306224 139776925853344 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4525] ppid=4515 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4525/stat : 4525 (java) S 4515 4515 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154544957 14318440448 10066 33554432000 4194304 4196468 140735429306224 139776924800240 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4526] ppid=4515 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4526/stat : 4526 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14318440448 10066 33554432000 4194304 4196468 140735429306224 139776923748816 139777947490203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4527] ppid=4515 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4517/task/4527/stat : 4527 (java) S 4515 4515 32593 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 15 0 154544960 14318440448 10066 33554432000 4194304 4196468 140735429306224 139776922695920 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4528] ppid=4515 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4517/task/4528/stat : 4528 (java) S 4515 4515 32593 0 -1 1077944384 315 0 0 0 2 0 0 0 20 0 15 0 154544960 14318440448 10066 33554432000 4194304 4196468 140735429306224 139776921643376 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4529] ppid=4515 vsize=13982852 memory=140097807849088 CPUtime=0.08 cores=1,3,5,7
/proc/4517/task/4529/stat : 4529 (java) R 4515 4515 32593 0 -1 4202560 778 0 0 0 8 0 0 0 20 0 15 0 154544960 14318440448 10066 33554432000 4194304 4196468 140735429306224 139776920590320 139777947492954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4530] ppid=4515 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4530/stat : 4530 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14318440448 10066 33554432000 4194304 4196468 140735429306224 139776919538016 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4531] ppid=4515 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4531/stat : 4531 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544960 14318440448 10066 33554432000 4194304 4196468 140735429306224 139776918486064 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41648 KiB
[startup+0.312561 s]*
/proc/loadavg: 1.87 1.87 1.85 3/218 4531
/proc/meminfo: memFree=25900864/32770624 swapFree=67108860/67108860
[pid=4515] ppid=4512 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4515/stat : 4515 (xcsp3-exec) S 4512 4515 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154544954 9740288 346 33554432000 4194304 5098028 140731318977776 140731318975880 140696478913148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40525824 140731318981749 140731318981952 140731318981952 140731318984683 0
/proc/4515/statm: 2378 346 289 221 0 87 0
[pid=4517] ppid=4515 vsize=13982928 memory=48176 CPUtime=0.51 cores=1,3,5,7
/proc/4517/stat : 4517 (java) S 4515 4515 32593 0 -1 1077944320 9221 0 0 0 47 4 0 0 20 0 15 0 154544954 14318518272 12044 33554432000 4194304 4196468 140735429306224 140735429288768 139777947471607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
/proc/4517/statm: 3495732 12044 3142 1 0 3482966 0
[pid=4517/tid=4518] ppid=4515 vsize=13982928 memory=7310027617963868211 CPUtime=0.29 cores=1,3,5,7
/proc/4517/task/4518/stat : 4518 (java) R 4515 4515 32593 0 -1 4202560 6045 0 0 0 27 2 0 0 20 0 15 0 154544955 14318518272 12057 33554432000 4194304 4196468 140735429306224 139777951703584 139777931515237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4519] ppid=4515 vsize=13982928 memory=288230608969409347 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4519/stat : 4519 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14318518272 12057 33554432000 4194304 4196468 140735429306224 139777900091920 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4520] ppid=4515 vsize=13982928 memory=13845278940248275 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4520/stat : 4520 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14318518272 12057 33554432000 4194304 4196468 140735429306224 139777542384272 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4521] ppid=4515 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4521/stat : 4521 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14318518272 12057 33554432000 4194304 4196468 140735429306224 139777541331216 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4522] ppid=4515 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4522/stat : 4522 (java) S 4515 4515 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154544955 14318518272 12057 33554432000 4194304 4196468 140735429306224 139777540278672 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4523] ppid=4515 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4523/stat : 4523 (java) S 4515 4515 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154544957 14318518272 12057 33554432000 4194304 4196468 140735429306224 139776926907120 139777947482754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4524] ppid=4515 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4524/stat : 4524 (java) S 4515 4515 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154544957 14318518272 12057 33554432000 4194304 4196468 140735429306224 139776925853344 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4525] ppid=4515 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4525/stat : 4525 (java) S 4515 4515 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154544957 14318518272 12057 33554432000 4194304 4196468 140735429306224 139776924800240 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4526] ppid=4515 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4526/stat : 4526 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14318518272 12057 33554432000 4194304 4196468 140735429306224 139776923748816 139777947490203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4527] ppid=4515 vsize=13982928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4517/task/4527/stat : 4527 (java) S 4515 4515 32593 0 -1 1077944384 647 0 0 0 3 0 0 0 20 0 15 0 154544960 14318518272 12057 33554432000 4194304 4196468 140735429306224 139776922695920 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4528] ppid=4515 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4517/task/4528/stat : 4528 (java) S 4515 4515 32593 0 -1 1077944384 335 0 0 0 4 0 0 0 20 0 15 0 154544960 14318518272 12057 33554432000 4194304 4196468 140735429306224 139776921643376 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4529] ppid=4515 vsize=13982928 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/4517/task/4529/stat : 4529 (java) R 4515 4515 32593 0 -1 4202560 914 0 0 0 13 0 0 0 20 0 15 0 154544960 14318518272 12057 33554432000 4194304 4196468 140735429306224 139776920590320 139777927426166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4530] ppid=4515 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4530/stat : 4530 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14318518272 12057 33554432000 4194304 4196468 140735429306224 139776919538016 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4531] ppid=4515 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4531/stat : 4531 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544960 14318518272 12057 33554432000 4194304 4196468 140735429306224 139776918486064 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49560 KiB
[startup+0.700758 s]
/proc/loadavg: 1.87 1.87 1.85 6/218 4531
/proc/meminfo: memFree=25886348/32770624 swapFree=67108860/67108860
[pid=4515] ppid=4512 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4515/stat : 4515 (xcsp3-exec) S 4512 4515 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154544954 9740288 346 33554432000 4194304 5098028 140731318977776 140731318975880 140696478913148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40525824 140731318981749 140731318981952 140731318981952 140731318984683 0
/proc/4515/statm: 2378 346 289 221 0 87 0
[pid=4517] ppid=4515 vsize=13984976 memory=69440 CPUtime=1.57 cores=1,3,5,7
/proc/4517/stat : 4517 (java) S 4515 4515 32593 0 -1 1077944320 12003 0 0 0 151 6 0 0 20 0 15 0 154544954 14320615424 17360 33554432000 4194304 4196468 140735429306224 140735429288768 139777947471607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
/proc/4517/statm: 3496244 17360 3207 1 0 3483478 0
[pid=4517/tid=4518] ppid=4515 vsize=13984976 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/4517/task/4518/stat : 4518 (java) R 4515 4515 32593 0 -1 4202560 6561 0 0 0 63 3 0 0 20 0 15 0 154544955 14320615424 17360 33554432000 4194304 4196468 140735429306224 139777951707504 139777580260384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4519] ppid=4515 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4519/stat : 4519 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 17360 33554432000 4194304 4196468 140735429306224 139777900091920 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4520] ppid=4515 vsize=13984976 memory=153 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4520/stat : 4520 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 17360 33554432000 4194304 4196468 140735429306224 139777542384272 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4521] ppid=4515 vsize=13984976 memory=2 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4521/stat : 4521 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 17360 33554432000 4194304 4196468 140735429306224 139777541331216 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4522] ppid=4515 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4522/stat : 4522 (java) S 4515 4515 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 17360 33554432000 4194304 4196468 140735429306224 139777540278672 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4523] ppid=4515 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4523/stat : 4523 (java) S 4515 4515 32593 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 17360 33554432000 4194304 4196468 140735429306224 139776926907120 139777947482754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4524] ppid=4515 vsize=13984976 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4524/stat : 4524 (java) S 4515 4515 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 17360 33554432000 4194304 4196468 140735429306224 139776925853344 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4525] ppid=4515 vsize=13984976 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4525/stat : 4525 (java) S 4515 4515 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 17360 33554432000 4194304 4196468 140735429306224 139776924800240 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4526] ppid=4515 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4526/stat : 4526 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14320615424 17360 33554432000 4194304 4196468 140735429306224 139776923748816 139777947490203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4527] ppid=4515 vsize=13984976 memory=4128 CPUtime=0.3 cores=1,3,5,7
/proc/4517/task/4527/stat : 4527 (java) R 4515 4515 32593 0 -1 1077944384 1620 0 0 0 30 0 0 0 20 0 15 0 154544960 14320615424 17360 33554432000 4194304 4196468 140735429306224 139776922695920 139777947482754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4528] ppid=4515 vsize=13984976 memory=2204 CPUtime=0.3 cores=1,3,5,7
/proc/4517/task/4528/stat : 4528 (java) R 4515 4515 32593 0 -1 4202560 1205 0 0 0 29 1 0 0 20 0 15 0 154544960 14320615424 17360 33554432000 4194304 4196468 140735429306224 139776921643376 139777932596297 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4529] ppid=4515 vsize=13984976 memory=7788 CPUtime=0.28 cores=1,3,5,7
/proc/4517/task/4529/stat : 4529 (java) R 4515 4515 32593 0 -1 4202560 1311 0 0 0 28 0 0 0 20 0 15 0 154544960 14320615424 17360 33554432000 4194304 4196468 140735429306224 139776920590320 139777947492954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4530] ppid=4515 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4530/stat : 4530 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14320615424 17360 33554432000 4194304 4196468 140735429306224 139776919538016 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4531] ppid=4515 vsize=13984976 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4531/stat : 4531 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544960 14320615424 17360 33554432000 4194304 4196468 140735429306224 139776918486064 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 70824 KiB
[startup+1.50088 s]
/proc/loadavg: 1.87 1.87 1.85 3/218 4531
/proc/meminfo: memFree=25874040/32770624 swapFree=67108860/67108860
[pid=4515] ppid=4512 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4515/stat : 4515 (xcsp3-exec) S 4512 4515 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154544954 9740288 346 33554432000 4194304 5098028 140731318977776 140731318975880 140696478913148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40525824 140731318981749 140731318981952 140731318981952 140731318984683 0
/proc/4515/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/4517/task/4525/stat : 4525 (java) S 4515 4515 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 28361 33554432000 4194304 4196468 140735429306224 139776924800240 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4526] ppid=4515 vsize=13984976 memory=42800 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4526/stat : 4526 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14320615424 28361 33554432000 4194304 4196468 140735429306224 139776923748816 139777947490203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4527] ppid=4515 vsize=13984976 memory=111388 CPUtime=1.66 cores=1,3,5,7
/proc/4517/task/4527/stat : 4527 (java) S 4515 4515 32593 0 -1 1077944384 13372 0 0 0 165 1 0 0 20 0 15 0 154544960 14320615424 28361 33554432000 4194304 4196468 140735429306224 139776922695920 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4528] ppid=4515 vsize=13984976 memory=4140 CPUtime=1.61 cores=1,3,5,7
/proc/4517/task/4528/stat : 4528 (java) S 4515 4515 32593 0 -1 1077944384 13734 0 0 0 159 2 0 0 20 0 15 0 154544960 14320615424 28361 33554432000 4194304 4196468 140735429306224 139776921643376 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4529] ppid=4515 vsize=13984976 memory=3472468375912068458 CPUtime=0.39 cores=1,3,5,7
/proc/4517/task/4529/stat : 4529 (java) S 4515 4515 32593 0 -1 1077944384 4327 0 0 0 39 0 0 0 20 0 15 0 154544960 14320615424 28361 33554432000 4194304 4196468 140735429306224 139776920590320 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4530] ppid=4515 vsize=13984976 memory=7956019342284947518 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4530/stat : 4530 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14320615424 28361 33554432000 4194304 4196468 140735429306224 139776919538016 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4531] ppid=4515 vsize=13984976 memory=280195345497040 CPUtime=0.02 cores=1,3,5,7
/proc/4517/task/4531/stat : 4531 (java) S 4515 4515 32593 0 -1 1077944384 735 0 0 0 1 1 0 0 20 0 15 0 154544960 14320615424 28361 33554432000 4194304 4196468 140735429306224 139776918486064 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
Current children cumulated CPU time: 105.98 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 114828 KiB
[startup+162.301 s]
/proc/loadavg: 1.82 1.90 1.86 3/218 4611
/proc/meminfo: memFree=23582264/32770624 swapFree=67108860/67108860
[pid=4515] ppid=4512 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4515/stat : 4515 (xcsp3-exec) S 4512 4515 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154544954 9740288 346 33554432000 4194304 5098028 140731318977776 140731318975880 140696478913148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40525824 140731318981749 140731318981952 140731318981952 140731318984683 0
/proc/4515/statm: 2378 346 289 221 0 87 0
[pid=4517] ppid=4515 vsize=13984976 memory=129856 CPUtime=166 cores=1,3,5,7
/proc/4517/stat : 4517 (java) S 4515 4515 32593 0 -1 1077944320 45598 0 0 0 16589 11 0 0 20 0 15 0 154544954 14320615424 32464 33554432000 4194304 4196468 140735429306224 140735429288768 139777947471607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
/proc/4517/statm: 3496244 32464 3226 1 0 3483478 0
[pid=4517/tid=4518] ppid=4515 vsize=13984976 memory=129856 CPUtime=162.26 cores=1,3,5,7
/proc/4517/task/4518/stat : 4518 (java) R 4515 4515 32593 0 -1 4202560 10866 0 0 0 16222 4 0 0 20 0 15 0 154544955 14320615424 32464 33554432000 4194304 4196468 140735429306224 139777951708000 139777583645626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4519] ppid=4515 vsize=13984976 memory=129856 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4519/stat : 4519 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 32464 33554432000 4194304 4196468 140735429306224 139777900091920 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4520] ppid=4515 vsize=13984976 memory=129856 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4520/stat : 4520 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 32464 33554432000 4194304 4196468 140735429306224 139777542384272 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4521] ppid=4515 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4521/stat : 4521 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 32464 33554432000 4194304 4196468 140735429306224 139777541331216 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4522] ppid=4515 vsize=13984976 memory=127800 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4522/stat : 4522 (java) S 4515 4515 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 32464 33554432000 4194304 4196468 140735429306224 139777540278672 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4523] ppid=4515 vsize=13984976 memory=280195345774176 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4523/stat : 4523 (java) S 4515 4515 32593 0 -1 1077944384 596 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 32464 33554432000 4194304 4196468 140735429306224 139776926907120 139777947482754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4524] ppid=4515 vsize=13984976 memory=7451859133296963680 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4524/stat : 4524 (java) S 4515 4515 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 32464 33554432000 4194304 4196468 140735429306224 139776925853344 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4525] ppid=4515 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4525/stat : 4525 (java) S 4515 4515 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 32464 33554432000 4194304 4196468 140735429306224 139776924800240 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4526] ppid=4515 vsize=13984976 memory=127800 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4526/stat : 4526 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14320615424 32464 33554432000 4194304 4196468 140735429306224 139776923748816 139777947490203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4527] ppid=4515 vsize=13984976 memory=1384 CPUtime=1.66 cores=1,3,5,7
/proc/4517/task/4527/stat : 4527 (java) S 4515 4515 32593 0 -1 1077944384 13524 0 0 0 165 1 0 0 20 0 15 0 154544960 14320615424 32464 33554432000 4194304 4196468 140735429306224 139776922695920 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4528] ppid=4515 vsize=13984976 memory=127800 CPUtime=1.61 cores=1,3,5,7
/proc/4517/task/4528/stat : 4528 (java) S 4515 4515 32593 0 -1 1077944384 13736 0 0 0 159 2 0 0 20 0 15 0 154544960 14320615424 32464 33554432000 4194304 4196468 140735429306224 139776921643376 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4529] ppid=4515 vsize=13984976 memory=18476 CPUtime=0.4 cores=1,3,5,7
/proc/4517/task/4529/stat : 4529 (java) S 4515 4515 32593 0 -1 1077944384 4799 0 0 0 40 0 0 0 20 0 15 0 154544960 14320615424 32464 33554432000 4194304 4196468 140735429306224 139776920590320 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4530] ppid=4515 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4530/stat : 4530 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14320615424 32464 33554432000 4194304 4196468 140735429306224 139776919538016 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4531] ppid=4515 vsize=13984976 memory=129856 CPUtime=0.02 cores=1,3,5,7
/proc/4517/task/4531/stat : 4531 (java) S 4515 4515 32593 0 -1 1077944384 777 0 0 0 1 1 0 0 20 0 15 0 154544960 14320615424 32464 33554432000 4194304 4196468 140735429306224 139776918486064 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
Current children cumulated CPU time: 166 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 131240 KiB
[startup+222.301 s]
/proc/loadavg: 2.07 1.96 1.89 3/217 4613
/proc/meminfo: memFree=15669428/32770624 swapFree=67108860/67108860
[pid=4515] ppid=4512 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4515/stat : 4515 (xcsp3-exec) S 4512 4515 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154544954 9740288 346 33554432000 4194304 5098028 140731318977776 140731318975880 140696478913148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40525824 140731318981749 140731318981952 140731318981952 140731318984683 0
/proc/4515/statm: 2378 346 289 221 0 87 0
[pid=4517] ppid=4515 vsize=13984976 memory=148312 CPUtime=226.05 cores=1,3,5,7
/proc/4517/stat : 4517 (java) S 4515 4515 32593 0 -1 1077944320 47846 0 0 0 22593 12 0 0 20 0 15 0 154544954 14320615424 37078 33554432000 4194304 4196468 140735429306224 140735429288768 139777947471607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
/proc/4517/statm: 3496244 37078 3226 1 0 3483478 0
[pid=4517/tid=4518] ppid=4515 vsize=13984976 memory=148312 CPUtime=222.26 cores=1,3,5,7
/proc/4517/task/4518/stat : 4518 (java) R 4515 4515 32593 0 -1 4202560 11280 0 0 0 22222 4 0 0 20 0 15 0 154544955 14320615424 37078 33554432000 4194304 4196468 140735429306224 139777951708304 139777584566280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4519] ppid=4515 vsize=13984976 memory=148312 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4519/stat : 4519 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 37078 33554432000 4194304 4196468 140735429306224 139777900091920 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4520] ppid=4515 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4520/stat : 4520 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 37078 33554432000 4194304 4196468 140735429306224 139777542384272 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4521] ppid=4515 vsize=13984976 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4521/stat : 4521 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 37078 33554432000 4194304 4196468 140735429306224 139777541331216 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4522] ppid=4515 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4522/stat : 4522 (java) S 4515 4515 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 37078 33554432000 4194304 4196468 140735429306224 139777540278672 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4523] ppid=4515 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4523/stat : 4523 (java) S 4515 4515 32593 0 -1 1077944384 619 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 37078 33554432000 4194304 4196468 140735429306224 139776926907120 139777947482754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4524] ppid=4515 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4524/stat : 4524 (java) S 4515 4515 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 37078 33554432000 4194304 4196468 140735429306224 139776925853344 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4525] ppid=4515 vsize=13984976 memory=146264 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4525/stat : 4525 (java) S 4515 4515 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 37078 33554432000 4194304 4196468 140735429306224 139776924800240 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4526] ppid=4515 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4526/stat : 4526 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14320615424 37078 33554432000 4194304 4196468 140735429306224 139776923748816 139777947490203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4527] ppid=4515 vsize=13984976 memory=4140 CPUtime=1.66 cores=1,3,5,7
/proc/4517/task/4527/stat : 4527 (java) S 4515 4515 32593 0 -1 1077944384 13578 0 0 0 165 1 0 0 20 0 15 0 154544960 14320615424 37078 33554432000 4194304 4196468 140735429306224 139776922695920 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4528] ppid=4515 vsize=13984976 memory=148312 CPUtime=1.63 cores=1,3,5,7
/proc/4517/task/4528/stat : 4528 (java) S 4515 4515 32593 0 -1 1077944384 14792 0 0 0 161 2 0 0 20 0 15 0 154544960 14320615424 37078 33554432000 4194304 4196468 140735429306224 139776921643376 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4529] ppid=4515 vsize=13984976 memory=4140 CPUtime=0.41 cores=1,3,5,7
/proc/4517/task/4529/stat : 4529 (java) S 4515 4515 32593 0 -1 1077944384 5468 0 0 0 40 1 0 0 20 0 15 0 154544960 14320615424 37078 33554432000 4194304 4196468 140735429306224 139776920590320 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4530] ppid=4515 vsize=13984976 memory=42804 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4530/stat : 4530 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14320615424 37078 33554432000 4194304 4196468 140735429306224 139776919538016 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4531] ppid=4515 vsize=13984976 memory=1296 CPUtime=0.04 cores=1,3,5,7
/proc/4517/task/4531/stat : 4531 (java) S 4515 4515 32593 0 -1 1077944384 809 0 0 0 2 2 0 0 20 0 15 0 154544960 14320615424 37078 33554432000 4194304 4196468 140735429306224 139776918486064 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
Current children cumulated CPU time: 226.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 149696 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.98 1.95 1.88 3/217 4613
/proc/meminfo: memFree=14269168/32770624 swapFree=67108860/67108860
[pid=4515] ppid=4512 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4515/stat : 4515 (xcsp3-exec) S 4512 4515 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154544954 9740288 346 33554432000 4194304 5098028 140731318977776 140731318975880 140696478913148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40525824 140731318981749 140731318981952 140731318981952 140731318984683 0
/proc/4515/statm: 2378 346 289 221 0 87 0
[pid=4517] ppid=4515 vsize=13984976 memory=154456 CPUtime=243.77 cores=1,3,5,7
/proc/4517/stat : 4517 (java) S 4515 4515 32593 0 -1 1077944320 48005 0 0 0 24364 13 0 0 20 0 15 0 154544954 14320615424 38614 33554432000 4194304 4196468 140735429306224 140735429288768 139777947471607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
/proc/4517/statm: 3496244 38614 3226 1 0 3483478 0
[pid=4517/tid=4518] ppid=4515 vsize=13984976 memory=6935054825532540783 CPUtime=239.96 cores=1,3,5,7
/proc/4517/task/4518/stat : 4518 (java) R 4515 4515 32593 0 -1 4202560 11290 0 0 0 23992 4 0 0 20 0 15 0 154544955 14320615424 38614 33554432000 4194304 4196468 140735429306224 139777951708616 139777584566294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4519] ppid=4515 vsize=13984976 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4519/stat : 4519 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 38614 33554432000 4194304 4196468 140735429306224 139777900091920 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4520] ppid=4515 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4520/stat : 4520 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 38614 33554432000 4194304 4196468 140735429306224 139777542384272 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4521] ppid=4515 vsize=13984976 memory=8596 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4521/stat : 4521 (java) S 4515 4515 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 38614 33554432000 4194304 4196468 140735429306224 139777541331216 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4522] ppid=4515 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4522/stat : 4522 (java) S 4515 4515 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154544955 14320615424 38614 33554432000 4194304 4196468 140735429306224 139777540278672 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4523] ppid=4515 vsize=13984976 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4523/stat : 4523 (java) S 4515 4515 32593 0 -1 1077944384 619 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 38614 33554432000 4194304 4196468 140735429306224 139776926907120 139777947482754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4524] ppid=4515 vsize=13984976 memory=18476 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4524/stat : 4524 (java) S 4515 4515 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 38614 33554432000 4194304 4196468 140735429306224 139776925853344 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4525] ppid=4515 vsize=13984976 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4525/stat : 4525 (java) S 4515 4515 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154544957 14320615424 38614 33554432000 4194304 4196468 140735429306224 139776924800240 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4526] ppid=4515 vsize=13984976 memory=13144 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4526/stat : 4526 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14320615424 38614 33554432000 4194304 4196468 140735429306224 139776923748816 139777947490203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4527] ppid=4515 vsize=13984976 memory=1384 CPUtime=1.66 cores=1,3,5,7
/proc/4517/task/4527/stat : 4527 (java) S 4515 4515 32593 0 -1 1077944384 13727 0 0 0 165 1 0 0 20 0 15 0 154544960 14320615424 38614 33554432000 4194304 4196468 140735429306224 139776922695920 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4528] ppid=4515 vsize=13984976 memory=152408 CPUtime=1.64 cores=1,3,5,7
/proc/4517/task/4528/stat : 4528 (java) S 4515 4515 32593 0 -1 1077944384 14792 0 0 0 162 2 0 0 20 0 15 0 154544960 14320615424 38614 33554432000 4194304 4196468 140735429306224 139776921643376 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4529] ppid=4515 vsize=13984976 memory=8596 CPUtime=0.41 cores=1,3,5,7
/proc/4517/task/4529/stat : 4529 (java) S 4515 4515 32593 0 -1 1077944384 5468 0 0 0 40 1 0 0 20 0 15 0 154544960 14320615424 38614 33554432000 4194304 4196468 140735429306224 139776920590320 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4530] ppid=4515 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4517/task/4530/stat : 4530 (java) S 4515 4515 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154544960 14320615424 38614 33554432000 4194304 4196468 140735429306224 139776919538016 139777947481813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
[pid=4517/tid=4531] ppid=4515 vsize=13984976 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4517/task/4531/stat : 4531 (java) S 4515 4515 32593 0 -1 1077944384 809 0 0 0 2 2 0 0 20 0 15 0 154544960 14320615424 38614 33554432000 4194304 4196468 140735429306224 139776918486064 139777947482754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 24530944 140735429309597 140735429309772 140735429309772 140735429312463 0
Current children cumulated CPU time: 243.77 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 155840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 4515 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000944 s, system=0.000944 s
[startup+240.022 s]
# the end of solver process 4517 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.655 s, system=0.137991 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.022
CPU time (s): 243.793
CPU user time (s): 243.655
CPU system time (s): 0.137991
CPU usage (%): 101.571
Max. virtual memory (cumulated for all children) (KiB): 13996200
Max. memory (cumulated for all children) (KiB): 155840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.655
system time used= 0.137991
maximum resident set size= 161228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48952
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7411
involuntary context switches= 152
# summary of solver processes directly reported to runsolver:
# pid: 4515,4517
# total CPU time (s): 243.793
# total CPU user time (s): 243.655
# total CPU system time (s): 0.137991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31006 second user time and 2.20525 second system time
The end