Trace number 4248379

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)OPT1358 1691.75 214.173

General information on the benchmark

NameKnapsack/Knapsack-m1-s60/
Knapsack-60-250-03.xml
MD5SUM51492dfdc05fd658a6c92bd20bc2cdd8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1358
Best CPU time to get the best result obtained on this benchmark148.35001
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints1
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":60}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":60}]
Minimum constraint arity60
Maximum constraint arity60
Distribution of constraint arities[{"arity":60,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4248379-1500692014.xml"  -tl '2400s' -p 8 -x 3
0.00/0.20	c [HOME/instance-4248379-1500692014.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.26	c 8 solvers in parallel
0.00/0.33	c parse instance...
0.00/0.50	c solve instance...
0.00/0.53	o 545 
0.00/0.54	o 551 
0.00/0.54	o 596 
0.00/0.54	o 682 
0.00/0.55	o 696 
0.00/0.56	o 760 
0.00/0.56	o 772 
0.00/0.57	o 781 
0.00/0.58	o 810 
0.00/0.58	o 814 
0.00/0.58	o 824 
0.00/0.58	o 827 
0.00/0.59	o 828 
0.00/0.59	o 837 
0.00/0.60	o 838 
0.00/0.60	o 850 
0.00/0.61	o 862 
0.00/0.62	o 871 
0.00/0.63	o 887 
0.00/0.63	o 890 
0.00/0.64	o 933 
0.00/0.65	o 947 
0.00/0.67	o 952 
0.00/0.68	o 995 
0.00/0.69	o 1006 
0.00/0.70	o 1014 
0.00/0.73	o 1020 
0.00/0.74	o 1052 
0.00/0.77	o 1057 
0.00/0.88	o 1138 
0.00/0.89	o 1159 
0.00/0.92	o 1180 
0.00/0.92	o 1186 
0.00/0.93	o 1189 
0.00/0.96	o 1199 
0.00/0.96	o 1223 
0.00/1.03	o 1227 
0.00/1.08	o 1273 
5.14/1.14	o 1288 
5.95/1.24	o 1289 
8.21/1.53	o 1306 
10.61/1.89	o 1314 
13.84/2.29	o 1318 
14.55/2.31	o 1320 
14.55/2.38	o 1343 
15.20/2.40	o 1345 
18.37/2.88	o 1355 
31.15/4.44	o 1358 
1691.34/214.14	s OPTIMUM FOUND
1691.34/214.14	v <instantiation>
1691.34/214.14	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] </list>
1691.34/214.14	v 	<values>0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 </values>
1691.34/214.14	v </instantiation>

Verifier Data 

OK	1358

Watcher Data 

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-4248379-1500692014/watcher-4248379-1500692014 -o /tmp/evaluation-result-4248379-1500692014/solver-4248379-1500692014 -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 525227303 HOME/instance-4248379-1500692014.xml 

pid=11249
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.51 15.58 13.79 11/272 11252
/proc/meminfo: memFree=28553956/32770624 swapFree=5804/262648
[pid=11252] ppid=11249 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11252/stat : 11252 (xcsp3-exec) S 11249 11252 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4467631 9740288 346 33554432000 4194304 5098028 140735228955296 140735228953400 140494773047932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 36171776 140735228961935 140735228962144 140735228962144 140735228964843 0
/proc/11252/statm: 2378 346 289 221 0 87 0

[startup+0.100062 s]
/proc/loadavg: 15.51 15.58 13.79 11/272 11252
/proc/meminfo: memFree=28553956/32770624 swapFree=5804/262648
[pid=11252] ppid=11249 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11252/stat : 11252 (xcsp3-exec) S 11249 11252 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4467631 9740288 346 33554432000 4194304 5098028 140735228955296 140735228953400 140494773047932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 36171776 140735228961935 140735228962144 140735228962144 140735228964843 0
/proc/11252/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200276 s]
/proc/loadavg: 15.51 15.58 13.79 11/272 11252
/proc/meminfo: memFree=28553956/32770624 swapFree=5804/262648
[pid=11252] ppid=11249 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11252/stat : 11252 (xcsp3-exec) S 11249 11252 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4467631 9740288 346 33554432000 4194304 5098028 140735228955296 140735228953400 140494773047932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 36171776 140735228961935 140735228962144 140735228962144 140735228964843 0
/proc/11252/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300272 s]
/proc/loadavg: 15.51 15.58 13.79 11/272 11252
/proc/meminfo: memFree=28553956/32770624 swapFree=5804/262648
[pid=11252] ppid=11249 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11252/stat : 11252 (xcsp3-exec) S 11249 11252 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4467631 9740288 346 33554432000 4194304 5098028 140735228955296 140735228953400 140494773047932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 36171776 140735228961935 140735228962144 140735228962144 140735228964843 0
/proc/11252/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700222 s]
/proc/loadavg: 15.51 15.58 13.79 11/272 11252
/proc/meminfo: memFree=28553956/32770624 swapFree=5804/262648
[pid=11252] ppid=11249 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11252/stat : 11252 (xcsp3-exec) S 11249 11252 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4467631 9740288 346 33554432000 4194304 5098028 140735228955296 140735228953400 140494773047932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 36171776 140735228961935 140735228962144 140735228962144 140735228964843 0
/proc/11252/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50106 s]
/proc/loadavg: 15.51 15.58 13.79 21/301 11585
/proc/meminfo: memFree=28341608/32770624 swapFree=5804/262676
[pid=11252] ppid=11249 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11252/stat : 11252 (xcsp3-exec) S 11249 11252 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4467631 9740288 346 33554432000 4194304 5098028 140735228955296 140735228953400 140494773047932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 36171776 140735228961935 140735228962144 140735228962144 140735228964843 0
/proc/11252/statm: 2378 346 289 221 0 87 0
[pid=11253] ppid=11252 vsize=13868332 CPUtime=8.21 cores=0,2,4,6,8,10,12,14
/proc/11253/stat : 11253 (java) S 11252 11252 14782 0 -1 1077944320 26591 0 0 0 805 16 0 0 20 0 28 0 4467631 14201171968 66505 33554432000 4194304 4196468 140725044459424 140725044441968 140701725032183 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
/proc/11253/statm: 3467083 66505 3235 1 0 3454316 0
[pid=11253/tid=11254] ppid=11252 vsize=13868332 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11254/stat : 11254 (java) S 11252 11252 14782 0 -1 1077944384 6703 0 0 0 47 4 0 0 20 0 28 0 4467632 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701729272960 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11256] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11256/stat : 11256 (java) S 11252 11252 14782 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701657168400 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11257] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11257/stat : 11257 (java) S 11252 11252 14782 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701656115856 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11258] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11258/stat : 11258 (java) S 11252 11252 14782 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701655062800 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11259] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11259/stat : 11259 (java) S 11252 11252 14782 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701654010256 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11260] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11260/stat : 11260 (java) S 11252 11252 14782 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701319793680 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11261] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11261/stat : 11261 (java) S 11252 11252 14782 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701318741136 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11262] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11262/stat : 11262 (java) S 11252 11252 14782 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701317688080 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11263] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11263/stat : 11263 (java) S 11252 11252 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701316635536 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11264] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11264/stat : 11264 (java) S 11252 11252 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4467635 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701254465776 140701725043330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11265] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11265/stat : 11265 (java) S 11252 11252 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4467636 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701253412064 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11266] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11266/stat : 11266 (java) S 11252 11252 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4467636 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701252358896 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11267] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11267/stat : 11267 (java) S 11252 11252 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4467640 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701251307472 140701725050779 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11268] ppid=11252 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11268/stat : 11268 (java) R 11252 11252 14782 0 -1 4202560 2524 0 0 0 88 1 0 0 20 0 28 0 4467640 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701182443200 140701711096379 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11269] ppid=11252 vsize=13868332 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11269/stat : 11269 (java) R 11252 11252 14782 0 -1 4202560 2401 0 0 0 79 0 0 0 20 0 28 0 4467640 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701181395160 140701702779699 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11270] ppid=11252 vsize=13868332 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11270/stat : 11270 (java) R 11252 11252 14782 0 -1 4202560 4585 0 0 0 92 0 0 0 20 0 28 0 4467640 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701180334936 140701706553365 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11271] ppid=11252 vsize=13868332 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11271/stat : 11271 (java) S 11252 11252 14782 0 -1 1077944384 2902 0 0 0 49 1 0 0 20 0 28 0 4467640 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701179296368 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11272] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11272/stat : 11272 (java) S 11252 11252 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4467641 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701178243552 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11273] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11273/stat : 11273 (java) S 11252 11252 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4467641 14201171968 66505 33554432000 4194304 4196468 140725044459424 140701177191088 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
Current children cumulated CPU time (s) 8.21
Current children cumulated vsize (KiB) 13877844

