2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
R1: choco-solver 5a (2017-07-05)	SAT	62.3512	9.22992

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-4245813-1500686623/watcher-4245813-1500686623 -o /tmp/evaluation-result-4245813-1500686623/solver-4245813-1500686623 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 537587031 HOME/instance-4245813-1500686623.xml 

pid=30814
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: 15.03 15.65 15.05 10/272 30817
/proc/meminfo: memFree=31337600/32770624 swapFree=5804/225476
[pid=30817] ppid=30814 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30817/stat : 30817 (xcsp3-exec) S 30814 30817 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3928566 9740288 346 33554432000 4194304 5098028 140731759230368 140731759228472 140176660669052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39940096 140731759236239 140731759236448 140731759236448 140731759239147 0
/proc/30817/statm: 2378 346 289 221 0 87 0

[startup+0.100062 s]
/proc/loadavg: 15.03 15.65 15.05 10/272 30817
/proc/meminfo: memFree=31337600/32770624 swapFree=5804/225476
[pid=30817] ppid=30814 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30817/stat : 30817 (xcsp3-exec) S 30814 30817 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3928566 9740288 346 33554432000 4194304 5098028 140731759230368 140731759228472 140176660669052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39940096 140731759236239 140731759236448 140731759236448 140731759239147 0
/proc/30817/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200254 s]
/proc/loadavg: 15.03 15.65 15.05 10/272 30817
/proc/meminfo: memFree=31337600/32770624 swapFree=5804/225476
[pid=30817] ppid=30814 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30817/stat : 30817 (xcsp3-exec) S 30814 30817 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3928566 9740288 346 33554432000 4194304 5098028 140731759230368 140731759228472 140176660669052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39940096 140731759236239 140731759236448 140731759236448 140731759239147 0
/proc/30817/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300327 s]
/proc/loadavg: 15.03 15.65 15.05 10/272 30817
/proc/meminfo: memFree=31337600/32770624 swapFree=5804/225476
[pid=30817] ppid=30814 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30817/stat : 30817 (xcsp3-exec) S 30814 30817 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3928566 9740288 346 33554432000 4194304 5098028 140731759230368 140731759228472 140176660669052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39940096 140731759236239 140731759236448 140731759236448 140731759239147 0
/proc/30817/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700206 s]
/proc/loadavg: 15.03 15.65 15.05 10/272 30817
/proc/meminfo: memFree=31337600/32770624 swapFree=5804/225476
[pid=30817] ppid=30814 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30817/stat : 30817 (xcsp3-exec) S 30814 30817 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3928566 9740288 346 33554432000 4194304 5098028 140731759230368 140731759228472 140176660669052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39940096 140731759236239 140731759236448 140731759236448 140731759239147 0
/proc/30817/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5012 s]
/proc/loadavg: 15.03 15.65 15.05 6/285 30933
/proc/meminfo: memFree=31698252/32770624 swapFree=5804/225540
[pid=30817] ppid=30814 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30817/stat : 30817 (xcsp3-exec) S 30814 30817 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3928566 9740288 346 33554432000 4194304 5098028 140731759230368 140731759228472 140176660669052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39940096 140731759236239 140731759236448 140731759236448 140731759239147 0
/proc/30817/statm: 2378 346 289 221 0 87 0
[pid=30818] ppid=30817 vsize=13269256 CPUtime=4.43 cores=0,2,4,6,8,10,12,14
/proc/30818/stat : 30818 (java) S 30817 30817 14782 0 -1 1077944320 19862 0 0 0 410 33 0 0 20 0 20 0 3928566 13587718144 63201 33554432000 4194304 4196468 140726530718416 140726530700960 140483929743095 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
/proc/30818/statm: 3317314 63201 3247 1 0 3304547 0
[pid=30818/tid=30819] ppid=30817 vsize=13269256 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30819/stat : 30819 (java) R 30817 30817 14782 0 -1 4202560 7333 0 0 0 135 5 0 0 20 0 20 0 3928567 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483933979928 140483568845039 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30821] ppid=30817 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30821/stat : 30821 (java) S 30817 30817 14782 0 -1 1077944384 80 0 0 0 2 3 0 0 20 0 20 0 3928568 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483886295952 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30822] ppid=30817 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30822/stat : 30822 (java) S 30817 30817 14782 0 -1 1077944384 185 0 0 0 2 3 0 0 20 0 20 0 3928568 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483885243152 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30823] ppid=30817 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30823/stat : 30823 (java) S 30817 30817 14782 0 -1 1077944384 56 0 0 0 1 3 0 0 20 0 20 0 3928568 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483527113872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30824] ppid=30817 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30824/stat : 30824 (java) S 30817 30817 14782 0 -1 1077944384 127 0 0 0 2 3 0 0 20 0 20 0 3928568 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483526061072 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30825] ppid=30817 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30825/stat : 30825 (java) S 30817 30817 14782 0 -1 1077944384 58 0 0 0 2 3 0 0 20 0 20 0 3928568 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483525007760 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30826] ppid=30817 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30826/stat : 30826 (java) S 30817 30817 14782 0 -1 1077944384 129 0 0 0 2 3 0 0 20 0 20 0 3928568 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483523954960 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30827] ppid=30817 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30827/stat : 30827 (java) S 30817 30817 14782 0 -1 1077944384 119 0 0 0 3 2 0 0 20 0 20 0 3928568 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483522902672 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30828] ppid=30817 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30828/stat : 30828 (java) S 30817 30817 14782 0 -1 1077944384 46 0 0 0 1 2 0 0 20 0 20 0 3928568 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483521849872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30829] ppid=30817 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30829/stat : 30829 (java) S 30817 30817 14782 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 20 0 3928570 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483392055920 140483929754242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30830] ppid=30817 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30830/stat : 30830 (java) S 30817 30817 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 3928571 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483391001952 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30831] ppid=30817 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30831/stat : 30831 (java) S 30817 30817 14782 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3928571 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483389949568 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30834] ppid=30817 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30834/stat : 30834 (java) S 30817 30817 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3928575 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483388897872 140483929761691 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30835] ppid=30817 vsize=13269256 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30835/stat : 30835 (java) S 30817 30817 14782 0 -1 1077944384 2998 0 0 0 65 0 0 0 20 0 20 0 3928575 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483387844720 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30836] ppid=30817 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30836/stat : 30836 (java) S 30817 30817 14782 0 -1 1077944384 2056 0 0 0 60 0 0 0 20 0 20 0 3928575 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483386791920 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30837] ppid=30817 vsize=13269256 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30837/stat : 30837 (java) R 30817 30817 14782 0 -1 4202560 2513 0 0 0 71 0 0 0 20 0 20 0 3928575 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483385719328 140483914850903 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30838] ppid=30817 vsize=13269256 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30838/stat : 30838 (java) S 30817 30817 14782 0 -1 1077944384 2617 0 0 0 56 0 0 0 20 0 20 0 3928575 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483384686832 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30839] ppid=30817 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30839/stat : 30839 (java) S 30817 30817 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3928576 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483383634784 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30840] ppid=30817 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30840/stat : 30840 (java) S 30817 30817 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3928576 13587718144 63201 33554432000 4194304 4196468 140726530718416 140483382582064 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 13278768

