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 4.0.5 (2017-07-05)	SAT	197.105	27.4343

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-4245832-1500686374/watcher-4245832-1500686374 -o /tmp/evaluation-result-4245832-1500686374/solver-4245832-1500686374 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1189700099 HOME/instance-4245832-1500686374.xml 

pid=30202
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.20 15.53 14.35 10/271 30205
/proc/meminfo: memFree=25567100/32770624 swapFree=5800/239952
[pid=30205] ppid=30202 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30205/stat : 30205 (xcsp3-exec) S 30202 30205 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3905201 9740288 346 33554432000 4194304 5098028 140732909093648 140732909091752 139988027191932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28364800 140732909098126 140732909098336 140732909098336 140732909101035 0
/proc/30205/statm: 2378 346 289 221 0 87 0

[startup+0.100101 s]
/proc/loadavg: 15.20 15.53 14.35 10/271 30205
/proc/meminfo: memFree=25567100/32770624 swapFree=5800/239952
[pid=30205] ppid=30202 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30205/stat : 30205 (xcsp3-exec) S 30202 30205 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3905201 9740288 346 33554432000 4194304 5098028 140732909093648 140732909091752 139988027191932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28364800 140732909098126 140732909098336 140732909098336 140732909101035 0
/proc/30205/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200291 s]
/proc/loadavg: 15.20 15.53 14.35 10/271 30205
/proc/meminfo: memFree=25567100/32770624 swapFree=5800/239952
[pid=30205] ppid=30202 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30205/stat : 30205 (xcsp3-exec) S 30202 30205 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3905201 9740288 346 33554432000 4194304 5098028 140732909093648 140732909091752 139988027191932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28364800 140732909098126 140732909098336 140732909098336 140732909101035 0
/proc/30205/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300293 s]
/proc/loadavg: 15.20 15.53 14.35 10/271 30205
/proc/meminfo: memFree=25567100/32770624 swapFree=5800/239952
[pid=30205] ppid=30202 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30205/stat : 30205 (xcsp3-exec) S 30202 30205 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3905201 9740288 346 33554432000 4194304 5098028 140732909093648 140732909091752 139988027191932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28364800 140732909098126 140732909098336 140732909098336 140732909101035 0
/proc/30205/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700186 s]
/proc/loadavg: 15.20 15.53 14.35 10/271 30205
/proc/meminfo: memFree=25567100/32770624 swapFree=5800/239952
[pid=30205] ppid=30202 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30205/stat : 30205 (xcsp3-exec) S 30202 30205 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3905201 9740288 346 33554432000 4194304 5098028 140732909093648 140732909091752 139988027191932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28364800 140732909098126 140732909098336 140732909098336 140732909101035 0
/proc/30205/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: 14.86 15.45 14.33 10/292 30226
/proc/meminfo: memFree=25377156/32770624 swapFree=5800/240344
[pid=30205] ppid=30202 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30205/stat : 30205 (xcsp3-exec) S 30202 30205 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3905201 9740288 346 33554432000 4194304 5098028 140732909093648 140732909091752 139988027191932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28364800 140732909098126 140732909098336 140732909098336 140732909101035 0
/proc/30205/statm: 2378 346 289 221 0 87 0
[pid=30206] ppid=30205 vsize=13269256 CPUtime=4.17 cores=0,2,4,6,8,10,12,14
/proc/30206/stat : 30206 (java) S 30205 30205 7621 0 -1 1077944320 14872 0 0 0 380 37 0 0 20 0 20 0 3905201 13587718144 61136 33554432000 4194304 4196468 140730374958640 140730374941184 140243253669623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
/proc/30206/statm: 3317314 61136 3224 1 0 3304547 0
[pid=30206/tid=30207] ppid=30205 vsize=13269256 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30207/stat : 30207 (java) R 30205 30205 7621 0 -1 4202560 6821 0 0 0 135 4 0 0 20 0 20 0 3905202 13587718144 61136 33554432000 4194304 4196468 140730374958640 140243257906904 140242851142991 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30209] ppid=30205 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30209/stat : 30209 (java) S 30205 30205 7621 0 -1 1077944384 38 0 0 0 2 4 0 0 20 0 20 0 3905203 13587718144 61136 33554432000 4194304 4196468 140730374958640 140243172149648 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30210] ppid=30205 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30210/stat : 30210 (java) S 30205 30205 7621 0 -1 1077944384 38 0 0 0 2 4 0 0 20 0 20 0 3905203 13587718144 61136 33554432000 4194304 4196468 140730374958640 140243171096848 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30211] ppid=30205 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30211/stat : 30211 (java) S 30205 30205 7621 0 -1 1077944384 34 0 0 0 2 4 0 0 20 0 20 0 3905203 13587718144 61136 33554432000 4194304 4196468 140730374958640 140243170044560 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30212] ppid=30205 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30212/stat : 30212 (java) S 30205 30205 7621 0 -1 1077944384 34 0 0 0 2 3 0 0 20 0 20 0 3905203 13587718144 61136 33554432000 4194304 4196468 140730374958640 140243168991760 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30213] ppid=30205 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30213/stat : 30213 (java) S 30205 30205 7621 0 -1 1077944384 125 0 0 0 3 3 0 0 20 0 20 0 3905203 13587718144 61136 33554432000 4194304 4196468 140730374958640 140243167939472 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30214] ppid=30205 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30214/stat : 30214 (java) S 30205 30205 7621 0 -1 1077944384 28 0 0 0 2 2 0 0 20 0 20 0 3905203 13587718144 61136 33554432000 4194304 4196468 140730374958640 140243166886672 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30215] ppid=30205 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30215/stat : 30215 (java) S 30205 30205 7621 0 -1 1077944384 56 0 0 0 2 4 0 0 20 0 20 0 3905203 13587718144 61136 33554432000 4194304 4196468 140730374958640 140243165834384 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30216] ppid=30205 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30216/stat : 30216 (java) S 30205 30205 7621 0 -1 1077944384 47 0 0 0 2 4 0 0 20 0 20 0 3905203 13587718144 61136 33554432000 4194304 4196468 140730374958640 140242845690896 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30217] ppid=30205 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30217/stat : 30217 (java) S 30205 30205 7621 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3905205 13587718144 61136 33554432000 4194304 4196468 140730374958640 140242581813360 140243253680770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30218] ppid=30205 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30218/stat : 30218 (java) S 30205 30205 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3905206 13587718144 61136 33554432000 4194304 4196468 140730374958640 140242580759392 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30219] ppid=30205 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30219/stat : 30219 (java) S 30205 30205 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3905206 13587718144 61136 33554432000 4194304 4196468 140730374958640 140242579707008 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30220] ppid=30205 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30220/stat : 30220 (java) S 30205 30205 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3905210 13587718144 61136 33554432000 4194304 4196468 140730374958640 140242578655312 140243253688219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30221] ppid=30205 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30221/stat : 30221 (java) S 30205 30205 7621 0 -1 1077944384 2128 0 0 0 60 0 0 0 20 0 20 0 3905210 13587718144 61136 33554432000 4194304 4196468 140730374958640 140242577603184 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30222] ppid=30205 vsize=13269256 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30222/stat : 30222 (java) S 30205 30205 7621 0 -1 1077944384 1034 0 0 0 54 0 0 0 20 0 20 0 3905210 13587718144 61136 33554432000 4194304 4196468 140730374958640 140242576550384 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30223] ppid=30205 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30223/stat : 30223 (java) S 30205 30205 7621 0 -1 1077944384 1079 0 0 0 53 0 0 0 20 0 20 0 3905210 13587718144 61136 33554432000 4194304 4196468 140730374958640 140242575498096 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30224] ppid=30205 vsize=13269256 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30224/stat : 30224 (java) S 30205 30205 7621 0 -1 1077944384 2031 0 0 0 52 0 0 0 20 0 20 0 3905210 13587718144 61136 33554432000 4194304 4196468 140730374958640 140242574445296 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30225] ppid=30205 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30225/stat : 30225 (java) S 30205 30205 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3905210 13587718144 61136 33554432000 4194304 4196468 140730374958640 140242573392224 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30226] ppid=30205 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30226/stat : 30226 (java) S 30205 30205 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3905211 13587718144 61136 33554432000 4194304 4196468 140730374958640 140242572339504 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 13278768