[startup+3.10118 s]
/proc/loadavg: 15.51 15.58 13.79 21/301 11618
/proc/meminfo: memFree=28227520/32770624 swapFree=5804/262688
[pid=11252] ppid=11249 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11252/stat : 11252 (xcsp3-exec) S 11249 11252 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4467631 9740288 346 33554432000 4194304 5098028 140735228955296 140735228953400 140494773047932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 36171776 140735228961935 140735228962144 140735228962144 140735228964843 0
/proc/11252/statm: 2378 346 289 221 0 87 0
[pid=11253] ppid=11252 vsize=13868332 CPUtime=20.74 cores=0,2,4,6,8,10,12,14
/proc/11253/stat : 11253 (java) S 11252 11252 14782 0 -1 1077944320 28641 0 0 0 2051 23 0 0 20 0 28 0 4467631 14201171968 89213 33554432000 4194304 4196468 140725044459424 140725044441968 140701725032183 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
/proc/11253/statm: 3467083 89213 3253 1 0 3454316 0
[pid=11253/tid=11254] ppid=11252 vsize=13868332 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11254/stat : 11254 (java) S 11252 11252 14782 0 -1 1077944384 6705 0 0 0 48 4 0 0 20 0 28 0 4467632 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701729272960 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11256] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11256/stat : 11256 (java) S 11252 11252 14782 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701657168400 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11257] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11257/stat : 11257 (java) S 11252 11252 14782 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701656115856 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11258] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11258/stat : 11258 (java) S 11252 11252 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701655062800 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11259] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11259/stat : 11259 (java) S 11252 11252 14782 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701654010256 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11260] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11260/stat : 11260 (java) S 11252 11252 14782 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701319793680 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11261] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11261/stat : 11261 (java) S 11252 11252 14782 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701318741136 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11262] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11262/stat : 11262 (java) S 11252 11252 14782 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701317688080 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11263] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11263/stat : 11263 (java) S 11252 11252 14782 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701316635536 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11264] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11264/stat : 11264 (java) S 11252 11252 14782 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 4467635 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701254465776 140701725043330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11265] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11265/stat : 11265 (java) S 11252 11252 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4467636 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701253412064 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11266] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11266/stat : 11266 (java) S 11252 11252 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4467636 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701252358896 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11267] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11267/stat : 11267 (java) S 11252 11252 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4467640 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701251307472 140701725050779 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11268] ppid=11252 vsize=13868332 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11268/stat : 11268 (java) S 11252 11252 14782 0 -1 1077944384 2642 0 0 0 144 1 0 0 20 0 28 0 4467640 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701182454512 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11269] ppid=11252 vsize=13868332 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11269/stat : 11269 (java) S 11252 11252 14782 0 -1 1077944384 2609 0 0 0 171 0 0 0 20 0 28 0 4467640 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701181401968 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11270] ppid=11252 vsize=13868332 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11270/stat : 11270 (java) S 11252 11252 14782 0 -1 1077944384 4684 0 0 0 159 1 0 0 20 0 28 0 4467640 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701180348912 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11271] ppid=11252 vsize=13868332 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11271/stat : 11271 (java) S 11252 11252 14782 0 -1 1077944384 2979 0 0 0 55 1 0 0 20 0 28 0 4467640 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701179296368 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11272] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11272/stat : 11272 (java) S 11252 11252 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4467641 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701178243552 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11273] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11273/stat : 11273 (java) S 11252 11252 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4467641 14201171968 89213 33554432000 4194304 4196468 140725044459424 140701177191088 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
Current children cumulated CPU time (s) 20.74
Current children cumulated vsize (KiB) 13877844