[startup+3.10134 s]
/proc/loadavg: 14.62 15.56 15.02 10/293 31035
/proc/meminfo: memFree=31563912/32770624 swapFree=5804/225656
[pid=30817] ppid=30814 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30817/stat : 30817 (xcsp3-exec) S 30814 30817 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3928566 9740288 346 33554432000 4194304 5098028 140731759230368 140731759228472 140176660669052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39940096 140731759236239 140731759236448 140731759236448 140731759239147 0
/proc/30817/statm: 2378 346 289 221 0 87 0
[pid=30818] ppid=30817 vsize=13801768 CPUtime=13.87 cores=0,2,4,6,8,10,12,14
/proc/30818/stat : 30818 (java) S 30817 30817 14782 0 -1 1077944320 26837 0 0 0 1301 86 0 0 20 0 28 0 3928566 14133010432 116948 33554432000 4194304 4196468 140726530718416 140726530700960 140483929743095 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
/proc/30818/statm: 3450442 116948 3258 1 0 3437675 0
[pid=30818/tid=30819] ppid=30817 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30819/stat : 30819 (java) S 30817 30817 14782 0 -1 1077944384 7459 0 0 0 182 5 0 0 20 0 28 0 3928567 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483933983872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30821] ppid=30817 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30821/stat : 30821 (java) S 30817 30817 14782 0 -1 1077944384 138 0 0 0 7 7 0 0 20 0 28 0 3928568 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483886295952 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30822] ppid=30817 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30822/stat : 30822 (java) S 30817 30817 14782 0 -1 1077944384 262 0 0 0 6 8 0 0 20 0 28 0 3928568 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483885243152 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30823] ppid=30817 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30823/stat : 30823 (java) S 30817 30817 14782 0 -1 1077944384 176 0 0 0 6 8 0 0 20 0 28 0 3928568 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483527113872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30824] ppid=30817 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30824/stat : 30824 (java) S 30817 30817 14782 0 -1 1077944384 237 0 0 0 6 9 0 0 20 0 28 0 3928568 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483526061072 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30825] ppid=30817 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30825/stat : 30825 (java) S 30817 30817 14782 0 -1 1077944384 168 0 0 0 6 9 0 0 20 0 28 0 3928568 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483525007760 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30826] ppid=30817 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30826/stat : 30826 (java) S 30817 30817 14782 0 -1 1077944384 196 0 0 0 6 10 0 0 20 0 28 0 3928568 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483523954960 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30827] ppid=30817 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30827/stat : 30827 (java) S 30817 30817 14782 0 -1 1077944384 198 0 0 0 7 9 0 0 20 0 28 0 3928568 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483522902672 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30828] ppid=30817 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30828/stat : 30828 (java) S 30817 30817 14782 0 -1 1077944384 513 0 0 0 5 8 0 0 20 0 28 0 3928568 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483521849872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30829] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30829/stat : 30829 (java) S 30817 30817 14782 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 28 0 3928570 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483392055920 140483929754242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30830] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30830/stat : 30830 (java) S 30817 30817 14782 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3928571 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483391001952 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30831] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30831/stat : 30831 (java) S 30817 30817 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3928571 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483389949568 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30834] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30834/stat : 30834 (java) S 30817 30817 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3928575 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483388897872 140483929761691 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30835] ppid=30817 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30835/stat : 30835 (java) R 30817 30817 14782 0 -1 4202560 3803 0 0 0 137 0 0 0 20 0 28 0 3928575 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483387831288 140483922843028 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30836] ppid=30817 vsize=13801768 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30836/stat : 30836 (java) R 30817 30817 14782 0 -1 4202560 4000 0 0 0 130 1 0 0 20 0 28 0 3928575 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483386772936 140483914136971 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30837] ppid=30817 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30837/stat : 30837 (java) R 30817 30817 14782 0 -1 4202560 3770 0 0 0 142 1 0 0 20 0 28 0 3928575 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483385731472 140483914136852 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30838] ppid=30817 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30838/stat : 30838 (java) S 30817 30817 14782 0 -1 1077944384 3135 0 0 0 70 1 0 0 20 0 28 0 3928575 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483384686832 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30839] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30839/stat : 30839 (java) S 30817 30817 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3928576 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483383634784 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30840] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30840/stat : 30840 (java) S 30817 30817 14782 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3928576 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483382582064 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30993] ppid=30817 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30993/stat : 30993 (java) R 30817 30817 14782 0 -1 4202560 465 0 0 0 70 1 0 0 20 0 28 0 3928764 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483374567144 140483571237248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30994] ppid=30817 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30994/stat : 30994 (java) R 30817 30817 14782 0 -1 4202560 83 0 0 0 74 0 0 0 20 0 28 0 3928764 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483373515752 140483565301892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30995] ppid=30817 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30995/stat : 30995 (java) R 30817 30817 14782 0 -1 4202560 79 0 0 0 64 0 0 0 20 0 28 0 3928764 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483372464264 140483565290234 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30996] ppid=30817 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30996/stat : 30996 (java) R 30817 30817 14782 0 -1 4202560 225 0 0 0 88 0 0 0 20 0 28 0 3928764 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483371409008 140483571904128 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30997] ppid=30817 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30997/stat : 30997 (java) R 30817 30817 14782 0 -1 4202560 56 0 0 0 84 0 0 0 20 0 28 0 3928764 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483370352184 140483571748364 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30998] ppid=30817 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30998/stat : 30998 (java) R 30817 30817 14782 0 -1 4202560 59 0 0 0 69 0 0 0 20 0 28 0 3928764 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483369304488 140483565316035 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30999] ppid=30817 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30999/stat : 30999 (java) R 30817 30817 14782 0 -1 4202560 33 0 0 0 61 0 0 0 20 0 28 0 3928764 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483368251184 140483572130501 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=31000] ppid=30817 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/30818/task/31000/stat : 31000 (java) R 30817 30817 14782 0 -1 4202560 53 0 0 0 71 0 0 0 20 0 28 0 3928764 14133010432 116948 33554432000 4194304 4196468 140726530718416 140483367194392 140483571747390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
Current children cumulated CPU time (s) 13.87
Current children cumulated vsize (KiB) 13811280

