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 (13765 MiB free)
memory of node 1: 16384 MiB (14259 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270377-1502624627/watcher-4270377-1502624627 -o /tmp/evaluation-result-4270377-1502624627/solver-4270377-1502624627 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502619919-8347 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1798634792 HOME/instance-4270377-1502624627.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12268, runsolver pid=12265
[startup+0.100059 s]*
/proc/loadavg: 1.94 2.02 1.98 3/217 12284
/proc/meminfo: memFree=28682200/32770624 swapFree=67108860/67108860
[pid=12268] ppid=12265 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12268/stat : 12268 (xcsp3-exec) S 12265 12268 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95543774 9740288 346 33554432000 4194304 5098028 140726314735536 140726314733640 139855083192956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140726314742900 140726314743104 140726314743104 140726314745835 0
/proc/12268/statm: 2378 346 289 221 0 87 0
[pid=12270] ppid=12268 vsize=13978596 memory=27264 CPUtime=0.12 cores=1,3,5,7
/proc/12270/stat : 12270 (java) S 12268 12268 6338 0 -1 1077944320 5174 0 0 0 11 1 0 0 20 0 15 0 95543774 14314082304 6816 33554432000 4194304 4196468 140723006464448 140723006446992 140368688000759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
/proc/12270/statm: 3494649 6816 2909 1 0 3482966 0
[pid=12270/tid=12271] ppid=12268 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/12270/task/12271/stat : 12271 (java) R 12268 12268 6338 0 -1 4202560 3131 0 0 0 9 0 0 0 20 0 15 0 95543774 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368692232448 140368324117764 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12272] ppid=12268 vsize=13978596 memory=3472468842738107600 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12272/stat : 12272 (java) S 12268 12268 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95543775 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368659843472 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12273] ppid=12268 vsize=13978596 memory=140713842955904 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12273/stat : 12273 (java) S 12268 12268 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95543775 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368282491152 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12274] ppid=12268 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12274/stat : 12274 (java) S 12268 12268 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95543775 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368281438864 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12275] ppid=12268 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12275/stat : 12275 (java) S 12268 12268 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95543775 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368280386064 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12276] ppid=12268 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12276/stat : 12276 (java) S 12268 12268 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95543776 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368162155120 140368688011906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12277] ppid=12268 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12277/stat : 12277 (java) S 12268 12268 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95543777 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368161101088 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12278] ppid=12268 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12278/stat : 12278 (java) S 12268 12268 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95543777 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368160048752 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12279] ppid=12268 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12279/stat : 12279 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543779 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368158997072 140368688019355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12280] ppid=12268 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12280/stat : 12280 (java) S 12268 12268 6338 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 95543779 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368157943920 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12281] ppid=12268 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12281/stat : 12281 (java) S 12268 12268 6338 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 95543779 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368156891120 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12282] ppid=12268 vsize=13978596 memory=140713842955904 CPUtime=0.01 cores=1,3,5,7
/proc/12270/task/12282/stat : 12282 (java) R 12268 12268 6338 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 15 0 95543780 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368155838832 140368666933006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12283] ppid=12268 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12283/stat : 12283 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543780 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368154786272 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12284] ppid=12268 vsize=13978596 memory=140713842955904 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12284/stat : 12284 (java) S 12268 12268 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95543780 14314082304 6882 33554432000 4194304 4196468 140723006464448 140368153734064 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28648 KiB
[startup+0.210724 s]*
/proc/loadavg: 1.94 2.02 1.98 3/217 12284
/proc/meminfo: memFree=28670672/32770624 swapFree=67108860/67108860
[pid=12268] ppid=12265 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12268/stat : 12268 (xcsp3-exec) S 12265 12268 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95543774 9740288 346 33554432000 4194304 5098028 140726314735536 140726314733640 139855083192956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140726314742900 140726314743104 140726314743104 140726314745835 0
/proc/12268/statm: 2378 346 289 221 0 87 0
[pid=12270] ppid=12268 vsize=13982852 memory=39636 CPUtime=0.34 cores=1,3,5,7
/proc/12270/stat : 12270 (java) S 12268 12268 6338 0 -1 1077944320 7982 0 0 0 32 2 0 0 20 0 15 0 95543774 14318440448 9909 33554432000 4194304 4196468 140723006464448 140723006446992 140368688000759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
/proc/12270/statm: 3495713 9909 3060 1 0 3482966 0
[pid=12270/tid=12271] ppid=12268 vsize=13982852 memory=5853961137533323680 CPUtime=0.2 cores=1,3,5,7
/proc/12270/task/12271/stat : 12271 (java) R 12268 12268 6338 0 -1 4202560 4976 0 0 0 19 1 0 0 20 0 15 0 95543774 14318440448 9910 33554432000 4194304 4196468 140723006464448 140368692202560 140368680679981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12272] ppid=12268 vsize=13982884 memory=3472468842738107600 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12272/stat : 12272 (java) S 12268 12268 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95543775 14318473216 9910 33554432000 4194304 4196468 140723006464448 140368659843472 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12273] ppid=12268 vsize=13982884 memory=140713842955904 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12273/stat : 12273 (java) S 12268 12268 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95543775 14318473216 9910 33554432000 4194304 4196468 140723006464448 140368282491152 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12274] ppid=12268 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12274/stat : 12274 (java) S 12268 12268 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95543775 14318440448 9910 33554432000 4194304 4196468 140723006464448 140368281438864 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12275] ppid=12268 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12275/stat : 12275 (java) S 12268 12268 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95543775 14318440448 9910 33554432000 4194304 4196468 140723006464448 140368280386064 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12276] ppid=12268 vsize=13982852 memory=140713842955904 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12276/stat : 12276 (java) S 12268 12268 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95543776 14318440448 9910 33554432000 4194304 4196468 140723006464448 140368162155120 140368688011906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12277] ppid=12268 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12277/stat : 12277 (java) S 12268 12268 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95543777 14318440448 9910 33554432000 4194304 4196468 140723006464448 140368161101088 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12278] ppid=12268 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12278/stat : 12278 (java) S 12268 12268 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95543777 14318473216 9910 33554432000 4194304 4196468 140723006464448 140368160048752 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12279] ppid=12268 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12279/stat : 12279 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543779 14318473216 9910 33554432000 4194304 4196468 140723006464448 140368158997072 140368688019355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12280] ppid=12268 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12270/task/12280/stat : 12280 (java) S 12268 12268 6338 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 15 0 95543779 14318440448 9910 33554432000 4194304 4196468 140723006464448 140368157943920 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12281] ppid=12268 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12270/task/12281/stat : 12281 (java) S 12268 12268 6338 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 95543779 14318440448 9910 33554432000 4194304 4196468 140723006464448 140368156891120 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12282] ppid=12268 vsize=13982852 memory=140713842955904 CPUtime=0.08 cores=1,3,5,7
/proc/12270/task/12282/stat : 12282 (java) S 12268 12268 6338 0 -1 1077944384 868 0 0 0 8 0 0 0 20 0 15 0 95543780 14318440448 9910 33554432000 4194304 4196468 140723006464448 140368155838832 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12283] ppid=12268 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12283/stat : 12283 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543780 14318440448 9910 33554432000 4194304 4196468 140723006464448 140368154786272 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12284] ppid=12268 vsize=13982884 memory=140713842955904 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12284/stat : 12284 (java) S 12268 12268 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95543780 14318473216 9910 33554432000 4194304 4196468 140723006464448 140368153734064 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41020 KiB
[startup+0.311061 s]*
/proc/loadavg: 1.94 2.02 1.98 4/217 12284
/proc/meminfo: memFree=28663724/32770624 swapFree=67108860/67108860
[pid=12268] ppid=12265 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12268/stat : 12268 (xcsp3-exec) S 12265 12268 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95543774 9740288 346 33554432000 4194304 5098028 140726314735536 140726314733640 139855083192956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140726314742900 140726314743104 140726314743104 140726314745835 0
/proc/12268/statm: 2378 346 289 221 0 87 0
[pid=12270] ppid=12268 vsize=13982852 memory=46492 CPUtime=0.52 cores=1,3,5,7
/proc/12270/stat : 12270 (java) S 12268 12268 6338 0 -1 1077944320 8808 0 0 0 50 2 0 0 20 0 15 0 95543774 14318440448 11623 33554432000 4194304 4196468 140723006464448 140723006446992 140368688000759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
/proc/12270/statm: 3495713 11623 3098 1 0 3482966 0
[pid=12270/tid=12271] ppid=12268 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=1,3,5,7
/proc/12270/task/12271/stat : 12271 (java) R 12268 12268 6338 0 -1 4202560 5538 0 0 0 28 1 0 0 20 0 15 0 95543774 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368692239024 140368672340937 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12272] ppid=12268 vsize=13982852 memory=3472468842738107600 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12272/stat : 12272 (java) S 12268 12268 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95543775 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368659843472 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12273] ppid=12268 vsize=13982852 memory=140713842955904 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12273/stat : 12273 (java) S 12268 12268 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95543775 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368282491152 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12274] ppid=12268 vsize=13982852 memory=8 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12274/stat : 12274 (java) S 12268 12268 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95543775 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368281438864 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12275] ppid=12268 vsize=13982852 memory=140713731958815 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12275/stat : 12275 (java) S 12268 12268 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95543775 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368280386064 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12276] ppid=12268 vsize=13982852 memory=281427463878400 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12276/stat : 12276 (java) S 12268 12268 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95543776 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368162155120 140368688011906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12277] ppid=12268 vsize=13982852 memory=140713731935759 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12277/stat : 12277 (java) S 12268 12268 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95543777 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368161101088 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12278] ppid=12268 vsize=13982852 memory=281427574900832 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12278/stat : 12278 (java) S 12268 12268 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95543777 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368160048752 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12279] ppid=12268 vsize=13982852 memory=140713731940367 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12279/stat : 12279 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543779 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368158997072 140368688019355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12280] ppid=12268 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12270/task/12280/stat : 12280 (java) R 12268 12268 6338 0 -1 1077944384 524 0 0 0 3 0 0 0 20 0 15 0 95543779 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368157936944 140368688010965 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12281] ppid=12268 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/12270/task/12281/stat : 12281 (java) R 12268 12268 6338 0 -1 4202560 406 0 0 0 3 0 0 0 20 0 15 0 95543779 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368156891216 140368674016288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12282] ppid=12268 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/12270/task/12282/stat : 12282 (java) R 12268 12268 6338 0 -1 4202560 1037 0 0 0 13 0 0 0 20 0 15 0 95543780 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368155838832 140368680018414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12283] ppid=12268 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12283/stat : 12283 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543780 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368154786272 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12284] ppid=12268 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12284/stat : 12284 (java) S 12268 12268 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95543780 14318440448 11623 33554432000 4194304 4196468 140723006464448 140368153734064 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 47876 KiB
[startup+0.700866 s]
/proc/loadavg: 1.94 2.02 1.98 5/217 12284
/proc/meminfo: memFree=28638352/32770624 swapFree=67108860/67108860
[pid=12268] ppid=12265 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12268/stat : 12268 (xcsp3-exec) S 12265 12268 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95543774 9740288 346 33554432000 4194304 5098028 140726314735536 140726314733640 139855083192956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140726314742900 140726314743104 140726314743104 140726314745835 0
/proc/12268/statm: 2378 346 289 221 0 87 0
[pid=12270] ppid=12268 vsize=13982928 memory=140052 CPUtime=1.75 cores=1,3,5,7
/proc/12270/stat : 12270 (java) S 12268 12268 6338 0 -1 1077944320 12294 0 0 0 171 4 0 0 20 0 15 0 95543774 14318518272 35013 33554432000 4194304 4196468 140723006464448 140723006446992 140368688000759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
/proc/12270/statm: 3495732 35013 3197 1 0 3482966 0
[pid=12270/tid=12271] ppid=12268 vsize=13982928 memory=5795117241467496816 CPUtime=0.68 cores=1,3,5,7
/proc/12270/task/12271/stat : 12271 (java) R 12268 12268 6338 0 -1 4202560 5893 0 0 0 65 3 0 0 20 0 15 0 95543774 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368692233760 140368327604417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12272] ppid=12268 vsize=13982928 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12272/stat : 12272 (java) S 12268 12268 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95543775 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368659843472 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12273] ppid=12268 vsize=13982928 memory=7588935152971043925 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12273/stat : 12273 (java) S 12268 12268 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95543775 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368282491152 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12274] ppid=12268 vsize=13982928 memory=8041645962788481611 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12274/stat : 12274 (java) S 12268 12268 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95543775 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368281438864 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12275] ppid=12268 vsize=13982928 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12275/stat : 12275 (java) S 12268 12268 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95543775 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368280386064 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12276] ppid=12268 vsize=13982928 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12276/stat : 12276 (java) S 12268 12268 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95543776 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368162155120 140368688011906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12277] ppid=12268 vsize=13982928 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12277/stat : 12277 (java) S 12268 12268 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95543777 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368161101088 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12278] ppid=12268 vsize=13982928 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12278/stat : 12278 (java) S 12268 12268 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95543777 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368160048752 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12279] ppid=12268 vsize=13982928 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12279/stat : 12279 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543779 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368158997072 140368688019355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12280] ppid=12268 vsize=13982928 memory=28100 CPUtime=0.38 cores=1,3,5,7
/proc/12270/task/12280/stat : 12280 (java) R 12268 12268 6338 0 -1 4202560 1705 0 0 0 38 0 0 0 20 0 15 0 95543779 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368157933712 140368672394479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12281] ppid=12268 vsize=13982928 memory=2428 CPUtime=0.39 cores=1,3,5,7
/proc/12270/task/12281/stat : 12281 (java) R 12268 12268 6338 0 -1 4202560 1514 0 0 0 39 0 0 0 20 0 15 0 95543779 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368156890304 140368671911357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12282] ppid=12268 vsize=13982928 memory=1292 CPUtime=0.27 cores=1,3,5,7
/proc/12270/task/12282/stat : 12282 (java) S 12268 12268 6338 0 -1 1077944384 1874 0 0 0 27 0 0 0 20 0 15 0 95543780 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368155838832 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12283] ppid=12268 vsize=13982928 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12283/stat : 12283 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543780 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368154786272 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12284] ppid=12268 vsize=13982928 memory=7453282923511834215 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12284/stat : 12284 (java) S 12268 12268 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95543780 14318518272 35013 33554432000 4194304 4196468 140723006464448 140368153734064 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 141436 KiB
[startup+1.50088 s]
/proc/loadavg: 1.94 2.02 1.98 5/217 12284
/proc/meminfo: memFree=28511880/32770624 swapFree=67108860/67108860
[pid=12268] ppid=12265 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12268/stat : 12268 (xcsp3-exec) S 12265 12268 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95543774 9740288 346 33554432000 4194304 5098028 140726314735536 140726314733640 139855083192956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140726314742900 140726314743104 140726314743104 140726314745835 0
/proc/12268/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/12270/task/12278/stat : 12278 (java) S 12268 12268 6338 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95543777 14320615424 644579 33554432000 4194304 4196468 140723006464448 140368160048768 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12279] ppid=12268 vsize=13984976 memory=2920 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12279/stat : 12279 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543779 14320615424 644579 33554432000 4194304 4196468 140723006464448 140368158997072 140368688019355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12280] ppid=12268 vsize=13984976 memory=1380 CPUtime=2.32 cores=1,3,5,7
/proc/12270/task/12280/stat : 12280 (java) S 12268 12268 6338 0 -1 1077944384 10826 0 0 0 231 1 0 0 20 0 15 0 95543779 14320615424 644579 33554432000 4194304 4196468 140723006464448 140368157943920 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12281] ppid=12268 vsize=13984976 memory=1184320 CPUtime=1.79 cores=1,3,5,7
/proc/12270/task/12281/stat : 12281 (java) S 12268 12268 6338 0 -1 1077944384 5322 0 0 0 178 1 0 0 20 0 15 0 95543779 14320615424 644579 33554432000 4194304 4196468 140723006464448 140368156891120 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12282] ppid=12268 vsize=13984976 memory=2152820 CPUtime=0.67 cores=1,3,5,7
/proc/12270/task/12282/stat : 12282 (java) S 12268 12268 6338 0 -1 1077944384 5252 0 0 0 66 1 0 0 20 0 15 0 95543780 14320615424 644579 33554432000 4194304 4196468 140723006464448 140368155838832 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12283] ppid=12268 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12283/stat : 12283 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543780 14320615424 644579 33554432000 4194304 4196468 140723006464448 140368154786272 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12284] ppid=12268 vsize=13984976 memory=12064 CPUtime=0.05 cores=1,3,5,7
/proc/12270/task/12284/stat : 12284 (java) S 12268 12268 6338 0 -1 1077944384 458 0 0 0 2 3 0 0 20 0 15 0 95543780 14320615424 644579 33554432000 4194304 4196468 140723006464448 140368153734064 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
Current children cumulated CPU time: 107.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2579700 KiB
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 1.99 3/217 12374
/proc/meminfo: memFree=23878856/32770624 swapFree=67108860/67108860
[pid=12268] ppid=12265 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12268/stat : 12268 (xcsp3-exec) S 12265 12268 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95543774 9740288 346 33554432000 4194304 5098028 140726314735536 140726314733640 139855083192956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140726314742900 140726314743104 140726314743104 140726314745835 0
/proc/12268/statm: 2378 346 289 221 0 87 0
[pid=12270] ppid=12268 vsize=13984976 memory=3850012 CPUtime=168.64 cores=1,3,5,7
/proc/12270/stat : 12270 (java) S 12268 12268 6338 0 -1 1077944320 58441 0 0 0 16764 100 0 0 20 0 15 0 95543774 14320615424 962503 33554432000 4194304 4196468 140723006464448 140723006446992 140368688000759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
/proc/12270/statm: 3496244 962503 3266 1 0 3483478 0
[pid=12270/tid=12271] ppid=12268 vsize=13984976 memory=1384 CPUtime=162.01 cores=1,3,5,7
/proc/12270/task/12271/stat : 12271 (java) R 12268 12268 6338 0 -1 4202560 20804 0 0 0 16144 57 0 0 20 0 15 0 95543774 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368692237496 140368330248337 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12272] ppid=12268 vsize=13984976 memory=1384 CPUtime=0.24 cores=1,3,5,7
/proc/12270/task/12272/stat : 12272 (java) S 12268 12268 6338 0 -1 1077944384 1380 0 0 0 16 8 0 0 20 0 15 0 95543775 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368659843472 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12273] ppid=12268 vsize=13984976 memory=3850012 CPUtime=0.22 cores=1,3,5,7
/proc/12270/task/12273/stat : 12273 (java) S 12268 12268 6338 0 -1 1077944384 1868 0 0 0 15 7 0 0 20 0 15 0 95543775 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368282491152 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12274] ppid=12268 vsize=13984976 memory=3850012 CPUtime=0.24 cores=1,3,5,7
/proc/12270/task/12274/stat : 12274 (java) S 12268 12268 6338 0 -1 1077944384 981 0 0 0 16 8 0 0 20 0 15 0 95543775 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368281438864 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12275] ppid=12268 vsize=13984976 memory=3850012 CPUtime=0.22 cores=1,3,5,7
/proc/12270/task/12275/stat : 12275 (java) S 12268 12268 6338 0 -1 1077944384 1215 0 0 0 14 8 0 0 20 0 15 0 95543775 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368280386064 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12276] ppid=12268 vsize=13984976 memory=3850012 CPUtime=0.02 cores=1,3,5,7
/proc/12270/task/12276/stat : 12276 (java) S 12268 12268 6338 0 -1 1077944384 3054 0 0 0 2 0 0 0 20 0 15 0 95543776 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368162155120 140368688011906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12277] ppid=12268 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12277/stat : 12277 (java) S 12268 12268 6338 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95543777 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368161101152 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12278] ppid=12268 vsize=13984976 memory=254 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12278/stat : 12278 (java) S 12268 12268 6338 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95543777 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368160048768 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12279] ppid=12268 vsize=13984976 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12279/stat : 12279 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543779 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368158997072 140368688019355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12280] ppid=12268 vsize=13984976 memory=28108 CPUtime=2.54 cores=1,3,5,7
/proc/12270/task/12280/stat : 12280 (java) S 12268 12268 6338 0 -1 1077944384 12331 0 0 0 252 2 0 0 20 0 15 0 95543779 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368157943920 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12281] ppid=12268 vsize=13984976 memory=1384 CPUtime=2.27 cores=1,3,5,7
/proc/12270/task/12281/stat : 12281 (java) S 12268 12268 6338 0 -1 1077944384 9359 0 0 0 226 1 0 0 20 0 15 0 95543779 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368156891120 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12282] ppid=12268 vsize=13984976 memory=3850012 CPUtime=0.7 cores=1,3,5,7
/proc/12270/task/12282/stat : 12282 (java) S 12268 12268 6338 0 -1 1077944384 5617 0 0 0 69 1 0 0 20 0 15 0 95543780 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368155838832 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12283] ppid=12268 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12283/stat : 12283 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543780 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368154786272 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12284] ppid=12268 vsize=13984976 memory=3850012 CPUtime=0.09 cores=1,3,5,7
/proc/12270/task/12284/stat : 12284 (java) S 12268 12268 6338 0 -1 1077944384 495 0 0 0 4 5 0 0 20 0 15 0 95543780 14320615424 962503 33554432000 4194304 4196468 140723006464448 140368153734064 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
Current children cumulated CPU time: 168.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3851396 KiB
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 1.99 3/217 12375
/proc/meminfo: memFree=22141184/32770624 swapFree=67108860/67108860
[pid=12268] ppid=12265 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12268/stat : 12268 (xcsp3-exec) S 12265 12268 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95543774 9740288 346 33554432000 4194304 5098028 140726314735536 140726314733640 139855083192956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140726314742900 140726314743104 140726314743104 140726314745835 0
/proc/12268/statm: 2378 346 289 221 0 87 0
[pid=12270] ppid=12268 vsize=13984976 memory=3891512 CPUtime=228.83 cores=1,3,5,7
/proc/12270/stat : 12270 (java) S 12268 12268 6338 0 -1 1077944320 60614 0 0 0 22776 107 0 0 20 0 15 0 95543774 14320615424 972878 33554432000 4194304 4196468 140723006464448 140723006446992 140368688000759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
/proc/12270/statm: 3496244 972878 3266 1 0 3483478 0
[pid=12270/tid=12271] ppid=12268 vsize=13984976 memory=3891512 CPUtime=221.99 cores=1,3,5,7
/proc/12270/task/12271/stat : 12271 (java) R 12268 12268 6338 0 -1 4202560 22186 0 0 0 22142 57 0 0 20 0 15 0 95543774 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368692237456 140368331854400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12272] ppid=12268 vsize=13984976 memory=3891512 CPUtime=0.26 cores=1,3,5,7
/proc/12270/task/12272/stat : 12272 (java) S 12268 12268 6338 0 -1 1077944384 1503 0 0 0 17 9 0 0 20 0 15 0 95543775 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368659843472 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12273] ppid=12268 vsize=13984976 memory=4096 CPUtime=0.25 cores=1,3,5,7
/proc/12270/task/12273/stat : 12273 (java) S 12268 12268 6338 0 -1 1077944384 2065 0 0 0 17 8 0 0 20 0 15 0 95543775 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368282491152 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12274] ppid=12268 vsize=13984976 memory=28108 CPUtime=0.27 cores=1,3,5,7
/proc/12270/task/12274/stat : 12274 (java) S 12268 12268 6338 0 -1 1077944384 1133 0 0 0 17 10 0 0 20 0 15 0 95543775 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368281438864 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12275] ppid=12268 vsize=13984976 memory=3891512 CPUtime=0.25 cores=1,3,5,7
/proc/12270/task/12275/stat : 12275 (java) S 12268 12268 6338 0 -1 1077944384 1300 0 0 0 16 9 0 0 20 0 15 0 95543775 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368280386064 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12276] ppid=12268 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/12270/task/12276/stat : 12276 (java) S 12268 12268 6338 0 -1 1077944384 3059 0 0 0 2 0 0 0 20 0 15 0 95543776 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368162155120 140368688011906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12277] ppid=12268 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12277/stat : 12277 (java) S 12268 12268 6338 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95543777 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368161101152 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12278] ppid=12268 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12278/stat : 12278 (java) S 12268 12268 6338 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95543777 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368160048768 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12279] ppid=12268 vsize=13984976 memory=3891512 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12279/stat : 12279 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543779 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368158997072 140368688019355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12280] ppid=12268 vsize=13984976 memory=1384 CPUtime=2.56 cores=1,3,5,7
/proc/12270/task/12280/stat : 12280 (java) S 12268 12268 6338 0 -1 1077944384 12350 0 0 0 254 2 0 0 20 0 15 0 95543779 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368157943920 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12281] ppid=12268 vsize=13984976 memory=1384 CPUtime=2.31 cores=1,3,5,7
/proc/12270/task/12281/stat : 12281 (java) S 12268 12268 6338 0 -1 1077944384 9563 0 0 0 230 1 0 0 20 0 15 0 95543779 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368156891120 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12282] ppid=12268 vsize=13984976 memory=3891512 CPUtime=0.7 cores=1,3,5,7
/proc/12270/task/12282/stat : 12282 (java) S 12268 12268 6338 0 -1 1077944384 5619 0 0 0 69 1 0 0 20 0 15 0 95543780 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368155838832 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12283] ppid=12268 vsize=13984976 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12283/stat : 12283 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543780 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368154786272 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12284] ppid=12268 vsize=13984976 memory=1716 CPUtime=0.13 cores=1,3,5,7
/proc/12270/task/12284/stat : 12284 (java) S 12268 12268 6338 0 -1 1077944384 499 0 0 0 6 7 0 0 20 0 15 0 95543780 14320615424 972878 33554432000 4194304 4196468 140723006464448 140368153734064 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
Current children cumulated CPU time: 228.83 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3892896 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.01 2.03 1.99 3/217 12375
/proc/meminfo: memFree=21139988/32770624 swapFree=67108860/67108860
[pid=12268] ppid=12265 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12268/stat : 12268 (xcsp3-exec) S 12265 12268 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95543774 9740288 346 33554432000 4194304 5098028 140726314735536 140726314733640 139855083192956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140726314742900 140726314743104 140726314743104 140726314745835 0
/proc/12268/statm: 2378 346 289 221 0 87 0
[pid=12270] ppid=12268 vsize=13984976 memory=3891572 CPUtime=246.7 cores=1,3,5,7
/proc/12270/stat : 12270 (java) S 12268 12268 6338 0 -1 1077944320 63587 0 0 0 24559 111 0 0 20 0 15 0 95543774 14320615424 972893 33554432000 4194304 4196468 140723006464448 140723006446992 140368688000759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
/proc/12270/statm: 3496244 972893 3266 1 0 3483478 0
[pid=12270/tid=12271] ppid=12268 vsize=13984976 memory=6791534058613427641 CPUtime=239.7 cores=1,3,5,7
/proc/12270/task/12271/stat : 12271 (java) R 12268 12268 6338 0 -1 4202560 23736 0 0 0 23913 57 0 0 20 0 15 0 95543774 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368692239960 140368331647108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12272] ppid=12268 vsize=13984976 memory=-7003737579269690708 CPUtime=0.26 cores=1,3,5,7
/proc/12270/task/12272/stat : 12272 (java) S 12268 12268 6338 0 -1 1077944384 1503 0 0 0 17 9 0 0 20 0 15 0 95543775 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368659843472 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12273] ppid=12268 vsize=13984976 memory=1380 CPUtime=0.25 cores=1,3,5,7
/proc/12270/task/12273/stat : 12273 (java) S 12268 12268 6338 0 -1 1077944384 2065 0 0 0 17 8 0 0 20 0 15 0 95543775 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368282491152 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12274] ppid=12268 vsize=13984976 memory=3810804 CPUtime=0.27 cores=1,3,5,7
/proc/12270/task/12274/stat : 12274 (java) S 12268 12268 6338 0 -1 1077944384 1133 0 0 0 17 10 0 0 20 0 15 0 95543775 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368281438864 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12275] ppid=12268 vsize=13984976 memory=54874515442410 CPUtime=0.25 cores=1,3,5,7
/proc/12270/task/12275/stat : 12275 (java) S 12268 12268 6338 0 -1 1077944384 1300 0 0 0 16 9 0 0 20 0 15 0 95543775 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368280386064 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12276] ppid=12268 vsize=13984976 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/12270/task/12276/stat : 12276 (java) S 12268 12268 6338 0 -1 1077944384 3071 0 0 0 3 4 0 0 20 0 15 0 95543776 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368162155120 140368688011906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12277] ppid=12268 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12277/stat : 12277 (java) S 12268 12268 6338 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95543777 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368161101152 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12278] ppid=12268 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12278/stat : 12278 (java) S 12268 12268 6338 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95543777 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368160048768 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12279] ppid=12268 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12279/stat : 12279 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543779 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368158997072 140368688019355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12280] ppid=12268 vsize=13984976 memory=1228 CPUtime=2.62 cores=1,3,5,7
/proc/12270/task/12280/stat : 12280 (java) S 12268 12268 6338 0 -1 1077944384 12577 0 0 0 260 2 0 0 20 0 15 0 95543779 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368157943920 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12281] ppid=12268 vsize=13984976 memory=1952 CPUtime=2.36 cores=1,3,5,7
/proc/12270/task/12281/stat : 12281 (java) S 12268 12268 6338 0 -1 1077944384 9829 0 0 0 235 1 0 0 20 0 15 0 95543779 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368156891120 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12282] ppid=12268 vsize=13984976 memory=5796 CPUtime=0.71 cores=1,3,5,7
/proc/12270/task/12282/stat : 12282 (java) S 12268 12268 6338 0 -1 1077944384 6536 0 0 0 70 1 0 0 20 0 15 0 95543780 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368155838832 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12283] ppid=12268 vsize=13984976 memory=3891572 CPUtime=0 cores=1,3,5,7
/proc/12270/task/12283/stat : 12283 (java) S 12268 12268 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95543780 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368154786272 140368688010965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
[pid=12270/tid=12284] ppid=12268 vsize=13984976 memory=4616 CPUtime=0.14 cores=1,3,5,7
/proc/12270/task/12284/stat : 12284 (java) S 12268 12268 6338 0 -1 1077944384 500 0 0 0 7 7 0 0 20 0 15 0 95543780 14320615424 972893 33554432000 4194304 4196468 140723006464448 140368153734064 140368688011906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 31113216 140723006469277 140723006469452 140723006469452 140723006472143 0
Current children cumulated CPU time: 246.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3892956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 12268 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001882 s
[startup+240.035 s]
# the end of solver process 12270 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.607 s, system=1.13644 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.035
CPU time (s): 246.743
CPU user time (s): 245.607
CPU system time (s): 1.13644
CPU usage (%): 102.795
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 3892956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.607
system time used= 1.13644
maximum resident set size= 3892632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64341
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8156
involuntary context switches= 156
# summary of solver processes directly reported to runsolver:
# pid: 12268,12270
# total CPU time (s): 246.743
# total CPU user time (s): 245.607
# total CPU system time (s): 1.13644
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43652 second user time and 2.55333 second system time
The end