[startup+6.30152 s]
/proc/loadavg: 15.87 15.65 13.83 18/301 11666
/proc/meminfo: memFree=27966108/32770624 swapFree=5804/262688
[pid=11252] ppid=11249 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11252/stat : 11252 (xcsp3-exec) S 11249 11252 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4467631 9740288 346 33554432000 4194304 5098028 140735228955296 140735228953400 140494773047932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 36171776 140735228961935 140735228962144 140735228962144 140735228964843 0
/proc/11252/statm: 2378 346 289 221 0 87 0
[pid=11253] ppid=11252 vsize=13868332 CPUtime=46.14 cores=0,2,4,6,8,10,12,14
/proc/11253/stat : 11253 (java) S 11252 11252 14782 0 -1 1077944320 31100 0 0 0 4571 43 0 0 20 0 28 0 4467631 14201171968 272673 33554432000 4194304 4196468 140725044459424 140725044441968 140701725032183 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
/proc/11253/statm: 3467083 272673 3253 1 0 3454316 0
[pid=11253/tid=11254] ppid=11252 vsize=13868332 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11254/stat : 11254 (java) S 11252 11252 14782 0 -1 1077944384 6705 0 0 0 48 4 0 0 20 0 28 0 4467632 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701729272960 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11256] ppid=11252 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11256/stat : 11256 (java) S 11252 11252 14782 0 -1 1077944384 30 0 0 0 0 1 0 0 20 0 28 0 4467633 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701657168400 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11257] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11257/stat : 11257 (java) S 11252 11252 14782 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4467633 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701656115856 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11258] ppid=11252 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11258/stat : 11258 (java) S 11252 11252 14782 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 28 0 4467633 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701655062800 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11259] ppid=11252 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11259/stat : 11259 (java) S 11252 11252 14782 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 4467633 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701654010256 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11260] ppid=11252 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11260/stat : 11260 (java) S 11252 11252 14782 0 -1 1077944384 26 0 0 0 0 1 0 0 20 0 28 0 4467633 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701319793680 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11261] ppid=11252 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11261/stat : 11261 (java) S 11252 11252 14782 0 -1 1077944384 30 0 0 0 0 1 0 0 20 0 28 0 4467633 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701318741136 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11262] ppid=11252 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11262/stat : 11262 (java) S 11252 11252 14782 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 28 0 4467633 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701317688080 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11263] ppid=11252 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11263/stat : 11263 (java) S 11252 11252 14782 0 -1 1077944384 28 0 0 0 0 1 0 0 20 0 28 0 4467633 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701316635536 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11264] ppid=11252 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11264/stat : 11264 (java) S 11252 11252 14782 0 -1 1077944384 513 0 0 0 1 0 0 0 20 0 28 0 4467635 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701254465776 140701725043330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11265] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11265/stat : 11265 (java) S 11252 11252 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4467636 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701253412064 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11266] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11266/stat : 11266 (java) S 11252 11252 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4467636 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701252358896 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11267] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11267/stat : 11267 (java) S 11252 11252 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4467640 14201171968 272673 33554432000 4194304 4196468 140725044459424 140701251307472 140701725050779 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0

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

