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 (12980 MiB free)
memory of node 1: 16384 MiB (12908 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283005-1503209561/watcher-4283005-1503209561 -o /tmp/evaluation-result-4283005-1503209561/solver-4283005-1503209561 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503208459-21035 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1124414405 HOME/instance-4283005-1503209561.xml
running on 4 cores: 0,2,4,6
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=21241, runsolver pid=21234
Current StackSize limit: 8192 KiB
[startup+0.100174 s]*
/proc/loadavg: 2.20 1.15 0.68 3/217 21258
/proc/meminfo: memFree=26480024/32770624 swapFree=67108860/67108860
[pid=21241] ppid=21234 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21241/stat : 21241 (xcsp3-exec) S 21234 21241 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154044029 9740288 346 33554432000 4194304 5098028 140724512368336 140724512366440 139656043147900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17592320 140724512375924 140724512376128 140724512376128 140724512378859 0
/proc/21241/statm: 2378 346 289 221 0 87 0
[pid=21244] ppid=21241 vsize=13978596 memory=28084 CPUtime=0.12 cores=0,2,4,6
/proc/21244/stat : 21244 (java) S 21241 21241 21004 0 -1 1077944320 5317 0 0 0 11 1 0 0 20 0 15 0 154044030 14314082304 7021 33554432000 4194304 4196468 140721802319920 140721802302464 139948237680375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
/proc/21244/statm: 3494649 7021 2897 1 0 3482966 0
[pid=21244/tid=21245] ppid=21241 vsize=13978596 memory=8514701219881125282 CPUtime=0.08 cores=0,2,4,6
/proc/21244/task/21245/stat : 21245 (java) R 21241 21241 21004 0 -1 4202560 3320 0 0 0 8 0 0 0 20 0 15 0 154044030 14314082304 7021 33554432000 4194304 4196468 140721802319920 139948241913728 139948237692310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21246] ppid=21241 vsize=13978596 memory=3472467820229043408 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21246/stat : 21246 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14314082304 7021 33554432000 4194304 4196468 140721802319920 139948167768720 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21247] ppid=21241 vsize=13978596 memory=139691333891712 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21247/stat : 21247 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14314082304 7021 33554432000 4194304 4196468 140721802319920 139948166715920 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21248] ppid=21241 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21248/stat : 21248 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14314082304 7021 33554432000 4194304 4196468 140721802319920 139948165663120 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21249] ppid=21241 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21249/stat : 21249 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14314082304 7021 33554432000 4194304 4196468 140721802319920 139948164610320 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21250] ppid=21241 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21250/stat : 21250 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044032 14314082304 7021 33554432000 4194304 4196468 140721802319920 139947418536816 139948237691522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21251] ppid=21241 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21251/stat : 21251 (java) S 21241 21241 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154044033 14314082304 7021 33554432000 4194304 4196468 140721802319920 139947417482784 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21252] ppid=21241 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21252/stat : 21252 (java) S 21241 21241 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154044033 14314082304 7021 33554432000 4194304 4196468 140721802319920 139947013039472 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21253] ppid=21241 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21253/stat : 21253 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14314082304 7021 33554432000 4194304 4196468 140721802319920 139947011987792 139948237698971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21254] ppid=21241 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21254/stat : 21254 (java) S 21241 21241 21004 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 154044035 14314082304 7021 33554432000 4194304 4196468 140721802319920 139947010935152 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21255] ppid=21241 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21255/stat : 21255 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044035 14314082304 7021 33554432000 4194304 4196468 140721802319920 139947009882352 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21256] ppid=21241 vsize=13978596 memory=139691333891712 CPUtime=0.01 cores=0,2,4,6
/proc/21244/task/21256/stat : 21256 (java) R 21241 21241 21004 0 -1 4202560 279 0 0 0 1 0 0 0 20 0 15 0 154044035 14314082304 7021 33554432000 4194304 4196468 140721802319920 139947008829552 139948218917936 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21257] ppid=21241 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21257/stat : 21257 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14314082304 7021 33554432000 4194304 4196468 140721802319920 139947007776992 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21258] ppid=21241 vsize=13978596 memory=139691333891712 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21258/stat : 21258 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044036 14314082304 7021 33554432000 4194304 4196468 140721802319920 139947006725296 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29468 KiB
[startup+0.2107 s]*
/proc/loadavg: 2.20 1.15 0.68 4/217 21258
/proc/meminfo: memFree=26461044/32770624 swapFree=67108860/67108860
[pid=21241] ppid=21234 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21241/stat : 21241 (xcsp3-exec) S 21234 21241 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154044029 9740288 346 33554432000 4194304 5098028 140724512368336 140724512366440 139656043147900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17592320 140724512375924 140724512376128 140724512376128 140724512378859 0
/proc/21241/statm: 2378 346 289 221 0 87 0
[pid=21244] ppid=21241 vsize=13982852 memory=40576 CPUtime=0.34 cores=0,2,4,6
/proc/21244/stat : 21244 (java) S 21241 21241 21004 0 -1 1077944320 8171 0 0 0 32 2 0 0 20 0 15 0 154044030 14318440448 10144 33554432000 4194304 4196468 140721802319920 140721802302464 139948237680375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
/proc/21244/statm: 3495713 10144 3061 1 0 3482966 0
[pid=21244/tid=21245] ppid=21241 vsize=13982852 memory=5853961137533323680 CPUtime=0.2 cores=0,2,4,6
/proc/21244/task/21245/stat : 21245 (java) D 21241 21241 21004 0 -1 1077944384 5300 0 0 0 19 1 0 0 20 0 15 0 154044030 14318440448 10144 33554432000 4194304 4196468 140721802319920 139948241891168 139948230359597 0 4 0 16800975 18446744072101617188 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21246] ppid=21241 vsize=13982852 memory=3472467820229043408 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21246/stat : 21246 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14318440448 10144 33554432000 4194304 4196468 140721802319920 139948167768720 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21247] ppid=21241 vsize=13982884 memory=139691333891712 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21247/stat : 21247 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14318473216 10144 33554432000 4194304 4196468 140721802319920 139948166715920 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21248] ppid=21241 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21248/stat : 21248 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14318473216 10144 33554432000 4194304 4196468 140721802319920 139948165663120 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21249] ppid=21241 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21249/stat : 21249 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14318440448 10144 33554432000 4194304 4196468 140721802319920 139948164610320 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21250] ppid=21241 vsize=13982852 memory=139691333891712 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21250/stat : 21250 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044032 14318440448 10144 33554432000 4194304 4196468 140721802319920 139947418536816 139948237691522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21251] ppid=21241 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21251/stat : 21251 (java) S 21241 21241 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154044033 14318440448 10144 33554432000 4194304 4196468 140721802319920 139947417482784 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21252] ppid=21241 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21252/stat : 21252 (java) S 21241 21241 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154044033 14318440448 10144 33554432000 4194304 4196468 140721802319920 139947013039472 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21253] ppid=21241 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21253/stat : 21253 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14318473216 10144 33554432000 4194304 4196468 140721802319920 139947011987792 139948237698971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21254] ppid=21241 vsize=13982884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21244/task/21254/stat : 21254 (java) S 21241 21241 21004 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 15 0 154044035 14318473216 10144 33554432000 4194304 4196468 140721802319920 139947010935152 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21255] ppid=21241 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/21244/task/21255/stat : 21255 (java) S 21241 21241 21004 0 -1 1077944384 315 0 0 0 3 0 0 0 20 0 15 0 154044035 14318440448 10144 33554432000 4194304 4196468 140721802319920 139947009882352 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21256] ppid=21241 vsize=13982852 memory=139691333891712 CPUtime=0.08 cores=0,2,4,6
/proc/21244/task/21256/stat : 21256 (java) S 21241 21241 21004 0 -1 1077944384 802 0 0 0 8 0 0 0 20 0 15 0 154044035 14318440448 10144 33554432000 4194304 4196468 140721802319920 139947008829552 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21257] ppid=21241 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21257/stat : 21257 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14318440448 10144 33554432000 4194304 4196468 140721802319920 139947007776992 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21258] ppid=21241 vsize=13982852 memory=139691333891712 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21258/stat : 21258 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044036 14318440448 10144 33554432000 4194304 4196468 140721802319920 139947006725296 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41960 KiB
[startup+0.316539 s]*
/proc/loadavg: 2.20 1.15 0.68 8/217 21258
/proc/meminfo: memFree=26447412/32770624 swapFree=67108860/67108860
[pid=21241] ppid=21234 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21241/stat : 21241 (xcsp3-exec) S 21234 21241 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154044029 9740288 346 33554432000 4194304 5098028 140724512368336 140724512366440 139656043147900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17592320 140724512375924 140724512376128 140724512376128 140724512378859 0
/proc/21241/statm: 2378 346 289 221 0 87 0
[pid=21244] ppid=21241 vsize=13982852 memory=47164 CPUtime=0.54 cores=0,2,4,6
/proc/21244/stat : 21244 (java) S 21241 21241 21004 0 -1 1077944320 9017 0 0 0 51 3 0 0 20 0 15 0 154044030 14318440448 11791 33554432000 4194304 4196468 140721802319920 140721802302464 139948237680375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
/proc/21244/statm: 3495713 11791 3082 1 0 3482966 0
[pid=21244/tid=21245] ppid=21241 vsize=13982852 memory=-8540663193526752614 CPUtime=0.3 cores=0,2,4,6
/proc/21244/task/21245/stat : 21245 (java) R 21241 21241 21004 0 -1 4202560 5904 0 0 0 28 2 0 0 20 0 15 0 154044030 14318440448 11791 33554432000 4194304 4196468 140721802319920 139948241918384 139948237692310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21246] ppid=21241 vsize=13982852 memory=3472467820229043408 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21246/stat : 21246 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14318440448 11791 33554432000 4194304 4196468 140721802319920 139948167768720 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21247] ppid=21241 vsize=13982852 memory=139691333912667 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21247/stat : 21247 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14318440448 11791 33554432000 4194304 4196468 140721802319920 139948166715920 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21248] ppid=21241 vsize=13982852 memory=139691194189084 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21248/stat : 21248 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14318440448 11791 33554432000 4194304 4196468 140721802319920 139948165663120 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21249] ppid=21241 vsize=13982852 memory=139691194170319 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21249/stat : 21249 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14318440448 11791 33554432000 4194304 4196468 140721802319920 139948164610320 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21250] ppid=21241 vsize=13982852 memory=139691333912743 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21250/stat : 21250 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044032 14318440448 11791 33554432000 4194304 4196468 140721802319920 139947418536816 139948237691522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21251] ppid=21241 vsize=13982852 memory=139691194179535 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21251/stat : 21251 (java) S 21241 21241 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154044033 14318440448 11791 33554432000 4194304 4196468 140721802319920 139947417482784 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21252] ppid=21241 vsize=13982852 memory=279382388356752 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21252/stat : 21252 (java) S 21241 21241 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154044033 14318440448 11791 33554432000 4194304 4196468 140721802319920 139947013039472 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21253] ppid=21241 vsize=13982852 memory=279382388363632 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21253/stat : 21253 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14318440448 11791 33554432000 4194304 4196468 140721802319920 139947011987792 139948237698971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21254] ppid=21241 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21244/task/21254/stat : 21254 (java) S 21241 21241 21004 0 -1 1077944384 568 0 0 0 3 0 0 0 20 0 15 0 154044035 14318440448 11791 33554432000 4194304 4196468 140721802319920 139947010935152 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21255] ppid=21241 vsize=13982852 memory=2240 CPUtime=0.05 cores=0,2,4,6
/proc/21244/task/21255/stat : 21255 (java) S 21241 21241 21004 0 -1 1077944384 325 0 0 0 5 0 0 0 20 0 15 0 154044035 14318440448 11791 33554432000 4194304 4196468 140721802319920 139947009882352 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21256] ppid=21241 vsize=13982852 memory=139691333891712 CPUtime=0.13 cores=0,2,4,6
/proc/21244/task/21256/stat : 21256 (java) R 21241 21241 21004 0 -1 4202560 917 0 0 0 13 0 0 0 20 0 15 0 154044035 14318440448 11791 33554432000 4194304 4196468 140721802319920 139947008827344 139948237692310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21257] ppid=21241 vsize=13982852 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21257/stat : 21257 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14318440448 11791 33554432000 4194304 4196468 140721802319920 139947007776992 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21258] ppid=21241 vsize=13982852 memory=139691333891712 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21258/stat : 21258 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044036 14318440448 11791 33554432000 4194304 4196468 140721802319920 139947006725296 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48548 KiB
[startup+0.701541 s]
/proc/loadavg: 2.20 1.15 0.68 7/217 21258
/proc/meminfo: memFree=26414528/32770624 swapFree=67108860/67108860
[pid=21241] ppid=21234 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21241/stat : 21241 (xcsp3-exec) S 21234 21241 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154044029 9740288 346 33554432000 4194304 5098028 140724512368336 140724512366440 139656043147900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17592320 140724512375924 140724512376128 140724512376128 140724512378859 0
/proc/21241/statm: 2378 346 289 221 0 87 0
[pid=21244] ppid=21241 vsize=13984976 memory=93052 CPUtime=1.74 cores=0,2,4,6
/proc/21244/stat : 21244 (java) S 21241 21241 21004 0 -1 1077944320 12795 0 0 0 170 4 0 0 20 0 15 0 154044030 14320615424 23263 33554432000 4194304 4196468 140721802319920 140721802302464 139948237680375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
/proc/21244/statm: 3496244 23263 3203 1 0 3483478 0
[pid=21244/tid=21245] ppid=21241 vsize=13984976 memory=1224 CPUtime=0.67 cores=0,2,4,6
/proc/21244/task/21245/stat : 21245 (java) R 21241 21241 21004 0 -1 4202560 6620 0 0 0 64 3 0 0 20 0 15 0 154044030 14320615424 23263 33554432000 4194304 4196468 140721802319920 139948241917296 139948223360541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21246] ppid=21241 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21246/stat : 21246 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 23263 33554432000 4194304 4196468 140721802319920 139948167768720 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21247] ppid=21241 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21247/stat : 21247 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 23263 33554432000 4194304 4196468 140721802319920 139948166715920 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21248] ppid=21241 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21248/stat : 21248 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 23263 33554432000 4194304 4196468 140721802319920 139948165663120 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21249] ppid=21241 vsize=13984976 memory=279382388438336 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21249/stat : 21249 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 23263 33554432000 4194304 4196468 140721802319920 139948164610320 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21250] ppid=21241 vsize=13984976 memory=11268 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21250/stat : 21250 (java) S 21241 21241 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154044032 14320615424 23263 33554432000 4194304 4196468 140721802319920 139947418536816 139948237691522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21251] ppid=21241 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21251/stat : 21251 (java) S 21241 21241 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154044033 14320615424 23263 33554432000 4194304 4196468 140721802319920 139947417482784 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21252] ppid=21241 vsize=13984976 memory=2319528912121022117 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21252/stat : 21252 (java) S 21241 21241 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154044033 14320615424 23263 33554432000 4194304 4196468 140721802319920 139947013039472 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21253] ppid=21241 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21253/stat : 21253 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14320615424 23263 33554432000 4194304 4196468 140721802319920 139947011987792 139948237698971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21254] ppid=21241 vsize=13984976 memory=51 CPUtime=0.3 cores=0,2,4,6
/proc/21244/task/21254/stat : 21254 (java) R 21241 21241 21004 0 -1 4202560 1529 0 0 0 30 0 0 0 20 0 15 0 154044035 14320615424 23263 33554432000 4194304 4196468 140721802319920 139947010927104 139948219224832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21255] ppid=21241 vsize=13984976 memory=5 CPUtime=0.31 cores=0,2,4,6
/proc/21244/task/21255/stat : 21255 (java) R 21241 21241 21004 0 -1 1077944384 1206 0 0 0 31 0 0 0 20 0 15 0 154044035 14320615424 23263 33554432000 4194304 4196468 140721802319920 139947009872144 139948237690581 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21256] ppid=21241 vsize=13984976 memory=9888 CPUtime=0.43 cores=0,2,4,6
/proc/21244/task/21256/stat : 21256 (java) R 21241 21241 21004 0 -1 4202560 2132 0 0 0 43 0 0 0 20 0 15 0 154044035 14320615424 23263 33554432000 4194304 4196468 140721802319920 139947008825504 139948216334203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21257] ppid=21241 vsize=13984976 memory=461 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21257/stat : 21257 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14320615424 23263 33554432000 4194304 4196468 140721802319920 139947007776992 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21258] ppid=21241 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21258/stat : 21258 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044036 14320615424 23263 33554432000 4194304 4196468 140721802319920 139947006725296 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 94436 KiB
[startup+1.5008 s]
/proc/loadavg: 2.20 1.15 0.68 8/217 21258
/proc/meminfo: memFree=26325152/32770624 swapFree=67108860/67108860
[pid=21241] ppid=21234 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21241/stat : 21241 (xcsp3-exec) S 21234 21241 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154044029 9740288 346 33554432000 4194304 5098028 140724512368336 140724512366440 139656043147900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17592320 140724512375924 140724512376128 140724512376128 140724512378859 0
/proc/21241/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
[pid=21244/tid=21250] ppid=21241 vsize=13984976 memory=8316 CPUtime=0.01 cores=0,2,4,6
/proc/21244/task/21250/stat : 21250 (java) S 21241 21241 21004 0 -1 1077944384 604 0 0 0 0 1 0 0 20 0 15 0 154044032 14320615424 38778 33554432000 4194304 4196468 140721802319920 139947418536816 139948237691522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21251] ppid=21241 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21251/stat : 21251 (java) S 21241 21241 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154044033 14320615424 38778 33554432000 4194304 4196468 140721802319920 139947417482784 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21252] ppid=21241 vsize=13984976 memory=153064 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21252/stat : 21252 (java) S 21241 21241 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154044033 14320615424 38778 33554432000 4194304 4196468 140721802319920 139947013039472 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21253] ppid=21241 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21253/stat : 21253 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14320615424 38778 33554432000 4194304 4196468 140721802319920 139947011987792 139948237698971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21254] ppid=21241 vsize=13984976 memory=155112 CPUtime=2.1 cores=0,2,4,6
/proc/21244/task/21254/stat : 21254 (java) S 21241 21241 21004 0 -1 1077944384 12266 0 0 0 209 1 0 0 20 0 15 0 154044035 14320615424 38778 33554432000 4194304 4196468 140721802319920 139947010935152 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21255] ppid=21241 vsize=13984976 memory=1384 CPUtime=2.11 cores=0,2,4,6
/proc/21244/task/21255/stat : 21255 (java) S 21241 21241 21004 0 -1 1077944384 14711 0 0 0 209 2 0 0 20 0 15 0 154044035 14320615424 38778 33554432000 4194304 4196468 140721802319920 139947009882352 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21256] ppid=21241 vsize=13984976 memory=1384 CPUtime=0.62 cores=0,2,4,6
/proc/21244/task/21256/stat : 21256 (java) S 21241 21241 21004 0 -1 1077944384 6976 0 0 0 61 1 0 0 20 0 15 0 154044035 14320615424 38778 33554432000 4194304 4196468 140721802319920 139947008829552 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21257] ppid=21241 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21257/stat : 21257 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14320615424 38778 33554432000 4194304 4196468 140721802319920 139947007776992 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21258] ppid=21241 vsize=13984976 memory=42768 CPUtime=0.03 cores=0,2,4,6
/proc/21244/task/21258/stat : 21258 (java) S 21241 21241 21004 0 -1 1077944384 1127 0 0 0 1 2 0 0 20 0 15 0 154044036 14320615424 38778 33554432000 4194304 4196468 140721802319920 139947006725296 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
Current children cumulated CPU time: 107.17 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 156496 KiB
[startup+162.301 s]
/proc/loadavg: 2.01 1.50 0.88 3/219 21291
/proc/meminfo: memFree=26177732/32770624 swapFree=67108860/67108860
[pid=21241] ppid=21234 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21241/stat : 21241 (xcsp3-exec) S 21234 21241 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154044029 9740288 346 33554432000 4194304 5098028 140724512368336 140724512366440 139656043147900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17592320 140724512375924 140724512376128 140724512376128 140724512378859 0
/proc/21241/statm: 2378 346 289 221 0 87 0
[pid=21244] ppid=21241 vsize=13984976 memory=171600 CPUtime=167.28 cores=0,2,4,6
/proc/21244/stat : 21244 (java) S 21241 21241 21004 0 -1 1077944320 50559 0 0 0 16716 12 0 0 20 0 15 0 154044030 14320615424 42900 33554432000 4194304 4196468 140721802319920 140721802302464 139948237680375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
/proc/21244/statm: 3496244 42900 3234 1 0 3483478 0
[pid=21244/tid=21245] ppid=21241 vsize=13984976 memory=1384 CPUtime=162.25 cores=0,2,4,6
/proc/21244/task/21245/stat : 21245 (java) R 21241 21241 21004 0 -1 4202560 10702 0 0 0 16221 4 0 0 20 0 15 0 154044030 14320615424 42900 33554432000 4194304 4196468 140721802319920 139948241915680 139947842615144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21246] ppid=21241 vsize=13984976 memory=171600 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21246/stat : 21246 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 42900 33554432000 4194304 4196468 140721802319920 139948167768720 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21247] ppid=21241 vsize=13984976 memory=167404 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21247/stat : 21247 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 42900 33554432000 4194304 4196468 140721802319920 139948166715920 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21248] ppid=21241 vsize=13984976 memory=169552 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21248/stat : 21248 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 42900 33554432000 4194304 4196468 140721802319920 139948165663120 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21249] ppid=21241 vsize=13984976 memory=171600 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21249/stat : 21249 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 42900 33554432000 4194304 4196468 140721802319920 139948164610320 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21250] ppid=21241 vsize=13984976 memory=171600 CPUtime=0.01 cores=0,2,4,6
/proc/21244/task/21250/stat : 21250 (java) S 21241 21241 21004 0 -1 1077944384 648 0 0 0 0 1 0 0 20 0 15 0 154044032 14320615424 42900 33554432000 4194304 4196468 140721802319920 139947418536816 139948237691522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21251] ppid=21241 vsize=13984976 memory=171600 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21251/stat : 21251 (java) S 21241 21241 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154044033 14320615424 42900 33554432000 4194304 4196468 140721802319920 139947417482784 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21252] ppid=21241 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21252/stat : 21252 (java) S 21241 21241 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154044033 14320615424 42900 33554432000 4194304 4196468 140721802319920 139947013039472 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21253] ppid=21241 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21253/stat : 21253 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14320615424 42900 33554432000 4194304 4196468 140721802319920 139947011987792 139948237698971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21254] ppid=21241 vsize=13984976 memory=1384 CPUtime=2.19 cores=0,2,4,6
/proc/21244/task/21254/stat : 21254 (java) S 21241 21241 21004 0 -1 1077944384 14693 0 0 0 218 1 0 0 20 0 15 0 154044035 14320615424 42900 33554432000 4194304 4196468 140721802319920 139947010935152 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21255] ppid=21241 vsize=13984976 memory=4140 CPUtime=2.12 cores=0,2,4,6
/proc/21244/task/21255/stat : 21255 (java) S 21241 21241 21004 0 -1 1077944384 14812 0 0 0 210 2 0 0 20 0 15 0 154044035 14320615424 42900 33554432000 4194304 4196468 140721802319920 139947009882352 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21256] ppid=21241 vsize=13984976 memory=42804 CPUtime=0.63 cores=0,2,4,6
/proc/21244/task/21256/stat : 21256 (java) S 21241 21241 21004 0 -1 1077944384 7207 0 0 0 62 1 0 0 20 0 15 0 154044035 14320615424 42900 33554432000 4194304 4196468 140721802319920 139947008829552 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21257] ppid=21241 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21257/stat : 21257 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14320615424 42900 33554432000 4194304 4196468 140721802319920 139947007776992 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21258] ppid=21241 vsize=13984976 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/21244/task/21258/stat : 21258 (java) S 21241 21241 21004 0 -1 1077944384 1195 0 0 0 2 3 0 0 20 0 15 0 154044036 14320615424 42900 33554432000 4194304 4196468 140721802319920 139947006725296 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
Current children cumulated CPU time: 167.28 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 172984 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 1.59 0.95 3/219 21292
/proc/meminfo: memFree=26125504/32770624 swapFree=67108860/67108860
[pid=21241] ppid=21234 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21241/stat : 21241 (xcsp3-exec) S 21234 21241 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154044029 9740288 346 33554432000 4194304 5098028 140724512368336 140724512366440 139656043147900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17592320 140724512375924 140724512376128 140724512376128 140724512378859 0
/proc/21241/statm: 2378 346 289 221 0 87 0
[pid=21244] ppid=21241 vsize=13984976 memory=188012 CPUtime=227.34 cores=0,2,4,6
/proc/21244/stat : 21244 (java) S 21241 21241 21004 0 -1 1077944320 51210 0 0 0 22721 13 0 0 20 0 15 0 154044030 14320615424 47003 33554432000 4194304 4196468 140721802319920 140721802302464 139948237680375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
/proc/21244/statm: 3496244 47003 3234 1 0 3483478 0
[pid=21244/tid=21245] ppid=21241 vsize=13984976 memory=188012 CPUtime=222.25 cores=0,2,4,6
/proc/21244/task/21245/stat : 21245 (java) R 21241 21241 21004 0 -1 4202560 10834 0 0 0 22221 4 0 0 20 0 15 0 154044030 14320615424 47003 33554432000 4194304 4196468 140721802319920 139948241915904 139947842615072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21246] ppid=21241 vsize=13984976 memory=185956 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21246/stat : 21246 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 47003 33554432000 4194304 4196468 140721802319920 139948167768720 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21247] ppid=21241 vsize=13984976 memory=188012 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21247/stat : 21247 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 47003 33554432000 4194304 4196468 140721802319920 139948166715920 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21248] ppid=21241 vsize=13984976 memory=188012 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21248/stat : 21248 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 47003 33554432000 4194304 4196468 140721802319920 139948165663120 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21249] ppid=21241 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21249/stat : 21249 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 47003 33554432000 4194304 4196468 140721802319920 139948164610320 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21250] ppid=21241 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/21244/task/21250/stat : 21250 (java) S 21241 21241 21004 0 -1 1077944384 667 0 0 0 0 1 0 0 20 0 15 0 154044032 14320615424 47003 33554432000 4194304 4196468 140721802319920 139947418536816 139948237691522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21251] ppid=21241 vsize=13984976 memory=188012 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21251/stat : 21251 (java) S 21241 21241 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154044033 14320615424 47003 33554432000 4194304 4196468 140721802319920 139947417482784 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21252] ppid=21241 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21252/stat : 21252 (java) S 21241 21241 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154044033 14320615424 47003 33554432000 4194304 4196468 140721802319920 139947013039472 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21253] ppid=21241 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21253/stat : 21253 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14320615424 47003 33554432000 4194304 4196468 140721802319920 139947011987792 139948237698971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21254] ppid=21241 vsize=13984976 memory=1384 CPUtime=2.2 cores=0,2,4,6
/proc/21244/task/21254/stat : 21254 (java) S 21241 21241 21004 0 -1 1077944384 14903 0 0 0 219 1 0 0 20 0 15 0 154044035 14320615424 47003 33554432000 4194304 4196468 140721802319920 139947010935152 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21255] ppid=21241 vsize=13984976 memory=4140 CPUtime=2.12 cores=0,2,4,6
/proc/21244/task/21255/stat : 21255 (java) S 21241 21241 21004 0 -1 1077944384 14890 0 0 0 210 2 0 0 20 0 15 0 154044035 14320615424 47003 33554432000 4194304 4196468 140721802319920 139947009882352 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21256] ppid=21241 vsize=13984976 memory=42804 CPUtime=0.63 cores=0,2,4,6
/proc/21244/task/21256/stat : 21256 (java) S 21241 21241 21004 0 -1 1077944384 7399 0 0 0 62 1 0 0 20 0 15 0 154044035 14320615424 47003 33554432000 4194304 4196468 140721802319920 139947008829552 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21257] ppid=21241 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21257/stat : 21257 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14320615424 47003 33554432000 4194304 4196468 140721802319920 139947007776992 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21258] ppid=21241 vsize=13984976 memory=188012 CPUtime=0.07 cores=0,2,4,6
/proc/21244/task/21258/stat : 21258 (java) S 21241 21241 21004 0 -1 1077944384 1215 0 0 0 3 4 0 0 20 0 15 0 154044036 14320615424 47003 33554432000 4194304 4196468 140721802319920 139947006725296 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
Current children cumulated CPU time: 227.34 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 189396 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.00 1.61 0.98 2/202 21294
/proc/meminfo: memFree=26338652/32770624 swapFree=67108860/67108860
[pid=21241] ppid=21234 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/21241/stat : 21241 (xcsp3-exec) S 21234 21241 21004 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154044029 9740288 346 33554432000 4194304 5098028 140724512368336 140724512366440 139656043147900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17592320 140724512375924 140724512376128 140724512376128 140724512378859 0
/proc/21241/statm: 2378 346 289 221 0 87 0
[pid=21244] ppid=21241 vsize=13984976 memory=192112 CPUtime=245.05 cores=0,2,4,6
/proc/21244/stat : 21244 (java) S 21241 21241 21004 0 -1 1077944320 51408 0 0 0 24492 13 0 0 20 0 15 0 154044030 14320615424 48028 33554432000 4194304 4196468 140721802319920 140721802302464 139948237680375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
/proc/21244/statm: 3496244 48028 3234 1 0 3483478 0
[pid=21244/tid=21245] ppid=21241 vsize=13984976 memory=1224 CPUtime=239.96 cores=0,2,4,6
/proc/21244/task/21245/stat : 21245 (java) R 21241 21241 21004 0 -1 4202560 10839 0 0 0 23992 4 0 0 20 0 15 0 154044030 14320615424 48028 33554432000 4194304 4196468 140721802319920 139948241919416 139947842615193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21246] ppid=21241 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21246/stat : 21246 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 48028 33554432000 4194304 4196468 140721802319920 139948167768720 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21247] ppid=21241 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21247/stat : 21247 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 48028 33554432000 4194304 4196468 140721802319920 139948166715920 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21248] ppid=21241 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21248/stat : 21248 (java) S 21241 21241 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 48028 33554432000 4194304 4196468 140721802319920 139948165663120 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21249] ppid=21241 vsize=13984976 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21249/stat : 21249 (java) S 21241 21241 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154044031 14320615424 48028 33554432000 4194304 4196468 140721802319920 139948164610320 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21250] ppid=21241 vsize=13984976 memory=1196 CPUtime=0.01 cores=0,2,4,6
/proc/21244/task/21250/stat : 21250 (java) S 21241 21241 21004 0 -1 1077944384 667 0 0 0 0 1 0 0 20 0 15 0 154044032 14320615424 48028 33554432000 4194304 4196468 140721802319920 139947418536816 139948237691522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21251] ppid=21241 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21251/stat : 21251 (java) S 21241 21241 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154044033 14320615424 48028 33554432000 4194304 4196468 140721802319920 139947417482784 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21252] ppid=21241 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21252/stat : 21252 (java) S 21241 21241 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154044033 14320615424 48028 33554432000 4194304 4196468 140721802319920 139947013039472 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21253] ppid=21241 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21253/stat : 21253 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14320615424 48028 33554432000 4194304 4196468 140721802319920 139947011987792 139948237698971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21254] ppid=21241 vsize=13984976 memory=2200 CPUtime=2.2 cores=0,2,4,6
/proc/21244/task/21254/stat : 21254 (java) S 21241 21241 21004 0 -1 1077944384 14903 0 0 0 219 1 0 0 20 0 15 0 154044035 14320615424 48028 33554432000 4194304 4196468 140721802319920 139947010935152 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21255] ppid=21241 vsize=13984976 memory=7792 CPUtime=2.12 cores=0,2,4,6
/proc/21244/task/21255/stat : 21255 (java) S 21241 21241 21004 0 -1 1077944384 14890 0 0 0 210 2 0 0 20 0 15 0 154044035 14320615424 48028 33554432000 4194304 4196468 140721802319920 139947009882352 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21256] ppid=21241 vsize=13984976 memory=840 CPUtime=0.63 cores=0,2,4,6
/proc/21244/task/21256/stat : 21256 (java) S 21241 21241 21004 0 -1 1077944384 7592 0 0 0 62 1 0 0 20 0 15 0 154044035 14320615424 48028 33554432000 4194304 4196468 140721802319920 139947008829552 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21257] ppid=21241 vsize=13984976 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/21244/task/21257/stat : 21257 (java) S 21241 21241 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154044035 14320615424 48028 33554432000 4194304 4196468 140721802319920 139947007776992 139948237690581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
[pid=21244/tid=21258] ppid=21241 vsize=13984976 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/21244/task/21258/stat : 21258 (java) S 21241 21241 21004 0 -1 1077944384 1215 0 0 0 3 4 0 0 20 0 15 0 154044036 14320615424 48028 33554432000 4194304 4196468 140721802319920 139947006725296 139948237691522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 9867264 140721802327197 140721802327372 140721802327372 140721802330063 0
Current children cumulated CPU time: 245.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 193496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.023 s]
# the end of solver process 21241 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.938 s, system=0.141005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.023
CPU time (s): 245.079
CPU user time (s): 244.938
CPU system time (s): 0.141005
CPU usage (%): 102.106
Max. virtual memory (cumulated for all children) (KiB): 13996200
Max. memory (cumulated for all children) (KiB): 193496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.938
system time used= 0.141005
maximum resident set size= 198836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52381
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7544
involuntary context switches= 316
# summary of solver processes directly reported to runsolver:
# pid: 21241
# total CPU time (s): 245.079
# total CPU user time (s): 244.938
# total CPU system time (s): 0.141005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39499 second user time and 2.2056 second system time
The end