runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245936-1500686447/watcher-4245936-1500686447 -o /tmp/evaluation-result-4245936-1500686447/solver-4245936-1500686447 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 747447977 HOME/instance-4245936-1500686447.xml
pid=7381
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 13.88 15.23 15.12 10/275 7384
/proc/meminfo: memFree=31209052/32770624 swapFree=5900/228956
[pid=7384] ppid=7381 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7384/stat : 7384 (xcsp3-exec) S 7381 7384 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3911685 9740288 346 33554432000 4194304 5098028 140729302503968 140729302502072 140455536145020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12517376 140729302512783 140729302512992 140729302512992 140729302515691 0
/proc/7384/statm: 2378 346 289 221 0 87 0
[startup+0.100108 s]
/proc/loadavg: 13.88 15.23 15.12 10/275 7384
/proc/meminfo: memFree=31209052/32770624 swapFree=5900/228956
[pid=7384] ppid=7381 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7384/stat : 7384 (xcsp3-exec) S 7381 7384 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3911685 9740288 346 33554432000 4194304 5098028 140729302503968 140729302502072 140455536145020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12517376 140729302512783 140729302512992 140729302512992 140729302515691 0
/proc/7384/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200356 s]
/proc/loadavg: 13.88 15.23 15.12 10/275 7384
/proc/meminfo: memFree=31209052/32770624 swapFree=5900/228956
[pid=7384] ppid=7381 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7384/stat : 7384 (xcsp3-exec) S 7381 7384 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3911685 9740288 346 33554432000 4194304 5098028 140729302503968 140729302502072 140455536145020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12517376 140729302512783 140729302512992 140729302512992 140729302515691 0
/proc/7384/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300323 s]
/proc/loadavg: 13.88 15.23 15.12 10/275 7384
/proc/meminfo: memFree=31209052/32770624 swapFree=5900/228956
[pid=7384] ppid=7381 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7384/stat : 7384 (xcsp3-exec) S 7381 7384 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3911685 9740288 346 33554432000 4194304 5098028 140729302503968 140729302502072 140455536145020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12517376 140729302512783 140729302512992 140729302512992 140729302515691 0
/proc/7384/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700221 s]
/proc/loadavg: 13.88 15.23 15.12 10/275 7384
/proc/meminfo: memFree=31209052/32770624 swapFree=5900/228956
[pid=7384] ppid=7381 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7384/stat : 7384 (xcsp3-exec) S 7381 7384 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3911685 9740288 346 33554432000 4194304 5098028 140729302503968 140729302502072 140455536145020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12517376 140729302512783 140729302512992 140729302512992 140729302515691 0
/proc/7384/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5011 s]
/proc/loadavg: 13.25 15.07 15.08 14/296 7405
/proc/meminfo: memFree=31013644/32770624 swapFree=5900/228936
[pid=7384] ppid=7381 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7384/stat : 7384 (xcsp3-exec) S 7381 7384 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3911685 9740288 346 33554432000 4194304 5098028 140729302503968 140729302502072 140455536145020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12517376 140729302512783 140729302512992 140729302512992 140729302515691 0
/proc/7384/statm: 2378 346 289 221 0 87 0
[pid=7385] ppid=7384 vsize=13269256 CPUtime=5.34 cores=0,2,4,6,8,10,12,14
/proc/7385/stat : 7385 (java) S 7384 7384 16913 0 -1 1077944320 17929 0 0 0 517 17 0 0 20 0 20 0 3911685 13587718144 55670 33554432000 4194304 4196468 140729040544128 140729040526672 139716156493559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
/proc/7385/statm: 3317314 55670 3238 1 0 3304547 0
[pid=7385/tid=7386] ppid=7384 vsize=13269256 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7386/stat : 7386 (java) R 7384 7384 16913 0 -1 4202560 6831 0 0 0 139 5 0 0 20 0 20 0 3911685 13587718144 55670 33554432000 4194304 4196468 140729040544128 139716160730976 139715776951420 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7388] ppid=7384 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7388/stat : 7388 (java) S 7384 7384 16913 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 3911686 13587718144 55670 33554432000 4194304 4196468 140729040544128 139716095458320 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7389] ppid=7384 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7389/stat : 7389 (java) S 7384 7384 16913 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 3911686 13587718144 55670 33554432000 4194304 4196468 140729040544128 139716094405776 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7390] ppid=7384 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7390/stat : 7390 (java) S 7384 7384 16913 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 20 0 3911686 13587718144 55670 33554432000 4194304 4196468 140729040544128 139716093352720 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7391] ppid=7384 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7391/stat : 7391 (java) S 7384 7384 16913 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 20 0 3911686 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715752188816 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7392] ppid=7384 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7392/stat : 7392 (java) S 7384 7384 16913 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 20 0 3911686 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715751135760 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7393] ppid=7384 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7393/stat : 7393 (java) S 7384 7384 16913 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 20 0 3911686 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715750083216 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7394] ppid=7384 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7394/stat : 7394 (java) S 7384 7384 16913 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 3911686 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715749030160 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7395] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7395/stat : 7395 (java) S 7384 7384 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 3911686 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715747977616 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7396] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7396/stat : 7396 (java) S 7384 7384 16913 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3911689 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715350084336 139716156504706 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7397] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7397/stat : 7397 (java) S 7384 7384 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3911689 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715349030560 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7398] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7398/stat : 7398 (java) S 7384 7384 16913 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 3911690 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715347977456 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7399] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7399/stat : 7399 (java) S 7384 7384 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3911694 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715346926032 139716156512155 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7400] ppid=7384 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7400/stat : 7400 (java) R 7384 7384 16913 0 -1 4202560 2245 0 0 0 95 1 0 0 20 0 20 0 3911694 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715345854152 139716137679475 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7401] ppid=7384 vsize=13269256 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7401/stat : 7401 (java) R 7384 7384 16913 0 -1 4202560 2402 0 0 0 100 0 0 0 20 0 20 0 3911694 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715344807024 139716139990061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7402] ppid=7384 vsize=13269256 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7402/stat : 7402 (java) R 7384 7384 16913 0 -1 4202560 2042 0 0 0 102 0 0 0 20 0 20 0 3911694 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715343753040 139716138017168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7403] ppid=7384 vsize=13269256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7403/stat : 7403 (java) R 7384 7384 16913 0 -1 4202560 2892 0 0 0 68 1 0 0 20 0 20 0 3911694 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715342711440 139716134985558 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7404] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7404/stat : 7404 (java) S 7384 7384 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3911694 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715341663200 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7405] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7405/stat : 7405 (java) S 7384 7384 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3911694 13587718144 55670 33554432000 4194304 4196468 140729040544128 139715340610736 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 13278768
[startup+3.10077 s]
/proc/loadavg: 13.25 15.07 15.08 17/296 7405
/proc/meminfo: memFree=30799844/32770624 swapFree=5900/228940
[pid=7384] ppid=7381 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7384/stat : 7384 (xcsp3-exec) S 7381 7384 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3911685 9740288 346 33554432000 4194304 5098028 140729302503968 140729302502072 140455536145020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12517376 140729302512783 140729302512992 140729302512992 140729302515691 0
/proc/7384/statm: 2378 346 289 221 0 87 0
[pid=7385] ppid=7384 vsize=13269256 CPUtime=10.85 cores=0,2,4,6,8,10,12,14
/proc/7385/stat : 7385 (java) S 7384 7384 16913 0 -1 1077944320 20588 0 0 0 1003 82 0 0 20 0 20 0 3911685 13587718144 127842 33554432000 4194304 4196468 140729040544128 140729040526672 139716156493559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
/proc/7385/statm: 3317314 127842 3253 1 0 3304547 0
[pid=7385/tid=7386] ppid=7384 vsize=13269256 CPUtime=2.85 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7386/stat : 7386 (java) R 7384 7384 16913 0 -1 4202560 7058 0 0 0 278 7 0 0 20 0 20 0 3911685 13587718144 127842 33554432000 4194304 4196468 140729040544128 139716160725104 139716156515485 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7388] ppid=7384 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7388/stat : 7388 (java) S 7384 7384 16913 0 -1 1077944384 101 0 0 0 10 8 0 0 20 0 20 0 3911686 13587718144 127842 33554432000 4194304 4196468 140729040544128 139716095458320 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7389] ppid=7384 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7389/stat : 7389 (java) S 7384 7384 16913 0 -1 1077944384 126 0 0 0 8 9 0 0 20 0 20 0 3911686 13587718144 127842 33554432000 4194304 4196468 140729040544128 139716094405776 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7390] ppid=7384 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7390/stat : 7390 (java) S 7384 7384 16913 0 -1 1077944384 126 0 0 0 11 7 0 0 20 0 20 0 3911686 13587718144 127842 33554432000 4194304 4196468 140729040544128 139716093352720 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7391] ppid=7384 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7391/stat : 7391 (java) S 7384 7384 16913 0 -1 1077944384 127 0 0 0 8 8 0 0 20 0 20 0 3911686 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715752188816 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7392] ppid=7384 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7392/stat : 7392 (java) S 7384 7384 16913 0 -1 1077944384 99 0 0 0 10 9 0 0 20 0 20 0 3911686 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715751135760 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7393] ppid=7384 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7393/stat : 7393 (java) S 7384 7384 16913 0 -1 1077944384 81 0 0 0 8 8 0 0 20 0 20 0 3911686 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715750083216 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7394] ppid=7384 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7394/stat : 7394 (java) S 7384 7384 16913 0 -1 1077944384 363 0 0 0 10 10 0 0 20 0 20 0 3911686 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715749030160 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7395] ppid=7384 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7395/stat : 7395 (java) S 7384 7384 16913 0 -1 1077944384 85 0 0 0 7 7 0 0 20 0 20 0 3911686 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715747977616 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7396] ppid=7384 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7396/stat : 7396 (java) S 7384 7384 16913 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 20 0 3911689 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715350084336 139716156504706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7397] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7397/stat : 7397 (java) S 7384 7384 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3911689 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715349030624 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7398] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7398/stat : 7398 (java) S 7384 7384 16913 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 3911690 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715347977472 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7399] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7399/stat : 7399 (java) S 7384 7384 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3911694 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715346926032 139716156512155 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7400] ppid=7384 vsize=13269256 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7400/stat : 7400 (java) S 7384 7384 16913 0 -1 1077944384 2585 0 0 0 185 1 0 0 20 0 20 0 3911694 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715345873136 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7401] ppid=7384 vsize=13269256 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7401/stat : 7401 (java) R 7384 7384 16913 0 -1 4202560 3091 0 0 0 194 0 0 0 20 0 20 0 3911694 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715344820888 139716139880347 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7402] ppid=7384 vsize=13269256 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7402/stat : 7402 (java) S 7384 7384 16913 0 -1 1077944384 2173 0 0 0 182 1 0 0 20 0 20 0 3911694 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715343767536 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7403] ppid=7384 vsize=13269256 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7403/stat : 7403 (java) S 7384 7384 16913 0 -1 1077944384 3061 0 0 0 85 1 0 0 20 0 20 0 3911694 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715342714992 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7404] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7404/stat : 7404 (java) S 7384 7384 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3911694 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715341663200 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7405] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7405/stat : 7405 (java) S 7384 7384 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3911694 13587718144 127842 33554432000 4194304 4196468 140729040544128 139715340610736 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
Current children cumulated CPU time (s) 10.85
Current children cumulated vsize (KiB) 13278768
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7385 sig 9
??? kill 7384 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20112 s]
/proc/loadavg: 13.25 15.07 15.08 17/296 7405
/proc/meminfo: memFree=30799844/32770624 swapFree=5900/228940
[pid=7384] ppid=7381 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7384/stat : 7384 (xcsp3-exec) S 7381 7384 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3911685 9740288 346 33554432000 4194304 5098028 140729302503968 140729302502072 140455536145020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12517376 140729302512783 140729302512992 140729302512992 140729302515691 0
/proc/7384/statm: 2378 346 289 221 0 87 0
[pid=7385] ppid=7384 vsize=13269256 CPUtime=10.96 cores=0,2,4,6,8,10,12,14
/proc/7385/stat : 7385 (java) S 7384 7384 16913 0 -1 1077944320 20632 0 0 0 1013 83 0 0 20 0 20 0 3911685 13587718144 148846 33554432000 4194304 4196468 140729040544128 140729040526672 139716156493559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
/proc/7385/statm: 3317314 148846 3253 1 0 3304547 0
[pid=7385/tid=7386] ppid=7384 vsize=13269256 CPUtime=2.94 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7386/stat : 7386 (java) R 7384 7384 16913 0 -1 4202560 7099 0 0 0 286 8 0 0 20 0 20 0 3911685 13587718144 148846 33554432000 4194304 4196468 140729040544128 139716160726680 139715780822895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7388] ppid=7384 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7388/stat : 7388 (java) S 7384 7384 16913 0 -1 1077944384 101 0 0 0 10 8 0 0 20 0 20 0 3911686 13587718144 148846 33554432000 4194304 4196468 140729040544128 139716095458320 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7389] ppid=7384 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7389/stat : 7389 (java) S 7384 7384 16913 0 -1 1077944384 126 0 0 0 8 9 0 0 20 0 20 0 3911686 13587718144 148846 33554432000 4194304 4196468 140729040544128 139716094405776 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7390] ppid=7384 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7390/stat : 7390 (java) S 7384 7384 16913 0 -1 1077944384 126 0 0 0 11 7 0 0 20 0 20 0 3911686 13587718144 148846 33554432000 4194304 4196468 140729040544128 139716093352720 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7391] ppid=7384 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7391/stat : 7391 (java) S 7384 7384 16913 0 -1 1077944384 127 0 0 0 8 8 0 0 20 0 20 0 3911686 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715752188816 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7392] ppid=7384 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7392/stat : 7392 (java) S 7384 7384 16913 0 -1 1077944384 99 0 0 0 10 9 0 0 20 0 20 0 3911686 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715751135760 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7393] ppid=7384 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7393/stat : 7393 (java) S 7384 7384 16913 0 -1 1077944384 81 0 0 0 8 8 0 0 20 0 20 0 3911686 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715750083216 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7394] ppid=7384 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7394/stat : 7394 (java) S 7384 7384 16913 0 -1 1077944384 363 0 0 0 10 10 0 0 20 0 20 0 3911686 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715749030160 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7395] ppid=7384 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7395/stat : 7395 (java) S 7384 7384 16913 0 -1 1077944384 85 0 0 0 7 7 0 0 20 0 20 0 3911686 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715747977616 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7396] ppid=7384 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7396/stat : 7396 (java) S 7384 7384 16913 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 20 0 3911689 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715350084336 139716156504706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7397] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7397/stat : 7397 (java) S 7384 7384 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3911689 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715349030624 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7398] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7398/stat : 7398 (java) S 7384 7384 16913 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 3911690 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715347977472 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7399] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7399/stat : 7399 (java) S 7384 7384 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3911694 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715346926032 139716156512155 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7400] ppid=7384 vsize=13269256 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7400/stat : 7400 (java) S 7384 7384 16913 0 -1 1077944384 2585 0 0 0 185 1 0 0 20 0 20 0 3911694 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715345873136 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7401] ppid=7384 vsize=13269256 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7401/stat : 7401 (java) S 7384 7384 16913 0 -1 1077944384 3094 0 0 0 195 0 0 0 20 0 20 0 3911694 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715344820592 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7402] ppid=7384 vsize=13269256 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7402/stat : 7402 (java) S 7384 7384 16913 0 -1 1077944384 2173 0 0 0 182 1 0 0 20 0 20 0 3911694 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715343767536 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7403] ppid=7384 vsize=13269256 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7403/stat : 7403 (java) S 7384 7384 16913 0 -1 1077944384 3061 0 0 0 85 1 0 0 20 0 20 0 3911694 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715342714992 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7404] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7404/stat : 7404 (java) S 7384 7384 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3911694 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715341663200 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7405] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7405/stat : 7405 (java) S 7384 7384 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3911694 13587718144 148846 33554432000 4194304 4196468 140729040544128 139715340610736 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
Current children cumulated CPU time (s) 10.96
Current children cumulated vsize (KiB) 13278768
[startup+3.6009 s]
/proc/loadavg: 13.25 15.07 15.08 11/296 7405
/proc/meminfo: memFree=30547512/32770624 swapFree=5900/228940
[pid=7384] ppid=7381 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7384/stat : 7384 (xcsp3-exec) S 7381 7384 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3911685 9740288 346 33554432000 4194304 5098028 140729302503968 140729302502072 140455536145020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12517376 140729302512783 140729302512992 140729302512992 140729302515691 0
/proc/7384/statm: 2378 346 289 221 0 87 0
[pid=7385] ppid=7384 vsize=13269256 CPUtime=12 cores=0,2,4,6,8,10,12,14
/proc/7385/stat : 7385 (java) S 7384 7384 16913 0 -1 1077944320 21313 0 0 0 1088 112 0 0 20 0 20 0 3911685 13587718144 186149 33554432000 4194304 4196468 140729040544128 140729040526672 139716156493559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
/proc/7385/statm: 3317314 186149 3253 1 0 3304547 0
[pid=7385/tid=7386] ppid=7384 vsize=13269256 CPUtime=3.26 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7386/stat : 7386 (java) R 7384 7384 16913 0 -1 4202560 7204 0 0 0 317 9 0 0 20 0 20 0 3911685 13587718144 186149 33554432000 4194304 4196468 140729040544128 139716160726680 139715779044993 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7388] ppid=7384 vsize=13269256 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7388/stat : 7388 (java) S 7384 7384 16913 0 -1 1077944384 126 0 0 0 14 12 0 0 20 0 20 0 3911686 13587718144 186149 33554432000 4194304 4196468 140729040544128 139716095458320 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7389] ppid=7384 vsize=13269256 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7389/stat : 7389 (java) S 7384 7384 16913 0 -1 1077944384 145 0 0 0 12 12 0 0 20 0 20 0 3911686 13587718144 186149 33554432000 4194304 4196468 140729040544128 139716094405776 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7390] ppid=7384 vsize=13269256 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7390/stat : 7390 (java) S 7384 7384 16913 0 -1 1077944384 151 0 0 0 16 10 0 0 20 0 20 0 3911686 13587718144 186149 33554432000 4194304 4196468 140729040544128 139716093352720 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7391] ppid=7384 vsize=13269256 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7391/stat : 7391 (java) S 7384 7384 16913 0 -1 1077944384 156 0 0 0 13 12 0 0 20 0 20 0 3911686 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715752188816 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7392] ppid=7384 vsize=13269256 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7392/stat : 7392 (java) S 7384 7384 16913 0 -1 1077944384 123 0 0 0 14 12 0 0 20 0 20 0 3911686 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715751135760 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7393] ppid=7384 vsize=13269256 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7393/stat : 7393 (java) S 7384 7384 16913 0 -1 1077944384 115 0 0 0 13 11 0 0 20 0 20 0 3911686 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715750083216 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7394] ppid=7384 vsize=13269256 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7394/stat : 7394 (java) S 7384 7384 16913 0 -1 1077944384 389 0 0 0 14 14 0 0 20 0 20 0 3911686 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715749030160 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7395] ppid=7384 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7395/stat : 7395 (java) S 7384 7384 16913 0 -1 1077944384 152 0 0 0 11 11 0 0 20 0 20 0 3911686 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715747977616 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7396] ppid=7384 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7396/stat : 7396 (java) S 7384 7384 16913 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 20 0 3911689 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715350084336 139716156504706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7397] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7397/stat : 7397 (java) S 7384 7384 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3911689 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715349030624 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7398] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7398/stat : 7398 (java) S 7384 7384 16913 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 3911690 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715347977472 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7399] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7399/stat : 7399 (java) S 7384 7384 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3911694 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715346926032 139716156512155 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7400] ppid=7384 vsize=13269256 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7400/stat : 7400 (java) S 7384 7384 16913 0 -1 1077944384 2591 0 0 0 187 1 0 0 20 0 20 0 3911694 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715345873136 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7401] ppid=7384 vsize=13269256 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7401/stat : 7401 (java) S 7384 7384 16913 0 -1 1077944384 3097 0 0 0 196 0 0 0 20 0 20 0 3911694 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715344820592 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7402] ppid=7384 vsize=13269256 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7402/stat : 7402 (java) S 7384 7384 16913 0 -1 1077944384 2178 0 0 0 187 1 0 0 20 0 20 0 3911694 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715343767536 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7403] ppid=7384 vsize=13269256 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7403/stat : 7403 (java) S 7384 7384 16913 0 -1 1077944384 3074 0 0 0 86 1 0 0 20 0 20 0 3911694 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715342714992 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7404] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7404/stat : 7404 (java) S 7384 7384 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3911694 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715341663200 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7405] ppid=7384 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7405/stat : 7405 (java) S 7384 7384 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3911694 13587718144 186149 33554432000 4194304 4196468 140729040544128 139715340610736 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
Current children cumulated CPU time (s) 12
Current children cumulated vsize (KiB) 13278768
[startup+3.80103 s]
/proc/loadavg: 13.25 15.07 15.08 11/296 7405
/proc/meminfo: memFree=30547512/32770624 swapFree=5900/228940
[pid=7384] ppid=7381 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7384/stat : 7384 (xcsp3-exec) S 7381 7384 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3911685 9740288 346 33554432000 4194304 5098028 140729302503968 140729302502072 140455536145020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12517376 140729302512783 140729302512992 140729302512992 140729302515691 0
/proc/7384/statm: 2378 346 289 221 0 87 0
[pid=7385] ppid=7384 vsize=13801768 CPUtime=13.23 cores=0,2,4,6,8,10,12,14
/proc/7385/stat : 7385 (java) S 7384 7384 16913 0 -1 1077944320 21843 0 0 0 1211 112 0 0 20 0 28 0 3911685 14133010432 186357 33554432000 4194304 4196468 140729040544128 140729040526672 139716156493559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
/proc/7385/statm: 3450442 186357 3264 1 0 3437675 0
[pid=7385/tid=7386] ppid=7384 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7386/stat : 7386 (java) S 7384 7384 16913 0 -1 1077944384 7264 0 0 0 323 9 0 0 20 0 28 0 3911685 14133010432 186357 33554432000 4194304 4196468 140729040544128 139716160734336 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7388] ppid=7384 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7388/stat : 7388 (java) S 7384 7384 16913 0 -1 1077944384 126 0 0 0 14 12 0 0 20 0 28 0 3911686 14133010432 186357 33554432000 4194304 4196468 140729040544128 139716095458320 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7389] ppid=7384 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7389/stat : 7389 (java) S 7384 7384 16913 0 -1 1077944384 145 0 0 0 12 12 0 0 20 0 28 0 3911686 14133010432 186357 33554432000 4194304 4196468 140729040544128 139716094405776 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7390] ppid=7384 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7390/stat : 7390 (java) S 7384 7384 16913 0 -1 1077944384 151 0 0 0 16 10 0 0 20 0 28 0 3911686 14133010432 186357 33554432000 4194304 4196468 140729040544128 139716093352720 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7391] ppid=7384 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7391/stat : 7391 (java) S 7384 7384 16913 0 -1 1077944384 156 0 0 0 13 12 0 0 20 0 28 0 3911686 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715752188816 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7392] ppid=7384 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7392/stat : 7392 (java) S 7384 7384 16913 0 -1 1077944384 123 0 0 0 14 12 0 0 20 0 28 0 3911686 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715751135760 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7393] ppid=7384 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7393/stat : 7393 (java) S 7384 7384 16913 0 -1 1077944384 115 0 0 0 13 11 0 0 20 0 28 0 3911686 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715750083216 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7394] ppid=7384 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7394/stat : 7394 (java) S 7384 7384 16913 0 -1 1077944384 389 0 0 0 14 14 0 0 20 0 28 0 3911686 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715749030160 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7395] ppid=7384 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7395/stat : 7395 (java) S 7384 7384 16913 0 -1 1077944384 152 0 0 0 11 11 0 0 20 0 28 0 3911686 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715747977616 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7396] ppid=7384 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7396/stat : 7396 (java) S 7384 7384 16913 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 28 0 3911689 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715350084336 139716156504706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7397] ppid=7384 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7397/stat : 7397 (java) S 7384 7384 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3911689 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715349030624 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7398] ppid=7384 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7398/stat : 7398 (java) S 7384 7384 16913 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 3911690 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715347977472 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7399] ppid=7384 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7399/stat : 7399 (java) S 7384 7384 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3911694 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715346926032 139716156512155 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7400] ppid=7384 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7400/stat : 7400 (java) R 7384 7384 16913 0 -1 4202560 2614 0 0 0 199 1 0 0 20 0 28 0 3911694 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715345866384 139716142511104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7401] ppid=7384 vsize=13801768 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7401/stat : 7401 (java) R 7384 7384 16913 0 -1 4202560 3128 0 0 0 209 0 0 0 20 0 28 0 3911694 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715344813784 139716140887384 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7402] ppid=7384 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7402/stat : 7402 (java) R 7384 7384 16913 0 -1 4202560 2195 0 0 0 201 1 0 0 20 0 28 0 3911694 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715343751568 139716140885536 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7403] ppid=7384 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7403/stat : 7403 (java) R 7384 7384 16913 0 -1 1077944384 3173 0 0 0 94 1 0 0 20 0 28 0 3911694 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715342714176 139716156503765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7404] ppid=7384 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7404/stat : 7404 (java) S 7384 7384 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3911694 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715341663200 139716156503765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
[pid=7385/tid=7405] ppid=7384 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7385/task/7405/stat : 7405 (java) S 7384 7384 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3911694 14133010432 186357 33554432000 4194304 4196468 140729040544128 139715340610736 139716156504706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28176384 140729040549052 140729040549228 140729040549228 140729040551887 0
Current children cumulated CPU time (s) 13.23
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 3.84946
CPU time (s): 13.441
CPU user time (s): 12.3011
CPU system time (s): 1.13984
CPU usage (%): 349.165
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3011
system time used= 1.13984
maximum resident set size= 747072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22456
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3704
involuntary context switches= 938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041289 second user time and 0.043406 second system time
The end