/proc/11253/task/11265/stat : 11265 (java) S 11252 11252 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4467636 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701253412064 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11266] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11266/stat : 11266 (java) S 11252 11252 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4467636 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701252358896 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11267] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11267/stat : 11267 (java) S 11252 11252 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701251307472 140701725050779 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11268] ppid=11252 vsize=13868332 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11268/stat : 11268 (java) S 11252 11252 14782 0 -1 1077944384 5867 0 0 0 185 2 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701182454512 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11269] ppid=11252 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11269/stat : 11269 (java) S 11252 11252 14782 0 -1 1077944384 5768 0 0 0 192 0 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701181401968 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11270] ppid=11252 vsize=13868332 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11270/stat : 11270 (java) S 11252 11252 14782 0 -1 1077944384 7958 0 0 0 188 1 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701180348912 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11271] ppid=11252 vsize=13868332 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11271/stat : 11271 (java) S 11252 11252 14782 0 -1 1077944384 4601 0 0 0 60 1 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701179296368 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11272] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11272/stat : 11272 (java) S 11252 11252 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4467641 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701178243552 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11273] ppid=11252 vsize=13868332 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11273/stat : 11273 (java) S 11252 11252 14782 0 -1 1077944384 520 0 0 0 5 8 0 0 20 0 28 0 4467641 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701177191088 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11659] ppid=11252 vsize=13868332 CPUtime=205.29 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11659/stat : 11659 (java) R 11252 11252 14782 0 -1 4202560 2721 0 0 0 20521 8 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701162308944 140701711100308 0 4 0 16800975 0 0 0 -1 12 0 0 1 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11660] ppid=11252 vsize=13868332 CPUtime=205.07 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11660/stat : 11660 (java) R 11252 11252 14782 0 -1 4202560 3237 0 0 0 20494 13 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701166521800 140701337026161 0 4 0 16800975 0 0 0 -1 8 0 0 1 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11661] ppid=11252 vsize=13868332 CPUtime=204.44 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11661/stat : 11661 (java) R 11252 11252 14782 0 -1 4202560 3022 0 0 0 20438 6 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701169676824 140701338317520 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11662] ppid=11252 vsize=13868332 CPUtime=204.55 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11662/stat : 11662 (java) R 11252 11252 14782 0 -1 4202560 3785 0 0 0 20450 5 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701167571472 140701711100308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11663] ppid=11252 vsize=13868332 CPUtime=204.04 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11663/stat : 11663 (java) R 11252 11252 14782 0 -1 4202560 3248 0 0 0 20395 9 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701164412936 140701337802911 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11664] ppid=11252 vsize=13868332 CPUtime=205.2 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11664/stat : 11664 (java) R 11252 11252 14782 0 -1 4202560 695 0 0 0 20517 3 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701161255960 140725045258440 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11665] ppid=11252 vsize=13868332 CPUtime=205.05 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11665/stat : 11665 (java) R 11252 11252 14782 0 -1 4202560 6966 0 0 0 20476 29 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701165466312 140701711100308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11666] ppid=11252 vsize=13868332 CPUtime=205.31 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11666/stat : 11666 (java) R 11252 11252 14782 0 -1 4202560 2716 0 0 0 20526 5 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701163360600 140701336427238 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
Current children cumulated CPU time (s) 1687.37
Current children cumulated vsize (KiB) 13877844