[startup+6.30161 s]
/proc/loadavg: 14.62 15.56 15.02 10/293 31223
/proc/meminfo: memFree=31418912/32770624 swapFree=5804/225576
[pid=30817] ppid=30814 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30817/stat : 30817 (xcsp3-exec) S 30814 30817 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3928566 9740288 346 33554432000 4194304 5098028 140731759230368 140731759228472 140176660669052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39940096 140731759236239 140731759236448 140731759236448 140731759239147 0
/proc/30817/statm: 2378 346 289 221 0 87 0
[pid=30818] ppid=30817 vsize=13801768 CPUtime=39.3 cores=0,2,4,6,8,10,12,14
/proc/30818/stat : 30818 (java) S 30817 30817 14782 0 -1 1077944320 31955 0 0 0 3841 89 0 0 20 0 28 0 3928566 14133010432 120133 33554432000 4194304 4196468 140726530718416 140726530700960 140483929743095 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
/proc/30818/statm: 3450442 120133 3275 1 0 3437675 0
[pid=30818/tid=30819] ppid=30817 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30819/stat : 30819 (java) S 30817 30817 14782 0 -1 1077944384 7459 0 0 0 182 5 0 0 20 0 28 0 3928567 14133010432 120133 33554432000 4194304 4196468 140726530718416 140483933983872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30821] ppid=30817 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30821/stat : 30821 (java) S 30817 30817 14782 0 -1 1077944384 138 0 0 0 7 7 0 0 20 0 28 0 3928568 14133010432 120133 33554432000 4194304 4196468 140726530718416 140483886295952 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30822] ppid=30817 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30822/stat : 30822 (java) S 30817 30817 14782 0 -1 1077944384 262 0 0 0 6 8 0 0 20 0 28 0 3928568 14133010432 120133 33554432000 4194304 4196468 140726530718416 140483885243152 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30823] ppid=30817 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30823/stat : 30823 (java) S 30817 30817 14782 0 -1 1077944384 176 0 0 0 6 8 0 0 20 0 28 0 3928568 14133010432 120133 33554432000 4194304 4196468 140726530718416 140483527113872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30824] ppid=30817 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30824/stat : 30824 (java) S 30817 30817 14782 0 -1 1077944384 237 0 0 0 6 9 0 0 20 0 28 0 3928568 14133010432 120133 33554432000 4194304 4196468 140726530718416 140483526061072 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0