[startup+3.10091 s]
/proc/loadavg: 14.86 15.45 14.33 17/292 30226
/proc/meminfo: memFree=25159376/32770624 swapFree=5800/240344
[pid=30205] ppid=30202 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30205/stat : 30205 (xcsp3-exec) S 30202 30205 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3905201 9740288 346 33554432000 4194304 5098028 140732909093648 140732909091752 139988027191932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28364800 140732909098126 140732909098336 140732909098336 140732909101035 0
/proc/30205/statm: 2378 346 289 221 0 87 0
[pid=30206] ppid=30205 vsize=13269256 CPUtime=8.07 cores=0,2,4,6,8,10,12,14
/proc/30206/stat : 30206 (java) S 30205 30205 7621 0 -1 1077944320 17859 0 0 0 691 116 0 0 20 0 20 0 3905201 13587718144 129808 33554432000 4194304 4196468 140730374958640 140730374941184 140243253669623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
/proc/30206/statm: 3317314 129808 3253 1 0 3304547 0
[pid=30206/tid=30207] ppid=30205 vsize=13269256 CPUtime=2.8 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30207/stat : 30207 (java) R 30205 30205 7621 0 -1 4202560 7184 0 0 0 274 6 0 0 20 0 20 0 3905202 13587718144 129808 33554432000 4194304 4196468 140730374958640 140243257906440 140242851357745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30209] ppid=30205 vsize=13269256 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30209/stat : 30209 (java) S 30205 30205 7621 0 -1 1077944384 164 0 0 0 11 13 0 0 20 0 20 0 3905203 13587718144 129808 33554432000 4194304 4196468 140730374958640 140243172149648 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30210] ppid=30205 vsize=13269256 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30210/stat : 30210 (java) S 30205 30205 7621 0 -1 1077944384 144 0 0 0 10 14 0 0 20 0 20 0 3905203 13587718144 129808 33554432000 4194304 4196468 140730374958640 140243171096848 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30211] ppid=30205 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30211/stat : 30211 (java) S 30205 30205 7621 0 -1 1077944384 178 0 0 0 11 12 0 0 20 0 20 0 3905203 13587718144 129808 33554432000 4194304 4196468 140730374958640 140243170044560 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30212] ppid=30205 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30212/stat : 30212 (java) S 30205 30205 7621 0 -1 1077944384 163 0 0 0 10 13 0 0 20 0 20 0 3905203 13587718144 129808 33554432000 4194304 4196468 140730374958640 140243168991760 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30213] ppid=30205 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30213/stat : 30213 (java) S 30205 30205 7621 0 -1 1077944384 218 0 0 0 9 13 0 0 20 0 20 0 3905203 13587718144 129808 33554432000 4194304 4196468 140730374958640 140243167939472 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30214] ppid=30205 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30214/stat : 30214 (java) S 30205 30205 7621 0 -1 1077944384 132 0 0 0 10 12 0 0 20 0 20 0 3905203 13587718144 129808 33554432000 4194304 4196468 140730374958640 140243166886672 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30215] ppid=30205 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30215/stat : 30215 (java) S 30205 30205 7621 0 -1 1077944384 165 0 0 0 11 12 0 0 20 0 20 0 3905203 13587718144 129808 33554432000 4194304 4196468 140730374958640 140243165834384 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30216] ppid=30205 vsize=13269256 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30216/stat : 30216 (java) S 30205 30205 7621 0 -1 1077944384 145 0 0 0 10 14 0 0 20 0 20 0 3905203 13587718144 129808 33554432000 4194304 4196468 140730374958640 140242845690896 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30217] ppid=30205 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30217/stat : 30217 (java) S 30205 30205 7621 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 20 0 3905205 13587718144 129808 33554432000 4194304 4196468 140730374958640 140242581813360 140243253680770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30218] ppid=30205 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30218/stat : 30218 (java) S 30205 30205 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3905206 13587718144 129808 33554432000 4194304 4196468 140730374958640 140242580759392 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30219] ppid=30205 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30219/stat : 30219 (java) S 30205 30205 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3905206 13587718144 129808 33554432000 4194304 4196468 140730374958640 140242579707008 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30220] ppid=30205 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30220/stat : 30220 (java) S 30205 30205 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3905210 13587718144 129808 33554432000 4194304 4196468 140730374958640 140242578655312 140243253688219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30221] ppid=30205 vsize=13269256 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30221/stat : 30221 (java) S 30205 30205 7621 0 -1 1077944384 2177 0 0 0 91 0 0 0 20 0 20 0 3905210 13587718144 129808 33554432000 4194304 4196468 140730374958640 140242577603184 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30222] ppid=30205 vsize=13269256 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30222/stat : 30222 (java) R 30205 30205 7621 0 -1 4202560 1926 0 0 0 94 0 0 0 20 0 20 0 3905210 13587718144 129808 33554432000 4194304 4196468 140730374958640 140242576536408 140243232926115 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30223] ppid=30205 vsize=13269256 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30223/stat : 30223 (java) S 30205 30205 7621 0 -1 1077944384 1657 0 0 0 84 0 0 0 20 0 20 0 3905210 13587718144 129808 33554432000 4194304 4196468 140730374958640 140242575498096 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30224] ppid=30205 vsize=13269256 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30224/stat : 30224 (java) S 30205 30205 7621 0 -1 1077944384 2100 0 0 0 56 0 0 0 20 0 20 0 3905210 13587718144 129808 33554432000 4194304 4196468 140730374958640 140242574445296 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30225] ppid=30205 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30225/stat : 30225 (java) S 30205 30205 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3905210 13587718144 129808 33554432000 4194304 4196468 140730374958640 140242573392224 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30226] ppid=30205 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30226/stat : 30226 (java) S 30205 30205 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3905211 13587718144 129808 33554432000 4194304 4196468 140730374958640 140242572339504 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (KiB) 13278768