[startup+214.002 s]
/proc/loadavg: 15.99 15.74 14.23 17/299 12050
/proc/meminfo: memFree=24645320/32770624 swapFree=5804/262988
[pid=11252] ppid=11249 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11252/stat : 11252 (xcsp3-exec) S 11249 11252 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4467631 9740288 346 33554432000 4194304 5098028 140735228955296 140735228953400 140494773047932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 36171776 140735228961935 140735228962144 140735228962144 140735228964843 0
/proc/11252/statm: 2378 346 289 221 0 87 0
[pid=11253] ppid=11252 vsize=13868332 CPUtime=1690.54 cores=0,2,4,6,8,10,12,14
/proc/11253/stat : 11253 (java) S 11252 11252 14782 0 -1 1077944320 91031 0 0 0 168784 270 0 0 20 0 28 0 4467631 14201171968 961432 33554432000 4194304 4196468 140725044459424 140725044441968 140701725032183 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
/proc/11253/statm: 3467083 961432 3283 1 0 3454316 0
[pid=11253/tid=11254] ppid=11252 vsize=13868332 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11254/stat : 11254 (java) S 11252 11252 14782 0 -1 1077944384 6705 0 0 0 48 4 0 0 20 0 28 0 4467632 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701729272960 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11256] ppid=11252 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11256/stat : 11256 (java) S 11252 11252 14782 0 -1 1077944384 1036 0 0 0 177 15 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701657168400 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11257] ppid=11252 vsize=13868332 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11257/stat : 11257 (java) S 11252 11252 14782 0 -1 1077944384 1784 0 0 0 173 17 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701656115856 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11258] ppid=11252 vsize=13868332 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11258/stat : 11258 (java) S 11252 11252 14782 0 -1 1077944384 1110 0 0 0 174 16 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701655062800 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11259] ppid=11252 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11259/stat : 11259 (java) S 11252 11252 14782 0 -1 1077944384 1979 0 0 0 177 15 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701654010256 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11260] ppid=11252 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11260/stat : 11260 (java) S 11252 11252 14782 0 -1 1077944384 2956 0 0 0 178 14 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701319793680 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11261] ppid=11252 vsize=13868332 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11261/stat : 11261 (java) S 11252 11252 14782 0 -1 1077944384 1834 0 0 0 178 13 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701318741136 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11262] ppid=11252 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11262/stat : 11262 (java) S 11252 11252 14782 0 -1 1077944384 1422 0 0 0 177 15 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701317688080 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11263] ppid=11252 vsize=13868332 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11263/stat : 11263 (java) S 11252 11252 14782 0 -1 1077944384 1002 0 0 0 178 16 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701316635536 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11264] ppid=11252 vsize=13868332 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11264/stat : 11264 (java) S 11252 11252 14782 0 -1 1077944384 10586 0 0 0 34 31 0 0 20 0 28 0 4467635 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701254465776 140701725043330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11265] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11265/stat : 11265 (java) S 11252 11252 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4467636 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701253412064 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11266] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11266/stat : 11266 (java) S 11252 11252 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4467636 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701252358896 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11267] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11267/stat : 11267 (java) S 11252 11252 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701251307472 140701725050779 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11268] ppid=11252 vsize=13868332 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11268/stat : 11268 (java) S 11252 11252 14782 0 -1 1077944384 5867 0 0 0 185 2 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701182454512 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11269] ppid=11252 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11269/stat : 11269 (java) S 11252 11252 14782 0 -1 1077944384 5768 0 0 0 192 0 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701181401968 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11270] ppid=11252 vsize=13868332 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11270/stat : 11270 (java) S 11252 11252 14782 0 -1 1077944384 7958 0 0 0 188 1 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701180348912 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11271] ppid=11252 vsize=13868332 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11271/stat : 11271 (java) S 11252 11252 14782 0 -1 1077944384 4601 0 0 0 60 1 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701179296368 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11272] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11272/stat : 11272 (java) S 11252 11252 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4467641 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701178243552 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11273] ppid=11252 vsize=13868332 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11273/stat : 11273 (java) S 11252 11252 14782 0 -1 1077944384 520 0 0 0 5 8 0 0 20 0 28 0 4467641 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701177191088 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11659] ppid=11252 vsize=13868332 CPUtime=205.69 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11659/stat : 11659 (java) R 11252 11252 14782 0 -1 4202560 2721 0 0 0 20561 8 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701162306904 140701337026250 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11660] ppid=11252 vsize=13868332 CPUtime=205.46 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11660/stat : 11660 (java) R 11252 11252 14782 0 -1 4202560 3289 0 0 0 20533 13 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701166520848 140701338200125 0 4 0 16800975 0 0 0 -1 8 0 0 1 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11661] ppid=11252 vsize=13868332 CPUtime=204.83 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11661/stat : 11661 (java) R 11252 11252 14782 0 -1 4202560 3024 0 0 0 20477 6 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701169677464 140701336427231 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11662] ppid=11252 vsize=13868332 CPUtime=204.95 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11662/stat : 11662 (java) R 11252 11252 14782 0 -1 4202560 3798 0 0 0 20490 5 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701167572328 140701338180614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11663] ppid=11252 vsize=13868332 CPUtime=204.44 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11663/stat : 11663 (java) R 11252 11252 14782 0 -1 4202560 3258 0 0 0 20435 9 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701164413896 140701337804975 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11664] ppid=11252 vsize=13868332 CPUtime=205.59 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11664/stat : 11664 (java) R 11252 11252 14782 0 -1 4202560 697 0 0 0 20556 3 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701161255832 140725045258454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11665] ppid=11252 vsize=13868332 CPUtime=205.44 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11665/stat : 11665 (java) R 11252 11252 14782 0 -1 4202560 7512 0 0 0 20515 29 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701165466064 140701337026282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11666] ppid=11252 vsize=13868332 CPUtime=205.7 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11666/stat : 11666 (java) R 11252 11252 14782 0 -1 4202560 2719 0 0 0 20565 5 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701163361048 140701337803513 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
Current children cumulated CPU time (s) 1690.54
Current children cumulated vsize (KiB) 13877844