################
# More data... #
################

/proc/30818/task/30830/stat : 30830 (java) S 30817 30817 14782 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3928571 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483391001952 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30831] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30831/stat : 30831 (java) S 30817 30817 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3928571 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483389949568 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30834] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30834/stat : 30834 (java) S 30817 30817 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3928575 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483388897872 140483929761691 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30835] ppid=30817 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30835/stat : 30835 (java) S 30817 30817 14782 0 -1 1077944384 5226 0 0 0 183 1 0 0 20 0 28 0 3928575 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483387844720 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30836] ppid=30817 vsize=13801768 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30836/stat : 30836 (java) S 30817 30817 14782 0 -1 1077944384 5411 0 0 0 209 2 0 0 20 0 28 0 3928575 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483386791920 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30837] ppid=30817 vsize=13801768 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30837/stat : 30837 (java) S 30817 30817 14782 0 -1 1077944384 5732 0 0 0 207 1 0 0 20 0 28 0 3928575 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483385739632 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30838] ppid=30817 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30838/stat : 30838 (java) S 30817 30817 14782 0 -1 1077944384 3910 0 0 0 82 1 0 0 20 0 28 0 3928575 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483384686832 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30839] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30839/stat : 30839 (java) S 30817 30817 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3928576 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483383634784 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30840] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30840/stat : 30840 (java) S 30817 30817 14782 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 3928576 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483382582064 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30993] ppid=30817 vsize=13801768 CPUtime=5.47 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30993/stat : 30993 (java) R 30817 30817 14782 0 -1 4202560 574 0 0 0 546 1 0 0 20 0 28 0 3928764 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483374567832 140483571904271 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30994] ppid=30817 vsize=13801768 CPUtime=5.36 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30994/stat : 30994 (java) R 30817 30817 14782 0 -1 4202560 135 0 0 0 536 0 0 0 20 0 28 0 3928764 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483373514808 140483571904332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30995] ppid=30817 vsize=13801768 CPUtime=5.13 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30995/stat : 30995 (java) R 30817 30817 14782 0 -1 4202560 199 0 0 0 513 0 0 0 20 0 28 0 3928764 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483372463976 140483571904230 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30996] ppid=30817 vsize=13801768 CPUtime=5.52 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30996/stat : 30996 (java) R 30817 30817 14782 0 -1 4202560 466 0 0 0 552 0 0 0 20 0 28 0 3928764 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483371410944 140483572529552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30997] ppid=30817 vsize=13801768 CPUtime=5.32 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30997/stat : 30997 (java) R 30817 30817 14782 0 -1 4202560 146 0 0 0 532 0 0 0 20 0 28 0 3928764 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483370356408 140483571904400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30998] ppid=30817 vsize=13801768 CPUtime=5.21 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30998/stat : 30998 (java) R 30817 30817 14782 0 -1 4202560 170 0 0 0 521 0 0 0 20 0 28 0 3928764 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483369304856 140483571904332 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30999] ppid=30817 vsize=13801768 CPUtime=5.24 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30999/stat : 30999 (java) R 30817 30817 14782 0 -1 4202560 81 0 0 0 524 0 0 0 20 0 28 0 3928764 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483368251528 140483571904128 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=31000] ppid=30817 vsize=13801768 CPUtime=5.44 cores=0,2,4,6,8,10,12,14
/proc/30818/task/31000/stat : 31000 (java) R 30817 30817 14782 0 -1 4202560 306 0 0 0 544 0 0 0 20 0 28 0 3928764 14133010432 120188 33554432000 4194304 4196468 140726530718416 140483367198520 140483572530670 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
Current children cumulated CPU time (s) 52.82
Current children cumulated vsize (KiB) 13811280

