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 (15286 MiB free)
memory of node 1: 16384 MiB (15518 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399166-1568698278/watcher-4399166-1568698278 -o /tmp/evaluation-result-4399166-1568698278/solver-4399166-1568698278 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21537 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 368460003 HOME/instance-4399166-1568698278.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=25220, runsolver pid=25217
Current StackSize limit: 8192 KiB
[startup+0.100128 s]*
/proc/loadavg: 7.89 8.48 8.32 7/234 25236
/proc/meminfo: memFree=31527940/32770624 swapFree=66977056/67108860
[pid=25220] ppid=25217 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25220/stat : 25220 (xcsp3-exec) S 25217 25220 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446090454 115843072 362 33554432000 4194304 5098028 140726123043552 140726123041656 140289721025148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33296384 140726123045755 140726123045997 140726123045997 140726123048906 0
/proc/25220/statm: 28282 362 304 221 0 87 0
[pid=25222] ppid=25220 vsize=15144776 memory=30324 CPUtime=0.13 cores=0,2,4,6
/proc/25222/stat : 25222 (java) S 25220 25220 21506 0 -1 1077944320 5479 0 0 0 12 1 0 0 20 0 15 0 446090454 15508250624 7581 33554432000 4194304 4196468 140730058925248 140730058907792 140597804629751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
/proc/25222/statm: 3786194 7581 3151 1 0 3748377 0
[pid=25222/tid=25223] ppid=25220 vsize=15144776 memory=7682489639022458387 CPUtime=0.09 cores=0,2,4,6
/proc/25222/task/25223/stat : 25223 (java) R 25220 25220 21506 0 -1 4202560 3392 0 0 0 8 1 0 0 20 0 15 0 446090454 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597808861072 140597804641686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25224] ppid=25220 vsize=15144776 memory=3472468692527609040 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25224/stat : 25224 (java) S 25220 25220 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446090455 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597397477776 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25225] ppid=25220 vsize=15144776 memory=140563632457344 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25225/stat : 25225 (java) S 25220 25220 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446090455 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597396424976 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25226] ppid=25220 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25226/stat : 25226 (java) S 25220 25220 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446090455 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597395372688 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25227] ppid=25220 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25227/stat : 25227 (java) S 25220 25220 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446090455 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597394319888 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25228] ppid=25220 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25228/stat : 25228 (java) S 25220 25220 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446090456 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597273213552 140597804640898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25229] ppid=25220 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25229/stat : 25229 (java) S 25220 25220 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446090457 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597272159520 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25230] ppid=25220 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25230/stat : 25230 (java) S 25220 25220 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446090457 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597271107184 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25231] ppid=25220 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25231/stat : 25231 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446090459 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597270055504 140597804648347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25232] ppid=25220 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25232/stat : 25232 (java) R 25220 25220 21506 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 446090459 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597269002448 140597804639957 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25233] ppid=25220 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25233/stat : 25233 (java) R 25220 25220 21506 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 15 0 446090459 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597267941056 140597782224528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25234] ppid=25220 vsize=15144776 memory=140563632457344 CPUtime=0.02 cores=0,2,4,6
/proc/25222/task/25234/stat : 25234 (java) R 25220 25220 21506 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 446090459 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597266897264 140597783545649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25235] ppid=25220 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25235/stat : 25235 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446090460 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597265844704 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25236] ppid=25220 vsize=15144776 memory=140563632457344 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25236/stat : 25236 (java) S 25220 25220 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446090460 15508250624 7581 33554432000 4194304 4196468 140730058925248 140597264792496 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31772 KiB
[startup+0.21201 s]*
/proc/loadavg: 7.89 8.48 8.32 9/234 25236
/proc/meminfo: memFree=31516112/32770624 swapFree=66977056/67108860
[pid=25220] ppid=25217 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25220/stat : 25220 (xcsp3-exec) S 25217 25220 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446090454 115843072 362 33554432000 4194304 5098028 140726123043552 140726123041656 140289721025148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33296384 140726123045755 140726123045997 140726123045997 140726123048906 0
/proc/25220/statm: 28282 362 304 221 0 87 0
[pid=25222] ppid=25220 vsize=15144776 memory=40668 CPUtime=0.35 cores=0,2,4,6
/proc/25222/stat : 25222 (java) S 25220 25220 21506 0 -1 1077944320 8899 0 0 0 32 3 0 0 20 0 15 0 446090454 15508250624 10167 33554432000 4194304 4196468 140730058925248 140730058907792 140597804629751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
/proc/25222/statm: 3786194 10167 3278 1 0 3748377 0
[pid=25222/tid=25223] ppid=25220 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=0,2,4,6
/proc/25222/task/25223/stat : 25223 (java) R 25220 25220 21506 0 -1 4202560 6192 0 0 0 18 2 0 0 20 0 15 0 446090454 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597808867568 140597797307765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25224] ppid=25220 vsize=15144776 memory=3472468692527609040 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25224/stat : 25224 (java) S 25220 25220 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446090455 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597397477776 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25225] ppid=25220 vsize=15144776 memory=140563632457344 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25225/stat : 25225 (java) S 25220 25220 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446090455 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597396424976 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25226] ppid=25220 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25226/stat : 25226 (java) S 25220 25220 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446090455 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597395372688 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25227] ppid=25220 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25227/stat : 25227 (java) S 25220 25220 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446090455 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597394319888 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25228] ppid=25220 vsize=15144776 memory=140563632457344 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25228/stat : 25228 (java) S 25220 25220 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446090456 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597273213552 140597804640898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25229] ppid=25220 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25229/stat : 25229 (java) S 25220 25220 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446090457 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597272159520 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25230] ppid=25220 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25230/stat : 25230 (java) S 25220 25220 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446090457 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597271107184 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25231] ppid=25220 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25231/stat : 25231 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446090459 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597270055504 140597804648347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25232] ppid=25220 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25222/task/25232/stat : 25232 (java) S 25220 25220 21506 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 15 0 446090459 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597269002352 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25233] ppid=25220 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/25222/task/25233/stat : 25233 (java) S 25220 25220 21506 0 -1 1077944384 177 0 0 0 3 0 0 0 20 0 15 0 446090459 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597267949552 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25234] ppid=25220 vsize=15144776 memory=140563632457344 CPUtime=0.08 cores=0,2,4,6
/proc/25222/task/25234/stat : 25234 (java) R 25220 25220 21506 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 15 0 446090459 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597266897264 140597804651098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25235] ppid=25220 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25235/stat : 25235 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446090460 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597265844704 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25236] ppid=25220 vsize=15144776 memory=140563632457344 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25236/stat : 25236 (java) S 25220 25220 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446090460 15508250624 10167 33554432000 4194304 4196468 140730058925248 140597264792496 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42116 KiB
[startup+0.310562 s]*
/proc/loadavg: 7.89 8.48 8.32 7/234 25236
/proc/meminfo: memFree=31509224/32770624 swapFree=66977056/67108860
[pid=25220] ppid=25217 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25220/stat : 25220 (xcsp3-exec) S 25217 25220 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446090454 115843072 362 33554432000 4194304 5098028 140726123043552 140726123041656 140289721025148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33296384 140726123045755 140726123045997 140726123045997 140726123048906 0
/proc/25220/statm: 28282 362 304 221 0 87 0
[pid=25222] ppid=25220 vsize=15149032 memory=49892 CPUtime=0.53 cores=0,2,4,6
/proc/25222/stat : 25222 (java) S 25220 25220 21506 0 -1 1077944320 10285 0 0 0 50 3 0 0 20 0 15 0 446090454 15512608768 12473 33554432000 4194304 4196468 140730058925248 140730058907792 140597804629751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
/proc/25222/statm: 3787258 12473 3360 1 0 3748377 0
[pid=25222/tid=25223] ppid=25220 vsize=15149032 memory=-8439527450518781933 CPUtime=0.3 cores=0,2,4,6
/proc/25222/task/25223/stat : 25223 (java) R 25220 25220 21506 0 -1 4202560 7281 0 0 0 27 3 0 0 20 0 15 0 446090454 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597808860864 140597783074534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25224] ppid=25220 vsize=15149032 memory=3472468692527609040 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25224/stat : 25224 (java) S 25220 25220 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446090455 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597397477776 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25225] ppid=25220 vsize=15149032 memory=281127107639680 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25225/stat : 25225 (java) S 25220 25220 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446090455 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597396424976 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25226] ppid=25220 vsize=15149032 memory=281126950396960 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25226/stat : 25226 (java) S 25220 25220 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446090455 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597395372688 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25227] ppid=25220 vsize=15149032 memory=140563475182351 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25227/stat : 25227 (java) S 25220 25220 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446090455 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597394319888 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25228] ppid=25220 vsize=15149032 memory=281127107646592 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25228/stat : 25228 (java) S 25220 25220 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446090456 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597273213552 140597804640898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25229] ppid=25220 vsize=15149032 memory=140563475186959 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25229/stat : 25229 (java) S 25220 25220 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446090457 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597272159520 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25230] ppid=25220 vsize=15149032 memory=140563475210802 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25230/stat : 25230 (java) S 25220 25220 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446090457 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597271107184 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25231] ppid=25220 vsize=15149032 memory=140563475216510 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25231/stat : 25231 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446090459 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597270055504 140597804648347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25232] ppid=25220 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25222/task/25232/stat : 25232 (java) R 25220 25220 21506 0 -1 4202560 593 0 0 0 5 0 0 0 20 0 15 0 446090459 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597268992736 140597788016910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25233] ppid=25220 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/25222/task/25233/stat : 25233 (java) S 25220 25220 21506 0 -1 1077944384 192 0 0 0 4 0 0 0 20 0 15 0 446090459 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597267949552 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25234] ppid=25220 vsize=15149032 memory=140563632457344 CPUtime=0.13 cores=0,2,4,6
/proc/25222/task/25234/stat : 25234 (java) S 25220 25220 21506 0 -1 1077944384 914 0 0 0 13 0 0 0 20 0 15 0 446090459 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597266897264 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25235] ppid=25220 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25235/stat : 25235 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446090460 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597265844704 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25236] ppid=25220 vsize=15149032 memory=140563632458792 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25236/stat : 25236 (java) S 25220 25220 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446090460 15512608768 12473 33554432000 4194304 4196468 140730058925248 140597264792496 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51340 KiB
[startup+0.706432 s]
/proc/loadavg: 7.89 8.48 8.32 11/238 25292
/proc/meminfo: memFree=31399532/32770624 swapFree=66977056/67108860
[pid=25220] ppid=25217 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25220/stat : 25220 (xcsp3-exec) S 25217 25220 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446090454 115843072 362 33554432000 4194304 5098028 140726123043552 140726123041656 140289721025148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33296384 140726123045755 140726123045997 140726123045997 140726123048906 0
/proc/25220/statm: 28282 362 304 221 0 87 0
[pid=25222] ppid=25220 vsize=15551568 memory=174112 CPUtime=1.71 cores=0,2,4,6
/proc/25222/stat : 25222 (java) S 25220 25220 21506 0 -1 1077944320 16894 0 0 0 164 7 0 0 20 0 19 0 446090454 15924805632 43528 33554432000 4194304 4196468 140730058925248 140730058907792 140597804629751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
/proc/25222/statm: 3887892 43528 3464 1 0 3848992 0
[pid=25222/tid=25223] ppid=25220 vsize=15551568 memory=7079774412187127888 CPUtime=0.45 cores=0,2,4,6
/proc/25222/task/25223/stat : 25223 (java) S 25220 25220 21506 0 -1 1077944384 8586 0 0 0 42 3 0 0 20 0 19 0 446090454 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597808870528 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25224] ppid=25220 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25224/stat : 25224 (java) S 25220 25220 21506 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 446090455 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597397477776 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25225] ppid=25220 vsize=15551568 memory=10 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25225/stat : 25225 (java) S 25220 25220 21506 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 446090455 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597396424976 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25226] ppid=25220 vsize=15551568 memory=140563475221280 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25226/stat : 25226 (java) S 25220 25220 21506 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 446090455 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597395372688 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25227] ppid=25220 vsize=15551568 memory=281126950401136 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25227/stat : 25227 (java) S 25220 25220 21506 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 446090455 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597394319888 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25228] ppid=25220 vsize=15551568 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25228/stat : 25228 (java) S 25220 25220 21506 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 446090456 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597273213552 140597804640898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25229] ppid=25220 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25229/stat : 25229 (java) S 25220 25220 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446090457 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597272159520 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25230] ppid=25220 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25230/stat : 25230 (java) S 25220 25220 21506 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446090457 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597271107184 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25231] ppid=25220 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25231/stat : 25231 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446090459 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597270055504 140597804648347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25232] ppid=25220 vsize=15551568 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/25222/task/25232/stat : 25232 (java) R 25220 25220 21506 0 -1 4202560 1856 0 0 0 27 0 0 0 20 0 19 0 446090459 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597268983368 140597788113240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25233] ppid=25220 vsize=15551568 memory=128 CPUtime=0.27 cores=0,2,4,6
/proc/25222/task/25233/stat : 25233 (java) R 25220 25220 21506 0 -1 4202560 1531 0 0 0 27 0 0 0 20 0 19 0 446090459 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597267937192 140597784140729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25234] ppid=25220 vsize=15551568 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/25222/task/25234/stat : 25234 (java) R 25220 25220 21506 0 -1 4202560 1718 0 0 0 29 0 0 0 20 0 19 0 446090459 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597266894072 140597789181068 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25235] ppid=25220 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25235/stat : 25235 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446090460 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597265844704 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25236] ppid=25220 vsize=15551568 memory=8174711894690641973 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25236/stat : 25236 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446090460 15924805632 43528 33554432000 4194304 4196468 140730058925248 140597264792496 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 175560 KiB
[startup+1.50743 s]
/proc/loadavg: 7.89 8.48 8.32 12/238 25360
/proc/meminfo: memFree=31357876/32770624 swapFree=66977056/67108860
[pid=25220] ppid=25217 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25220/stat : 25220 (xcsp3-exec) S 25217 25220 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446090454 115843072 362 33554432000 4194304 5098028 140726123043552 140726123041656 140289721025148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33296384 140726123045755 140726123045997 140726123045997 140726123048906 0
/proc/25220/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/25222/task/25424/stat : 25424 (java) R 25220 25220 21506 0 -1 4202560 193 0 0 0 426 0 0 0 20 0 19 0 446090618 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597255575168 140597446391384 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
Current children cumulated CPU time: 23.72 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 213952 KiB
[startup+6.79821 s]
# the end of solver process 25220 was just reported to runsolver
# cumulated CPU time of all completed processes: user=25.5302 s, system=0.159284 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40843 s]
/proc/loadavg: 7.65 8.42 8.30 10/238 25426
/proc/meminfo: memFree=31343316/32770624 swapFree=66977056/67108860
[pid=25220] ppid=25217 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25220/stat : 25220 (xcsp3-exec) S 25217 25220 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446090454 115843072 362 33554432000 4194304 5098028 140726123043552 140726123041656 140289721025148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33296384 140726123045755 140726123045997 140726123045997 140726123048906 0
/proc/25220/statm: 28282 362 304 221 0 87 0
[pid=25222] ppid=25220 vsize=15551568 memory=212504 CPUtime=24.15 cores=0,2,4,6
/proc/25222/stat : 25222 (java) S 25220 25220 21506 0 -1 1077944320 33916 0 0 0 2400 15 0 0 20 0 19 0 446090454 15924805632 53126 33554432000 4194304 4196468 140730058925248 140730058907792 140597804629751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
/proc/25222/statm: 3887892 53126 3516 1 0 3848992 0
[pid=25222/tid=25223] ppid=25220 vsize=15551568 memory=7522231158608781394 CPUtime=0.45 cores=0,2,4,6
/proc/25222/task/25223/stat : 25223 (java) S 25220 25220 21506 0 -1 1077944384 8587 0 0 0 42 3 0 0 20 0 19 0 446090454 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597808870528 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25224] ppid=25220 vsize=15551568 memory=7377271545602793554 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25224/stat : 25224 (java) S 25220 25220 21506 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 19 0 446090455 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597397477776 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25225] ppid=25220 vsize=15551568 memory=7377271545602793554 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25225/stat : 25225 (java) S 25220 25220 21506 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 19 0 446090455 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597396424976 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25226] ppid=25220 vsize=15551568 memory=140563475262904 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25226/stat : 25226 (java) S 25220 25220 21506 0 -1 1077944384 545 0 0 0 1 0 0 0 20 0 19 0 446090455 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597395372688 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25227] ppid=25220 vsize=15551568 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25227/stat : 25227 (java) S 25220 25220 21506 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 19 0 446090455 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597394319888 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25228] ppid=25220 vsize=15551568 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25228/stat : 25228 (java) S 25220 25220 21506 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 19 0 446090456 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597273213552 140597804640898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25229] ppid=25220 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25229/stat : 25229 (java) S 25220 25220 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446090457 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597272159584 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25230] ppid=25220 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25230/stat : 25230 (java) S 25220 25220 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446090457 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597271107200 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25231] ppid=25220 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25231/stat : 25231 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446090459 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597270055504 140597804648347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25232] ppid=25220 vsize=15551568 memory=0 CPUtime=1.68 cores=0,2,4,6
/proc/25222/task/25232/stat : 25232 (java) S 25220 25220 21506 0 -1 1077944384 7388 0 0 0 167 1 0 0 20 0 19 0 446090459 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597269002352 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25233] ppid=25220 vsize=15551568 memory=0 CPUtime=1.97 cores=0,2,4,6
/proc/25222/task/25233/stat : 25233 (java) S 25220 25220 21506 0 -1 1077944384 7814 0 0 0 196 1 0 0 20 0 19 0 446090459 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597267949552 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25234] ppid=25220 vsize=15551568 memory=57 CPUtime=0.45 cores=0,2,4,6
/proc/25222/task/25234/stat : 25234 (java) S 25220 25220 21506 0 -1 1077944384 2817 0 0 0 45 0 0 0 20 0 19 0 446090459 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597266897264 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25235] ppid=25220 vsize=15551568 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25235/stat : 25235 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446090460 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597265844704 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25236] ppid=25220 vsize=15551568 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25236/stat : 25236 (java) S 25220 25220 21506 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 19 0 446090460 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597264792496 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25421] ppid=25220 vsize=15551568 memory=6655300316396806240 CPUtime=4.28 cores=0,2,4,6
/proc/25222/task/25421/stat : 25421 (java) R 25220 25220 21506 0 -1 4202560 99 0 0 0 428 0 0 0 20 0 19 0 446090618 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597250309760 140597445738837 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25422] ppid=25220 vsize=15551568 memory=6944656592387989600 CPUtime=4.24 cores=0,2,4,6
/proc/25222/task/25422/stat : 25422 (java) R 25220 25220 21506 0 -1 4202560 257 0 0 0 424 0 0 0 20 0 19 0 446090618 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597249260992 140597448095776 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25423] ppid=25220 vsize=15551568 memory=6944656592455097440 CPUtime=4.31 cores=0,2,4,6
/proc/25222/task/25423/stat : 25423 (java) R 25220 25220 21506 0 -1 4202560 382 0 0 0 431 0 0 0 20 0 19 0 446090618 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597253468824 140597446935354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25424] ppid=25220 vsize=15551568 memory=6944656592455360604 CPUtime=4.36 cores=0,2,4,6
/proc/25222/task/25424/stat : 25424 (java) R 25220 25220 21506 0 -1 4202560 193 0 0 0 436 0 0 0 20 0 19 0 446090618 15924805632 53126 33554432000 4194304 4196468 140730058925248 140597255573856 140597446392656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
Current children cumulated CPU time: 24.15 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 213952 KiB
[startup+6.60143 s]
/proc/loadavg: 7.65 8.42 8.30 10/238 25426
/proc/meminfo: memFree=31343316/32770624 swapFree=66977056/67108860
[pid=25220] ppid=25217 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25220/stat : 25220 (xcsp3-exec) S 25217 25220 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446090454 115843072 362 33554432000 4194304 5098028 140726123043552 140726123041656 140289721025148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33296384 140726123045755 140726123045997 140726123045997 140726123048906 0
/proc/25220/statm: 28282 362 304 221 0 87 0
[pid=25222] ppid=25220 vsize=15551568 memory=210960 CPUtime=24.91 cores=0,2,4,6
/proc/25222/stat : 25222 (java) S 25220 25220 21506 0 -1 1077944320 33918 0 0 0 2476 15 0 0 20 0 19 0 446090454 15924805632 52740 33554432000 4194304 4196468 140730058925248 140730058907792 140597804629751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
/proc/25222/statm: 3887892 52740 3516 1 0 3848992 0
[pid=25222/tid=25223] ppid=25220 vsize=15551568 memory=1580 CPUtime=0.45 cores=0,2,4,6
/proc/25222/task/25223/stat : 25223 (java) S 25220 25220 21506 0 -1 1077944384 8587 0 0 0 42 3 0 0 20 0 19 0 446090454 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597808870528 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25224] ppid=25220 vsize=15551568 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25224/stat : 25224 (java) S 25220 25220 21506 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 19 0 446090455 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597397477776 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25225] ppid=25220 vsize=15551568 memory=288230574492221466 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25225/stat : 25225 (java) S 25220 25220 21506 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 19 0 446090455 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597396424976 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25226] ppid=25220 vsize=15551568 memory=288230617509003574 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25226/stat : 25226 (java) S 25220 25220 21506 0 -1 1077944384 545 0 0 0 1 0 0 0 20 0 19 0 446090455 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597395372688 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25227] ppid=25220 vsize=15551568 memory=15252640887999028 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25227/stat : 25227 (java) S 25220 25220 21506 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 19 0 446090455 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597394319888 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25228] ppid=25220 vsize=15551568 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25228/stat : 25228 (java) S 25220 25220 21506 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 19 0 446090456 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597273213552 140597804640898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25229] ppid=25220 vsize=15551568 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25229/stat : 25229 (java) S 25220 25220 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446090457 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597272159584 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25230] ppid=25220 vsize=15551568 memory=220836 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25230/stat : 25230 (java) S 25220 25220 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446090457 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597271107200 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25231] ppid=25220 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25231/stat : 25231 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446090459 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597270055504 140597804648347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25232] ppid=25220 vsize=15551568 memory=0 CPUtime=1.68 cores=0,2,4,6
/proc/25222/task/25232/stat : 25232 (java) S 25220 25220 21506 0 -1 1077944384 7388 0 0 0 167 1 0 0 20 0 19 0 446090459 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597269002352 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25233] ppid=25220 vsize=15551568 memory=0 CPUtime=1.97 cores=0,2,4,6
/proc/25222/task/25233/stat : 25233 (java) S 25220 25220 21506 0 -1 1077944384 7814 0 0 0 196 1 0 0 20 0 19 0 446090459 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597267949552 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25234] ppid=25220 vsize=15551568 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/25222/task/25234/stat : 25234 (java) S 25220 25220 21506 0 -1 1077944384 2817 0 0 0 45 0 0 0 20 0 19 0 446090459 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597266897264 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25235] ppid=25220 vsize=15551568 memory=30672 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25235/stat : 25235 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446090460 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597265844704 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25236] ppid=25220 vsize=15551568 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25236/stat : 25236 (java) S 25220 25220 21506 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 19 0 446090460 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597264792496 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25421] ppid=25220 vsize=15551568 memory=984 CPUtime=4.47 cores=0,2,4,6
/proc/25222/task/25421/stat : 25421 (java) R 25220 25220 21506 0 -1 4202560 99 0 0 0 447 0 0 0 20 0 19 0 446090618 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597250310008 140597447245821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25422] ppid=25220 vsize=15551568 memory=1448 CPUtime=4.43 cores=0,2,4,6
/proc/25222/task/25422/stat : 25422 (java) R 25220 25220 21506 0 -1 4202560 257 0 0 0 443 0 0 0 20 0 19 0 446090618 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597249258728 140597447054243 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25423] ppid=25220 vsize=15551568 memory=218068 CPUtime=4.5 cores=0,2,4,6
/proc/25222/task/25423/stat : 25423 (java) R 25220 25220 21506 0 -1 4202560 382 0 0 0 450 0 0 0 20 0 19 0 446090618 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597253469264 140597446026068 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25424] ppid=25220 vsize=15551568 memory=4088 CPUtime=4.55 cores=0,2,4,6
/proc/25222/task/25424/stat : 25424 (java) R 25220 25220 21506 0 -1 4202560 194 0 0 0 455 0 0 0 20 0 19 0 446090618 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597255575728 140597446389485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
Current children cumulated CPU time: 24.91 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 212408 KiB
[startup+6.70144 s]
/proc/loadavg: 7.65 8.42 8.30 10/238 25426
/proc/meminfo: memFree=31343316/32770624 swapFree=66977056/67108860
[pid=25220] ppid=25217 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25220/stat : 25220 (xcsp3-exec) S 25217 25220 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446090454 115843072 362 33554432000 4194304 5098028 140726123043552 140726123041656 140289721025148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33296384 140726123045755 140726123045997 140726123045997 140726123048906 0
/proc/25220/statm: 28282 362 304 221 0 87 0
[pid=25222] ppid=25220 vsize=15551568 memory=210960 CPUtime=25.31 cores=0,2,4,6
/proc/25222/stat : 25222 (java) S 25220 25220 21506 0 -1 1077944320 33918 0 0 0 2516 15 0 0 20 0 19 0 446090454 15924805632 52740 33554432000 4194304 4196468 140730058925248 140730058907792 140597804629751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
/proc/25222/statm: 3887892 52740 3516 1 0 3848992 0
[pid=25222/tid=25223] ppid=25220 vsize=15551568 memory=984 CPUtime=0.45 cores=0,2,4,6
/proc/25222/task/25223/stat : 25223 (java) S 25220 25220 21506 0 -1 1077944384 8587 0 0 0 42 3 0 0 20 0 19 0 446090454 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597808870528 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25224] ppid=25220 vsize=15551568 memory=1324 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25224/stat : 25224 (java) S 25220 25220 21506 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 19 0 446090455 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597397477776 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25225] ppid=25220 vsize=15551568 memory=57 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25225/stat : 25225 (java) S 25220 25220 21506 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 19 0 446090455 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597396424976 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25226] ppid=25220 vsize=15551568 memory=7377271545602793554 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25226/stat : 25226 (java) S 25220 25220 21506 0 -1 1077944384 545 0 0 0 1 0 0 0 20 0 19 0 446090455 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597395372688 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25227] ppid=25220 vsize=15551568 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25227/stat : 25227 (java) S 25220 25220 21506 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 19 0 446090455 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597394319888 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25228] ppid=25220 vsize=15551568 memory=140563475312209 CPUtime=0.01 cores=0,2,4,6
/proc/25222/task/25228/stat : 25228 (java) S 25220 25220 21506 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 19 0 446090456 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597273213552 140597804640898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25229] ppid=25220 vsize=15551568 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25229/stat : 25229 (java) S 25220 25220 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446090457 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597272159584 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25230] ppid=25220 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25230/stat : 25230 (java) S 25220 25220 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446090457 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597271107200 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25231] ppid=25220 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25231/stat : 25231 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446090459 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597270055504 140597804648347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25232] ppid=25220 vsize=15551568 memory=0 CPUtime=1.68 cores=0,2,4,6
/proc/25222/task/25232/stat : 25232 (java) S 25220 25220 21506 0 -1 1077944384 7388 0 0 0 167 1 0 0 20 0 19 0 446090459 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597269002352 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25233] ppid=25220 vsize=15551568 memory=57 CPUtime=1.97 cores=0,2,4,6
/proc/25222/task/25233/stat : 25233 (java) S 25220 25220 21506 0 -1 1077944384 7814 0 0 0 196 1 0 0 20 0 19 0 446090459 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597267949552 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25234] ppid=25220 vsize=15551568 memory=-6876588461455810464 CPUtime=0.45 cores=0,2,4,6
/proc/25222/task/25234/stat : 25234 (java) S 25220 25220 21506 0 -1 1077944384 2817 0 0 0 45 0 0 0 20 0 19 0 446090459 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597266897264 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25235] ppid=25220 vsize=15551568 memory=1399103955520229747 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25235/stat : 25235 (java) S 25220 25220 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446090460 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597265844704 140597804639957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25236] ppid=25220 vsize=15551568 memory=-7965959130280075168 CPUtime=0 cores=0,2,4,6
/proc/25222/task/25236/stat : 25236 (java) S 25220 25220 21506 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 19 0 446090460 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597264792496 140597804640898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25421] ppid=25220 vsize=15551568 memory=6944656592387989600 CPUtime=4.57 cores=0,2,4,6
/proc/25222/task/25421/stat : 25421 (java) R 25220 25220 21506 0 -1 4202560 99 0 0 0 457 0 0 0 20 0 19 0 446090618 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597250310008 140597446026272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25422] ppid=25220 vsize=15551568 memory=6791534058613427641 CPUtime=4.53 cores=0,2,4,6
/proc/25222/task/25422/stat : 25422 (java) R 25220 25220 21506 0 -1 4202560 257 0 0 0 453 0 0 0 20 0 19 0 446090618 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597249258728 140597448096123 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25423] ppid=25220 vsize=15551568 memory=1028 CPUtime=4.6 cores=0,2,4,6
/proc/25222/task/25423/stat : 25423 (java) R 25220 25220 21506 0 -1 4202560 382 0 0 0 460 0 0 0 20 0 19 0 446090618 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597253469264 140597445738735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
[pid=25222/tid=25424] ppid=25220 vsize=15551568 memory=1060 CPUtime=4.65 cores=0,2,4,6
/proc/25222/task/25424/stat : 25424 (java) R 25220 25220 21506 0 -1 4202560 194 0 0 0 465 0 0 0 20 0 19 0 446090618 15924805632 52740 33554432000 4194304 4196468 140730058925248 140597255575728 140597443406144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140730058933231 140730058933402 140730058933402 140730058936271 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 212408 KiB
Child status: 0
Real time (s): 6.79827
CPU time (s): 25.6895
CPU user time (s): 25.5302
CPU system time (s): 0.159284
CPU usage (%): 377.883
Max. virtual memory (cumulated for all children) (KiB): 15666544
Max. memory (cumulated for all children) (KiB): 224904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.5302
system time used= 0.159284
maximum resident set size= 223460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34695
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3460
involuntary context switches= 1008
# summary of solver processes directly reported to runsolver:
# pid: 25220
# total CPU time (s): 25.6895
# total CPU user time (s): 25.5302
# total CPU system time (s): 0.159284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081241 second user time and 0.100739 second system time
The end