[startup+214.101 s]
/proc/loadavg: 15.99 15.74 14.23 17/299 12050
/proc/meminfo: memFree=24645320/32770624 swapFree=5804/262988
[pid=11252] ppid=11249 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11252/stat : 11252 (xcsp3-exec) S 11249 11252 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4467631 9740288 346 33554432000 4194304 5098028 140735228955296 140735228953400 140494773047932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 36171776 140735228961935 140735228962144 140735228962144 140735228964843 0
/proc/11252/statm: 2378 346 289 221 0 87 0
[pid=11253] ppid=11252 vsize=13868332 CPUtime=1691.34 cores=0,2,4,6,8,10,12,14
/proc/11253/stat : 11253 (java) S 11252 11252 14782 0 -1 1077944320 91034 0 0 0 168864 270 0 0 20 0 28 0 4467631 14201171968 961432 33554432000 4194304 4196468 140725044459424 140725044441968 140701725032183 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
/proc/11253/statm: 3467083 961432 3283 1 0 3454316 0
[pid=11253/tid=11254] ppid=11252 vsize=13868332 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11254/stat : 11254 (java) S 11252 11252 14782 0 -1 1077944384 6705 0 0 0 48 4 0 0 20 0 28 0 4467632 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701729272960 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11256] ppid=11252 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11256/stat : 11256 (java) S 11252 11252 14782 0 -1 1077944384 1036 0 0 0 177 15 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701657168400 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11257] ppid=11252 vsize=13868332 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11257/stat : 11257 (java) S 11252 11252 14782 0 -1 1077944384 1784 0 0 0 173 17 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701656115856 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11258] ppid=11252 vsize=13868332 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11258/stat : 11258 (java) S 11252 11252 14782 0 -1 1077944384 1110 0 0 0 174 16 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701655062800 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11259] ppid=11252 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11259/stat : 11259 (java) S 11252 11252 14782 0 -1 1077944384 1979 0 0 0 177 15 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701654010256 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11260] ppid=11252 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11260/stat : 11260 (java) S 11252 11252 14782 0 -1 1077944384 2956 0 0 0 178 14 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701319793680 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11261] ppid=11252 vsize=13868332 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11261/stat : 11261 (java) S 11252 11252 14782 0 -1 1077944384 1834 0 0 0 178 13 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701318741136 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11262] ppid=11252 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11262/stat : 11262 (java) S 11252 11252 14782 0 -1 1077944384 1422 0 0 0 177 15 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701317688080 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11263] ppid=11252 vsize=13868332 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11263/stat : 11263 (java) S 11252 11252 14782 0 -1 1077944384 1002 0 0 0 178 16 0 0 20 0 28 0 4467633 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701316635536 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11264] ppid=11252 vsize=13868332 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11264/stat : 11264 (java) S 11252 11252 14782 0 -1 1077944384 10586 0 0 0 34 31 0 0 20 0 28 0 4467635 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701254465776 140701725043330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11265] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11265/stat : 11265 (java) S 11252 11252 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4467636 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701253412064 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11266] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11266/stat : 11266 (java) S 11252 11252 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4467636 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701252358896 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11267] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11267/stat : 11267 (java) S 11252 11252 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701251307472 140701725050779 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11268] ppid=11252 vsize=13868332 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11268/stat : 11268 (java) S 11252 11252 14782 0 -1 1077944384 5867 0 0 0 185 2 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701182454512 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11269] ppid=11252 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11269/stat : 11269 (java) S 11252 11252 14782 0 -1 1077944384 5768 0 0 0 192 0 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701181401968 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11270] ppid=11252 vsize=13868332 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11270/stat : 11270 (java) S 11252 11252 14782 0 -1 1077944384 7958 0 0 0 188 1 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701180348912 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11271] ppid=11252 vsize=13868332 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11271/stat : 11271 (java) S 11252 11252 14782 0 -1 1077944384 4601 0 0 0 60 1 0 0 20 0 28 0 4467640 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701179296368 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11272] ppid=11252 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11272/stat : 11272 (java) S 11252 11252 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4467641 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701178243552 140701725042389 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11273] ppid=11252 vsize=13868332 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11273/stat : 11273 (java) S 11252 11252 14782 0 -1 1077944384 520 0 0 0 5 8 0 0 20 0 28 0 4467641 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701177191088 140701725043330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11659] ppid=11252 vsize=13868332 CPUtime=205.79 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11659/stat : 11659 (java) R 11252 11252 14782 0 -1 4202560 2721 0 0 0 20571 8 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701162306904 140701338179935 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11660] ppid=11252 vsize=13868332 CPUtime=205.56 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11660/stat : 11660 (java) R 11252 11252 14782 0 -1 4202560 3289 0 0 0 20543 13 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701166520848 140701337026215 0 4 0 16800975 0 0 0 -1 8 0 0 1 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11661] ppid=11252 vsize=13868332 CPUtime=204.93 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11661/stat : 11661 (java) R 11252 11252 14782 0 -1 4202560 3024 0 0 0 20487 6 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701169677464 140701337802916 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11662] ppid=11252 vsize=13868332 CPUtime=205.05 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11662/stat : 11662 (java) R 11252 11252 14782 0 -1 4202560 3798 0 0 0 20500 5 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701167572328 140701337802507 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11663] ppid=11252 vsize=13868332 CPUtime=204.53 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11663/stat : 11663 (java) R 11252 11252 14782 0 -1 4202560 3260 0 0 0 20444 9 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701164413896 140701710273453 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11664] ppid=11252 vsize=13868332 CPUtime=205.69 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11664/stat : 11664 (java) R 11252 11252 14782 0 -1 4202560 697 0 0 0 20566 3 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701161255832 140701338200560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11665] ppid=11252 vsize=13868332 CPUtime=205.54 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11665/stat : 11665 (java) R 11252 11252 14782 0 -1 4202560 7512 0 0 0 20525 29 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701165466064 140701338593952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
[pid=11253/tid=11666] ppid=11252 vsize=13868332 CPUtime=205.8 cores=0,2,4,6,8,10,12,14
/proc/11253/task/11666/stat : 11666 (java) R 11252 11252 14782 0 -1 4202560 2719 0 0 0 20575 5 0 0 20 0 28 0 4468076 14201171968 961432 33554432000 4194304 4196468 140725044459424 140701163361048 140701337802901 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27406336 140725044466876 140725044467052 140725044467052 140725044469711 0
Current children cumulated CPU time (s) 1691.34
Current children cumulated vsize (KiB) 13877844

