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 (12450 MiB free)
memory of node 1: 16384 MiB (13949 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284609-1503210526/watcher-4284609-1503210526 -o /tmp/evaluation-result-4284609-1503210526/solver-4284609-1503210526 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503208459-25962 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1556343213 HOME/instance-4284609-1503210526.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26847, runsolver pid=26844
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 2.33 1.86 1.34 5/217 26863
/proc/meminfo: memFree=27007548/32770624 swapFree=67108860/67108860
[pid=26847] ppid=26844 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26847/stat : 26847 (xcsp3-exec) S 26844 26847 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154140237 9740288 346 33554432000 4194304 5098028 140737196037568 140737196035672 139747191337596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35647488 140737196045428 140737196045632 140737196045632 140737196048363 0
/proc/26847/statm: 2378 346 289 221 0 87 0
[pid=26849] ppid=26847 vsize=13978596 memory=30076 CPUtime=0.12 cores=1,3,5,7
/proc/26849/stat : 26849 (java) S 26847 26847 25930 0 -1 1077944320 5332 0 0 0 11 1 0 0 20 0 15 0 154140237 14314082304 7519 33554432000 4194304 4196468 140729922455104 140729922437648 140021969542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
/proc/26849/statm: 3494649 7519 2899 1 0 3482966 0
[pid=26849/tid=26850] ppid=26847 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/26849/task/26850/stat : 26850 (java) R 26847 26847 25930 0 -1 4202560 3327 0 0 0 8 1 0 0 20 0 15 0 154140237 14314082304 7585 33554432000 4194304 4196468 140729922455104 140021973774816 140021969554838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26851] ppid=26847 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26851/stat : 26851 (java) S 26847 26847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140238 14314082304 7585 33554432000 4194304 4196468 140729922455104 140021565234192 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26852] ppid=26847 vsize=13978596 memory=140493372024448 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26852/stat : 26852 (java) S 26847 26847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140238 14314082304 7585 33554432000 4194304 4196468 140729922455104 140021564181648 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26853] ppid=26847 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26853/stat : 26853 (java) S 26847 26847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140238 14314082304 7585 33554432000 4194304 4196468 140729922455104 140021563128592 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26854] ppid=26847 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26854/stat : 26854 (java) S 26847 26847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140238 14314082304 7585 33554432000 4194304 4196468 140729922455104 140021562076048 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26855] ppid=26847 vsize=13978596 memory=140493372024448 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26855/stat : 26855 (java) S 26847 26847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140239 14314082304 7585 33554432000 4194304 4196468 140729922455104 140021510895856 140021969554050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26856] ppid=26847 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26856/stat : 26856 (java) S 26847 26847 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154140240 14314082304 7585 33554432000 4194304 4196468 140729922455104 140021509842080 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26857] ppid=26847 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26857/stat : 26857 (java) S 26847 26847 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154140240 14314082304 7585 33554432000 4194304 4196468 140729922455104 140021508788976 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26858] ppid=26847 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26858/stat : 26858 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140242 14314082304 7585 33554432000 4194304 4196468 140729922455104 140021507737552 140021969561499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26859] ppid=26847 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26859/stat : 26859 (java) S 26847 26847 25930 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 15 0 154140242 14314082304 7585 33554432000 4194304 4196468 140729922455104 140021506685680 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26860] ppid=26847 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26860/stat : 26860 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140242 14314082304 7585 33554432000 4194304 4196468 140729922455104 140021505633136 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26861] ppid=26847 vsize=13978596 memory=140493372024448 CPUtime=0.01 cores=1,3,5,7
/proc/26849/task/26861/stat : 26861 (java) R 26847 26847 25930 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 15 0 154140242 14314082304 7585 33554432000 4194304 4196468 140729922455104 140020874996208 140021949510022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26862] ppid=26847 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26862/stat : 26862 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140243 14314082304 7585 33554432000 4194304 4196468 140729922455104 140020873943904 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26863] ppid=26847 vsize=13978596 memory=140493372024448 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26863/stat : 26863 (java) S 26847 26847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140243 14314082304 7585 33554432000 4194304 4196468 140729922455104 140020872890928 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 31460 KiB
[startup+0.210588 s]*
/proc/loadavg: 2.33 1.86 1.34 7/217 26863
/proc/meminfo: memFree=26986628/32770624 swapFree=67108860/67108860
[pid=26847] ppid=26844 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26847/stat : 26847 (xcsp3-exec) S 26844 26847 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154140237 9740288 346 33554432000 4194304 5098028 140737196037568 140737196035672 139747191337596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35647488 140737196045428 140737196045632 140737196045632 140737196048363 0
/proc/26847/statm: 2378 346 289 221 0 87 0
[pid=26849] ppid=26847 vsize=13982852 memory=42112 CPUtime=0.33 cores=1,3,5,7
/proc/26849/stat : 26849 (java) S 26847 26847 25930 0 -1 1077944320 8161 0 0 0 31 2 0 0 20 0 15 0 154140237 14318440448 10528 33554432000 4194304 4196468 140729922455104 140729922437648 140021969542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
/proc/26849/statm: 3495713 10528 3045 1 0 3482966 0
[pid=26849/tid=26850] ppid=26847 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26849/task/26850/stat : 26850 (java) R 26847 26847 25930 0 -1 4202560 5358 0 0 0 18 2 0 0 20 0 15 0 154140237 14318440448 10528 33554432000 4194304 4196468 140729922455104 140021973753808 140021962222125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26851] ppid=26847 vsize=13982884 memory=13599 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26851/stat : 26851 (java) S 26847 26847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140238 14318473216 10528 33554432000 4194304 4196468 140729922455104 140021565234192 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26852] ppid=26847 vsize=13982884 memory=3546225150608041632 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26852/stat : 26852 (java) S 26847 26847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140238 14318473216 10528 33554432000 4194304 4196468 140729922455104 140021564181648 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26853] ppid=26847 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26853/stat : 26853 (java) S 26847 26847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140238 14318440448 10528 33554432000 4194304 4196468 140729922455104 140021563128592 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26854] ppid=26847 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26854/stat : 26854 (java) S 26847 26847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140238 14318440448 10528 33554432000 4194304 4196468 140729922455104 140021562076048 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26855] ppid=26847 vsize=13982852 memory=140493372024448 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26855/stat : 26855 (java) S 26847 26847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140239 14318440448 10528 33554432000 4194304 4196468 140729922455104 140021510895856 140021969554050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26856] ppid=26847 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26856/stat : 26856 (java) S 26847 26847 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154140240 14318440448 10528 33554432000 4194304 4196468 140729922455104 140021509842080 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26857] ppid=26847 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26857/stat : 26857 (java) S 26847 26847 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154140240 14318440448 10528 33554432000 4194304 4196468 140729922455104 140021508788976 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26858] ppid=26847 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26858/stat : 26858 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140242 14318440448 10528 33554432000 4194304 4196468 140729922455104 140021507737552 140021969561499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26859] ppid=26847 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26849/task/26859/stat : 26859 (java) S 26847 26847 25930 0 -1 1077944384 639 0 0 0 3 0 0 0 20 0 15 0 154140242 14318440448 10528 33554432000 4194304 4196468 140729922455104 140021506685680 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26860] ppid=26847 vsize=13982884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26849/task/26860/stat : 26860 (java) S 26847 26847 25930 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 154140242 14318473216 10528 33554432000 4194304 4196468 140729922455104 140021505633136 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26861] ppid=26847 vsize=13982884 memory=140493372024448 CPUtime=0.08 cores=1,3,5,7
/proc/26849/task/26861/stat : 26861 (java) S 26847 26847 25930 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 154140242 14318473216 10528 33554432000 4194304 4196468 140729922455104 140020874996208 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26862] ppid=26847 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26862/stat : 26862 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140243 14318440448 10528 33554432000 4194304 4196468 140729922455104 140020873943904 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26863] ppid=26847 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26863/stat : 26863 (java) S 26847 26847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140243 14318440448 10528 33554432000 4194304 4196468 140729922455104 140020872890928 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 43496 KiB
[startup+0.310635 s]*
/proc/loadavg: 2.33 1.86 1.34 6/217 26863
/proc/meminfo: memFree=26973476/32770624 swapFree=67108860/67108860
[pid=26847] ppid=26844 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26847/stat : 26847 (xcsp3-exec) S 26844 26847 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154140237 9740288 346 33554432000 4194304 5098028 140737196037568 140737196035672 139747191337596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35647488 140737196045428 140737196045632 140737196045632 140737196048363 0
/proc/26847/statm: 2378 346 289 221 0 87 0
[pid=26849] ppid=26847 vsize=13982852 memory=49760 CPUtime=0.51 cores=1,3,5,7
/proc/26849/stat : 26849 (java) S 26847 26847 25930 0 -1 1077944320 9071 0 0 0 48 3 0 0 20 0 15 0 154140237 14318440448 12440 33554432000 4194304 4196468 140729922455104 140729922437648 140021969542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
/proc/26849/statm: 3495713 12440 3087 1 0 3482966 0
[pid=26849/tid=26850] ppid=26847 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26849/task/26850/stat : 26850 (java) R 26847 26847 25930 0 -1 4202560 5977 0 0 0 27 2 0 0 20 0 15 0 154140237 14318440448 12440 33554432000 4194304 4196468 140729922455104 140021973772224 140021953623390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26851] ppid=26847 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26851/stat : 26851 (java) S 26847 26847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140238 14318440448 12440 33554432000 4194304 4196468 140729922455104 140021565234192 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26852] ppid=26847 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26852/stat : 26852 (java) S 26847 26847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140238 14318440448 12440 33554432000 4194304 4196468 140729922455104 140021564181648 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26853] ppid=26847 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26853/stat : 26853 (java) S 26847 26847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140238 14318440448 12440 33554432000 4194304 4196468 140729922455104 140021563128592 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26854] ppid=26847 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26854/stat : 26854 (java) S 26847 26847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140238 14318440448 12440 33554432000 4194304 4196468 140729922455104 140021562076048 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26855] ppid=26847 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26855/stat : 26855 (java) S 26847 26847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140239 14318440448 12440 33554432000 4194304 4196468 140729922455104 140021510895856 140021969554050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26856] ppid=26847 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26856/stat : 26856 (java) S 26847 26847 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154140240 14318440448 12440 33554432000 4194304 4196468 140729922455104 140021509842080 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26857] ppid=26847 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26857/stat : 26857 (java) S 26847 26847 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154140240 14318440448 12440 33554432000 4194304 4196468 140729922455104 140021508788976 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26858] ppid=26847 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26858/stat : 26858 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140242 14318440448 12440 33554432000 4194304 4196468 140729922455104 140021507737552 140021969561499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26859] ppid=26847 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/26849/task/26859/stat : 26859 (java) S 26847 26847 25930 0 -1 1077944384 642 0 0 0 3 0 0 0 20 0 15 0 154140242 14318440448 12440 33554432000 4194304 4196468 140729922455104 140021506685680 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26860] ppid=26847 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26849/task/26860/stat : 26860 (java) S 26847 26847 25930 0 -1 1077944384 220 0 0 0 3 0 0 0 20 0 15 0 154140242 14318440448 12440 33554432000 4194304 4196468 140729922455104 140021505633136 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26861] ppid=26847 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26849/task/26861/stat : 26861 (java) S 26847 26847 25930 0 -1 1077944384 933 0 0 0 13 0 0 0 20 0 15 0 154140242 14318440448 12440 33554432000 4194304 4196468 140729922455104 140020874996208 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26862] ppid=26847 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26862/stat : 26862 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140243 14318440448 12440 33554432000 4194304 4196468 140729922455104 140020873943904 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26863] ppid=26847 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26863/stat : 26863 (java) S 26847 26847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140243 14318440448 12440 33554432000 4194304 4196468 140729922455104 140020872890928 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 51144 KiB
[startup+0.700841 s]
/proc/loadavg: 2.33 1.86 1.34 8/217 26863
/proc/meminfo: memFree=26947304/32770624 swapFree=67108860/67108860
[pid=26847] ppid=26844 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26847/stat : 26847 (xcsp3-exec) S 26844 26847 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154140237 9740288 346 33554432000 4194304 5098028 140737196037568 140737196035672 139747191337596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35647488 140737196045428 140737196045632 140737196045632 140737196048363 0
/proc/26847/statm: 2378 346 289 221 0 87 0
[pid=26849] ppid=26847 vsize=13984976 memory=77092 CPUtime=1.54 cores=1,3,5,7
/proc/26849/stat : 26849 (java) S 26847 26847 25930 0 -1 1077944320 13028 0 0 0 149 5 0 0 20 0 15 0 154140237 14320615424 19273 33554432000 4194304 4196468 140729922455104 140729922437648 140021969542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
/proc/26849/statm: 3496244 19273 3219 1 0 3483478 0
[pid=26849/tid=26850] ppid=26847 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26849/task/26850/stat : 26850 (java) R 26847 26847 25930 0 -1 4202560 6927 0 0 0 64 3 0 0 20 0 15 0 154140237 14320615424 19273 33554432000 4194304 4196468 140729922455104 140021973779472 140021591402861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26851] ppid=26847 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26851/stat : 26851 (java) S 26847 26847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140238 14320615424 19273 33554432000 4194304 4196468 140729922455104 140021565234192 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26852] ppid=26847 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26852/stat : 26852 (java) S 26847 26847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140238 14320615424 19273 33554432000 4194304 4196468 140729922455104 140021564181648 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26853] ppid=26847 vsize=13984976 memory=42804 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26853/stat : 26853 (java) S 26847 26847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140238 14320615424 19273 33554432000 4194304 4196468 140729922455104 140021563128592 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26854] ppid=26847 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26854/stat : 26854 (java) S 26847 26847 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140238 14320615424 19273 33554432000 4194304 4196468 140729922455104 140021562076048 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26855] ppid=26847 vsize=13984976 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26855/stat : 26855 (java) S 26847 26847 25930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154140239 14320615424 19273 33554432000 4194304 4196468 140729922455104 140021510895856 140021969554050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26856] ppid=26847 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26856/stat : 26856 (java) S 26847 26847 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154140240 14320615424 19273 33554432000 4194304 4196468 140729922455104 140021509842080 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26857] ppid=26847 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26857/stat : 26857 (java) S 26847 26847 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154140240 14320615424 19273 33554432000 4194304 4196468 140729922455104 140021508788976 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26858] ppid=26847 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26858/stat : 26858 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140242 14320615424 19273 33554432000 4194304 4196468 140729922455104 140021507737552 140021969561499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26859] ppid=26847 vsize=13984976 memory=1956 CPUtime=0.23 cores=1,3,5,7
/proc/26849/task/26859/stat : 26859 (java) R 26847 26847 25930 0 -1 4202560 1504 0 0 0 23 0 0 0 20 0 15 0 154140242 14320615424 19273 33554432000 4194304 4196468 140729922455104 140021506670152 140021962648605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26860] ppid=26847 vsize=13984976 memory=8608 CPUtime=0.22 cores=1,3,5,7
/proc/26849/task/26860/stat : 26860 (java) R 26847 26847 25930 0 -1 4202560 995 0 0 0 22 0 0 0 20 0 15 0 154140242 14320615424 19273 33554432000 4194304 4196468 140729922455104 140021505619064 140021961832241 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26861] ppid=26847 vsize=13984976 memory=1228 CPUtime=0.39 cores=1,3,5,7
/proc/26849/task/26861/stat : 26861 (java) R 26847 26847 25930 0 -1 4202560 2315 0 0 0 39 0 0 0 20 0 15 0 154140242 14320615424 19273 33554432000 4194304 4196468 140729922455104 140020874993144 140021953790313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26862] ppid=26847 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26862/stat : 26862 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140243 14320615424 19273 33554432000 4194304 4196468 140729922455104 140020873943904 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26863] ppid=26847 vsize=13984976 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26863/stat : 26863 (java) S 26847 26847 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140243 14320615424 19273 33554432000 4194304 4196468 140729922455104 140020872890928 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 78476 KiB
[startup+1.50089 s]
/proc/loadavg: 2.71 1.94 1.37 7/217 26863
/proc/meminfo: memFree=26873136/32770624 swapFree=67108860/67108860
[pid=26847] ppid=26844 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26847/stat : 26847 (xcsp3-exec) S 26844 26847 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154140237 9740288 346 33554432000 4194304 5098028 140737196037568 140737196035672 139747191337596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35647488 140737196045428 140737196045632 140737196045632 140737196048363 0
/proc/26847/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/26849/task/26857/stat : 26857 (java) S 26847 26847 25930 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 154140240 14320615424 71128 33554432000 4194304 4196468 140729922455104 140021508788992 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26858] ppid=26847 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26858/stat : 26858 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140242 14320615424 71128 33554432000 4194304 4196468 140729922455104 140021507737552 140021969561499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26859] ppid=26847 vsize=13984976 memory=42804 CPUtime=8.27 cores=1,3,5,7
/proc/26849/task/26859/stat : 26859 (java) S 26847 26847 25930 0 -1 1077944384 43979 0 0 0 823 4 0 0 20 0 15 0 154140242 14320615424 71128 33554432000 4194304 4196468 140729922455104 140021506685680 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26860] ppid=26847 vsize=13984976 memory=140493212490945 CPUtime=8.13 cores=1,3,5,7
/proc/26849/task/26860/stat : 26860 (java) S 26847 26847 25930 0 -1 1077944384 38519 0 0 0 808 5 0 0 20 0 15 0 154140242 14320615424 71128 33554432000 4194304 4196468 140729922455104 140021505633136 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26861] ppid=26847 vsize=13984976 memory=288289965417451198 CPUtime=0.94 cores=1,3,5,7
/proc/26849/task/26861/stat : 26861 (java) S 26847 26847 25930 0 -1 1077944384 10662 0 0 0 92 2 0 0 20 0 15 0 154140242 14320615424 71128 33554432000 4194304 4196468 140729922455104 140020874996208 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26862] ppid=26847 vsize=13984976 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26862/stat : 26862 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140243 14320615424 71128 33554432000 4194304 4196468 140729922455104 140020873943904 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26863] ppid=26847 vsize=13984976 memory=956 CPUtime=0.03 cores=1,3,5,7
/proc/26849/task/26863/stat : 26863 (java) S 26847 26847 25930 0 -1 1077944384 1453 0 0 0 2 1 0 0 20 0 15 0 154140243 14320615424 71128 33554432000 4194304 4196468 140729922455104 140020872890928 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
Current children cumulated CPU time: 120.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 285896 KiB
[startup+162.301 s]
/proc/loadavg: 1.49 1.81 1.41 3/217 26865
/proc/meminfo: memFree=26403808/32770624 swapFree=67108860/67108860
[pid=26847] ppid=26844 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26847/stat : 26847 (xcsp3-exec) S 26844 26847 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154140237 9740288 346 33554432000 4194304 5098028 140737196037568 140737196035672 139747191337596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35647488 140737196045428 140737196045632 140737196045632 140737196048363 0
/proc/26847/statm: 2378 346 289 221 0 87 0
[pid=26849] ppid=26847 vsize=13984976 memory=337352 CPUtime=181.4 cores=1,3,5,7
/proc/26849/stat : 26849 (java) S 26847 26847 25930 0 -1 1077944320 123668 0 0 0 18099 41 0 0 20 0 15 0 154140237 14320615424 84338 33554432000 4194304 4196468 140729922455104 140729922437648 140021969542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
/proc/26849/statm: 3496244 84338 3274 1 0 3483478 0
[pid=26849/tid=26850] ppid=26847 vsize=13984976 memory=334240 CPUtime=161.6 cores=1,3,5,7
/proc/26849/task/26850/stat : 26850 (java) R 26847 26847 25930 0 -1 4202560 15912 0 0 0 16154 6 0 0 20 0 15 0 154140237 14320615424 84338 33554432000 4194304 4196468 140729922455104 140021973782384 140021599800100 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26851] ppid=26847 vsize=13984976 memory=334240 CPUtime=0.54 cores=1,3,5,7
/proc/26849/task/26851/stat : 26851 (java) S 26847 26847 25930 0 -1 1077944384 1898 0 0 0 50 4 0 0 20 0 15 0 154140238 14320615424 84338 33554432000 4194304 4196468 140729922455104 140021565234192 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26852] ppid=26847 vsize=13984976 memory=335816 CPUtime=0.54 cores=1,3,5,7
/proc/26849/task/26852/stat : 26852 (java) S 26847 26847 25930 0 -1 1077944384 1184 0 0 0 50 4 0 0 20 0 15 0 154140238 14320615424 84338 33554432000 4194304 4196468 140729922455104 140021564181648 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26853] ppid=26847 vsize=13984976 memory=1384 CPUtime=0.54 cores=1,3,5,7
/proc/26849/task/26853/stat : 26853 (java) S 26847 26847 25930 0 -1 1077944384 1192 0 0 0 50 4 0 0 20 0 15 0 154140238 14320615424 84338 33554432000 4194304 4196468 140729922455104 140021563128592 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26854] ppid=26847 vsize=13984976 memory=1384 CPUtime=0.53 cores=1,3,5,7
/proc/26849/task/26854/stat : 26854 (java) S 26847 26847 25930 0 -1 1077944384 1560 0 0 0 50 3 0 0 20 0 15 0 154140238 14320615424 84338 33554432000 4194304 4196468 140729922455104 140021562076048 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26855] ppid=26847 vsize=13984976 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/26849/task/26855/stat : 26855 (java) S 26847 26847 25930 0 -1 1077944384 1561 0 0 0 6 1 0 0 20 0 15 0 154140239 14320615424 84338 33554432000 4194304 4196468 140729922455104 140021510895856 140021969554050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26856] ppid=26847 vsize=13984976 memory=330660 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26856/stat : 26856 (java) S 26847 26847 25930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154140240 14320615424 84338 33554432000 4194304 4196468 140729922455104 140021509842144 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26857] ppid=26847 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26857/stat : 26857 (java) S 26847 26847 25930 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 154140240 14320615424 84338 33554432000 4194304 4196468 140729922455104 140021508788992 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26858] ppid=26847 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26858/stat : 26858 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140242 14320615424 84338 33554432000 4194304 4196468 140729922455104 140021507737552 140021969561499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26859] ppid=26847 vsize=13984976 memory=1384 CPUtime=8.31 cores=1,3,5,7
/proc/26849/task/26859/stat : 26859 (java) S 26847 26847 25930 0 -1 1077944384 45652 0 0 0 827 4 0 0 20 0 15 0 154140242 14320615424 84338 33554432000 4194304 4196468 140729922455104 140021506685680 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26860] ppid=26847 vsize=13984976 memory=1384 CPUtime=8.16 cores=1,3,5,7
/proc/26849/task/26860/stat : 26860 (java) S 26847 26847 25930 0 -1 1077944384 39678 0 0 0 811 5 0 0 20 0 15 0 154140242 14320615424 84338 33554432000 4194304 4196468 140729922455104 140021505633136 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26861] ppid=26847 vsize=13984976 memory=335816 CPUtime=0.96 cores=1,3,5,7
/proc/26849/task/26861/stat : 26861 (java) S 26847 26847 25930 0 -1 1077944384 12187 0 0 0 93 3 0 0 20 0 15 0 154140242 14320615424 84338 33554432000 4194304 4196468 140729922455104 140020874996208 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26862] ppid=26847 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26862/stat : 26862 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140243 14320615424 84338 33554432000 4194304 4196468 140729922455104 140020873943904 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26863] ppid=26847 vsize=13984976 memory=42804 CPUtime=0.05 cores=1,3,5,7
/proc/26849/task/26863/stat : 26863 (java) S 26847 26847 25930 0 -1 1077944384 1491 0 0 0 3 2 0 0 20 0 15 0 154140243 14320615424 84338 33554432000 4194304 4196468 140729922455104 140020872890928 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
Current children cumulated CPU time: 181.4 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 338736 KiB
[startup+222.301 s]
/proc/loadavg: 1.35 1.72 1.40 3/217 26866
/proc/meminfo: memFree=26286064/32770624 swapFree=67108860/67108860
[pid=26847] ppid=26844 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26847/stat : 26847 (xcsp3-exec) S 26844 26847 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154140237 9740288 346 33554432000 4194304 5098028 140737196037568 140737196035672 139747191337596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35647488 140737196045428 140737196045632 140737196045632 140737196048363 0
/proc/26847/statm: 2378 346 289 221 0 87 0
[pid=26849] ppid=26847 vsize=13984976 memory=444500 CPUtime=242.63 cores=1,3,5,7
/proc/26849/stat : 26849 (java) S 26847 26847 25930 0 -1 1077944320 127020 0 0 0 24205 58 0 0 20 0 15 0 154140237 14320615424 111125 33554432000 4194304 4196468 140729922455104 140729922437648 140021969542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
/proc/26849/statm: 3496244 111125 3274 1 0 3483478 0
[pid=26849/tid=26850] ppid=26847 vsize=13984976 memory=440404 CPUtime=221.18 cores=1,3,5,7
/proc/26849/task/26850/stat : 26850 (java) R 26847 26847 25930 0 -1 4202560 16416 0 0 0 22112 6 0 0 20 0 15 0 154140237 14320615424 111125 33554432000 4194304 4196468 140729922455104 140021973782560 140021597756762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26851] ppid=26847 vsize=13984976 memory=430092 CPUtime=0.91 cores=1,3,5,7
/proc/26849/task/26851/stat : 26851 (java) S 26847 26847 25930 0 -1 1077944384 2073 0 0 0 83 8 0 0 20 0 15 0 154140238 14320615424 111125 33554432000 4194304 4196468 140729922455104 140021565234192 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26852] ppid=26847 vsize=13984976 memory=438356 CPUtime=0.9 cores=1,3,5,7
/proc/26849/task/26852/stat : 26852 (java) S 26847 26847 25930 0 -1 1077944384 1348 0 0 0 82 8 0 0 20 0 15 0 154140238 14320615424 111125 33554432000 4194304 4196468 140729922455104 140021564181648 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26853] ppid=26847 vsize=13984976 memory=438356 CPUtime=0.91 cores=1,3,5,7
/proc/26849/task/26853/stat : 26853 (java) S 26847 26847 25930 0 -1 1077944384 1306 0 0 0 83 8 0 0 20 0 15 0 154140238 14320615424 111125 33554432000 4194304 4196468 140729922455104 140021563128592 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26854] ppid=26847 vsize=13984976 memory=1384 CPUtime=0.9 cores=1,3,5,7
/proc/26849/task/26854/stat : 26854 (java) S 26847 26847 25930 0 -1 1077944384 1947 0 0 0 83 7 0 0 20 0 15 0 154140238 14320615424 111125 33554432000 4194304 4196468 140729922455104 140021562076048 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26855] ppid=26847 vsize=13984976 memory=444500 CPUtime=0.1 cores=1,3,5,7
/proc/26849/task/26855/stat : 26855 (java) S 26847 26847 25930 0 -1 1077944384 1603 0 0 0 9 1 0 0 20 0 15 0 154140239 14320615424 111125 33554432000 4194304 4196468 140729922455104 140021510895856 140021969554050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26856] ppid=26847 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26856/stat : 26856 (java) S 26847 26847 25930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154140240 14320615424 111125 33554432000 4194304 4196468 140729922455104 140021509842144 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26857] ppid=26847 vsize=13984976 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26857/stat : 26857 (java) S 26847 26847 25930 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 154140240 14320615424 111125 33554432000 4194304 4196468 140729922455104 140021508788992 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26858] ppid=26847 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26858/stat : 26858 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140242 14320615424 111125 33554432000 4194304 4196468 140729922455104 140021507737552 140021969561499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26859] ppid=26847 vsize=13984976 memory=442452 CPUtime=8.39 cores=1,3,5,7
/proc/26849/task/26859/stat : 26859 (java) S 26847 26847 25930 0 -1 1077944384 46317 0 0 0 835 4 0 0 20 0 15 0 154140242 14320615424 111125 33554432000 4194304 4196468 140729922455104 140021506685680 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26860] ppid=26847 vsize=13984976 memory=1384 CPUtime=8.2 cores=1,3,5,7
/proc/26849/task/26860/stat : 26860 (java) S 26847 26847 25930 0 -1 1077944384 40589 0 0 0 815 5 0 0 20 0 15 0 154140242 14320615424 111125 33554432000 4194304 4196468 140729922455104 140021505633136 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26861] ppid=26847 vsize=13984976 memory=4140 CPUtime=0.97 cores=1,3,5,7
/proc/26849/task/26861/stat : 26861 (java) S 26847 26847 25930 0 -1 1077944384 12565 0 0 0 94 3 0 0 20 0 15 0 154140242 14320615424 111125 33554432000 4194304 4196468 140729922455104 140020874996208 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26862] ppid=26847 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26862/stat : 26862 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140243 14320615424 111125 33554432000 4194304 4196468 140729922455104 140020873943904 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26863] ppid=26847 vsize=13984976 memory=42804 CPUtime=0.08 cores=1,3,5,7
/proc/26849/task/26863/stat : 26863 (java) S 26847 26847 25930 0 -1 1077944384 1503 0 0 0 4 4 0 0 20 0 15 0 154140243 14320615424 111125 33554432000 4194304 4196468 140729922455104 140020872890928 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
Current children cumulated CPU time: 242.63 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 445884 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.34 1.70 1.40 2/199 26897
/proc/meminfo: memFree=26599172/32770624 swapFree=67108860/67108860
[pid=26847] ppid=26844 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26847/stat : 26847 (xcsp3-exec) S 26844 26847 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154140237 9740288 346 33554432000 4194304 5098028 140737196037568 140737196035672 139747191337596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35647488 140737196045428 140737196045632 140737196045632 140737196048363 0
/proc/26847/statm: 2378 346 289 221 0 87 0
[pid=26849] ppid=26847 vsize=13984976 memory=478336 CPUtime=260.66 cores=1,3,5,7
/proc/26849/stat : 26849 (java) S 26847 26847 25930 0 -1 1077944320 127195 0 0 0 26003 63 0 0 20 0 15 0 154140237 14320615424 119584 33554432000 4194304 4196468 140729922455104 140729922437648 140021969542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
/proc/26849/statm: 3496244 119584 3274 1 0 3483478 0
[pid=26849/tid=26850] ppid=26847 vsize=13984976 memory=1236 CPUtime=238.76 cores=1,3,5,7
/proc/26849/task/26850/stat : 26850 (java) R 26847 26847 25930 0 -1 4202560 16444 0 0 0 23870 6 0 0 20 0 15 0 154140237 14320615424 119584 33554432000 4194304 4196468 140729922455104 140021973782384 140021599365948 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26851] ppid=26847 vsize=13984976 memory=640 CPUtime=1.02 cores=1,3,5,7
/proc/26849/task/26851/stat : 26851 (java) S 26847 26847 25930 0 -1 1077944384 2105 0 0 0 93 9 0 0 20 0 15 0 154140238 14320615424 119584 33554432000 4194304 4196468 140729922455104 140021565234192 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26852] ppid=26847 vsize=13984976 memory=956 CPUtime=1.01 cores=1,3,5,7
/proc/26849/task/26852/stat : 26852 (java) S 26847 26847 25930 0 -1 1077944384 1374 0 0 0 91 10 0 0 20 0 15 0 154140238 14320615424 119584 33554432000 4194304 4196468 140729922455104 140021564181648 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26853] ppid=26847 vsize=13984976 memory=4872558044660077418 CPUtime=1.01 cores=1,3,5,7
/proc/26849/task/26853/stat : 26853 (java) S 26847 26847 25930 0 -1 1077944384 1333 0 0 0 92 9 0 0 20 0 15 0 154140238 14320615424 119584 33554432000 4194304 4196468 140729922455104 140021563128592 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26854] ppid=26847 vsize=13984976 memory=4104 CPUtime=1 cores=1,3,5,7
/proc/26849/task/26854/stat : 26854 (java) S 26847 26847 25930 0 -1 1077944384 1988 0 0 0 92 8 0 0 20 0 15 0 154140238 14320615424 119584 33554432000 4194304 4196468 140729922455104 140021562076048 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26855] ppid=26847 vsize=13984976 memory=1692 CPUtime=0.11 cores=1,3,5,7
/proc/26849/task/26855/stat : 26855 (java) S 26847 26847 25930 0 -1 1077944384 1624 0 0 0 10 1 0 0 20 0 15 0 154140239 14320615424 119584 33554432000 4194304 4196468 140729922455104 140021510895856 140021969554050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26856] ppid=26847 vsize=13984976 memory=916 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26856/stat : 26856 (java) S 26847 26847 25930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154140240 14320615424 119584 33554432000 4194304 4196468 140729922455104 140021509842144 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26857] ppid=26847 vsize=13984976 memory=3832 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26857/stat : 26857 (java) S 26847 26847 25930 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 154140240 14320615424 119584 33554432000 4194304 4196468 140729922455104 140021508788992 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26858] ppid=26847 vsize=13984976 memory=2548 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26858/stat : 26858 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140242 14320615424 119584 33554432000 4194304 4196468 140729922455104 140021507737552 140021969561499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26859] ppid=26847 vsize=13984976 memory=6791534058613427641 CPUtime=8.39 cores=1,3,5,7
/proc/26849/task/26859/stat : 26859 (java) S 26847 26847 25930 0 -1 1077944384 46317 0 0 0 835 4 0 0 20 0 15 0 154140242 14320615424 119584 33554432000 4194304 4196468 140729922455104 140021506685680 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26860] ppid=26847 vsize=13984976 memory=1728 CPUtime=8.2 cores=1,3,5,7
/proc/26849/task/26860/stat : 26860 (java) S 26847 26847 25930 0 -1 1077944384 40589 0 0 0 815 5 0 0 20 0 15 0 154140242 14320615424 119584 33554432000 4194304 4196468 140729922455104 140021505633136 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26861] ppid=26847 vsize=13984976 memory=796 CPUtime=0.97 cores=1,3,5,7
/proc/26849/task/26861/stat : 26861 (java) S 26847 26847 25930 0 -1 1077944384 12565 0 0 0 94 3 0 0 20 0 15 0 154140242 14320615424 119584 33554432000 4194304 4196468 140729922455104 140020874996208 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26862] ppid=26847 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/26849/task/26862/stat : 26862 (java) S 26847 26847 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140243 14320615424 119584 33554432000 4194304 4196468 140729922455104 140020873943904 140021969553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
[pid=26849/tid=26863] ppid=26847 vsize=13984976 memory=1956 CPUtime=0.08 cores=1,3,5,7
/proc/26849/task/26863/stat : 26863 (java) S 26847 26847 25930 0 -1 1077944384 1503 0 0 0 4 4 0 0 20 0 15 0 154140243 14320615424 119584 33554432000 4194304 4196468 140729922455104 140020872890928 140021969554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140729922462877 140729922463052 140729922463052 140729922465743 0
Current children cumulated CPU time: 260.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 479720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 26847 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001828 s, system=0 s
[startup+240.027 s]
# the end of solver process 26849 was just reported to runsolver
# cumulated CPU time of all completed processes: user=260.045 s, system=0.647481 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.027
CPU time (s): 260.693
CPU user time (s): 260.045
CPU system time (s): 0.647481
CPU usage (%): 108.61
Max. virtual memory (cumulated for all children) (KiB): 13998044
Max. memory (cumulated for all children) (KiB): 479720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 260.045
system time used= 0.647481
maximum resident set size= 478896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127991
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11458
involuntary context switches= 463
# summary of solver processes directly reported to runsolver:
# pid: 26847,26849
# total CPU time (s): 260.693
# total CPU user time (s): 260.045
# total CPU system time (s): 0.647481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51465 second user time and 2.3422 second system time
The end