[startup+6.30169 s]
/proc/loadavg: 14.86 15.45 14.33 17/300 30234
/proc/meminfo: memFree=24844400/32770624 swapFree=5800/240352
[pid=30205] ppid=30202 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30205/stat : 30205 (xcsp3-exec) S 30202 30205 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3905201 9740288 346 33554432000 4194304 5098028 140732909093648 140732909091752 139988027191932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28364800 140732909098126 140732909098336 140732909098336 140732909101035 0
/proc/30205/statm: 2378 346 289 221 0 87 0
[pid=30206] ppid=30205 vsize=13801768 CPUtime=29.84 cores=0,2,4,6,8,10,12,14
/proc/30206/stat : 30206 (java) S 30205 30205 7621 0 -1 1077944320 31830 0 0 0 2859 125 0 0 20 0 28 0 3905201 14133010432 183594 33554432000 4194304 4196468 140730374958640 140730374941184 140243253669623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
/proc/30206/statm: 3450442 183594 3277 1 0 3437675 0
[pid=30206/tid=30207] ppid=30205 vsize=13801768 CPUtime=3.58 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30207/stat : 30207 (java) S 30205 30205 7621 0 -1 1077944384 8758 0 0 0 350 8 0 0 20 0 28 0 3905202 14133010432 183594 33554432000 4194304 4196468 140730374958640 140243257910400 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30209] ppid=30205 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30209/stat : 30209 (java) S 30205 30205 7621 0 -1 1077944384 164 0 0 0 11 13 0 0 20 0 28 0 3905203 14133010432 183594 33554432000 4194304 4196468 140730374958640 140243172149648 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30210] ppid=30205 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30210/stat : 30210 (java) S 30205 30205 7621 0 -1 1077944384 144 0 0 0 10 14 0 0 20 0 28 0 3905203 14133010432 183594 33554432000 4194304 4196468 140730374958640 140243171096848 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30211] ppid=30205 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30211/stat : 30211 (java) S 30205 30205 7621 0 -1 1077944384 178 0 0 0 11 12 0 0 20 0 28 0 3905203 14133010432 183594 33554432000 4194304 4196468 140730374958640 140243170044560 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30212] ppid=30205 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30212/stat : 30212 (java) S 30205 30205 7621 0 -1 1077944384 163 0 0 0 10 13 0 0 20 0 28 0 3905203 14133010432 183594 33554432000 4194304 4196468 140730374958640 140243168991760 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30213] ppid=30205 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30213/stat : 30213 (java) S 30205 30205 7621 0 -1 1077944384 218 0 0 0 9 13 0 0 20 0 28 0 3905203 14133010432 183594 33554432000 4194304 4196468 140730374958640 140243167939472 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30214] ppid=30205 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30214/stat : 30214 (java) S 30205 30205 7621 0 -1 1077944384 132 0 0 0 10 12 0 0 20 0 28 0 3905203 14133010432 183594 33554432000 4194304 4196468 140730374958640 140243166886672 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30215] ppid=30205 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30215/stat : 30215 (java) S 30205 30205 7621 0 -1 1077944384 165 0 0 0 11 12 0 0 20 0 28 0 3905203 14133010432 183594 33554432000 4194304 4196468 140730374958640 140243165834384 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30216] ppid=30205 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30216/stat : 30216 (java) S 30205 30205 7621 0 -1 1077944384 145 0 0 0 10 14 0 0 20 0 28 0 3905203 14133010432 183594 33554432000 4194304 4196468 140730374958640 140242845690896 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30217] ppid=30205 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30217/stat : 30217 (java) S 30205 30205 7621 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 28 0 3905205 14133010432 183594 33554432000 4194304 4196468 140730374958640 140242581813360 140243253680770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30218] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30218/stat : 30218 (java) S 30205 30205 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3905206 14133010432 183594 33554432000 4194304 4196468 140730374958640 140242580759392 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30219] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30219/stat : 30219 (java) S 30205 30205 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3905206 14133010432 183594 33554432000 4194304 4196468 140730374958640 140242579707008 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30220] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30220/stat : 30220 (java) S 30205 30205 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3905210 14133010432 183594 33554432000 4194304 4196468 140730374958640 140242578655312 140243253688219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0

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