Child status: 0
Real time (s): 214.173
CPU time (s): 1691.75
CPU user time (s): 1689.02
CPU system time (s): 2.728
CPU usage (%): 789.899
Max. virtual memory (cumulated for all children) (KiB): 13879836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1689.02
system time used= 2.72801
maximum resident set size= 3929844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91836
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26640
involuntary context switches= 120671

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.07653 second user time and 3.80149 second system time

The end

Launcher Data 

Begin job on node143 at 2017-07-22 04:53:34
IDJOB=4248379
IDBENCH=133483
IDSOLVER=2626
FILE ID=node143/4248379-1500692014
RUNJOBID= node143-1500683785-15435
PBS_JOBID= 20623040
Free space on /tmp= 61984 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-03.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-4248379-1500692014/watcher-4248379-1500692014 -o /tmp/evaluation-result-4248379-1500692014/solver-4248379-1500692014 -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 525227303 HOME/instance-4248379-1500692014.xml

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

MD5SUM BENCH= 51492dfdc05fd658a6c92bd20bc2cdd8
RANDOM SEED=525227303

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		: 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.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		: 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.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		: 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.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:        28553880 kB
MemAvailable:   28759780 kB
Buffers:          144768 kB
Cached:           333028 kB
SwapCached:            0 kB
Active:          3487616 kB
Inactive:         271384 kB
Active(anon):    3283888 kB
Inactive(anon):     8736 kB
Active(file):     203728 kB
Inactive(file):   262648 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8164 kB
Writeback:             0 kB
AnonPages:       3288376 kB
Mapped:            43144 kB
Shmem:              8852 kB
Slab:             145124 kB
SReclaimable:     110716 kB
SUnreclaim:        34408 kB
KernelStack:        4896 kB
PageTables:        12072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4081652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3176448 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 04:57:08