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 (13681 MiB free)
memory of node 1: 16384 MiB (14262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270024-1502622711/watcher-4270024-1502622711 -o /tmp/evaluation-result-4270024-1502622711/solver-4270024-1502622711 -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 557366321 HOME/instance-4270024-1502622711.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10306, runsolver pid=10303
Current StackSize limit: 8192 KiB
[startup+0.100146 s]*
/proc/loadavg: 1.42 1.74 1.80 3/217 10322
/proc/meminfo: memFree=28598152/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95352199 9740288 346 33554432000 4194304 5098028 140730406560448 140730406558552 139707746488956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7704576 140730406569077 140730406569280 140730406569280 140730406572011 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=13978596 memory=28408 CPUtime=0.12 cores=1,3,5,7
/proc/10308/stat : 10308 (java) S 10306 10306 6338 0 -1 1077944320 5387 0 0 0 11 1 0 0 20 0 15 0 95352200 14314082304 7102 33554432000 4194304 4196468 140726927689488 140726927672032 140530462326519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
/proc/10308/statm: 3494649 7102 2904 1 0 3482966 0
[pid=10308/tid=10309] ppid=10306 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/10308/task/10309/stat : 10309 (java) R 10306 10306 6338 0 -1 4202560 3330 0 0 0 9 0 0 0 20 0 15 0 95352200 14314082304 7102 33554432000 4194304 4196468 140726927689488 140530466562944 140530446407036 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10310] ppid=10306 vsize=13978596 memory=3472468280473375952 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95352201 14314082304 7102 33554432000 4194304 4196468 140726927689488 140530392414864 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10311] ppid=10306 vsize=13978596 memory=140151578224256 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352201 14314082304 7102 33554432000 4194304 4196468 140726927689488 140530056608272 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10312] ppid=10306 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352201 14314082304 7102 33554432000 4194304 4196468 140726927689488 140530055555472 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10313] ppid=10306 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10313/stat : 10313 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352201 14314082304 7102 33554432000 4194304 4196468 140726927689488 140530054502672 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10314] ppid=10306 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10314/stat : 10314 (java) S 10306 10306 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95352202 14314082304 7102 33554432000 4194304 4196468 140726927689488 140530003647344 140530462337666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10315] ppid=10306 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10315/stat : 10315 (java) S 10306 10306 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95352202 14314082304 7102 33554432000 4194304 4196468 140726927689488 140530002593312 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10316] ppid=10306 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95352203 14314082304 7102 33554432000 4194304 4196468 140726927689488 140530001540464 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10317] ppid=10306 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14314082304 7102 33554432000 4194304 4196468 140726927689488 140530000488784 140530462345115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10318] ppid=10306 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10318/stat : 10318 (java) S 10306 10306 6338 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 95352205 14314082304 7102 33554432000 4194304 4196468 140726927689488 140529999436144 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10319] ppid=10306 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10319/stat : 10319 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14314082304 7102 33554432000 4194304 4196468 140726927689488 140529998383344 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10320] ppid=10306 vsize=13978596 memory=140151578224256 CPUtime=0.01 cores=1,3,5,7
/proc/10308/task/10320/stat : 10320 (java) R 10306 10306 6338 0 -1 4202560 338 0 0 0 1 0 0 0 20 0 15 0 95352205 14314082304 7102 33554432000 4194304 4196468 140726927689488 140529997330544 140530441266701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10321] ppid=10306 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14314082304 7102 33554432000 4194304 4196468 140726927689488 140529996277984 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10322] ppid=10306 vsize=13978596 memory=140151578224256 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10322/stat : 10322 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352205 14314082304 7102 33554432000 4194304 4196468 140726927689488 140529995226288 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29792 KiB
[startup+0.210812 s]*
/proc/loadavg: 1.42 1.74 1.80 4/217 10322
/proc/meminfo: memFree=28586380/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95352199 9740288 346 33554432000 4194304 5098028 140730406560448 140730406558552 139707746488956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7704576 140730406569077 140730406569280 140730406569280 140730406572011 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=13982852 memory=39932 CPUtime=0.34 cores=1,3,5,7
/proc/10308/stat : 10308 (java) S 10306 10306 6338 0 -1 1077944320 8062 0 0 0 32 2 0 0 20 0 15 0 95352200 14318440448 9983 33554432000 4194304 4196468 140726927689488 140726927672032 140530462326519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
/proc/10308/statm: 3495713 9983 3030 1 0 3482966 0
[pid=10308/tid=10309] ppid=10306 vsize=13982852 memory=5855082630820233377 CPUtime=0.2 cores=1,3,5,7
/proc/10308/task/10309/stat : 10309 (java) R 10306 10306 6338 0 -1 4202560 5250 0 0 0 19 1 0 0 20 0 15 0 95352200 14318440448 9983 33554432000 4194304 4196468 140726927689488 140530466548544 140530447696432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10310] ppid=10306 vsize=13982852 memory=3472468280473375952 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95352201 14318440448 9983 33554432000 4194304 4196468 140726927689488 140530392414864 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10311] ppid=10306 vsize=13982852 memory=140151578224256 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352201 14318440448 9983 33554432000 4194304 4196468 140726927689488 140530056608272 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10312] ppid=10306 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352201 14318440448 9983 33554432000 4194304 4196468 140726927689488 140530055555472 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10313] ppid=10306 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10313/stat : 10313 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352201 14318440448 9983 33554432000 4194304 4196468 140726927689488 140530054502672 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10314] ppid=10306 vsize=13982852 memory=140151578224256 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10314/stat : 10314 (java) S 10306 10306 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95352202 14318440448 9983 33554432000 4194304 4196468 140726927689488 140530003647344 140530462337666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10315] ppid=10306 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10315/stat : 10315 (java) S 10306 10306 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95352202 14318440448 9983 33554432000 4194304 4196468 140726927689488 140530002593312 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10316] ppid=10306 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95352203 14318440448 9983 33554432000 4194304 4196468 140726927689488 140530001540464 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10317] ppid=10306 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14318440448 9983 33554432000 4194304 4196468 140726927689488 140530000488784 140530462345115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10318] ppid=10306 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10308/task/10318/stat : 10318 (java) S 10306 10306 6338 0 -1 1077944384 528 0 0 0 3 0 0 0 20 0 15 0 95352205 14318440448 9983 33554432000 4194304 4196468 140726927689488 140529999436144 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10319] ppid=10306 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10308/task/10319/stat : 10319 (java) S 10306 10306 6338 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 15 0 95352205 14318440448 9983 33554432000 4194304 4196468 140726927689488 140529998383344 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10320] ppid=10306 vsize=13982852 memory=140151578224256 CPUtime=0.08 cores=1,3,5,7
/proc/10308/task/10320/stat : 10320 (java) S 10306 10306 6338 0 -1 1077944384 738 0 0 0 8 0 0 0 20 0 15 0 95352205 14318440448 9983 33554432000 4194304 4196468 140726927689488 140529997330544 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10321] ppid=10306 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14318440448 9983 33554432000 4194304 4196468 140726927689488 140529996277984 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10322] ppid=10306 vsize=13982852 memory=140151578224256 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10322/stat : 10322 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352205 14318440448 9983 33554432000 4194304 4196468 140726927689488 140529995226288 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41316 KiB
[startup+0.311227 s]*
/proc/loadavg: 1.42 1.74 1.80 6/217 10322
/proc/meminfo: memFree=28578068/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95352199 9740288 346 33554432000 4194304 5098028 140730406560448 140730406558552 139707746488956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7704576 140730406569077 140730406569280 140730406569280 140730406572011 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=13982852 memory=48576 CPUtime=0.53 cores=1,3,5,7
/proc/10308/stat : 10308 (java) S 10306 10306 6338 0 -1 1077944320 9303 0 0 0 50 3 0 0 20 0 15 0 95352200 14318440448 12144 33554432000 4194304 4196468 140726927689488 140726927672032 140530462326519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
/proc/10308/statm: 3495713 12144 3128 1 0 3482966 0
[pid=10308/tid=10309] ppid=10306 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=1,3,5,7
/proc/10308/task/10309/stat : 10309 (java) R 10306 10306 6338 0 -1 4202560 5916 0 0 0 28 1 0 0 20 0 15 0 95352200 14318440448 12144 33554432000 4194304 4196468 140726927689488 140530466557104 140530462348445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10310] ppid=10306 vsize=13982852 memory=3472468280473375952 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95352201 14318440448 12144 33554432000 4194304 4196468 140726927689488 140530392414864 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10311] ppid=10306 vsize=13982852 memory=140151578224256 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352201 14318440448 12144 33554432000 4194304 4196468 140726927689488 140530056608272 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10312] ppid=10306 vsize=13982852 memory=7 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352201 14318440448 12144 33554432000 4194304 4196468 140726927689488 140530055555472 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10313] ppid=10306 vsize=13982852 memory=140151426787359 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10313/stat : 10313 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352201 14318440448 12144 33554432000 4194304 4196468 140726927689488 140530054502672 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10314] ppid=10306 vsize=13982852 memory=280302853553952 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10314/stat : 10314 (java) S 10306 10306 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95352202 14318440448 12144 33554432000 4194304 4196468 140726927689488 140530003647344 140530462337666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10315] ppid=10306 vsize=13982852 memory=140151426764303 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10315/stat : 10315 (java) S 10306 10306 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95352202 14318440448 12144 33554432000 4194304 4196468 140726927689488 140530002593312 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10316] ppid=10306 vsize=13982852 memory=280303004997728 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95352203 14318440448 12144 33554432000 4194304 4196468 140726927689488 140530001540464 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10317] ppid=10306 vsize=13982852 memory=140151426768911 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14318440448 12144 33554432000 4194304 4196468 140726927689488 140530000488784 140530462345115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10318] ppid=10306 vsize=13982852 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10308/task/10318/stat : 10318 (java) S 10306 10306 6338 0 -1 1077944384 816 0 0 0 5 0 0 0 20 0 15 0 95352205 14318440448 12144 33554432000 4194304 4196468 140726927689488 140529999436144 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10319] ppid=10306 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10308/task/10319/stat : 10319 (java) S 10306 10306 6338 0 -1 1077944384 346 0 0 0 3 0 0 0 20 0 15 0 95352205 14318440448 12144 33554432000 4194304 4196468 140726927689488 140529998383344 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10320] ppid=10306 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/10308/task/10320/stat : 10320 (java) R 10306 10306 6338 0 -1 1077944384 924 0 0 0 13 0 0 0 20 0 15 0 95352205 14318440448 12144 33554432000 4194304 4196468 140726927689488 140529997330544 140530462337666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10321] ppid=10306 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14318440448 12144 33554432000 4194304 4196468 140726927689488 140529996277984 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10322] ppid=10306 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10322/stat : 10322 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352205 14318440448 12144 33554432000 4194304 4196468 140726927689488 140529995226288 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49960 KiB
[startup+0.700866 s]
/proc/loadavg: 1.42 1.74 1.80 6/217 10322
/proc/meminfo: memFree=28554504/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95352199 9740288 346 33554432000 4194304 5098028 140730406560448 140730406558552 139707746488956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7704576 140730406569077 140730406569280 140730406569280 140730406572011 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=13984976 memory=88564 CPUtime=1.74 cores=1,3,5,7
/proc/10308/stat : 10308 (java) S 10306 10306 6338 0 -1 1077944320 13774 0 0 0 170 4 0 0 20 0 15 0 95352200 14320615424 22141 33554432000 4194304 4196468 140726927689488 140726927672032 140530462326519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
/proc/10308/statm: 3496244 22141 3209 1 0 3483478 0
[pid=10308/tid=10309] ppid=10306 vsize=13984976 memory=5795117241467496816 CPUtime=0.66 cores=1,3,5,7
/proc/10308/task/10309/stat : 10309 (java) R 10306 10306 6338 0 -1 4202560 6554 0 0 0 64 2 0 0 20 0 15 0 95352200 14320615424 22141 33554432000 4194304 4196468 140726927689488 140530466562352 140530462338454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10310] ppid=10306 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95352201 14320615424 22141 33554432000 4194304 4196468 140726927689488 140530392414864 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10311] ppid=10306 vsize=13984976 memory=7588935152971042901 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352201 14320615424 22141 33554432000 4194304 4196468 140726927689488 140530056608272 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10312] ppid=10306 vsize=13984976 memory=8041645962788481611 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352201 14320615424 22141 33554432000 4194304 4196468 140726927689488 140530055555472 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10313] ppid=10306 vsize=13984976 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10313/stat : 10313 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352201 14320615424 22141 33554432000 4194304 4196468 140726927689488 140530054502672 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10314] ppid=10306 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10314/stat : 10314 (java) S 10306 10306 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95352202 14320615424 22141 33554432000 4194304 4196468 140726927689488 140530003647344 140530462337666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10315] ppid=10306 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10315/stat : 10315 (java) S 10306 10306 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95352202 14320615424 22141 33554432000 4194304 4196468 140726927689488 140530002593312 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10316] ppid=10306 vsize=13984976 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95352203 14320615424 22141 33554432000 4194304 4196468 140726927689488 140530001540464 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10317] ppid=10306 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14320615424 22141 33554432000 4194304 4196468 140726927689488 140530000488784 140530462345115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10318] ppid=10306 vsize=13984976 memory=28028 CPUtime=0.38 cores=1,3,5,7
/proc/10308/task/10318/stat : 10318 (java) R 10306 10306 6338 0 -1 4202560 2680 0 0 0 38 0 0 0 20 0 15 0 95352205 14320615424 22141 33554432000 4194304 4196468 140726927689488 140529999428632 140530441980586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10319] ppid=10306 vsize=13984976 memory=2428 CPUtime=0.34 cores=1,3,5,7
/proc/10308/task/10319/stat : 10319 (java) R 10306 10306 6338 0 -1 4202560 1389 0 0 0 34 0 0 0 20 0 15 0 95352205 14320615424 22141 33554432000 4194304 4196468 140726927689488 140529998369368 140530447248301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10320] ppid=10306 vsize=13984976 memory=1292 CPUtime=0.34 cores=1,3,5,7
/proc/10308/task/10320/stat : 10320 (java) R 10306 10306 6338 0 -1 1077944384 1845 0 0 0 33 1 0 0 20 0 15 0 95352205 14320615424 22141 33554432000 4194304 4196468 140726927689488 140529997330544 140530462337666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10321] ppid=10306 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14320615424 22141 33554432000 4194304 4196468 140726927689488 140529996277984 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10322] ppid=10306 vsize=13984976 memory=7453282923511834215 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10322/stat : 10322 (java) S 10306 10306 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95352205 14320615424 22141 33554432000 4194304 4196468 140726927689488 140529995226288 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 89948 KiB
[startup+1.50076 s]
/proc/loadavg: 1.42 1.74 1.80 4/217 10322
/proc/meminfo: memFree=28526756/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95352199 9740288 346 33554432000 4194304 5098028 140730406560448 140730406558552 139707746488956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7704576 140730406569077 140730406569280 140730406569280 140730406572011 0
/proc/10306/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 6338 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 95352203 14320615424 50660 33554432000 4194304 4196468 140726927689488 140530001540480 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10317] ppid=10306 vsize=13984976 memory=164 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14320615424 50660 33554432000 4194304 4196468 140726927689488 140530000488784 140530462345115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10318] ppid=10306 vsize=13984976 memory=4026532099 CPUtime=1.23 cores=1,3,5,7
/proc/10308/task/10318/stat : 10318 (java) S 10306 10306 6338 0 -1 1077944384 7819 0 0 0 123 0 0 0 20 0 15 0 95352205 14320615424 50660 33554432000 4194304 4196468 140726927689488 140529999436144 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10319] ppid=10306 vsize=13984976 memory=2428 CPUtime=0.95 cores=1,3,5,7
/proc/10308/task/10319/stat : 10319 (java) S 10306 10306 6338 0 -1 1077944384 6581 0 0 0 95 0 0 0 20 0 15 0 95352205 14320615424 50660 33554432000 4194304 4196468 140726927689488 140529998383344 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10320] ppid=10306 vsize=13984976 memory=1292 CPUtime=0.46 cores=1,3,5,7
/proc/10308/task/10320/stat : 10320 (java) S 10306 10306 6338 0 -1 1077944384 5709 0 0 0 45 1 0 0 20 0 15 0 95352205 14320615424 50660 33554432000 4194304 4196468 140726927689488 140529997330544 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10321] ppid=10306 vsize=13984976 memory=204688 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14320615424 50660 33554432000 4194304 4196468 140726927689488 140529996277984 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10322] ppid=10306 vsize=13984976 memory=1292 CPUtime=0.01 cores=1,3,5,7
/proc/10308/task/10322/stat : 10322 (java) S 10306 10306 6338 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 15 0 95352205 14320615424 50660 33554432000 4194304 4196468 140726927689488 140529995226288 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
Current children cumulated CPU time: 105.09 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 204024 KiB
[startup+162.301 s]
/proc/loadavg: 1.95 1.83 1.82 3/218 10487
/proc/meminfo: memFree=28576592/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95352199 9740288 346 33554432000 4194304 5098028 140730406560448 140730406558552 139707746488956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7704576 140730406569077 140730406569280 140730406569280 140730406572011 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=13984976 memory=198680 CPUtime=165.21 cores=1,3,5,7
/proc/10308/stat : 10308 (java) S 10306 10306 6338 0 -1 1077944320 42331 0 0 0 16509 12 0 0 20 0 15 0 95352200 14320615424 49670 33554432000 4194304 4196468 140726927689488 140726927672032 140530462326519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
/proc/10308/statm: 3496244 49670 3257 1 0 3483478 0
[pid=10308/tid=10309] ppid=10306 vsize=13984976 memory=1384 CPUtime=162.22 cores=1,3,5,7
/proc/10308/task/10309/stat : 10309 (java) R 10306 10306 6338 0 -1 4202560 11773 0 0 0 16218 4 0 0 20 0 15 0 95352200 14320615424 49670 33554432000 4194304 4196468 140726927689488 140530466565632 140530075602630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10310] ppid=10306 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 6338 0 -1 1077944384 1538 0 0 0 3 0 0 0 20 0 15 0 95352201 14320615424 49670 33554432000 4194304 4196468 140726927689488 140530392414864 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10311] ppid=10306 vsize=13984976 memory=198680 CPUtime=0.03 cores=1,3,5,7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 6338 0 -1 1077944384 665 0 0 0 2 1 0 0 20 0 15 0 95352201 14320615424 49670 33554432000 4194304 4196468 140726927689488 140530056608272 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10312] ppid=10306 vsize=13984976 memory=636 CPUtime=0.03 cores=1,3,5,7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 6338 0 -1 1077944384 894 0 0 0 2 1 0 0 20 0 15 0 95352201 14320615424 49670 33554432000 4194304 4196468 140726927689488 140530055555472 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10313] ppid=10306 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/10308/task/10313/stat : 10313 (java) S 10306 10306 6338 0 -1 1077944384 1139 0 0 0 2 1 0 0 20 0 15 0 95352201 14320615424 49670 33554432000 4194304 4196468 140726927689488 140530054502672 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10314] ppid=10306 vsize=13984976 memory=4096 CPUtime=0.01 cores=1,3,5,7
/proc/10308/task/10314/stat : 10314 (java) S 10306 10306 6338 0 -1 1077944384 1225 0 0 0 1 0 0 0 20 0 15 0 95352202 14320615424 49670 33554432000 4194304 4196468 140726927689488 140530003647344 140530462337666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10315] ppid=10306 vsize=13984976 memory=28052 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10315/stat : 10315 (java) S 10306 10306 6338 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 95352202 14320615424 49670 33554432000 4194304 4196468 140726927689488 140530002593376 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10316] ppid=10306 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 6338 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 95352203 14320615424 49670 33554432000 4194304 4196468 140726927689488 140530001540480 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10317] ppid=10306 vsize=13984976 memory=200220 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14320615424 49670 33554432000 4194304 4196468 140726927689488 140530000488784 140530462345115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10318] ppid=10306 vsize=13984976 memory=1384 CPUtime=1.27 cores=1,3,5,7
/proc/10308/task/10318/stat : 10318 (java) S 10306 10306 6338 0 -1 1077944384 8723 0 0 0 127 0 0 0 20 0 15 0 95352205 14320615424 49670 33554432000 4194304 4196468 140726927689488 140529999436144 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10319] ppid=10306 vsize=13984976 memory=200220 CPUtime=0.99 cores=1,3,5,7
/proc/10308/task/10319/stat : 10319 (java) S 10306 10306 6338 0 -1 1077944384 7361 0 0 0 99 0 0 0 20 0 15 0 95352205 14320615424 49670 33554432000 4194304 4196468 140726927689488 140529998383344 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10320] ppid=10306 vsize=13984976 memory=200220 CPUtime=0.47 cores=1,3,5,7
/proc/10308/task/10320/stat : 10320 (java) S 10306 10306 6338 0 -1 1077944384 7094 0 0 0 46 1 0 0 20 0 15 0 95352205 14320615424 49670 33554432000 4194304 4196468 140726927689488 140529997330544 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10321] ppid=10306 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14320615424 49670 33554432000 4194304 4196468 140726927689488 140529996277984 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10322] ppid=10306 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/10308/task/10322/stat : 10322 (java) S 10306 10306 6338 0 -1 1077944384 541 0 0 0 2 0 0 0 20 0 15 0 95352205 14320615424 49670 33554432000 4194304 4196468 140726927689488 140529995226288 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
Current children cumulated CPU time: 165.21 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 200064 KiB
[startup+222.301 s]
/proc/loadavg: 1.75 1.80 1.81 3/218 10510
/proc/meminfo: memFree=28587688/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95352199 9740288 346 33554432000 4194304 5098028 140730406560448 140730406558552 139707746488956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7704576 140730406569077 140730406569280 140730406569280 140730406572011 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=13984976 memory=189500 CPUtime=225.28 cores=1,3,5,7
/proc/10308/stat : 10308 (java) S 10306 10306 6338 0 -1 1077944320 44758 0 0 0 22515 13 0 0 20 0 15 0 95352200 14320615424 47375 33554432000 4194304 4196468 140726927689488 140726927672032 140530462326519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
/proc/10308/statm: 3496244 47375 3257 1 0 3483478 0
[pid=10308/tid=10309] ppid=10306 vsize=13984976 memory=189500 CPUtime=222.22 cores=1,3,5,7
/proc/10308/task/10309/stat : 10309 (java) R 10306 10306 6338 0 -1 4202560 12047 0 0 0 22218 4 0 0 20 0 15 0 95352200 14320615424 47375 33554432000 4194304 4196468 140726927689488 140530466563328 140530075602960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10310] ppid=10306 vsize=13984976 memory=189500 CPUtime=0.03 cores=1,3,5,7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 6338 0 -1 1077944384 1567 0 0 0 3 0 0 0 20 0 15 0 95352201 14320615424 47375 33554432000 4194304 4196468 140726927689488 140530392414864 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10311] ppid=10306 vsize=13984976 memory=189500 CPUtime=0.03 cores=1,3,5,7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 6338 0 -1 1077944384 1026 0 0 0 2 1 0 0 20 0 15 0 95352201 14320615424 47375 33554432000 4194304 4196468 140726927689488 140530056608272 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10312] ppid=10306 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 6338 0 -1 1077944384 938 0 0 0 2 1 0 0 20 0 15 0 95352201 14320615424 47375 33554432000 4194304 4196468 140726927689488 140530055555472 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10313] ppid=10306 vsize=13984976 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10308/task/10313/stat : 10313 (java) S 10306 10306 6338 0 -1 1077944384 1147 0 0 0 3 1 0 0 20 0 15 0 95352201 14320615424 47375 33554432000 4194304 4196468 140726927689488 140530054502672 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10314] ppid=10306 vsize=13984976 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10308/task/10314/stat : 10314 (java) S 10306 10306 6338 0 -1 1077944384 1458 0 0 0 1 0 0 0 20 0 15 0 95352202 14320615424 47375 33554432000 4194304 4196468 140726927689488 140530003647344 140530462337666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10315] ppid=10306 vsize=13984976 memory=3832 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10315/stat : 10315 (java) S 10306 10306 6338 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 95352202 14320615424 47375 33554432000 4194304 4196468 140726927689488 140530002593376 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10316] ppid=10306 vsize=13984976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 6338 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 95352203 14320615424 47375 33554432000 4194304 4196468 140726927689488 140530001540480 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10317] ppid=10306 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14320615424 47375 33554432000 4194304 4196468 140726927689488 140530000488784 140530462345115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10318] ppid=10306 vsize=13984976 memory=1384 CPUtime=1.28 cores=1,3,5,7
/proc/10308/task/10318/stat : 10318 (java) S 10306 10306 6338 0 -1 1077944384 9013 0 0 0 128 0 0 0 20 0 15 0 95352205 14320615424 47375 33554432000 4194304 4196468 140726927689488 140529999436144 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10319] ppid=10306 vsize=13984976 memory=1292 CPUtime=1.03 cores=1,3,5,7
/proc/10308/task/10319/stat : 10319 (java) S 10306 10306 6338 0 -1 1077944384 8084 0 0 0 102 1 0 0 20 0 15 0 95352205 14320615424 47375 33554432000 4194304 4196468 140726927689488 140529998383344 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10320] ppid=10306 vsize=13984976 memory=1728 CPUtime=0.48 cores=1,3,5,7
/proc/10308/task/10320/stat : 10320 (java) S 10306 10306 6338 0 -1 1077944384 7545 0 0 0 47 1 0 0 20 0 15 0 95352205 14320615424 47375 33554432000 4194304 4196468 140726927689488 140529997330544 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10321] ppid=10306 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14320615424 47375 33554432000 4194304 4196468 140726927689488 140529996277984 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10322] ppid=10306 vsize=13984976 memory=189500 CPUtime=0.03 cores=1,3,5,7
/proc/10308/task/10322/stat : 10322 (java) S 10306 10306 6338 0 -1 1077944384 555 0 0 0 2 1 0 0 20 0 15 0 95352205 14320615424 47375 33554432000 4194304 4196468 140726927689488 140529995226288 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
Current children cumulated CPU time: 225.28 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 190884 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.69 1.78 1.80 3/218 10510
/proc/meminfo: memFree=28593292/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95352199 9740288 346 33554432000 4194304 5098028 140730406560448 140730406558552 139707746488956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7704576 140730406569077 140730406569280 140730406569280 140730406572011 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=13984976 memory=185392 CPUtime=242.99 cores=1,3,5,7
/proc/10308/stat : 10308 (java) S 10306 10306 6338 0 -1 1077944320 44770 0 0 0 24286 13 0 0 20 0 15 0 95352200 14320615424 46348 33554432000 4194304 4196468 140726927689488 140726927672032 140530462326519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
/proc/10308/statm: 3496244 46348 3257 1 0 3483478 0
[pid=10308/tid=10309] ppid=10306 vsize=13984976 memory=6791534058613427641 CPUtime=239.93 cores=1,3,5,7
/proc/10308/task/10309/stat : 10309 (java) R 10306 10306 6338 0 -1 4202560 12049 0 0 0 23989 4 0 0 20 0 15 0 95352200 14320615424 46348 33554432000 4194304 4196468 140726927689488 140530466565632 140530075649120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10310] ppid=10306 vsize=13984976 memory=-7003737579269690708 CPUtime=0.03 cores=1,3,5,7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 6338 0 -1 1077944384 1570 0 0 0 3 0 0 0 20 0 15 0 95352201 14320615424 46348 33554432000 4194304 4196468 140726927689488 140530392414864 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10311] ppid=10306 vsize=13984976 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 6338 0 -1 1077944384 1029 0 0 0 3 1 0 0 20 0 15 0 95352201 14320615424 46348 33554432000 4194304 4196468 140726927689488 140530056608272 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10312] ppid=10306 vsize=13984976 memory=4096 CPUtime=0.04 cores=1,3,5,7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 6338 0 -1 1077944384 940 0 0 0 3 1 0 0 20 0 15 0 95352201 14320615424 46348 33554432000 4194304 4196468 140726927689488 140530055555472 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10313] ppid=10306 vsize=13984976 memory=28076 CPUtime=0.04 cores=1,3,5,7
/proc/10308/task/10313/stat : 10313 (java) S 10306 10306 6338 0 -1 1077944384 1149 0 0 0 3 1 0 0 20 0 15 0 95352201 14320615424 46348 33554432000 4194304 4196468 140726927689488 140530054502672 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10314] ppid=10306 vsize=13984976 memory=2428 CPUtime=0.02 cores=1,3,5,7
/proc/10308/task/10314/stat : 10314 (java) S 10306 10306 6338 0 -1 1077944384 1458 0 0 0 2 0 0 0 20 0 15 0 95352202 14320615424 46348 33554432000 4194304 4196468 140726927689488 140530003647344 140530462337666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10315] ppid=10306 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10315/stat : 10315 (java) S 10306 10306 6338 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 95352202 14320615424 46348 33554432000 4194304 4196468 140726927689488 140530002593376 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10316] ppid=10306 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 6338 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 95352203 14320615424 46348 33554432000 4194304 4196468 140726927689488 140530001540480 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10317] ppid=10306 vsize=13984976 memory=12064 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14320615424 46348 33554432000 4194304 4196468 140726927689488 140530000488784 140530462345115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10318] ppid=10306 vsize=13984976 memory=1004 CPUtime=1.28 cores=1,3,5,7
/proc/10308/task/10318/stat : 10318 (java) S 10306 10306 6338 0 -1 1077944384 9013 0 0 0 128 0 0 0 20 0 15 0 95352205 14320615424 46348 33554432000 4194304 4196468 140726927689488 140529999436144 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10319] ppid=10306 vsize=13984976 memory=1228 CPUtime=1.03 cores=1,3,5,7
/proc/10308/task/10319/stat : 10319 (java) S 10306 10306 6338 0 -1 1077944384 8084 0 0 0 102 1 0 0 20 0 15 0 95352205 14320615424 46348 33554432000 4194304 4196468 140726927689488 140529998383344 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10320] ppid=10306 vsize=13984976 memory=1952 CPUtime=0.48 cores=1,3,5,7
/proc/10308/task/10320/stat : 10320 (java) S 10306 10306 6338 0 -1 1077944384 7545 0 0 0 47 1 0 0 20 0 15 0 95352205 14320615424 46348 33554432000 4194304 4196468 140726927689488 140529997330544 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10321] ppid=10306 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95352205 14320615424 46348 33554432000 4194304 4196468 140726927689488 140529996277984 140530462336725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
[pid=10308/tid=10322] ppid=10306 vsize=13984976 memory=4616 CPUtime=0.04 cores=1,3,5,7
/proc/10308/task/10322/stat : 10322 (java) S 10306 10306 6338 0 -1 1077944384 555 0 0 0 2 2 0 0 20 0 15 0 95352205 14320615424 46348 33554432000 4194304 4196468 140726927689488 140529995226288 140530462337666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140726927697053 140726927697228 140726927697228 140726927699919 0
Current children cumulated CPU time: 242.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 186776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 10306 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000814 s, system=0.001178 s
[startup+240.021 s]
# the end of solver process 10308 was just reported to runsolver
# cumulated CPU time of all completed processes: user=242.88 s, system=0.144236 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.021
CPU time (s): 243.025
CPU user time (s): 242.88
CPU system time (s): 0.144236
CPU usage (%): 101.251
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 207440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.88
system time used= 0.144236
maximum resident set size= 210832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7774
involuntary context switches= 97
# summary of solver processes directly reported to runsolver:
# pid: 10306,10308
# total CPU time (s): 243.025
# total CPU user time (s): 242.88
# total CPU system time (s): 0.144236
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37798 second user time and 2.17596 second system time
The end