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 (11656 MiB free)
memory of node 1: 16384 MiB (11938 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284484-1503210077/watcher-4284484-1503210077 -o /tmp/evaluation-result-4284484-1503210077/solver-4284484-1503210077 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12842 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1431839551 HOME/instance-4284484-1503210077.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=13018, runsolver pid=13015
[startup+0.100078 s]*
/proc/loadavg: 1.57 1.37 1.46 3/211 13057
/proc/meminfo: memFree=24127780/32770624 swapFree=67108860/67108860
[pid=13018] ppid=13015 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13018/stat : 13018 (xcsp3-exec) S 13015 13018 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154088455 9740288 346 33554432000 4194304 5098028 140732824349376 140732824347480 140117837472380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37818368 140732824351860 140732824352064 140732824352064 140732824354795 0
/proc/13018/statm: 2378 346 289 221 0 87 0
[pid=13021] ppid=13018 vsize=13978596 memory=28032 CPUtime=0.1 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13018 13018 12810 0 -1 1077944320 5410 0 0 0 9 1 0 0 20 0 15 0 154088456 14314082304 7008 33554432000 4194304 4196468 140729101008448 140729100990992 140624421314295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
/proc/13021/statm: 3494649 7008 2841 1 0 3482966 0
[pid=13021/tid=13023] ppid=13018 vsize=13978596 memory=5853958912773555872 CPUtime=0.08 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13018 13018 12810 0 -1 4202560 3434 0 0 0 7 1 0 0 20 0 15 0 154088456 14314082304 7008 33554432000 4194304 4196468 140729101008448 140624425537936 140624400891246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13027] ppid=13018 vsize=13978596 memory=3472468062730187984 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088458 14314082304 7008 33554432000 4194304 4196468 140729101008448 140624351402512 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13028] ppid=13018 vsize=13978596 memory=139933835036288 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088458 14314082304 7008 33554432000 4194304 4196468 140729101008448 140624350349968 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13029] ppid=13018 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088458 14314082304 7008 33554432000 4194304 4196468 140729101008448 140624349296912 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13030] ppid=13018 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13018 13018 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154088458 14314082304 7008 33554432000 4194304 4196468 140729101008448 140624348244368 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13031] ppid=13018 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13018 13018 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154088459 14314082304 7008 33554432000 4194304 4196468 140729101008448 140623895550704 140624421325442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13032] ppid=13018 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13018 13018 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154088459 14314082304 7008 33554432000 4194304 4196468 140729101008448 140623894496928 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13033] ppid=13018 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13018 13018 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154088460 14314082304 7008 33554432000 4194304 4196468 140729101008448 140623893443824 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13039] ppid=13018 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14314082304 7008 33554432000 4194304 4196468 140729101008448 140623892392400 140624421332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13040] ppid=13018 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13018 13018 12810 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 154088462 14314082304 7008 33554432000 4194304 4196468 140729101008448 140623891339504 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13042] ppid=13018 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13042/stat : 13042 (java) S 13018 13018 12810 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 154088462 14314082304 7008 33554432000 4194304 4196468 140729101008448 140623890286960 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13043] ppid=13018 vsize=13978596 memory=139933835036288 CPUtime=0.01 cores=1,3,5,7
/proc/13021/task/13043/stat : 13043 (java) S 13018 13018 12810 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 15 0 154088462 14314082304 7008 33554432000 4194304 4196468 140729101008448 140623889233904 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13044] ppid=13018 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13044/stat : 13044 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14314082304 7008 33554432000 4194304 4196468 140729101008448 140623888181600 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13049] ppid=13018 vsize=13978596 memory=139933835036288 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13049/stat : 13049 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088462 14314082304 7008 33554432000 4194304 4196468 140729101008448 140623887129648 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29416 KiB
[startup+0.210485 s]*
/proc/loadavg: 1.57 1.37 1.46 2/218 13064
/proc/meminfo: memFree=24105660/32770624 swapFree=67108860/67108860
[pid=13018] ppid=13015 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13018/stat : 13018 (xcsp3-exec) S 13015 13018 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154088455 9740288 346 33554432000 4194304 5098028 140732824349376 140732824347480 140117837472380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37818368 140732824351860 140732824352064 140732824352064 140732824354795 0
/proc/13018/statm: 2378 346 289 221 0 87 0
[pid=13021] ppid=13018 vsize=13982852 memory=40104 CPUtime=0.32 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13018 13018 12810 0 -1 1077944320 8084 0 0 0 29 3 0 0 20 0 15 0 154088456 14318440448 10026 33554432000 4194304 4196468 140729101008448 140729100990992 140624421314295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
/proc/13021/statm: 3495713 10026 3050 1 0 3482966 0
[pid=13021/tid=13023] ppid=13018 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13018 13018 12810 0 -1 4202560 5254 0 0 0 17 2 0 0 20 0 15 0 154088456 14318440448 10026 33554432000 4194304 4196468 140729101008448 140624425535288 140624413992309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13027] ppid=13018 vsize=13982852 memory=3472468062730187984 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088458 14318440448 10026 33554432000 4194304 4196468 140729101008448 140624351402512 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13028] ppid=13018 vsize=13982852 memory=139933835036288 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088458 14318440448 10026 33554432000 4194304 4196468 140729101008448 140624350349968 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13029] ppid=13018 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088458 14318440448 10026 33554432000 4194304 4196468 140729101008448 140624349296912 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13030] ppid=13018 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13018 13018 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154088458 14318440448 10026 33554432000 4194304 4196468 140729101008448 140624348244368 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13031] ppid=13018 vsize=13982852 memory=139933835036288 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13018 13018 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154088459 14318440448 10026 33554432000 4194304 4196468 140729101008448 140623895550704 140624421325442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13032] ppid=13018 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13018 13018 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154088459 14318440448 10026 33554432000 4194304 4196468 140729101008448 140623894496928 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13033] ppid=13018 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13018 13018 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154088460 14318440448 10026 33554432000 4194304 4196468 140729101008448 140623893443824 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13039] ppid=13018 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14318440448 10026 33554432000 4194304 4196468 140729101008448 140623892392400 140624421332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13040] ppid=13018 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13018 13018 12810 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 15 0 154088462 14318440448 10026 33554432000 4194304 4196468 140729101008448 140623891339504 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13042] ppid=13018 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13021/task/13042/stat : 13042 (java) S 13018 13018 12810 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 15 0 154088462 14318440448 10026 33554432000 4194304 4196468 140729101008448 140623890286960 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13043] ppid=13018 vsize=13982852 memory=139933835036288 CPUtime=0.07 cores=1,3,5,7
/proc/13021/task/13043/stat : 13043 (java) R 13018 13018 12810 0 -1 4202560 721 0 0 0 7 0 0 0 20 0 15 0 154088462 14318440448 10026 33554432000 4194304 4196468 140729101008448 140623889231864 140624405394782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13044] ppid=13018 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13044/stat : 13044 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14318440448 10026 33554432000 4194304 4196468 140729101008448 140623888181600 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13049] ppid=13018 vsize=13982852 memory=139933835036288 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13049/stat : 13049 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088462 14318440448 10026 33554432000 4194304 4196468 140729101008448 140623887129648 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41488 KiB
[startup+0.310795 s]*
/proc/loadavg: 1.57 1.37 1.46 5/218 13064
/proc/meminfo: memFree=24087732/32770624 swapFree=67108860/67108860
[pid=13018] ppid=13015 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13018/stat : 13018 (xcsp3-exec) S 13015 13018 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154088455 9740288 346 33554432000 4194304 5098028 140732824349376 140732824347480 140117837472380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37818368 140732824351860 140732824352064 140732824352064 140732824354795 0
/proc/13018/statm: 2378 346 289 221 0 87 0
[pid=13021] ppid=13018 vsize=13982852 memory=47060 CPUtime=0.49 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13018 13018 12810 0 -1 1077944320 8940 0 0 0 46 3 0 0 20 0 15 0 154088456 14318440448 11765 33554432000 4194304 4196468 140729101008448 140729100990992 140624421314295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
/proc/13021/statm: 3495713 11765 3102 1 0 3482966 0
[pid=13021/tid=13023] ppid=13018 vsize=13982852 memory=7680777497619634588 CPUtime=0.28 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13018 13018 12810 0 -1 4202560 5940 0 0 0 26 2 0 0 20 0 15 0 154088456 14318440448 11765 33554432000 4194304 4196468 140729101008448 140624425552576 140624377888209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13027] ppid=13018 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088458 14318440448 11765 33554432000 4194304 4196468 140729101008448 140624351402512 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13028] ppid=13018 vsize=13982852 memory=139933725632543 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088458 14318440448 11765 33554432000 4194304 4196468 140729101008448 140624350349968 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13029] ppid=13018 vsize=13982852 memory=279867451230496 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088458 14318440448 11765 33554432000 4194304 4196468 140729101008448 140624349296912 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13030] ppid=13018 vsize=13982852 memory=139933725595663 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13018 13018 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154088458 14318440448 11765 33554432000 4194304 4196468 140729101008448 140624348244368 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13031] ppid=13018 vsize=13982852 memory=279867560638848 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13018 13018 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154088459 14318440448 11765 33554432000 4194304 4196468 140729101008448 140623895550704 140624421325442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13032] ppid=13018 vsize=13982852 memory=139933725600271 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13018 13018 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154088459 14318440448 11765 33554432000 4194304 4196468 140729101008448 140623894496928 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13033] ppid=13018 vsize=13982852 memory=139933725615386 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13018 13018 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154088460 14318440448 11765 33554432000 4194304 4196468 140729101008448 140623893443824 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13039] ppid=13018 vsize=13982852 memory=139933725617716 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14318440448 11765 33554432000 4194304 4196468 140729101008448 140623892392400 140624421332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13040] ppid=13018 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13018 13018 12810 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 154088462 14318440448 11765 33554432000 4194304 4196468 140729101008448 140623891339504 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13042] ppid=13018 vsize=13982852 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/13021/task/13042/stat : 13042 (java) S 13018 13018 12810 0 -1 1077944384 490 0 0 0 4 0 0 0 20 0 15 0 154088462 14318440448 11765 33554432000 4194304 4196468 140729101008448 140623890286960 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13043] ppid=13018 vsize=13982852 memory=139933835036288 CPUtime=0.12 cores=1,3,5,7
/proc/13021/task/13043/stat : 13043 (java) R 13018 13018 12810 0 -1 4202560 824 0 0 0 12 0 0 0 20 0 15 0 154088462 14318440448 11765 33554432000 4194304 4196468 140729101008448 140623889229632 140624400073456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13044] ppid=13018 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13044/stat : 13044 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14318440448 11765 33554432000 4194304 4196468 140729101008448 140623888181600 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13049] ppid=13018 vsize=13982852 memory=139933835037672 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13049/stat : 13049 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088462 14318440448 11765 33554432000 4194304 4196468 140729101008448 140623887129648 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48444 KiB
[startup+0.700799 s]
/proc/loadavg: 1.57 1.37 1.46 7/218 13064
/proc/meminfo: memFree=24063228/32770624 swapFree=67108860/67108860
[pid=13018] ppid=13015 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13018/stat : 13018 (xcsp3-exec) S 13015 13018 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154088455 9740288 346 33554432000 4194304 5098028 140732824349376 140732824347480 140117837472380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37818368 140732824351860 140732824352064 140732824352064 140732824354795 0
/proc/13018/statm: 2378 346 289 221 0 87 0
[pid=13021] ppid=13018 vsize=13984976 memory=76708 CPUtime=1.45 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13018 13018 12810 0 -1 1077944320 12887 0 0 0 140 5 0 0 20 0 15 0 154088456 14320615424 19177 33554432000 4194304 4196468 140729101008448 140729100990992 140624421314295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
/proc/13021/statm: 3496244 19177 3207 1 0 3483478 0
[pid=13021/tid=13023] ppid=13018 vsize=13984976 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13018 13018 12810 0 -1 4202560 6859 0 0 0 63 3 0 0 20 0 15 0 154088456 14320615424 19177 33554432000 4194304 4196468 140729101008448 140624425550208 140624024182677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13027] ppid=13018 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088458 14320615424 19177 33554432000 4194304 4196468 140729101008448 140624351402512 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13028] ppid=13018 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088458 14320615424 19177 33554432000 4194304 4196468 140729101008448 140624350349968 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13029] ppid=13018 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088458 14320615424 19177 33554432000 4194304 4196468 140729101008448 140624349296912 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13030] ppid=13018 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13018 13018 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154088458 14320615424 19177 33554432000 4194304 4196468 140729101008448 140624348244368 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13031] ppid=13018 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13018 13018 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154088459 14320615424 19177 33554432000 4194304 4196468 140729101008448 140623895550704 140624421325442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13032] ppid=13018 vsize=13984976 memory=16 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13018 13018 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154088459 14320615424 19177 33554432000 4194304 4196468 140729101008448 140623894496928 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13033] ppid=13018 vsize=13984976 memory=38 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13018 13018 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154088460 14320615424 19177 33554432000 4194304 4196468 140729101008448 140623893443824 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13039] ppid=13018 vsize=13984976 memory=8751464017575883065 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14320615424 19177 33554432000 4194304 4196468 140729101008448 140623892392400 140624421332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13040] ppid=13018 vsize=13984976 memory=5788366214033265002 CPUtime=0.17 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) R 13018 13018 12810 0 -1 4202560 1118 0 0 0 17 0 0 0 20 0 15 0 154088462 14320615424 19177 33554432000 4194304 4196468 140729101008448 140623891325752 140624400491728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13042] ppid=13018 vsize=13984976 memory=7373639892806751845 CPUtime=0.22 cores=1,3,5,7
/proc/13021/task/13042/stat : 13042 (java) R 13018 13018 12810 0 -1 4202560 1611 0 0 0 22 0 0 0 20 0 15 0 154088462 14320615424 19177 33554432000 4194304 4196468 140729101008448 140623890279592 140624401157903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13043] ppid=13018 vsize=13984976 memory=734122130331934768 CPUtime=0.37 cores=1,3,5,7
/proc/13021/task/13043/stat : 13043 (java) S 13018 13018 12810 0 -1 1077944384 1994 0 0 0 37 0 0 0 20 0 15 0 154088462 14320615424 19177 33554432000 4194304 4196468 140729101008448 140623889233904 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13044] ppid=13018 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13044/stat : 13044 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14320615424 19177 33554432000 4194304 4196468 140729101008448 140623888181600 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13049] ppid=13018 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13049/stat : 13049 (java) S 13018 13018 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154088462 14320615424 19177 33554432000 4194304 4196468 140729101008448 140623887129648 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 78092 KiB
[startup+1.50082 s]
/proc/loadavg: 1.57 1.37 1.46 7/218 13064
/proc/meminfo: memFree=23969708/32770624 swapFree=67108860/67108860
[pid=13018] ppid=13015 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13018/stat : 13018 (xcsp3-exec) S 13015 13018 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154088455 9740288 346 33554432000 4194304 5098028 140732824349376 140732824347480 140117837472380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37818368 140732824351860 140732824352064 140732824352064 140732824354795 0
/proc/13018/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/13021/task/13033/stat : 13033 (java) S 13018 13018 12810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154088460 14320615424 72480 33554432000 4194304 4196468 140729101008448 140623893443840 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13039] ppid=13018 vsize=13984976 memory=293496 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14320615424 72480 33554432000 4194304 4196468 140729101008448 140623892392400 140624421332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13040] ppid=13018 vsize=13984976 memory=1384 CPUtime=8.04 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13018 13018 12810 0 -1 1077944384 38292 0 0 0 800 4 0 0 20 0 15 0 154088462 14320615424 72480 33554432000 4194304 4196468 140729101008448 140623891339504 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13042] ppid=13018 vsize=13984976 memory=290436 CPUtime=8.17 cores=1,3,5,7
/proc/13021/task/13042/stat : 13042 (java) S 13018 13018 12810 0 -1 1077944384 43257 0 0 0 813 4 0 0 20 0 15 0 154088462 14320615424 72480 33554432000 4194304 4196468 140729101008448 140623890286960 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13043] ppid=13018 vsize=13984976 memory=1384 CPUtime=0.91 cores=1,3,5,7
/proc/13021/task/13043/stat : 13043 (java) S 13018 13018 12810 0 -1 1077944384 9063 0 0 0 89 2 0 0 20 0 15 0 154088462 14320615424 72480 33554432000 4194304 4196468 140729101008448 140623889233904 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13044] ppid=13018 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13044/stat : 13044 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14320615424 72480 33554432000 4194304 4196468 140729101008448 140623888181600 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13049] ppid=13018 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/13021/task/13049/stat : 13049 (java) S 13018 13018 12810 0 -1 1077944384 1013 0 0 0 1 1 0 0 20 0 15 0 154088462 14320615424 72480 33554432000 4194304 4196468 140729101008448 140623887129648 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
Current children cumulated CPU time: 119.98 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 291304 KiB
[startup+162.301 s]
/proc/loadavg: 1.63 1.53 1.51 3/217 13066
/proc/meminfo: memFree=23570796/32770624 swapFree=67108860/67108860
[pid=13018] ppid=13015 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13018/stat : 13018 (xcsp3-exec) S 13015 13018 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154088455 9740288 346 33554432000 4194304 5098028 140732824349376 140732824347480 140117837472380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37818368 140732824351860 140732824352064 140732824352064 140732824354795 0
/proc/13018/statm: 2378 346 289 221 0 87 0
[pid=13021] ppid=13018 vsize=13984976 memory=316260 CPUtime=180.84 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13018 13018 12810 0 -1 1077944320 118628 0 0 0 18046 38 0 0 20 0 15 0 154088456 14320615424 79065 33554432000 4194304 4196468 140729101008448 140729100990992 140624421314295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
/proc/13021/statm: 3496244 79065 3268 1 0 3483478 0
[pid=13021/tid=13023] ppid=13018 vsize=13984976 memory=312672 CPUtime=161.89 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13018 13018 12810 0 -1 4202560 15509 0 0 0 16183 6 0 0 20 0 15 0 154088456 14320615424 79065 33554432000 4194304 4196468 140729101008448 140624425553328 140624024380487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13027] ppid=13018 vsize=13984976 memory=314728 CPUtime=0.3 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13018 13018 12810 0 -1 1077944384 935 0 0 0 26 4 0 0 20 0 15 0 154088458 14320615424 79065 33554432000 4194304 4196468 140729101008448 140624351402512 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13028] ppid=13018 vsize=13984976 memory=314728 CPUtime=0.3 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13018 13018 12810 0 -1 1077944384 2645 0 0 0 26 4 0 0 20 0 15 0 154088458 14320615424 79065 33554432000 4194304 4196468 140729101008448 140624350349968 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13029] ppid=13018 vsize=13984976 memory=1384 CPUtime=0.3 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13018 13018 12810 0 -1 1077944384 512 0 0 0 26 4 0 0 20 0 15 0 154088458 14320615424 79065 33554432000 4194304 4196468 140729101008448 140624349296912 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13030] ppid=13018 vsize=13984976 memory=313696 CPUtime=0.3 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13018 13018 12810 0 -1 1077944384 891 0 0 0 26 4 0 0 20 0 15 0 154088458 14320615424 79065 33554432000 4194304 4196468 140729101008448 140624348244368 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13031] ppid=13018 vsize=13984976 memory=1728 CPUtime=0.05 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13018 13018 12810 0 -1 1077944384 1425 0 0 0 4 1 0 0 20 0 15 0 154088459 14320615424 79065 33554432000 4194304 4196468 140729101008448 140623895550704 140624421325442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13032] ppid=13018 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13018 13018 12810 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154088459 14320615424 79065 33554432000 4194304 4196468 140729101008448 140623894496992 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13033] ppid=13018 vsize=13984976 memory=24772 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13018 13018 12810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154088460 14320615424 79065 33554432000 4194304 4196468 140729101008448 140623893443840 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13039] ppid=13018 vsize=13984976 memory=18472 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14320615424 79065 33554432000 4194304 4196468 140729101008448 140623892392400 140624421332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13040] ppid=13018 vsize=13984976 memory=312672 CPUtime=8.23 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13018 13018 12810 0 -1 1077944384 38620 0 0 0 819 4 0 0 20 0 15 0 154088462 14320615424 79065 33554432000 4194304 4196468 140729101008448 140623891339504 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13042] ppid=13018 vsize=13984976 memory=4144 CPUtime=8.42 cores=1,3,5,7
/proc/13021/task/13042/stat : 13042 (java) S 13018 13018 12810 0 -1 1077944384 45404 0 0 0 838 4 0 0 20 0 15 0 154088462 14320615424 79065 33554432000 4194304 4196468 140729101008448 140623890286960 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13043] ppid=13018 vsize=13984976 memory=1384 CPUtime=0.93 cores=1,3,5,7
/proc/13021/task/13043/stat : 13043 (java) S 13018 13018 12810 0 -1 1077944384 10287 0 0 0 91 2 0 0 20 0 15 0 154088462 14320615424 79065 33554432000 4194304 4196468 140729101008448 140623889233904 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13044] ppid=13018 vsize=13984976 memory=314728 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13044/stat : 13044 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14320615424 79065 33554432000 4194304 4196468 140729101008448 140623888181600 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13049] ppid=13018 vsize=13984976 memory=312672 CPUtime=0.04 cores=1,3,5,7
/proc/13021/task/13049/stat : 13049 (java) S 13018 13018 12810 0 -1 1077944384 1041 0 0 0 2 2 0 0 20 0 15 0 154088462 14320615424 79065 33554432000 4194304 4196468 140729101008448 140623887129648 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
Current children cumulated CPU time: 180.84 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 317644 KiB
[startup+222.301 s]
/proc/loadavg: 1.58 1.54 1.51 3/218 13075
/proc/meminfo: memFree=23561048/32770624 swapFree=67108860/67108860
[pid=13018] ppid=13015 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13018/stat : 13018 (xcsp3-exec) S 13015 13018 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154088455 9740288 346 33554432000 4194304 5098028 140732824349376 140732824347480 140117837472380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37818368 140732824351860 140732824352064 140732824352064 140732824354795 0
/proc/13018/statm: 2378 346 289 221 0 87 0
[pid=13021] ppid=13018 vsize=13984976 memory=326524 CPUtime=241.51 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13018 13018 12810 0 -1 1077944320 120414 0 0 0 24109 42 0 0 20 0 15 0 154088456 14320615424 81631 33554432000 4194304 4196468 140729101008448 140729100990992 140624421314295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
/proc/13021/statm: 3496244 81631 3268 1 0 3483478 0
[pid=13021/tid=13023] ppid=13018 vsize=13984976 memory=326016 CPUtime=221.75 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13018 13018 12810 0 -1 4202560 16131 0 0 0 22169 6 0 0 20 0 15 0 154088456 14320615424 81631 33554432000 4194304 4196468 140729101008448 140624425553280 140624030765278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13027] ppid=13018 vsize=13984976 memory=1384 CPUtime=0.42 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13018 13018 12810 0 -1 1077944384 1048 0 0 0 37 5 0 0 20 0 15 0 154088458 14320615424 81631 33554432000 4194304 4196468 140729101008448 140624351402512 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13028] ppid=13018 vsize=13984976 memory=323968 CPUtime=0.42 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13018 13018 12810 0 -1 1077944384 2689 0 0 0 37 5 0 0 20 0 15 0 154088458 14320615424 81631 33554432000 4194304 4196468 140729101008448 140624350349968 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13029] ppid=13018 vsize=13984976 memory=1384 CPUtime=0.42 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13018 13018 12810 0 -1 1077944384 832 0 0 0 37 5 0 0 20 0 15 0 154088458 14320615424 81631 33554432000 4194304 4196468 140729101008448 140624349296912 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13030] ppid=13018 vsize=13984976 memory=326524 CPUtime=0.42 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13018 13018 12810 0 -1 1077944384 956 0 0 0 37 5 0 0 20 0 15 0 154088458 14320615424 81631 33554432000 4194304 4196468 140729101008448 140624348244368 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13031] ppid=13018 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13018 13018 12810 0 -1 1077944384 1608 0 0 0 5 1 0 0 20 0 15 0 154088459 14320615424 81631 33554432000 4194304 4196468 140729101008448 140623895550704 140624421325442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13032] ppid=13018 vsize=13984976 memory=56 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13018 13018 12810 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154088459 14320615424 81631 33554432000 4194304 4196468 140729101008448 140623894496992 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13033] ppid=13018 vsize=13984976 memory=326016 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13018 13018 12810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154088460 14320615424 81631 33554432000 4194304 4196468 140729101008448 140623893443840 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13039] ppid=13018 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14320615424 81631 33554432000 4194304 4196468 140729101008448 140623892392400 140624421332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13040] ppid=13018 vsize=13984976 memory=323968 CPUtime=8.45 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13018 13018 12810 0 -1 1077944384 38737 0 0 0 841 4 0 0 20 0 15 0 154088462 14320615424 81631 33554432000 4194304 4196468 140729101008448 140623891339504 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13042] ppid=13018 vsize=13984976 memory=1384 CPUtime=8.5 cores=1,3,5,7
/proc/13021/task/13042/stat : 13042 (java) S 13018 13018 12810 0 -1 1077944384 45647 0 0 0 846 4 0 0 20 0 15 0 154088462 14320615424 81631 33554432000 4194304 4196468 140729101008448 140623890286960 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13043] ppid=13018 vsize=13984976 memory=326016 CPUtime=0.94 cores=1,3,5,7
/proc/13021/task/13043/stat : 13043 (java) S 13018 13018 12810 0 -1 1077944384 10348 0 0 0 92 2 0 0 20 0 15 0 154088462 14320615424 81631 33554432000 4194304 4196468 140729101008448 140623889233904 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13044] ppid=13018 vsize=13984976 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13044/stat : 13044 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14320615424 81631 33554432000 4194304 4196468 140729101008448 140623888181600 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13049] ppid=13018 vsize=13984976 memory=4144 CPUtime=0.05 cores=1,3,5,7
/proc/13021/task/13049/stat : 13049 (java) S 13018 13018 12810 0 -1 1077944384 1059 0 0 0 2 3 0 0 20 0 15 0 154088462 14320615424 81631 33554432000 4194304 4196468 140729101008448 140623887129648 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
Current children cumulated CPU time: 241.51 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 327908 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.57 1.53 1.51 3/218 13075
/proc/meminfo: memFree=23552084/32770624 swapFree=67108860/67108860
[pid=13018] ppid=13015 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13018/stat : 13018 (xcsp3-exec) S 13015 13018 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154088455 9740288 346 33554432000 4194304 5098028 140732824349376 140732824347480 140117837472380 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37818368 140732824351860 140732824352064 140732824352064 140732824354795 0
/proc/13018/statm: 2378 346 289 221 0 87 0
[pid=13021] ppid=13018 vsize=13984976 memory=329080 CPUtime=259.32 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13018 13018 12810 0 -1 1077944320 120506 0 0 0 25889 43 0 0 20 0 15 0 154088456 14320615424 82270 33554432000 4194304 4196468 140729101008448 140729100990992 140624421314295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
/proc/13021/statm: 3496244 82270 3268 1 0 3483478 0
[pid=13021/tid=13023] ppid=13018 vsize=13984976 memory=6791534058613427641 CPUtime=239.42 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13018 13018 12810 0 -1 4202560 16207 0 0 0 23936 6 0 0 20 0 15 0 154088456 14320615424 82270 33554432000 4194304 4196468 140729101008448 140624425553824 140624035605087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13027] ppid=13018 vsize=13984976 memory=-7003737579269690708 CPUtime=0.45 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13018 13018 12810 0 -1 1077944384 1051 0 0 0 40 5 0 0 20 0 15 0 154088458 14320615424 82270 33554432000 4194304 4196468 140729101008448 140624351402512 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13028] ppid=13018 vsize=13984976 memory=15876 CPUtime=0.45 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13018 13018 12810 0 -1 1077944384 2693 0 0 0 40 5 0 0 20 0 15 0 154088458 14320615424 82270 33554432000 4194304 4196468 140729101008448 140624350349968 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13029] ppid=13018 vsize=13984976 memory=7020100626338703209 CPUtime=0.45 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13018 13018 12810 0 -1 1077944384 837 0 0 0 40 5 0 0 20 0 15 0 154088458 14320615424 82270 33554432000 4194304 4196468 140729101008448 140624349296912 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13030] ppid=13018 vsize=13984976 memory=7020100626338703209 CPUtime=0.45 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13018 13018 12810 0 -1 1077944384 960 0 0 0 40 5 0 0 20 0 15 0 154088458 14320615424 82270 33554432000 4194304 4196468 140729101008448 140624348244368 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13031] ppid=13018 vsize=13984976 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13018 13018 12810 0 -1 1077944384 1608 0 0 0 5 1 0 0 20 0 15 0 154088459 14320615424 82270 33554432000 4194304 4196468 140729101008448 140623895550704 140624421325442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13032] ppid=13018 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13018 13018 12810 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154088459 14320615424 82270 33554432000 4194304 4196468 140729101008448 140623894496992 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13033] ppid=13018 vsize=13984976 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13018 13018 12810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154088460 14320615424 82270 33554432000 4194304 4196468 140729101008448 140623893443840 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13039] ppid=13018 vsize=13984976 memory=2204 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14320615424 82270 33554432000 4194304 4196468 140729101008448 140623892392400 140624421332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13040] ppid=13018 vsize=13984976 memory=7792 CPUtime=8.45 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13018 13018 12810 0 -1 1077944384 38737 0 0 0 841 4 0 0 20 0 15 0 154088462 14320615424 82270 33554432000 4194304 4196468 140729101008448 140623891339504 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13042] ppid=13018 vsize=13984976 memory=844 CPUtime=8.5 cores=1,3,5,7
/proc/13021/task/13042/stat : 13042 (java) S 13018 13018 12810 0 -1 1077944384 45647 0 0 0 846 4 0 0 20 0 15 0 154088462 14320615424 82270 33554432000 4194304 4196468 140729101008448 140623890286960 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13043] ppid=13018 vsize=13984976 memory=4108 CPUtime=0.94 cores=1,3,5,7
/proc/13021/task/13043/stat : 13043 (java) S 13018 13018 12810 0 -1 1077944384 10348 0 0 0 92 2 0 0 20 0 15 0 154088462 14320615424 82270 33554432000 4194304 4196468 140729101008448 140623889233904 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13044] ppid=13018 vsize=13984976 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13044/stat : 13044 (java) S 13018 13018 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154088462 14320615424 82270 33554432000 4194304 4196468 140729101008448 140623888181600 140624421324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
[pid=13021/tid=13049] ppid=13018 vsize=13984976 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/13021/task/13049/stat : 13049 (java) S 13018 13018 12810 0 -1 1077944384 1059 0 0 0 2 3 0 0 20 0 15 0 154088462 14320615424 82270 33554432000 4194304 4196468 140729101008448 140623887129648 140624421325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39608320 140729101014173 140729101014348 140729101014348 140729101017039 0
Current children cumulated CPU time: 259.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 330464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 13018 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000944 s, system=0.000944 s
[startup+240.02 s]
# the end of solver process 13021 was just reported to runsolver
# cumulated CPU time of all completed processes: user=258.903 s, system=0.436248 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.02
CPU time (s): 259.339
CPU user time (s): 258.903
CPU system time (s): 0.436248
CPU usage (%): 108.049
Max. virtual memory (cumulated for all children) (KiB): 13998776
Max. memory (cumulated for all children) (KiB): 330980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.903
system time used= 0.436248
maximum resident set size= 329680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121185
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10405
involuntary context switches= 338
# summary of solver processes directly reported to runsolver:
# pid: 13018,13021
# total CPU time (s): 259.339
# total CPU user time (s): 258.903
# total CPU system time (s): 0.436248
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31671 second user time and 2.35116 second system time
The end