[startup+8.80152 s]
/proc/loadavg: 14.09 15.44 14.99 11/293 31223
/proc/meminfo: memFree=30942960/32770624 swapFree=5804/225644
[pid=30817] ppid=30814 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30817/stat : 30817 (xcsp3-exec) S 30814 30817 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3928566 9740288 346 33554432000 4194304 5098028 140731759230368 140731759228472 140176660669052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39940096 140731759236239 140731759236448 140731759236448 140731759239147 0
/proc/30817/statm: 2378 346 289 221 0 87 0
[pid=30818] ppid=30817 vsize=13801768 CPUtime=59.29 cores=0,2,4,6,8,10,12,14
/proc/30818/stat : 30818 (java) S 30817 30817 14782 0 -1 1077944320 34540 0 0 0 5838 91 0 0 20 0 28 0 3928566 14133010432 120211 33554432000 4194304 4196468 140726530718416 140726530700960 140483929743095 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
/proc/30818/statm: 3450442 120211 3277 1 0 3437675 0
[pid=30818/tid=30819] ppid=30817 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30819/stat : 30819 (java) S 30817 30817 14782 0 -1 1077944384 7459 0 0 0 182 5 0 0 20 0 28 0 3928567 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483933983872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30821] ppid=30817 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30821/stat : 30821 (java) S 30817 30817 14782 0 -1 1077944384 138 0 0 0 7 7 0 0 20 0 28 0 3928568 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483886295952 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30822] ppid=30817 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30822/stat : 30822 (java) S 30817 30817 14782 0 -1 1077944384 262 0 0 0 6 8 0 0 20 0 28 0 3928568 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483885243152 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30823] ppid=30817 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30823/stat : 30823 (java) S 30817 30817 14782 0 -1 1077944384 176 0 0 0 6 8 0 0 20 0 28 0 3928568 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483527113872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30824] ppid=30817 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30824/stat : 30824 (java) S 30817 30817 14782 0 -1 1077944384 237 0 0 0 6 9 0 0 20 0 28 0 3928568 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483526061072 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30825] ppid=30817 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30825/stat : 30825 (java) S 30817 30817 14782 0 -1 1077944384 168 0 0 0 6 9 0 0 20 0 28 0 3928568 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483525007760 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30826] ppid=30817 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30826/stat : 30826 (java) S 30817 30817 14782 0 -1 1077944384 196 0 0 0 6 10 0 0 20 0 28 0 3928568 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483523954960 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30827] ppid=30817 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30827/stat : 30827 (java) S 30817 30817 14782 0 -1 1077944384 198 0 0 0 7 9 0 0 20 0 28 0 3928568 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483522902672 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30828] ppid=30817 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30828/stat : 30828 (java) S 30817 30817 14782 0 -1 1077944384 513 0 0 0 5 8 0 0 20 0 28 0 3928568 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483521849872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30829] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30829/stat : 30829 (java) S 30817 30817 14782 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 28 0 3928570 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483392055920 140483929754242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30830] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30830/stat : 30830 (java) S 30817 30817 14782 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3928571 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483391001952 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30831] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30831/stat : 30831 (java) S 30817 30817 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3928571 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483389949568 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30834] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30834/stat : 30834 (java) S 30817 30817 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3928575 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483388897872 140483929761691 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30835] ppid=30817 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30835/stat : 30835 (java) S 30817 30817 14782 0 -1 1077944384 5226 0 0 0 183 1 0 0 20 0 28 0 3928575 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483387844720 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30836] ppid=30817 vsize=13801768 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30836/stat : 30836 (java) S 30817 30817 14782 0 -1 1077944384 5411 0 0 0 209 2 0 0 20 0 28 0 3928575 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483386791920 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30837] ppid=30817 vsize=13801768 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30837/stat : 30837 (java) R 30817 30817 14782 0 -1 4202560 5960 0 0 0 209 1 0 0 20 0 28 0 3928575 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483385739928 140483913243301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30838] ppid=30817 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30838/stat : 30838 (java) S 30817 30817 14782 0 -1 1077944384 4747 0 0 0 83 1 0 0 20 0 28 0 3928575 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483384686832 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30839] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30839/stat : 30839 (java) S 30817 30817 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3928576 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483383634784 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30840] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30840/stat : 30840 (java) S 30817 30817 14782 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 3928576 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483382582064 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30993] ppid=30817 vsize=13801768 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30993/stat : 30993 (java) R 30817 30817 14782 0 -1 4202560 575 0 0 0 628 1 0 0 20 0 28 0 3928764 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483374566872 140483571904332 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30994] ppid=30817 vsize=13801768 CPUtime=6.17 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30994/stat : 30994 (java) R 30817 30817 14782 0 -1 4202560 135 0 0 0 616 1 0 0 20 0 28 0 3928764 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483373514808 140483571904023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30995] ppid=30817 vsize=13801768 CPUtime=5.93 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30995/stat : 30995 (java) R 30817 30817 14782 0 -1 4202560 199 0 0 0 593 0 0 0 20 0 28 0 3928764 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483372464072 140483571904332 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30996] ppid=30817 vsize=13801768 CPUtime=6.33 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30996/stat : 30996 (java) R 30817 30817 14782 0 -1 4202560 471 0 0 0 633 0 0 0 20 0 28 0 3928764 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483371409024 140483929764442 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30997] ppid=30817 vsize=13801768 CPUtime=6.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30997/stat : 30997 (java) R 30817 30817 14782 0 -1 4202560 148 0 0 0 614 0 0 0 20 0 28 0 3928764 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483370358968 140483571904332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30998] ppid=30817 vsize=13801768 CPUtime=6.03 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30998/stat : 30998 (java) R 30817 30817 14782 0 -1 4202560 171 0 0 0 603 0 0 0 20 0 28 0 3928764 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483369306296 140483571904332 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30999] ppid=30817 vsize=13801768 CPUtime=6.03 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30999/stat : 30999 (java) R 30817 30817 14782 0 -1 4202560 85 0 0 0 603 0 0 0 20 0 28 0 3928764 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483368251528 140483571904332 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=31000] ppid=30817 vsize=13801768 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/30818/task/31000/stat : 31000 (java) R 30817 30817 14782 0 -1 4202560 309 0 0 0 626 0 0 0 20 0 28 0 3928764 14133010432 120211 33554432000 4194304 4196468 140726530718416 140483367198520 140483571904128 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
Current children cumulated CPU time (s) 59.29
Current children cumulated vsize (KiB) 13811280