/proc/30206/task/30218/stat : 30218 (java) S 30205 30205 7621 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 3905206 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242580759392 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30219] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30219/stat : 30219 (java) S 30205 30205 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3905206 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242579707008 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30220] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30220/stat : 30220 (java) S 30205 30205 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3905210 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242578655312 140243253688219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30221] ppid=30205 vsize=13801768 CPUtime=2.57 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30221/stat : 30221 (java) S 30205 30205 7621 0 -1 1077944384 8604 0 0 0 255 2 0 0 20 0 28 0 3905210 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242577603184 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30222] ppid=30205 vsize=13801768 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30222/stat : 30222 (java) S 30205 30205 7621 0 -1 1077944384 7677 0 0 0 250 1 0 0 20 0 28 0 3905210 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242576550384 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30223] ppid=30205 vsize=13801768 CPUtime=2.45 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30223/stat : 30223 (java) S 30205 30205 7621 0 -1 1077944384 6586 0 0 0 244 1 0 0 20 0 28 0 3905210 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242575498096 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30224] ppid=30205 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30224/stat : 30224 (java) S 30205 30205 7621 0 -1 1077944384 7216 0 0 0 88 1 0 0 20 0 28 0 3905210 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242574445296 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30225] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30225/stat : 30225 (java) S 30205 30205 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3905210 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242573392224 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30226] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30226/stat : 30226 (java) S 30205 30205 7621 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 28 0 3905211 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242572339504 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30227] ppid=30205 vsize=13801768 CPUtime=21.24 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30227/stat : 30227 (java) R 30205 30205 7621 0 -1 4202560 488 0 0 0 2124 0 0 0 20 0 28 0 3905588 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242564323992 140242852790730 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30228] ppid=30205 vsize=13801768 CPUtime=21.65 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30228/stat : 30228 (java) R 30205 30205 7621 0 -1 4202560 307 0 0 0 2164 1 0 0 20 0 28 0 3905588 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242563272408 140242852790736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30229] ppid=30205 vsize=13801768 CPUtime=21.3 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30229/stat : 30229 (java) R 30205 30205 7621 0 -1 4202560 806 0 0 0 2130 0 0 0 20 0 28 0 3905588 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242562220008 140242853518788 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30230] ppid=30205 vsize=13801768 CPUtime=21.3 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30230/stat : 30230 (java) R 30205 30205 7621 0 -1 4202560 1532 0 0 0 2130 0 0 0 20 0 28 0 3905588 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242493364488 140242853016677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30231] ppid=30205 vsize=13801768 CPUtime=21.43 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30231/stat : 30231 (java) R 30205 30205 7621 0 -1 4202560 549 0 0 0 2143 0 0 0 20 0 28 0 3905588 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242492309616 140242852790940 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30232] ppid=30205 vsize=13801768 CPUtime=21.2 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30232/stat : 30232 (java) R 30205 30205 7621 0 -1 4202560 687 0 0 0 2120 0 0 0 20 0 28 0 3905588 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242491257304 140242852790736 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30233] ppid=30205 vsize=13801768 CPUtime=21.41 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30233/stat : 30233 (java) R 30205 30205 7621 0 -1 4202560 413 0 0 0 2141 0 0 0 20 0 28 0 3905588 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242490203640 140242852790940 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30234] ppid=30205 vsize=13801768 CPUtime=21.5 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30234/stat : 30234 (java) R 30205 30205 7621 0 -1 4202560 838 0 0 0 2150 0 0 0 20 0 28 0 3905588 14133010432 236983 33554432000 4194304 4196468 140730374958640 140242489151288 140242852790736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
Current children cumulated CPU time (s) 189.55
Current children cumulated vsize (KiB) 13811280

