runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13015 MiB free)
memory of node 1: 16384 MiB (12967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284475-1503209966/watcher-4284475-1503209966 -o /tmp/evaluation-result-4284475-1503209966/solver-4284475-1503209966 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 24604923 HOME/instance-4284475-1503209966.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=8094, runsolver pid=8090
[startup+0.10006 s]*
/proc/loadavg: 1.00 1.09 1.48 4/218 8129
/proc/meminfo: memFree=26574064/32770624 swapFree=67108860/67108860
[pid=8094] ppid=8090 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8094/stat : 8094 (xcsp3-exec) S 8090 8094 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154084090 9740288 345 33554432000 4194304 5098028 140721464204832 140721464202936 140093743514236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8482816 140721464206454 140721464206656 140721464206656 140721464209387 0
/proc/8094/statm: 2378 345 289 221 0 87 0
[pid=8100] ppid=8094 vsize=13978596 memory=27768 CPUtime=0.11 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8094 8094 8036 0 -1 1077944320 5283 0 0 0 10 1 0 0 20 0 15 0 154084090 14314082304 6942 33554432000 4194304 4196468 140731535321504 140731535304048 140582756683511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
/proc/8100/statm: 3494649 6942 2865 1 0 3482966 0
[pid=8100/tid=8102] ppid=8094 vsize=13978596 memory=4499834149035483540 CPUtime=0.08 cores=1,3,5,7
/proc/8100/task/8102/stat : 8102 (java) R 8094 8094 8036 0 -1 4202560 3300 0 0 0 8 0 0 0 20 0 15 0 154084091 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582760899664 140582349588809 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8104] ppid=8094 vsize=13978596 memory=3472468285994902736 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084091 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582671751824 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8108] ppid=8094 vsize=13978596 memory=140157099751040 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084091 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582670699024 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8110] ppid=8094 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084092 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582669646224 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8111] ppid=8094 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8094 8094 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154084092 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582349433104 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8112] ppid=8094 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8094 8094 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154084093 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582230899568 140582756694658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8114] ppid=8094 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8094 8094 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154084093 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582229845536 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8117] ppid=8094 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8094 8094 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154084093 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582228792688 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8118] ppid=8094 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582227741008 140582756702107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8119] ppid=8094 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8119/stat : 8119 (java) S 8094 8094 8036 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 154084096 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582226688368 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8121] ppid=8094 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8121/stat : 8121 (java) R 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582225635568 140582756694658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8123] ppid=8094 vsize=13978596 memory=140157099751040 CPUtime=0.01 cores=1,3,5,7
/proc/8100/task/8123/stat : 8123 (java) R 8094 8094 8036 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 15 0 154084096 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582224582768 140582756704858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8126] ppid=8094 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8126/stat : 8126 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582223530208 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8128] ppid=8094 vsize=13978596 memory=140157099751040 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8128/stat : 8128 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084097 14314082304 6942 33554432000 4194304 4196468 140731535321504 140582222478512 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29148 KiB
[startup+0.210736 s]*
/proc/loadavg: 1.00 1.09 1.48 3/218 8129
/proc/meminfo: memFree=26552220/32770624 swapFree=67108860/67108860
[pid=8094] ppid=8090 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8094/stat : 8094 (xcsp3-exec) S 8090 8094 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154084090 9740288 345 33554432000 4194304 5098028 140721464204832 140721464202936 140093743514236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8482816 140721464206454 140721464206656 140721464206656 140721464209387 0
/proc/8094/statm: 2378 345 289 221 0 87 0
[pid=8100] ppid=8094 vsize=13982852 memory=39960 CPUtime=0.33 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8094 8094 8036 0 -1 1077944320 8002 0 0 0 31 2 0 0 20 0 15 0 154084090 14318440448 9990 33554432000 4194304 4196468 140731535321504 140731535304048 140582756683511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
/proc/8100/statm: 3495713 9990 3057 1 0 3482966 0
[pid=8100/tid=8102] ppid=8094 vsize=13982852 memory=4499834149035483540 CPUtime=0.19 cores=1,3,5,7
/proc/8100/task/8102/stat : 8102 (java) R 8094 8094 8036 0 -1 4202560 5217 0 0 0 18 1 0 0 20 0 15 0 154084091 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582760905520 140582740764028 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8104] ppid=8094 vsize=13982852 memory=3472468285994902736 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084091 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582671751824 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8108] ppid=8094 vsize=13982852 memory=140157099751040 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084091 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582670699024 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8110] ppid=8094 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084092 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582669646224 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8111] ppid=8094 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8094 8094 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154084092 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582349433104 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8112] ppid=8094 vsize=13982852 memory=140157099751040 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8094 8094 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154084093 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582230899568 140582756694658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8114] ppid=8094 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8094 8094 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154084093 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582229845536 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8117] ppid=8094 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8094 8094 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154084093 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582228792688 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8118] ppid=8094 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582227741008 140582756702107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8119] ppid=8094 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8100/task/8119/stat : 8119 (java) S 8094 8094 8036 0 -1 1077944384 525 0 0 0 2 0 0 0 20 0 15 0 154084096 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582226688368 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8121] ppid=8094 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8100/task/8121/stat : 8121 (java) S 8094 8094 8036 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 15 0 154084096 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582225635568 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8123] ppid=8094 vsize=13982852 memory=140157099751040 CPUtime=0.07 cores=1,3,5,7
/proc/8100/task/8123/stat : 8123 (java) S 8094 8094 8036 0 -1 1077944384 754 0 0 0 7 0 0 0 20 0 15 0 154084096 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582224582768 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8126] ppid=8094 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8126/stat : 8126 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582223530208 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8128] ppid=8094 vsize=13982852 memory=140157099751040 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8128/stat : 8128 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084097 14318440448 9990 33554432000 4194304 4196468 140731535321504 140582222478512 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41340 KiB
[startup+0.310621 s]*
/proc/loadavg: 1.00 1.09 1.48 5/218 8129
/proc/meminfo: memFree=26537936/32770624 swapFree=67108860/67108860
[pid=8094] ppid=8090 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8094/stat : 8094 (xcsp3-exec) S 8090 8094 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154084090 9740288 345 33554432000 4194304 5098028 140721464204832 140721464202936 140093743514236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8482816 140721464206454 140721464206656 140721464206656 140721464209387 0
/proc/8094/statm: 2378 345 289 221 0 87 0
[pid=8100] ppid=8094 vsize=13982852 memory=47144 CPUtime=0.5 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8094 8094 8036 0 -1 1077944320 8890 0 0 0 47 3 0 0 20 0 15 0 154084090 14318440448 11786 33554432000 4194304 4196468 140731535321504 140731535304048 140582756683511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
/proc/8100/statm: 3495713 11786 3104 1 0 3482966 0
[pid=8100/tid=8102] ppid=8094 vsize=13982852 memory=-5155626877878310228 CPUtime=0.29 cores=1,3,5,7
/proc/8100/task/8102/stat : 8102 (java) R 8094 8094 8036 0 -1 4202560 5893 0 0 0 27 2 0 0 20 0 15 0 154084091 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582760922656 140582756695446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8104] ppid=8094 vsize=13982852 memory=3472468285994902736 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084091 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582671751824 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8108] ppid=8094 vsize=13982852 memory=140157099751040 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084091 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582670699024 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8110] ppid=8094 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084092 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582669646224 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8111] ppid=8094 vsize=13982852 memory=140156996823071 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8094 8094 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154084092 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582349433104 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8112] ppid=8094 vsize=13982852 memory=280313993620768 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8094 8094 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154084093 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582230899568 140582756694658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8114] ppid=8094 vsize=13982852 memory=140156996795407 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8094 8094 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154084093 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582229845536 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8117] ppid=8094 vsize=13982852 memory=280314096553344 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8094 8094 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154084093 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582228792688 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8118] ppid=8094 vsize=13982852 memory=140156996800015 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582227741008 140582756702107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8119] ppid=8094 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8100/task/8119/stat : 8119 (java) S 8094 8094 8036 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 15 0 154084096 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582226688368 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8121] ppid=8094 vsize=13982852 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/8100/task/8121/stat : 8121 (java) S 8094 8094 8036 0 -1 1077944384 230 0 0 0 4 0 0 0 20 0 15 0 154084096 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582225635568 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8123] ppid=8094 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8100/task/8123/stat : 8123 (java) R 8094 8094 8036 0 -1 4202560 924 0 0 0 12 0 0 0 20 0 15 0 154084096 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582224582768 140582741213925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8126] ppid=8094 vsize=13982852 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8126/stat : 8126 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582223530208 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8128] ppid=8094 vsize=13982852 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8128/stat : 8128 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084097 14318440448 11786 33554432000 4194304 4196468 140731535321504 140582222478512 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48524 KiB
[startup+0.701015 s]
/proc/loadavg: 1.00 1.09 1.48 8/218 8129
/proc/meminfo: memFree=26503336/32770624 swapFree=67108860/67108860
[pid=8094] ppid=8090 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8094/stat : 8094 (xcsp3-exec) S 8090 8094 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154084090 9740288 345 33554432000 4194304 5098028 140721464204832 140721464202936 140093743514236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8482816 140721464206454 140721464206656 140721464206656 140721464209387 0
/proc/8094/statm: 2378 345 289 221 0 87 0
[pid=8100] ppid=8094 vsize=13984976 memory=92984 CPUtime=1.73 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8094 8094 8036 0 -1 1077944320 12774 0 0 0 168 5 0 0 20 0 15 0 154084090 14320615424 23246 33554432000 4194304 4196468 140731535321504 140731535304048 140582756683511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
/proc/8100/statm: 3496244 23246 3203 1 0 3483478 0
[pid=8100/tid=8102] ppid=8094 vsize=13984976 memory=7595725831727968097 CPUtime=0.67 cores=1,3,5,7
/proc/8100/task/8102/stat : 8102 (java) R 8094 8094 8036 0 -1 4202560 6615 0 0 0 64 3 0 0 20 0 15 0 154084091 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582760920432 140582349515908 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8104] ppid=8094 vsize=13984976 memory=6154820267226784105 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084091 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582671751824 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8108] ppid=8094 vsize=13984976 memory=6935649255759569728 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084091 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582670699024 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8110] ppid=8094 vsize=13984976 memory=7747766295893256779 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084092 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582669646224 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8111] ppid=8094 vsize=13984976 memory=-7395679465411340910 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8094 8094 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154084092 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582349433104 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8112] ppid=8094 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8094 8094 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154084093 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582230899568 140582756694658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8114] ppid=8094 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8094 8094 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154084093 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582229845536 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8117] ppid=8094 vsize=13984976 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8094 8094 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154084093 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582228792688 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8118] ppid=8094 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582227741008 140582756702107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8119] ppid=8094 vsize=13984976 memory=1200 CPUtime=0.29 cores=1,3,5,7
/proc/8100/task/8119/stat : 8119 (java) R 8094 8094 8036 0 -1 4202560 1454 0 0 0 29 0 0 0 20 0 15 0 154084096 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582226667680 140582740240938 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8121] ppid=8094 vsize=13984976 memory=15876 CPUtime=0.31 cores=1,3,5,7
/proc/8100/task/8121/stat : 8121 (java) R 8094 8094 8036 0 -1 4202560 1169 0 0 0 31 0 0 0 20 0 15 0 154084096 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582225622112 140582738208696 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8123] ppid=8094 vsize=13984976 memory=23608 CPUtime=0.43 cores=1,3,5,7
/proc/8100/task/8123/stat : 8123 (java) R 8094 8094 8036 0 -1 4202560 2232 0 0 0 42 1 0 0 20 0 15 0 154084096 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582224582768 140582741022872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8126] ppid=8094 vsize=13984976 memory=7518590701213671769 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8126/stat : 8126 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582223530208 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8128] ppid=8094 vsize=13984976 memory=7884789645897655640 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8128/stat : 8128 (java) S 8094 8094 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154084097 14320615424 23246 33554432000 4194304 4196468 140731535321504 140582222478512 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 94364 KiB
[startup+1.50086 s]
/proc/loadavg: 1.00 1.09 1.48 8/218 8129
/proc/meminfo: memFree=26381672/32770624 swapFree=67108860/67108860
[pid=8094] ppid=8090 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8094/stat : 8094 (xcsp3-exec) S 8090 8094 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154084090 9740288 345 33554432000 4194304 5098028 140721464204832 140721464202936 140093743514236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8482816 140721464206454 140721464206656 140721464206656 140721464209387 0
/proc/8094/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/8100/task/8117/stat : 8117 (java) S 8094 8094 8036 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154084093 14320615424 65848 33554432000 4194304 4196468 140731535321504 140582228792688 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8118] ppid=8094 vsize=13984976 memory=42508 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14320615424 65848 33554432000 4194304 4196468 140731535321504 140582227741008 140582756702107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8119] ppid=8094 vsize=13984976 memory=15876 CPUtime=3.87 cores=1,3,5,7
/proc/8100/task/8119/stat : 8119 (java) S 8094 8094 8036 0 -1 1077944384 21164 0 0 0 385 2 0 0 20 0 15 0 154084096 14320615424 65848 33554432000 4194304 4196468 140731535321504 140582226688368 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8121] ppid=8094 vsize=13984976 memory=23608 CPUtime=3.63 cores=1,3,5,7
/proc/8100/task/8121/stat : 8121 (java) S 8094 8094 8036 0 -1 1077944384 18171 0 0 0 361 2 0 0 20 0 15 0 154084096 14320615424 65848 33554432000 4194304 4196468 140731535321504 140582225635568 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8123] ppid=8094 vsize=13984976 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/8100/task/8123/stat : 8123 (java) S 8094 8094 8036 0 -1 1077944384 8547 0 0 0 78 2 0 0 20 0 15 0 154084096 14320615424 65848 33554432000 4194304 4196468 140731535321504 140582224582768 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8126] ppid=8094 vsize=13984976 memory=280313993772864 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8126/stat : 8126 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14320615424 65848 33554432000 4194304 4196468 140731535321504 140582223530208 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8128] ppid=8094 vsize=13984976 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/8100/task/8128/stat : 8128 (java) S 8094 8094 8036 0 -1 1077944384 1464 0 0 0 0 1 0 0 20 0 15 0 154084097 14320615424 65848 33554432000 4194304 4196468 140731535321504 140582222478512 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
Current children cumulated CPU time: 110.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 264772 KiB
[startup+162.301 s]
/proc/loadavg: 1.83 1.50 1.59 3/218 8131
/proc/meminfo: memFree=26095704/32770624 swapFree=67108860/67108860
[pid=8094] ppid=8090 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8094/stat : 8094 (xcsp3-exec) S 8090 8094 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154084090 9740288 345 33554432000 4194304 5098028 140721464204832 140721464202936 140093743514236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8482816 140721464206454 140721464206656 140721464206656 140721464209387 0
/proc/8094/statm: 2378 345 289 221 0 87 0
[pid=8100] ppid=8094 vsize=13984976 memory=267972 CPUtime=170.89 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8094 8094 8036 0 -1 1077944320 72209 0 0 0 17068 21 0 0 20 0 15 0 154084090 14320615424 66993 33554432000 4194304 4196468 140731535321504 140731535304048 140582756683511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
/proc/8100/statm: 3496244 66993 3257 1 0 3483478 0
[pid=8100/tid=8102] ppid=8094 vsize=13984976 memory=267972 CPUtime=162.2 cores=1,3,5,7
/proc/8100/task/8102/stat : 8102 (java) R 8094 8094 8036 0 -1 4202560 13560 0 0 0 16214 6 0 0 20 0 15 0 154084091 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582760918944 140582358985505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8104] ppid=8094 vsize=13984976 memory=267972 CPUtime=0.04 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8094 8094 8036 0 -1 1077944384 302 0 0 0 3 1 0 0 20 0 15 0 154084091 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582671751824 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8108] ppid=8094 vsize=13984976 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8094 8094 8036 0 -1 1077944384 1816 0 0 0 3 1 0 0 20 0 15 0 154084091 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582670699024 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8110] ppid=8094 vsize=13984976 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8094 8094 8036 0 -1 1077944384 1447 0 0 0 3 1 0 0 20 0 15 0 154084092 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582669646224 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8111] ppid=8094 vsize=13984976 memory=267972 CPUtime=0.04 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8094 8094 8036 0 -1 1077944384 256 0 0 0 3 1 0 0 20 0 15 0 154084092 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582349433104 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8112] ppid=8094 vsize=13984976 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8094 8094 8036 0 -1 1077944384 941 0 0 0 2 0 0 0 20 0 15 0 154084093 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582230899568 140582756694658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8114] ppid=8094 vsize=13984976 memory=267948 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8094 8094 8036 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154084093 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582229845536 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8117] ppid=8094 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8094 8094 8036 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154084093 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582228792688 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8118] ppid=8094 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582227741008 140582756702107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8119] ppid=8094 vsize=13984976 memory=267972 CPUtime=3.97 cores=1,3,5,7
/proc/8100/task/8119/stat : 8119 (java) S 8094 8094 8036 0 -1 1077944384 23279 0 0 0 395 2 0 0 20 0 15 0 154084096 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582226688368 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8121] ppid=8094 vsize=13984976 memory=15876 CPUtime=3.64 cores=1,3,5,7
/proc/8100/task/8121/stat : 8121 (java) S 8094 8094 8036 0 -1 1077944384 18409 0 0 0 362 2 0 0 20 0 15 0 154084096 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582225635568 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8123] ppid=8094 vsize=13984976 memory=1380 CPUtime=0.82 cores=1,3,5,7
/proc/8100/task/8123/stat : 8123 (java) S 8094 8094 8036 0 -1 1077944384 9374 0 0 0 79 3 0 0 20 0 15 0 154084096 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582224582768 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8126] ppid=8094 vsize=13984976 memory=267972 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8126/stat : 8126 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582223530208 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8128] ppid=8094 vsize=13984976 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/8100/task/8128/stat : 8128 (java) S 8094 8094 8036 0 -1 1077944384 1481 0 0 0 1 2 0 0 20 0 15 0 154084097 14320615424 66993 33554432000 4194304 4196468 140731535321504 140582222478512 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
Current children cumulated CPU time: 170.89 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 269352 KiB
[startup+222.301 s]
/proc/loadavg: 1.56 1.49 1.58 3/218 8132
/proc/meminfo: memFree=26101028/32770624 swapFree=67108860/67108860
[pid=8094] ppid=8090 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8094/stat : 8094 (xcsp3-exec) S 8090 8094 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154084090 9740288 345 33554432000 4194304 5098028 140721464204832 140721464202936 140093743514236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8482816 140721464206454 140721464206656 140721464206656 140721464209387 0
/proc/8094/statm: 2378 345 289 221 0 87 0
[pid=8100] ppid=8094 vsize=13984976 memory=270112 CPUtime=231.33 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8094 8094 8036 0 -1 1077944320 77714 0 0 0 23110 23 0 0 20 0 15 0 154084090 14320615424 67528 33554432000 4194304 4196468 140731535321504 140731535304048 140582756683511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
/proc/8100/statm: 3496244 67528 3259 1 0 3483478 0
[pid=8100/tid=8102] ppid=8094 vsize=13984976 memory=270104 CPUtime=222.18 cores=1,3,5,7
/proc/8100/task/8102/stat : 8102 (java) R 8094 8094 8036 0 -1 4202560 14275 0 0 0 22212 6 0 0 20 0 15 0 154084091 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582760922080 140582358985352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8104] ppid=8094 vsize=13984976 memory=1380 CPUtime=0.05 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8094 8094 8036 0 -1 1077944384 358 0 0 0 4 1 0 0 20 0 15 0 154084091 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582671751824 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8108] ppid=8094 vsize=13984976 memory=270104 CPUtime=0.05 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8094 8094 8036 0 -1 1077944384 1955 0 0 0 4 1 0 0 20 0 15 0 154084091 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582670699024 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8110] ppid=8094 vsize=13984976 memory=270112 CPUtime=0.05 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8094 8094 8036 0 -1 1077944384 1696 0 0 0 4 1 0 0 20 0 15 0 154084092 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582669646224 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8111] ppid=8094 vsize=13984976 memory=270104 CPUtime=0.05 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8094 8094 8036 0 -1 1077944384 379 0 0 0 4 1 0 0 20 0 15 0 154084092 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582349433104 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8112] ppid=8094 vsize=13984976 memory=2 CPUtime=0.03 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8094 8094 8036 0 -1 1077944384 1123 0 0 0 2 1 0 0 20 0 15 0 154084093 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582230899568 140582756694658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8114] ppid=8094 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8094 8094 8036 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154084093 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582229845536 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8117] ppid=8094 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8094 8094 8036 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154084093 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582228792688 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8118] ppid=8094 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582227741008 140582756702107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8119] ppid=8094 vsize=13984976 memory=1380 CPUtime=4.2 cores=1,3,5,7
/proc/8100/task/8119/stat : 8119 (java) S 8094 8094 8036 0 -1 1077944384 24746 0 0 0 418 2 0 0 20 0 15 0 154084096 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582226688368 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8121] ppid=8094 vsize=13984976 memory=270104 CPUtime=3.77 cores=1,3,5,7
/proc/8100/task/8121/stat : 8121 (java) S 8094 8094 8036 0 -1 1077944384 20251 0 0 0 375 2 0 0 20 0 15 0 154084096 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582225635568 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8123] ppid=8094 vsize=13984976 memory=-7003737579269690708 CPUtime=0.83 cores=1,3,5,7
/proc/8100/task/8123/stat : 8123 (java) S 8094 8094 8036 0 -1 1077944384 10082 0 0 0 80 3 0 0 20 0 15 0 154084096 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582224582768 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8126] ppid=8094 vsize=13984976 memory=916 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8126/stat : 8126 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582223530208 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8128] ppid=8094 vsize=13984976 memory=3776 CPUtime=0.04 cores=1,3,5,7
/proc/8100/task/8128/stat : 8128 (java) S 8094 8094 8036 0 -1 1077944384 1505 0 0 0 1 3 0 0 20 0 15 0 154084097 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582222478512 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
Current children cumulated CPU time: 231.33 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 271492 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.68 1.52 1.59 3/218 8132
/proc/meminfo: memFree=26099476/32770624 swapFree=67108860/67108860
[pid=8094] ppid=8090 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8094/stat : 8094 (xcsp3-exec) S 8090 8094 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154084090 9740288 345 33554432000 4194304 5098028 140721464204832 140721464202936 140093743514236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8482816 140721464206454 140721464206656 140721464206656 140721464209387 0
/proc/8094/statm: 2378 345 289 221 0 87 0
[pid=8100] ppid=8094 vsize=13984976 memory=270112 CPUtime=249.04 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8094 8094 8036 0 -1 1077944320 78193 0 0 0 24881 23 0 0 20 0 15 0 154084090 14320615424 67528 33554432000 4194304 4196468 140731535321504 140731535304048 140582756683511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
/proc/8100/statm: 3496244 67528 3259 1 0 3483478 0
[pid=8100/tid=8102] ppid=8094 vsize=13984976 memory=2196 CPUtime=239.89 cores=1,3,5,7
/proc/8100/task/8102/stat : 8102 (java) R 8094 8094 8036 0 -1 4202560 14542 0 0 0 23983 6 0 0 20 0 15 0 154084091 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582760918928 140582358985272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8104] ppid=8094 vsize=13984976 memory=7788 CPUtime=0.05 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8094 8094 8036 0 -1 1077944384 358 0 0 0 4 1 0 0 20 0 15 0 154084091 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582671751824 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8108] ppid=8094 vsize=13984976 memory=840 CPUtime=0.05 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8094 8094 8036 0 -1 1077944384 1955 0 0 0 4 1 0 0 20 0 15 0 154084091 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582670699024 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8110] ppid=8094 vsize=13984976 memory=-7003737579269690708 CPUtime=0.05 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8094 8094 8036 0 -1 1077944384 1696 0 0 0 4 1 0 0 20 0 15 0 154084092 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582669646224 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8111] ppid=8094 vsize=13984976 memory=1156 CPUtime=0.05 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8094 8094 8036 0 -1 1077944384 379 0 0 0 4 1 0 0 20 0 15 0 154084092 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582349433104 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8112] ppid=8094 vsize=13984976 memory=1156 CPUtime=0.03 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8094 8094 8036 0 -1 1077944384 1145 0 0 0 2 1 0 0 20 0 15 0 154084093 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582230899568 140582756694658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8114] ppid=8094 vsize=13984976 memory=2996 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8094 8094 8036 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154084093 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582229845536 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8117] ppid=8094 vsize=13984976 memory=3096 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8094 8094 8036 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154084093 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582228792688 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8118] ppid=8094 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582227741008 140582756702107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8119] ppid=8094 vsize=13984976 memory=1384 CPUtime=4.2 cores=1,3,5,7
/proc/8100/task/8119/stat : 8119 (java) S 8094 8094 8036 0 -1 1077944384 24748 0 0 0 418 2 0 0 20 0 15 0 154084096 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582226688368 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8121] ppid=8094 vsize=13984976 memory=270112 CPUtime=3.77 cores=1,3,5,7
/proc/8100/task/8121/stat : 8121 (java) S 8094 8094 8036 0 -1 1077944384 20253 0 0 0 375 2 0 0 20 0 15 0 154084096 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582225635568 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8123] ppid=8094 vsize=13984976 memory=259380 CPUtime=0.83 cores=1,3,5,7
/proc/8100/task/8123/stat : 8123 (java) S 8094 8094 8036 0 -1 1077944384 10121 0 0 0 80 3 0 0 20 0 15 0 154084096 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582224582768 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8126] ppid=8094 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8126/stat : 8126 (java) S 8094 8094 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154084096 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582223530208 140582756693717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
[pid=8100/tid=8128] ppid=8094 vsize=13984976 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/8100/task/8128/stat : 8128 (java) S 8094 8094 8036 0 -1 1077944384 1652 0 0 0 1 3 0 0 20 0 15 0 154084097 14320615424 67528 33554432000 4194304 4196468 140731535321504 140582222478512 140582756694658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12746752 140731535324317 140731535324492 140731535324492 140731535327183 0
Current children cumulated CPU time: 249.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 271492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 8094 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002188 s, system=0 s
[startup+240.036 s]
# the end of solver process 8100 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.833 s, system=0.239114 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.036
CPU time (s): 249.073
CPU user time (s): 248.833
CPU system time (s): 0.239114
CPU usage (%): 103.765
Max. virtual memory (cumulated for all children) (KiB): 13998060
Max. memory (cumulated for all children) (KiB): 271492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.833
system time used= 0.239114
maximum resident set size= 270684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79135
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= 8228
involuntary context switches= 102
# summary of solver processes directly reported to runsolver:
# pid: 8094,8100
# total CPU time (s): 249.073
# total CPU user time (s): 248.833
# total CPU system time (s): 0.239114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33207 second user time and 2.29185 second system time
The end