[startup+9.20154 s]
/proc/loadavg: 14.09 15.44 14.99 11/293 31223
/proc/meminfo: memFree=30942960/32770624 swapFree=5804/225644
[pid=30817] ppid=30814 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30817/stat : 30817 (xcsp3-exec) S 30814 30817 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3928566 9740288 346 33554432000 4194304 5098028 140731759230368 140731759228472 140176660669052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39940096 140731759236239 140731759236448 140731759236448 140731759239147 0
/proc/30817/statm: 2378 346 289 221 0 87 0
[pid=30818] ppid=30817 vsize=13801768 CPUtime=62.3 cores=0,2,4,6,8,10,12,14
/proc/30818/stat : 30818 (java) S 30817 30817 14782 0 -1 1077944320 38177 0 0 0 6139 91 0 0 20 0 28 0 3928566 14133010432 120235 33554432000 4194304 4196468 140726530718416 140726530700960 140483929743095 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
/proc/30818/statm: 3450442 120235 3278 1 0 3437675 0
[pid=30818/tid=30819] ppid=30817 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30819/stat : 30819 (java) S 30817 30817 14782 0 -1 1077944384 7459 0 0 0 182 5 0 0 20 0 28 0 3928567 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483933983872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30821] ppid=30817 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30821/stat : 30821 (java) S 30817 30817 14782 0 -1 1077944384 138 0 0 0 7 7 0 0 20 0 28 0 3928568 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483886295952 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30822] ppid=30817 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30822/stat : 30822 (java) S 30817 30817 14782 0 -1 1077944384 262 0 0 0 6 8 0 0 20 0 28 0 3928568 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483885243152 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30823] ppid=30817 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30823/stat : 30823 (java) S 30817 30817 14782 0 -1 1077944384 176 0 0 0 6 8 0 0 20 0 28 0 3928568 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483527113872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30824] ppid=30817 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30824/stat : 30824 (java) S 30817 30817 14782 0 -1 1077944384 237 0 0 0 6 9 0 0 20 0 28 0 3928568 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483526061072 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30825] ppid=30817 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30825/stat : 30825 (java) S 30817 30817 14782 0 -1 1077944384 168 0 0 0 6 9 0 0 20 0 28 0 3928568 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483525007760 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30826] ppid=30817 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30826/stat : 30826 (java) S 30817 30817 14782 0 -1 1077944384 196 0 0 0 6 10 0 0 20 0 28 0 3928568 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483523954960 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30827] ppid=30817 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30827/stat : 30827 (java) S 30817 30817 14782 0 -1 1077944384 198 0 0 0 7 9 0 0 20 0 28 0 3928568 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483522902672 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30828] ppid=30817 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30828/stat : 30828 (java) S 30817 30817 14782 0 -1 1077944384 513 0 0 0 5 8 0 0 20 0 28 0 3928568 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483521849872 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30829] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30829/stat : 30829 (java) S 30817 30817 14782 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 28 0 3928570 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483392055920 140483929754242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30830] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30830/stat : 30830 (java) S 30817 30817 14782 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3928571 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483391001952 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30831] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30831/stat : 30831 (java) S 30817 30817 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3928571 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483389949568 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30834] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30834/stat : 30834 (java) S 30817 30817 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3928575 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483388897872 140483929761691 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30835] ppid=30817 vsize=13801768 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30835/stat : 30835 (java) S 30817 30817 14782 0 -1 1077944384 5611 0 0 0 185 1 0 0 20 0 28 0 3928575 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483387844720 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30836] ppid=30817 vsize=13801768 CPUtime=2.14 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30836/stat : 30836 (java) R 30817 30817 14782 0 -1 4202560 5835 0 0 0 212 2 0 0 20 0 28 0 3928575 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483386781712 140483915505105 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30837] ppid=30817 vsize=13801768 CPUtime=2.18 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30837/stat : 30837 (java) S 30817 30817 14782 0 -1 1077944384 6733 0 0 0 217 1 0 0 20 0 28 0 3928575 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483385739632 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30838] ppid=30817 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30838/stat : 30838 (java) S 30817 30817 14782 0 -1 1077944384 5859 0 0 0 85 1 0 0 20 0 28 0 3928575 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483384686832 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30839] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30839/stat : 30839 (java) S 30817 30817 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3928576 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483383634784 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30840] ppid=30817 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30840/stat : 30840 (java) S 30817 30817 14782 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 3928576 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483382582064 140483929754242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30993] ppid=30817 vsize=13801768 CPUtime=6.65 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30993/stat : 30993 (java) S 30817 30817 14782 0 -1 1077944384 684 0 0 0 664 1 0 0 20 0 28 0 3928764 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483374571824 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30994] ppid=30817 vsize=13801768 CPUtime=6.53 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30994/stat : 30994 (java) R 30817 30817 14782 0 -1 4202560 153 0 0 0 652 1 0 0 20 0 28 0 3928764 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483373514808 140483572529746 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30995] ppid=30817 vsize=13801768 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30995/stat : 30995 (java) S 30817 30817 14782 0 -1 1077944384 391 0 0 0 628 0 0 0 20 0 28 0 3928764 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483372467024 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30996] ppid=30817 vsize=13801768 CPUtime=6.64 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30996/stat : 30996 (java) S 30817 30817 14782 0 -1 1077944384 530 0 0 0 664 0 0 0 20 0 28 0 3928764 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483371414224 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30997] ppid=30817 vsize=13801768 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30997/stat : 30997 (java) S 30817 30817 14782 0 -1 1077944384 501 0 0 0 648 0 0 0 20 0 28 0 3928764 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483370361936 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30998] ppid=30817 vsize=13801768 CPUtime=6.41 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30998/stat : 30998 (java) S 30817 30817 14782 0 -1 1077944384 237 0 0 0 641 0 0 0 20 0 28 0 3928764 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483369309136 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=30999] ppid=30817 vsize=13801768 CPUtime=6.38 cores=0,2,4,6,8,10,12,14
/proc/30818/task/30999/stat : 30999 (java) S 30817 30817 14782 0 -1 1077944384 114 0 0 0 638 0 0 0 20 0 28 0 3928764 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483368256848 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
[pid=30818/tid=31000] ppid=30817 vsize=13801768 CPUtime=6.63 cores=0,2,4,6,8,10,12,14
/proc/30818/task/31000/stat : 31000 (java) S 30817 30817 14782 0 -1 1077944384 357 0 0 0 663 0 0 0 20 0 28 0 3928764 14133010432 120235 33554432000 4194304 4196468 140726530718416 140483367204048 140483929753301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38641664 140726530725052 140726530725228 140726530725228 140726530727887 0
Current children cumulated CPU time (s) 62.3
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 9.22992
CPU time (s): 62.3512
CPU user time (s): 61.4218
CPU system time (s): 0.929385
CPU usage (%): 675.534
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.4218
system time used= 0.929385
maximum resident set size= 483420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39578
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= 4686
involuntary context switches= 5171

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.117079 second user time and 0.135508 second system time