[startup+27.2017 s]
/proc/loadavg: 15.13 15.46 14.36 17/300 30239
/proc/meminfo: memFree=24625676/32770624 swapFree=5800/240372
[pid=30205] ppid=30202 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30205/stat : 30205 (xcsp3-exec) S 30202 30205 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3905201 9740288 346 33554432000 4194304 5098028 140732909093648 140732909091752 139988027191932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28364800 140732909098126 140732909098336 140732909098336 140732909101035 0
/proc/30205/statm: 2378 346 289 221 0 87 0
[pid=30206] ppid=30205 vsize=13801768 CPUtime=195.8 cores=0,2,4,6,8,10,12,14
/proc/30206/stat : 30206 (java) S 30205 30205 7621 0 -1 1077944320 52891 0 0 0 19353 227 0 0 20 0 28 0 3905201 14133010432 236984 33554432000 4194304 4196468 140730374958640 140730374941184 140243253669623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
/proc/30206/statm: 3450442 236984 3292 1 0 3437675 0
[pid=30206/tid=30207] ppid=30205 vsize=13801768 CPUtime=3.58 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30207/stat : 30207 (java) S 30205 30205 7621 0 -1 1077944384 8758 0 0 0 350 8 0 0 20 0 28 0 3905202 14133010432 236984 33554432000 4194304 4196468 140730374958640 140243257910400 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30209] ppid=30205 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30209/stat : 30209 (java) S 30205 30205 7621 0 -1 1077944384 515 0 0 0 51 26 0 0 20 0 28 0 3905203 14133010432 236984 33554432000 4194304 4196468 140730374958640 140243172149648 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30210] ppid=30205 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30210/stat : 30210 (java) S 30205 30205 7621 0 -1 1077944384 322 0 0 0 53 25 0 0 20 0 28 0 3905203 14133010432 236984 33554432000 4194304 4196468 140730374958640 140243171096848 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30211] ppid=30205 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30211/stat : 30211 (java) S 30205 30205 7621 0 -1 1077944384 587 0 0 0 53 24 0 0 20 0 28 0 3905203 14133010432 236984 33554432000 4194304 4196468 140730374958640 140243170044560 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30212] ppid=30205 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30212/stat : 30212 (java) S 30205 30205 7621 0 -1 1077944384 394 0 0 0 53 25 0 0 20 0 28 0 3905203 14133010432 236984 33554432000 4194304 4196468 140730374958640 140243168991760 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30213] ppid=30205 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30213/stat : 30213 (java) S 30205 30205 7621 0 -1 1077944384 625 0 0 0 53 24 0 0 20 0 28 0 3905203 14133010432 236984 33554432000 4194304 4196468 140730374958640 140243167939472 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30214] ppid=30205 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30214/stat : 30214 (java) S 30205 30205 7621 0 -1 1077944384 525 0 0 0 52 24 0 0 20 0 28 0 3905203 14133010432 236984 33554432000 4194304 4196468 140730374958640 140243166886672 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30215] ppid=30205 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30215/stat : 30215 (java) S 30205 30205 7621 0 -1 1077944384 332 0 0 0 53 25 0 0 20 0 28 0 3905203 14133010432 236984 33554432000 4194304 4196468 140730374958640 140243165834384 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30216] ppid=30205 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30216/stat : 30216 (java) S 30205 30205 7621 0 -1 1077944384 420 0 0 0 54 25 0 0 20 0 28 0 3905203 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242845690896 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30217] ppid=30205 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30217/stat : 30217 (java) S 30205 30205 7621 0 -1 1077944384 2908 0 0 0 5 3 0 0 20 0 28 0 3905205 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242581813360 140243253680770 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30218] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30218/stat : 30218 (java) S 30205 30205 7621 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 3905206 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242580759392 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30219] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30219/stat : 30219 (java) S 30205 30205 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3905206 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242579707008 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30220] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30220/stat : 30220 (java) S 30205 30205 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3905210 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242578655312 140243253688219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30221] ppid=30205 vsize=13801768 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30221/stat : 30221 (java) S 30205 30205 7621 0 -1 1077944384 8652 0 0 0 256 2 0 0 20 0 28 0 3905210 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242577603184 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30222] ppid=30205 vsize=13801768 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30222/stat : 30222 (java) S 30205 30205 7621 0 -1 1077944384 7680 0 0 0 250 1 0 0 20 0 28 0 3905210 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242576550384 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30223] ppid=30205 vsize=13801768 CPUtime=2.45 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30223/stat : 30223 (java) S 30205 30205 7621 0 -1 1077944384 6603 0 0 0 244 1 0 0 20 0 28 0 3905210 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242575498096 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30224] ppid=30205 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30224/stat : 30224 (java) S 30205 30205 7621 0 -1 1077944384 7261 0 0 0 88 1 0 0 20 0 28 0 3905210 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242574445296 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30225] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30225/stat : 30225 (java) S 30205 30205 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3905210 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242573392224 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30226] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30226/stat : 30226 (java) S 30205 30205 7621 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 28 0 3905211 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242572339504 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30227] ppid=30205 vsize=13801768 CPUtime=22.02 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30227/stat : 30227 (java) R 30205 30205 7621 0 -1 4202560 488 0 0 0 2202 0 0 0 20 0 28 0 3905588 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242564324360 140242852790736 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30228] ppid=30205 vsize=13801768 CPUtime=22.43 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30228/stat : 30228 (java) R 30205 30205 7621 0 -1 4202560 309 0 0 0 2242 1 0 0 20 0 28 0 3905588 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242563272744 140242852790940 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30229] ppid=30205 vsize=13801768 CPUtime=22.08 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30229/stat : 30229 (java) R 30205 30205 7621 0 -1 4202560 806 0 0 0 2208 0 0 0 20 0 28 0 3905588 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242562220456 140242852790940 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30230] ppid=30205 vsize=13801768 CPUtime=22.06 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30230/stat : 30230 (java) R 30205 30205 7621 0 -1 4202560 1533 0 0 0 2206 0 0 0 20 0 28 0 3905588 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242493363528 140242853816665 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30231] ppid=30205 vsize=13801768 CPUtime=22.19 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30231/stat : 30231 (java) R 30205 30205 7621 0 -1 4202560 551 0 0 0 2219 0 0 0 20 0 28 0 3905588 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242492309952 140242853166984 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30232] ppid=30205 vsize=13801768 CPUtime=21.99 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30232/stat : 30232 (java) R 30205 30205 7621 0 -1 4202560 687 0 0 0 2199 0 0 0 20 0 28 0 3905588 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242491257048 140242852790884 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30233] ppid=30205 vsize=13801768 CPUtime=22.2 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30233/stat : 30233 (java) R 30205 30205 7621 0 -1 4202560 413 0 0 0 2220 0 0 0 20 0 28 0 3905588 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242490203752 140242852790940 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30234] ppid=30205 vsize=13801768 CPUtime=22.29 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30234/stat : 30234 (java) R 30205 30205 7621 0 -1 4202560 839 0 0 0 2229 0 0 0 20 0 28 0 3905588 14133010432 236984 33554432000 4194304 4196468 140730374958640 140242489150840 140242852791013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
Current children cumulated CPU time (s) 195.8
Current children cumulated vsize (KiB) 13811280