The end

Begin job on node143 at 2017-07-22 03:23:43
IDJOB=4245813
IDBENCH=123205
IDSOLVER=2626
FILE ID=node143/4245813-1500686623
RUNJOBID= node143-1500683785-15435
PBS_JOBID= 20623040
Free space on /tmp= 61984 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-600-co.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245813-1500686623/watcher-4245813-1500686623 -o /tmp/evaluation-result-4245813-1500686623/solver-4245813-1500686623 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 537587031 HOME/instance-4245813-1500686623.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= c8310886daa61c46dd98a045c4929b4c
RANDOM SEED=537587031

node143.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31337324 kB
MemAvailable:   31438128 kB
Buffers:           82020 kB
Cached:           316792 kB
SwapCached:            0 kB
Active:           798140 kB
Inactive:         234224 kB
Active(anon):     635688 kB
Inactive(anon):     8748 kB
Active(file):     162452 kB
Inactive(file):   225476 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7892 kB
Writeback:             0 kB
AnonPages:        656872 kB
Mapped:            43148 kB
Shmem:              8884 kB
Slab:              91432 kB
SReclaimable:      57424 kB
SUnreclaim:        34008 kB
KernelStack:        5056 kB
PageTables:         7144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1240672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    522240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      155008 kB
DirectMap2M:    33390592 kB

Free space on /tmp at the end= 61976 MiB
End job on node143 at 2017-07-22 03:23:52

Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-600-co.xml
MD5SUM	c8310886daa61c46dd98a045c4929b4c
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	6.4116702
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	602
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":600}]
Minimum variable degree	602
Maximum variable degree	602
Distribution of variable degrees	[{"degree":602,"count":600}]
Minimum constraint arity	600
Maximum constraint arity	600
Distribution of constraint arities	[{"arity":600,"count":602}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":600}]
Optimization problem	NO
Type of objective

Trace number 4245813

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data