[startup+27.4016 s]
/proc/loadavg: 15.13 15.46 14.36 17/300 30239
/proc/meminfo: memFree=24625676/32770624 swapFree=5800/240372
[pid=30205] ppid=30202 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30205/stat : 30205 (xcsp3-exec) S 30202 30205 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3905201 9740288 346 33554432000 4194304 5098028 140732909093648 140732909091752 139988027191932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28364800 140732909098126 140732909098336 140732909098336 140732909101035 0
/proc/30205/statm: 2378 346 289 221 0 87 0
[pid=30206] ppid=30205 vsize=13801768 CPUtime=197.07 cores=0,2,4,6,8,10,12,14
/proc/30206/stat : 30206 (java) S 30205 30205 7621 0 -1 1077944320 53123 0 0 0 19480 227 0 0 20 0 28 0 3905201 14133010432 236985 33554432000 4194304 4196468 140730374958640 140730374941184 140243253669623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
/proc/30206/statm: 3450442 236985 3292 1 0 3437675 0
[pid=30206/tid=30207] ppid=30205 vsize=13801768 CPUtime=3.58 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30207/stat : 30207 (java) S 30205 30205 7621 0 -1 1077944384 8758 0 0 0 350 8 0 0 20 0 28 0 3905202 14133010432 236985 33554432000 4194304 4196468 140730374958640 140243257910400 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30209] ppid=30205 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30209/stat : 30209 (java) S 30205 30205 7621 0 -1 1077944384 515 0 0 0 51 26 0 0 20 0 28 0 3905203 14133010432 236985 33554432000 4194304 4196468 140730374958640 140243172149648 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30210] ppid=30205 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30210/stat : 30210 (java) S 30205 30205 7621 0 -1 1077944384 322 0 0 0 53 25 0 0 20 0 28 0 3905203 14133010432 236985 33554432000 4194304 4196468 140730374958640 140243171096848 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30211] ppid=30205 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30211/stat : 30211 (java) S 30205 30205 7621 0 -1 1077944384 587 0 0 0 53 24 0 0 20 0 28 0 3905203 14133010432 236985 33554432000 4194304 4196468 140730374958640 140243170044560 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30212] ppid=30205 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30212/stat : 30212 (java) S 30205 30205 7621 0 -1 1077944384 394 0 0 0 53 25 0 0 20 0 28 0 3905203 14133010432 236985 33554432000 4194304 4196468 140730374958640 140243168991760 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30213] ppid=30205 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30213/stat : 30213 (java) S 30205 30205 7621 0 -1 1077944384 625 0 0 0 53 24 0 0 20 0 28 0 3905203 14133010432 236985 33554432000 4194304 4196468 140730374958640 140243167939472 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30214] ppid=30205 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30214/stat : 30214 (java) S 30205 30205 7621 0 -1 1077944384 525 0 0 0 52 24 0 0 20 0 28 0 3905203 14133010432 236985 33554432000 4194304 4196468 140730374958640 140243166886672 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30215] ppid=30205 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30215/stat : 30215 (java) S 30205 30205 7621 0 -1 1077944384 332 0 0 0 53 25 0 0 20 0 28 0 3905203 14133010432 236985 33554432000 4194304 4196468 140730374958640 140243165834384 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30216] ppid=30205 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30216/stat : 30216 (java) S 30205 30205 7621 0 -1 1077944384 420 0 0 0 54 25 0 0 20 0 28 0 3905203 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242845690896 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30217] ppid=30205 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30217/stat : 30217 (java) S 30205 30205 7621 0 -1 1077944384 2908 0 0 0 5 3 0 0 20 0 28 0 3905205 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242581813360 140243253680770 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30218] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30218/stat : 30218 (java) S 30205 30205 7621 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 3905206 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242580759392 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30219] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30219/stat : 30219 (java) S 30205 30205 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3905206 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242579707008 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30220] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30220/stat : 30220 (java) S 30205 30205 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3905210 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242578655312 140243253688219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30221] ppid=30205 vsize=13801768 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30221/stat : 30221 (java) S 30205 30205 7621 0 -1 1077944384 8726 0 0 0 259 2 0 0 20 0 28 0 3905210 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242577603184 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30222] ppid=30205 vsize=13801768 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30222/stat : 30222 (java) S 30205 30205 7621 0 -1 1077944384 7713 0 0 0 252 1 0 0 20 0 28 0 3905210 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242576550384 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30223] ppid=30205 vsize=13801768 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30223/stat : 30223 (java) S 30205 30205 7621 0 -1 1077944384 6606 0 0 0 245 1 0 0 20 0 28 0 3905210 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242575498096 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30224] ppid=30205 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30224/stat : 30224 (java) S 30205 30205 7621 0 -1 1077944384 7272 0 0 0 89 1 0 0 20 0 28 0 3905210 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242574445296 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30225] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30225/stat : 30225 (java) S 30205 30205 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3905210 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242573392224 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30226] ppid=30205 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30226/stat : 30226 (java) S 30205 30205 7621 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 28 0 3905211 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242572339504 140243253680770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30227] ppid=30205 vsize=13801768 CPUtime=22.19 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30227/stat : 30227 (java) S 30205 30205 7621 0 -1 1077944384 498 0 0 0 2219 0 0 0 20 0 28 0 3905588 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242564329168 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30228] ppid=30205 vsize=13801768 CPUtime=22.58 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30228/stat : 30228 (java) S 30205 30205 7621 0 -1 1077944384 326 0 0 0 2257 1 0 0 20 0 28 0 3905588 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242563277776 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30229] ppid=30205 vsize=13801768 CPUtime=22.26 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30229/stat : 30229 (java) R 30205 30205 7621 0 -1 4202560 806 0 0 0 2226 0 0 0 20 0 28 0 3905588 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242562220456 140242852790713 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30230] ppid=30205 vsize=13801768 CPUtime=22.18 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30230/stat : 30230 (java) S 30205 30205 7621 0 -1 1077944384 1537 0 0 0 2218 0 0 0 20 0 28 0 3905588 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242493367504 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30231] ppid=30205 vsize=13801768 CPUtime=22.29 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30231/stat : 30231 (java) S 30205 30205 7621 0 -1 1077944384 614 0 0 0 2229 0 0 0 20 0 28 0 3905588 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242492315216 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30232] ppid=30205 vsize=13801768 CPUtime=22.16 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30232/stat : 30232 (java) S 30205 30205 7621 0 -1 1077944384 687 0 0 0 2216 0 0 0 20 0 28 0 3905588 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242491262416 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30233] ppid=30205 vsize=13801768 CPUtime=22.36 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30233/stat : 30233 (java) S 30205 30205 7621 0 -1 1077944384 430 0 0 0 2236 0 0 0 20 0 28 0 3905588 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242490209104 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
[pid=30206/tid=30234] ppid=30205 vsize=13801768 CPUtime=22.45 cores=0,2,4,6,8,10,12,14
/proc/30206/task/30234/stat : 30234 (java) S 30205 30205 7621 0 -1 1077944384 839 0 0 0 2245 0 0 0 20 0 28 0 3905588 14133010432 236985 33554432000 4194304 4196468 140730374958640 140242489156304 140243253679829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140730374964412 140730374964588 140730374964588 140730374967247 0
Current children cumulated CPU time (s) 197.07
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 27.4343
CPU time (s): 197.105
CPU user time (s): 194.824
CPU system time (s): 2.28179
CPU usage (%): 718.463
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 194.824
system time used= 2.28179
maximum resident set size= 951728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54374
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= 6047
involuntary context switches= 12985

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.395882 second user time and 0.395026 second system time

The end

Begin job on node124 at 2017-07-22 03:19:34
IDJOB=4245832
IDBENCH=123239
IDSOLVER=2625
FILE ID=node124/4245832-1500686374
RUNJOBID= node124-1500683887-7652
PBS_JOBID= 20623343
Free space on /tmp= 62000 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-1000-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-4245832-1500686374/watcher-4245832-1500686374 -o /tmp/evaluation-result-4245832-1500686374/solver-4245832-1500686374 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1189700099 HOME/instance-4245832-1500686374.xml

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

MD5SUM BENCH= 747b40881cd41efe91eebad5da45ed52
RANDOM SEED=1189700099

node124.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		: 1733.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.16
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.16
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.16
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.16
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		: 1600.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.16
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.16
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		: 1600.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.16
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.16
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:        25567180 kB
MemAvailable:   25613080 kB
Buffers:           50872 kB
Cached:           306208 kB
SwapCached:            0 kB
Active:          6571400 kB
Inactive:         248708 kB
Active(anon):    6466168 kB
Inactive(anon):     8756 kB
Active(file):     105232 kB
Inactive(file):   239952 kB
Unevictable:        5800 kB
Mlocked:            5800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8024 kB
Writeback:            20 kB
AnonPages:       6469116 kB
Mapped:            42488 kB
Shmem:              8872 kB
Slab:              66628 kB
SReclaimable:      33100 kB
SUnreclaim:        33528 kB
KernelStack:        4720 kB
PageTables:        18432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8641320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6299648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61992 MiB
End job on node124 at 2017-07-22 03:20:02

Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-1000-co.xml
MD5SUM	747b40881cd41efe91eebad5da45ed52
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	14.8096
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	1002
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	1002
Maximum variable degree	1002
Distribution of variable degrees	[{"degree":1002,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":1002}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":1000}]
Optimization problem	NO
Type of objective

Trace number 4245832

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data