Trace number 4250065

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 NameAnswerCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)SAT 1276.54 162.737

General information on the benchmark

NameQueens/
Queens-m1-s1/Queens-0150-m1.xml
MD5SUM87bfaaaf5fd3b270ee1dec703898481f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.27384
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints11176
Number of domains1
Minimum domain size150
Maximum domain size150
Distribution of domain sizes[{"size":150,"count":150}]
Minimum variable degree150
Maximum variable degree150
Distribution of variable degrees[{"degree":150,"count":150}]
Minimum constraint arity2
Maximum constraint arity150
Distribution of constraint arities[{"arity":2,"count":11175},{"arity":150,"count":1}]
Number of extensional constraints0
Number of intensional constraints11175
Distribution of constraint types[{"type":"intension","count":11175},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4250065-1500696045.xml"  -tl '2400s' -p 8 -x 0
0.00/0.20	c [HOME/instance-4250065-1500696045.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
11.89/3.24	c solve instance...
1276.45/162.72	s SATISFIABLE
1276.45/162.72	v <instantiation>
1276.45/162.72	v 	<list>q[0] q[1] q[2] q[3] q[4] q[5] q[6] q[7] q[8] q[9] q[10] q[11] q[12] q[13] q[14] q[15] q[16] q[17] q[18] q[19] q[20] q[21] q[22] q[23] q[24] q[25] q[26] q[27] q[28] q[29] q[30] q[31] q[32] q[33] q[34] q[35] q[36] q[37] q[38] q[39] q[40] q[41] q[42] q[43] q[44] q[45] q[46] q[47] q[48] q[49] q[50] q[51] q[52] q[53] q[54] q[55] q[56] q[57] q[58] q[59] q[60] q[61] q[62] q[63] q[64] q[65] q[66] q[67] q[68] q[69] q[70] q[71] q[72] q[73] q[74] q[75] q[76] q[77] q[78] q[79] q[80] q[81] q[82] q[83] q[84] q[85] q[86] q[87] q[88] q[89] q[90] q[91] q[92] q[93] q[94] q[95] q[96] q[97] q[98] q[99] q[100] q[101] q[102] q[103] q[104] q[105] q[106] q[107] q[108] q[109] q[110] q[111] q[112] q[113] q[114] q[115] q[116] q[117] q[118] q[119] q[120] q[121] q[122] q[123] q[124] q[125] q[126] q[127] q[128] q[129] q[130] q[131] q[132] q[133] q[134] q[135] q[136] q[137] q[138] q[139] q[140] q[141] q[142] q[143] q[144] q[145] q[146] q[147] q[148] q[149] </list>
1276.45/162.72	v 	<values>103 90 84 86 88 83 49 74 60 48 69 73 47 50 44 41 57 53 42 66 77 107 96 72 2 110 101 67 94 117 63 38 64 34 99 29 112 93 40 37 35 33 136 139 148 56 141 144 52 16 149 119 129 19 134 145 120 126 121 114 78 1 4 135 137 146 127 138 147 100 7 0 122 143 132 8 6 3 131 133 61 108 23 21 106 5 20 116 27 97 22 111 104 28 80 123 142 68 70 98 31 71 105 55 109 54 140 113 76 125 85 124 65 58 128 51 59 45 62 26 43 46 25 32 30 39 11 81 24 75 92 79 87 17 95 82 115 14 89 10 13 91 18 102 118 12 15 9 130 36 </values>
1276.45/162.72	v </instantiation>

Verifier Data 

OK

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-4250065-1500696045/watcher-4250065-1500696045 -o /tmp/evaluation-result-4250065-1500696045/solver-4250065-1500696045 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 557819714 HOME/instance-4250065-1500696045.xml 

pid=24282
running on 8 cores: 1,3,5,7,9,11,13,15

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: 12.67 14.72 14.85 10/274 24285
/proc/meminfo: memFree=30912880/32770624 swapFree=5900/313124
[pid=24285] ppid=24282 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24285/stat : 24285 (xcsp3-exec) S 24282 24285 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4871439 9740288 346 33554432000 4194304 5098028 140731052867648 140731052865752 140668608090748 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10760192 140731052872847 140731052873056 140731052873056 140731052875755 0
/proc/24285/statm: 2378 346 289 221 0 87 0

[startup+0.100107 s]
/proc/loadavg: 12.67 14.72 14.85 10/274 24285
/proc/meminfo: memFree=30912880/32770624 swapFree=5900/313124
[pid=24285] ppid=24282 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24285/stat : 24285 (xcsp3-exec) S 24282 24285 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4871439 9740288 346 33554432000 4194304 5098028 140731052867648 140731052865752 140668608090748 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10760192 140731052872847 140731052873056 140731052873056 140731052875755 0
/proc/24285/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200314 s]
/proc/loadavg: 12.67 14.72 14.85 10/274 24285
/proc/meminfo: memFree=30912880/32770624 swapFree=5900/313124
[pid=24285] ppid=24282 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24285/stat : 24285 (xcsp3-exec) S 24282 24285 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4871439 9740288 346 33554432000 4194304 5098028 140731052867648 140731052865752 140668608090748 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10760192 140731052872847 140731052873056 140731052873056 140731052875755 0
/proc/24285/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300323 s]
/proc/loadavg: 12.67 14.72 14.85 10/274 24285
/proc/meminfo: memFree=30912880/32770624 swapFree=5900/313124
[pid=24285] ppid=24282 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24285/stat : 24285 (xcsp3-exec) S 24282 24285 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4871439 9740288 346 33554432000 4194304 5098028 140731052867648 140731052865752 140668608090748 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10760192 140731052872847 140731052873056 140731052873056 140731052875755 0
/proc/24285/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700261 s]
/proc/loadavg: 12.67 14.72 14.85 10/274 24285
/proc/meminfo: memFree=30912880/32770624 swapFree=5900/313124
[pid=24285] ppid=24282 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24285/stat : 24285 (xcsp3-exec) S 24282 24285 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4871439 9740288 346 33554432000 4194304 5098028 140731052867648 140731052865752 140668608090748 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10760192 140731052872847 140731052873056 140731052873056 140731052875755 0
/proc/24285/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50121 s]
/proc/loadavg: 12.45 14.64 14.82 13/295 24306
/proc/meminfo: memFree=30762408/32770624 swapFree=5900/313164
[pid=24285] ppid=24282 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24285/stat : 24285 (xcsp3-exec) S 24282 24285 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4871439 9740288 346 33554432000 4194304 5098028 140731052867648 140731052865752 140668608090748 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10760192 140731052872847 140731052873056 140731052873056 140731052875755 0
/proc/24285/statm: 2378 346 289 221 0 87 0
[pid=24286] ppid=24285 vsize=13269256 CPUtime=5.29 cores=1,3,5,7,9,11,13,15
/proc/24286/stat : 24286 (java) S 24285 24285 16913 0 -1 1077944320 21498 0 0 0 511 18 0 0 20 0 20 0 4871439 13587718144 53093 33554432000 4194304 4196468 140721694121088 140721694103632 139955436936951 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
/proc/24286/statm: 3317314 53093 3250 1 0 3304547 0
[pid=24286/tid=24287] ppid=24285 vsize=13269256 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24287/stat : 24287 (java) R 24285 24285 16913 0 -1 4202560 7179 0 0 0 138 6 0 0 20 0 20 0 4871440 13587718144 53093 33554432000 4194304 4196468 140721694121088 139955441171928 139955077760205 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24289] ppid=24285 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24289/stat : 24289 (java) S 24285 24285 16913 0 -1 1077944384 58 0 0 0 1 1 0 0 20 0 20 0 4871441 13587718144 53093 33554432000 4194304 4196468 140721694121088 139955036080528 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24290] ppid=24285 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24290/stat : 24290 (java) S 24285 24285 16913 0 -1 1077944384 67 0 0 0 1 1 0 0 20 0 20 0 4871441 13587718144 53093 33554432000 4194304 4196468 140721694121088 139955035027728 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24291] ppid=24285 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24291/stat : 24291 (java) S 24285 24285 16913 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 20 0 4871441 13587718144 53093 33554432000 4194304 4196468 140721694121088 139955033975440 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24292] ppid=24285 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24292/stat : 24292 (java) S 24285 24285 16913 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 20 0 4871441 13587718144 53093 33554432000 4194304 4196468 140721694121088 139955032922640 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24293] ppid=24285 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24293/stat : 24293 (java) S 24285 24285 16913 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 20 0 4871441 13587718144 53093 33554432000 4194304 4196468 140721694121088 139955031870352 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24294] ppid=24285 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24294/stat : 24294 (java) S 24285 24285 16913 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 20 0 4871441 13587718144 53093 33554432000 4194304 4196468 140721694121088 139955030817552 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24295] ppid=24285 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24295/stat : 24295 (java) S 24285 24285 16913 0 -1 1077944384 191 0 0 0 1 1 0 0 20 0 20 0 4871441 13587718144 53093 33554432000 4194304 4196468 140721694121088 139955029765264 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24296] ppid=24285 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24296/stat : 24296 (java) S 24285 24285 16913 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 4871441 13587718144 53093 33554432000 4194304 4196468 140721694121088 139955028712464 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24297] ppid=24285 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24297/stat : 24297 (java) S 24285 24285 16913 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 4871443 13587718144 53093 33554432000 4194304 4196468 140721694121088 139954563713136 139955436948098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24298] ppid=24285 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24298/stat : 24298 (java) S 24285 24285 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4871444 13587718144 53093 33554432000 4194304 4196468 140721694121088 139954562659104 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24299] ppid=24285 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24299/stat : 24299 (java) S 24285 24285 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4871444 13587718144 53093 33554432000 4194304 4196468 140721694121088 139954561606768 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24300] ppid=24285 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24300/stat : 24300 (java) S 24285 24285 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4871448 13587718144 53093 33554432000 4194304 4196468 140721694121088 139954560555088 139955436955547 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24301] ppid=24285 vsize=13269256 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24301/stat : 24301 (java) R 24285 24285 16913 0 -1 4202560 3247 0 0 0 96 1 0 0 20 0 20 0 4871448 13587718144 53093 33554432000 4194304 4196468 140721694121088 139954559494464 139955420429432 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24302] ppid=24285 vsize=13269256 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24302/stat : 24302 (java) R 24285 24285 16913 0 -1 4202560 3313 0 0 0 102 0 0 0 20 0 20 0 4871448 13587718144 53093 33554432000 4194304 4196468 140721694121088 139954558431176 139955422061716 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24303] ppid=24285 vsize=13269256 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24303/stat : 24303 (java) R 24285 24285 16913 0 -1 4202560 2721 0 0 0 100 1 0 0 20 0 20 0 4871448 13587718144 53093 33554432000 4194304 4196468 140721694121088 139954557384416 139955418481046 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24304] ppid=24285 vsize=13269256 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24304/stat : 24304 (java) S 24285 24285 16913 0 -1 1077944384 3044 0 0 0 63 1 0 0 20 0 20 0 4871448 13587718144 53093 33554432000 4194304 4196468 140721694121088 139954556345072 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24305] ppid=24285 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24305/stat : 24305 (java) S 24285 24285 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4871448 13587718144 53093 33554432000 4194304 4196468 140721694121088 139954555292000 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24306] ppid=24285 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24306/stat : 24306 (java) S 24285 24285 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4871449 13587718144 53093 33554432000 4194304 4196468 140721694121088 139954554239280 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 13278768

[startup+3.10156 s]
/proc/loadavg: 12.45 14.64 14.82 13/295 24306
/proc/meminfo: memFree=30491496/32770624 swapFree=5900/313176
[pid=24285] ppid=24282 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24285/stat : 24285 (xcsp3-exec) S 24282 24285 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4871439 9740288 346 33554432000 4194304 5098028 140731052867648 140731052865752 140668608090748 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10760192 140731052872847 140731052873056 140731052873056 140731052875755 0
/proc/24285/statm: 2378 346 289 221 0 87 0
[pid=24286] ppid=24285 vsize=13269256 CPUtime=11.74 cores=1,3,5,7,9,11,13,15
/proc/24286/stat : 24286 (java) S 24285 24285 16913 0 -1 1077944320 29052 0 0 0 1006 168 0 0 20 0 20 0 4871439 13587718144 208607 33554432000 4194304 4196468 140721694121088 140721694103632 139955436936951 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
/proc/24286/statm: 3317314 208607 3258 1 0 3304547 0
[pid=24286/tid=24287] ppid=24285 vsize=13269256 CPUtime=2.62 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24287/stat : 24287 (java) R 24285 24285 16913 0 -1 4202560 8101 0 0 0 250 12 0 0 20 0 20 0 4871440 13587718144 208607 33554432000 4194304 4196468 140721694121088 139955441174784 139955078531008 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24289] ppid=24285 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24289/stat : 24289 (java) S 24285 24285 16913 0 -1 1077944384 228 0 0 0 21 19 0 0 20 0 20 0 4871441 13587718144 208607 33554432000 4194304 4196468 140721694121088 139955036080528 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24290] ppid=24285 vsize=13269256 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24290/stat : 24290 (java) S 24285 24285 16913 0 -1 1077944384 269 0 0 0 20 18 0 0 20 0 20 0 4871441 13587718144 208607 33554432000 4194304 4196468 140721694121088 139955035027728 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24291] ppid=24285 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24291/stat : 24291 (java) S 24285 24285 16913 0 -1 1077944384 190 0 0 0 21 19 0 0 20 0 20 0 4871441 13587718144 208607 33554432000 4194304 4196468 140721694121088 139955033975440 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24292] ppid=24285 vsize=13269256 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24292/stat : 24292 (java) S 24285 24285 16913 0 -1 1077944384 660 0 0 0 19 16 0 0 20 0 20 0 4871441 13587718144 208607 33554432000 4194304 4196468 140721694121088 139955032922640 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24293] ppid=24285 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24293/stat : 24293 (java) S 24285 24285 16913 0 -1 1077944384 189 0 0 0 21 20 0 0 20 0 20 0 4871441 13587718144 208607 33554432000 4194304 4196468 140721694121088 139955031870352 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24294] ppid=24285 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24294/stat : 24294 (java) S 24285 24285 16913 0 -1 1077944384 229 0 0 0 23 17 0 0 20 0 20 0 4871441 13587718144 208607 33554432000 4194304 4196468 140721694121088 139955030817552 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24295] ppid=24285 vsize=13269256 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24295/stat : 24295 (java) S 24285 24285 16913 0 -1 1077944384 372 0 0 0 19 17 0 0 20 0 20 0 4871441 13587718144 208607 33554432000 4194304 4196468 140721694121088 139955029765264 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24296] ppid=24285 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24296/stat : 24296 (java) S 24285 24285 16913 0 -1 1077944384 196 0 0 0 22 19 0 0 20 0 20 0 4871441 13587718144 208607 33554432000 4194304 4196468 140721694121088 139955028712464 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24297] ppid=24285 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24297/stat : 24297 (java) S 24285 24285 16913 0 -1 1077944384 686 0 0 0 1 0 0 0 20 0 20 0 4871443 13587718144 208607 33554432000 4194304 4196468 140721694121088 139954563713136 139955436948098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24298] ppid=24285 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24298/stat : 24298 (java) S 24285 24285 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4871444 13587718144 208607 33554432000 4194304 4196468 140721694121088 139954562659168 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24299] ppid=24285 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24299/stat : 24299 (java) S 24285 24285 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4871444 13587718144 208607 33554432000 4194304 4196468 140721694121088 139954561606784 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24300] ppid=24285 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24300/stat : 24300 (java) S 24285 24285 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4871448 13587718144 208607 33554432000 4194304 4196468 140721694121088 139954560555088 139955436955547 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24301] ppid=24285 vsize=13269256 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24301/stat : 24301 (java) S 24285 24285 16913 0 -1 1077944384 4132 0 0 0 158 1 0 0 20 0 20 0 4871448 13587718144 208607 33554432000 4194304 4196468 140721694121088 139954559502960 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24302] ppid=24285 vsize=13269256 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24302/stat : 24302 (java) S 24285 24285 16913 0 -1 1077944384 4977 0 0 0 191 0 0 0 20 0 20 0 4871448 13587718144 208607 33554432000 4194304 4196468 140721694121088 139954558450160 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24303] ppid=24285 vsize=13269256 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24303/stat : 24303 (java) S 24285 24285 16913 0 -1 1077944384 4134 0 0 0 162 1 0 0 20 0 20 0 4871448 13587718144 208607 33554432000 4194304 4196468 140721694121088 139954557397872 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24304] ppid=24285 vsize=13269256 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24304/stat : 24304 (java) S 24285 24285 16913 0 -1 1077944384 3338 0 0 0 71 1 0 0 20 0 20 0 4871448 13587718144 208607 33554432000 4194304 4196468 140721694121088 139954556345072 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24305] ppid=24285 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24305/stat : 24305 (java) S 24285 24285 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4871448 13587718144 208607 33554432000 4194304 4196468 140721694121088 139954555292000 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24306] ppid=24285 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24306/stat : 24306 (java) S 24285 24285 16913 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4871449 13587718144 208607 33554432000 4194304 4196468 140721694121088 139954554239280 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
Current children cumulated CPU time (s) 11.74
Current children cumulated vsize (KiB) 13278768

[startup+6.30112 s]
/proc/loadavg: 12.58 14.63 14.82 17/303 24314
/proc/meminfo: memFree=29787036/32770624 swapFree=5900/313176
[pid=24285] ppid=24282 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24285/stat : 24285 (xcsp3-exec) S 24282 24285 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4871439 9740288 346 33554432000 4194304 5098028 140731052867648 140731052865752 140668608090748 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10760192 140731052872847 140731052873056 140731052873056 140731052875755 0
/proc/24285/statm: 2378 346 289 221 0 87 0
[pid=24286] ppid=24285 vsize=13801768 CPUtime=34.97 cores=1,3,5,7,9,11,13,15
/proc/24286/stat : 24286 (java) S 24285 24285 16913 0 -1 1077944320 33263 0 0 0 3254 243 0 0 20 0 28 0 4871439 14133010432 283500 33554432000 4194304 4196468 140721694121088 140721694103632 139955436936951 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
/proc/24286/statm: 3450442 283500 3288 1 0 3437675 0
[pid=24286/tid=24287] ppid=24285 vsize=13801768 CPUtime=2.81 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24287/stat : 24287 (java) S 24285 24285 16913 0 -1 1077944384 8358 0 0 0 269 12 0 0 20 0 28 0 4871440 14133010432 283500 33554432000 4194304 4196468 140721694121088 139955441177728 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24289] ppid=24285 vsize=13801768 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24289/stat : 24289 (java) S 24285 24285 16913 0 -1 1077944384 472 0 0 0 126 29 0 0 20 0 28 0 4871441 14133010432 283500 33554432000 4194304 4196468 140721694121088 139955036080528 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24290] ppid=24285 vsize=13801768 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24290/stat : 24290 (java) S 24285 24285 16913 0 -1 1077944384 390 0 0 0 124 27 0 0 20 0 28 0 4871441 14133010432 283500 33554432000 4194304 4196468 140721694121088 139955035027728 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24291] ppid=24285 vsize=13801768 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24291/stat : 24291 (java) S 24285 24285 16913 0 -1 1077944384 358 0 0 0 129 28 0 0 20 0 28 0 4871441 14133010432 283500 33554432000 4194304 4196468 140721694121088 139955033975440 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24292] ppid=24285 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24292/stat : 24292 (java) S 24285 24285 16913 0 -1 1077944384 891 0 0 0 118 24 0 0 20 0 28 0 4871441 14133010432 283500 33554432000 4194304 4196468 140721694121088 139955032922640 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24293] ppid=24285 vsize=13801768 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24293/stat : 24293 (java) S 24285 24285 16913 0 -1 1077944384 312 0 0 0 126 28 0 0 20 0 28 0 4871441 14133010432 283500 33554432000 4194304 4196468 140721694121088 139955031870352 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24294] ppid=24285 vsize=13801768 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24294/stat : 24294 (java) S 24285 24285 16913 0 -1 1077944384 349 0 0 0 129 28 0 0 20 0 28 0 4871441 14133010432 283500 33554432000 4194304 4196468 140721694121088 139955030817552 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24295] ppid=24285 vsize=13801768 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24295/stat : 24295 (java) S 24285 24285 16913 0 -1 1077944384 470 0 0 0 123 25 0 0 20 0 28 0 4871441 14133010432 283500 33554432000 4194304 4196468 140721694121088 139955029765264 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24296] ppid=24285 vsize=13801768 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24296/stat : 24296 (java) S 24285 24285 16913 0 -1 1077944384 555 0 0 0 127 28 0 0 20 0 28 0 4871441 14133010432 283500 33554432000 4194304 4196468 140721694121088 139955028712464 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24297] ppid=24285 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24297/stat : 24297 (java) R 24285 24285 16913 0 -1 4202560 1002 0 0 0 13 0 0 0 20 0 28 0 4871443 14133010432 283500 33554432000 4194304 4196468 140721694121088 139954563711568 139955421637639 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24298] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24298/stat : 24298 (java) S 24285 24285 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4871444 14133010432 283500 33554432000 4194304 4196468 140721694121088 139954562659168 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24299] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24299/stat : 24299 (java) S 24285 24285 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4871444 14133010432 283500 33554432000 4194304 4196468 140721694121088 139954561606784 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24300] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24300/stat : 24300 (java) S 24285 24285 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4871448 14133010432 283500 33554432000 4194304 4196468 140721694121088 139954560555088 139955436955547 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0

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

/proc/24286/task/24298/stat : 24298 (java) S 24285 24285 16913 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4871444 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954562659168 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24299] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24299/stat : 24299 (java) S 24285 24285 16913 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4871444 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954561606784 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24300] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24300/stat : 24300 (java) S 24285 24285 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4871448 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954560555088 139955436955547 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24301] ppid=24285 vsize=13801768 CPUtime=4.5 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24301/stat : 24301 (java) S 24285 24285 16913 0 -1 1077944384 11207 0 0 0 447 3 0 0 20 0 28 0 4871448 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954559502960 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24302] ppid=24285 vsize=13801768 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24302/stat : 24302 (java) S 24285 24285 16913 0 -1 1077944384 13654 0 0 0 493 2 0 0 20 0 28 0 4871448 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954558450160 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24303] ppid=24285 vsize=13801768 CPUtime=5.33 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24303/stat : 24303 (java) S 24285 24285 16913 0 -1 1077944384 19835 0 0 0 529 4 0 0 20 0 28 0 4871448 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954557397872 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24304] ppid=24285 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24304/stat : 24304 (java) S 24285 24285 16913 0 -1 1077944384 9421 0 0 0 125 3 0 0 20 0 28 0 4871448 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954556345072 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24305] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24305/stat : 24305 (java) S 24285 24285 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4871448 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954555292000 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24306] ppid=24285 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24306/stat : 24306 (java) S 24285 24285 16913 0 -1 1077944384 879 0 0 0 5 5 0 0 20 0 28 0 4871449 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954554239280 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24307] ppid=24285 vsize=13801768 CPUtime=154.55 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24307/stat : 24307 (java) R 24285 24285 16913 0 -1 4202560 1093 0 0 0 15454 1 0 0 20 0 28 0 4871768 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954546224656 139955083161596 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24308] ppid=24285 vsize=13801768 CPUtime=154.54 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24308/stat : 24308 (java) R 24285 24285 16913 0 -1 4202560 2314 0 0 0 15454 0 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954545172360 139955083525300 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24309] ppid=24285 vsize=13801768 CPUtime=152.75 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24309/stat : 24309 (java) R 24285 24285 16913 0 -1 4202560 2093 0 0 0 15271 4 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954544120104 139955083161027 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24310] ppid=24285 vsize=13801768 CPUtime=155.04 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24310/stat : 24310 (java) R 24285 24285 16913 0 -1 4202560 4438 0 0 0 15500 4 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954543067736 139955076267885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24311] ppid=24285 vsize=13801768 CPUtime=155.11 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24311/stat : 24311 (java) R 24285 24285 16913 0 -1 4202560 1722 0 0 0 15507 4 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954542015000 139955083128509 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24312] ppid=24285 vsize=13801768 CPUtime=154.7 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24312/stat : 24312 (java) R 24285 24285 16913 0 -1 4202560 907 0 0 0 15469 1 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954540961936 139955083161520 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24313] ppid=24285 vsize=13801768 CPUtime=154.75 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24313/stat : 24313 (java) R 24285 24285 16913 0 -1 4202560 1296 0 0 0 15474 1 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954539908888 139955083525173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24314] ppid=24285 vsize=13801768 CPUtime=155.01 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24314/stat : 24314 (java) R 24285 24285 16913 0 -1 4202560 1965 0 0 0 15498 3 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954538855784 139955085127182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
Current children cumulated CPU time (s) 1274.07
Current children cumulated vsize (KiB) 13811280

[startup+162.601 s]
/proc/loadavg: 15.81 15.24 15.02 17/305 24527
/proc/meminfo: memFree=28784524/32770624 swapFree=5900/313440
[pid=24285] ppid=24282 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24285/stat : 24285 (xcsp3-exec) S 24282 24285 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4871439 9740288 346 33554432000 4194304 5098028 140731052867648 140731052865752 140668608090748 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10760192 140731052872847 140731052873056 140731052873056 140731052875755 0
/proc/24285/statm: 2378 346 289 221 0 87 0
[pid=24286] ppid=24285 vsize=13801768 CPUtime=1275.66 cores=1,3,5,7,9,11,13,15
/proc/24286/stat : 24286 (java) S 24285 24285 16913 0 -1 1077944320 91510 0 0 0 127093 473 0 0 20 0 28 0 4871439 14133010432 676346 33554432000 4194304 4196468 140721694121088 140721694103632 139955436936951 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
/proc/24286/statm: 3450442 676346 3308 1 0 3437675 0
[pid=24286/tid=24287] ppid=24285 vsize=13801768 CPUtime=2.81 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24287/stat : 24287 (java) S 24285 24285 16913 0 -1 1077944384 8358 0 0 0 269 12 0 0 20 0 28 0 4871440 14133010432 676346 33554432000 4194304 4196468 140721694121088 139955441177728 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24289] ppid=24285 vsize=13801768 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24289/stat : 24289 (java) S 24285 24285 16913 0 -1 1077944384 846 0 0 0 175 49 0 0 20 0 28 0 4871441 14133010432 676346 33554432000 4194304 4196468 140721694121088 139955036080528 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24290] ppid=24285 vsize=13801768 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24290/stat : 24290 (java) S 24285 24285 16913 0 -1 1077944384 1049 0 0 0 162 57 0 0 20 0 28 0 4871441 14133010432 676346 33554432000 4194304 4196468 140721694121088 139955035027728 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24291] ppid=24285 vsize=13801768 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24291/stat : 24291 (java) S 24285 24285 16913 0 -1 1077944384 765 0 0 0 179 47 0 0 20 0 28 0 4871441 14133010432 676346 33554432000 4194304 4196468 140721694121088 139955033975440 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24292] ppid=24285 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24292/stat : 24292 (java) S 24285 24285 16913 0 -1 1077944384 1322 0 0 0 160 51 0 0 20 0 28 0 4871441 14133010432 676346 33554432000 4194304 4196468 140721694121088 139955032922640 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24293] ppid=24285 vsize=13801768 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24293/stat : 24293 (java) S 24285 24285 16913 0 -1 1077944384 711 0 0 0 173 50 0 0 20 0 28 0 4871441 14133010432 676346 33554432000 4194304 4196468 140721694121088 139955031870352 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24294] ppid=24285 vsize=13801768 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24294/stat : 24294 (java) S 24285 24285 16913 0 -1 1077944384 1127 0 0 0 172 55 0 0 20 0 28 0 4871441 14133010432 676346 33554432000 4194304 4196468 140721694121088 139955030817552 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24295] ppid=24285 vsize=13801768 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24295/stat : 24295 (java) S 24285 24285 16913 0 -1 1077944384 1216 0 0 0 164 53 0 0 20 0 28 0 4871441 14133010432 676346 33554432000 4194304 4196468 140721694121088 139955029765264 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24296] ppid=24285 vsize=13801768 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24296/stat : 24296 (java) S 24285 24285 16913 0 -1 1077944384 1204 0 0 0 175 49 0 0 20 0 28 0 4871441 14133010432 676346 33554432000 4194304 4196468 140721694121088 139955028712464 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24297] ppid=24285 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24297/stat : 24297 (java) S 24285 24285 16913 0 -1 1077944384 2718 0 0 0 64 5 0 0 20 0 28 0 4871443 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954563713136 139955436948098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24298] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24298/stat : 24298 (java) S 24285 24285 16913 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4871444 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954562659168 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24299] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24299/stat : 24299 (java) S 24285 24285 16913 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4871444 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954561606784 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24300] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24300/stat : 24300 (java) S 24285 24285 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4871448 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954560555088 139955436955547 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24301] ppid=24285 vsize=13801768 CPUtime=4.5 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24301/stat : 24301 (java) S 24285 24285 16913 0 -1 1077944384 11207 0 0 0 447 3 0 0 20 0 28 0 4871448 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954559502960 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24302] ppid=24285 vsize=13801768 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24302/stat : 24302 (java) S 24285 24285 16913 0 -1 1077944384 13654 0 0 0 493 2 0 0 20 0 28 0 4871448 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954558450160 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24303] ppid=24285 vsize=13801768 CPUtime=5.33 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24303/stat : 24303 (java) S 24285 24285 16913 0 -1 1077944384 19835 0 0 0 529 4 0 0 20 0 28 0 4871448 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954557397872 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24304] ppid=24285 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24304/stat : 24304 (java) S 24285 24285 16913 0 -1 1077944384 9421 0 0 0 125 3 0 0 20 0 28 0 4871448 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954556345072 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24305] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24305/stat : 24305 (java) S 24285 24285 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4871448 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954555292000 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24306] ppid=24285 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24306/stat : 24306 (java) S 24285 24285 16913 0 -1 1077944384 879 0 0 0 5 5 0 0 20 0 28 0 4871449 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954554239280 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24307] ppid=24285 vsize=13801768 CPUtime=154.75 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24307/stat : 24307 (java) R 24285 24285 16913 0 -1 4202560 1093 0 0 0 15474 1 0 0 20 0 28 0 4871768 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954546224656 139955084255456 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24308] ppid=24285 vsize=13801768 CPUtime=154.74 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24308/stat : 24308 (java) R 24285 24285 16913 0 -1 4202560 2314 0 0 0 15474 0 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954545172360 139955084253638 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24309] ppid=24285 vsize=13801768 CPUtime=152.95 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24309/stat : 24309 (java) R 24285 24285 16913 0 -1 4202560 2093 0 0 0 15291 4 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954544120104 139955083161027 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24310] ppid=24285 vsize=13801768 CPUtime=155.24 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24310/stat : 24310 (java) R 24285 24285 16913 0 -1 4202560 4438 0 0 0 15520 4 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954543067736 139955083434389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24311] ppid=24285 vsize=13801768 CPUtime=155.31 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24311/stat : 24311 (java) R 24285 24285 16913 0 -1 4202560 1722 0 0 0 15527 4 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954542015000 139955083161520 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24312] ppid=24285 vsize=13801768 CPUtime=154.89 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24312/stat : 24312 (java) R 24285 24285 16913 0 -1 4202560 907 0 0 0 15488 1 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954540961936 139955083525173 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24313] ppid=24285 vsize=13801768 CPUtime=154.95 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24313/stat : 24313 (java) R 24285 24285 16913 0 -1 4202560 1296 0 0 0 15494 1 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954539908888 139955083504493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24314] ppid=24285 vsize=13801768 CPUtime=155.21 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24314/stat : 24314 (java) R 24285 24285 16913 0 -1 4202560 1965 0 0 0 15518 3 0 0 20 0 28 0 4871769 14133010432 676346 33554432000 4194304 4196468 140721694121088 139954538855784 139955083874292 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
Current children cumulated CPU time (s) 1275.66
Current children cumulated vsize (KiB) 13811280

[startup+162.702 s]
/proc/loadavg: 15.81 15.24 15.02 17/305 24527
/proc/meminfo: memFree=28784524/32770624 swapFree=5900/313440
[pid=24285] ppid=24282 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24285/stat : 24285 (xcsp3-exec) S 24282 24285 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4871439 9740288 346 33554432000 4194304 5098028 140731052867648 140731052865752 140668608090748 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10760192 140731052872847 140731052873056 140731052873056 140731052875755 0
/proc/24285/statm: 2378 346 289 221 0 87 0
[pid=24286] ppid=24285 vsize=13801768 CPUtime=1276.45 cores=1,3,5,7,9,11,13,15
/proc/24286/stat : 24286 (java) S 24285 24285 16913 0 -1 1077944320 92498 0 0 0 127172 473 0 0 20 0 28 0 4871439 14133010432 676348 33554432000 4194304 4196468 140721694121088 140721694103632 139955436936951 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
/proc/24286/statm: 3450442 676348 3308 1 0 3437675 0
[pid=24286/tid=24287] ppid=24285 vsize=13801768 CPUtime=2.81 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24287/stat : 24287 (java) S 24285 24285 16913 0 -1 1077944384 8358 0 0 0 269 12 0 0 20 0 28 0 4871440 14133010432 676348 33554432000 4194304 4196468 140721694121088 139955441177728 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24289] ppid=24285 vsize=13801768 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24289/stat : 24289 (java) S 24285 24285 16913 0 -1 1077944384 846 0 0 0 175 49 0 0 20 0 28 0 4871441 14133010432 676348 33554432000 4194304 4196468 140721694121088 139955036080528 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24290] ppid=24285 vsize=13801768 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24290/stat : 24290 (java) S 24285 24285 16913 0 -1 1077944384 1049 0 0 0 162 57 0 0 20 0 28 0 4871441 14133010432 676348 33554432000 4194304 4196468 140721694121088 139955035027728 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24291] ppid=24285 vsize=13801768 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24291/stat : 24291 (java) S 24285 24285 16913 0 -1 1077944384 765 0 0 0 179 47 0 0 20 0 28 0 4871441 14133010432 676348 33554432000 4194304 4196468 140721694121088 139955033975440 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24292] ppid=24285 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24292/stat : 24292 (java) S 24285 24285 16913 0 -1 1077944384 1322 0 0 0 160 51 0 0 20 0 28 0 4871441 14133010432 676348 33554432000 4194304 4196468 140721694121088 139955032922640 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24293] ppid=24285 vsize=13801768 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24293/stat : 24293 (java) S 24285 24285 16913 0 -1 1077944384 711 0 0 0 173 50 0 0 20 0 28 0 4871441 14133010432 676348 33554432000 4194304 4196468 140721694121088 139955031870352 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24294] ppid=24285 vsize=13801768 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24294/stat : 24294 (java) S 24285 24285 16913 0 -1 1077944384 1127 0 0 0 172 55 0 0 20 0 28 0 4871441 14133010432 676348 33554432000 4194304 4196468 140721694121088 139955030817552 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24295] ppid=24285 vsize=13801768 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24295/stat : 24295 (java) S 24285 24285 16913 0 -1 1077944384 1216 0 0 0 164 53 0 0 20 0 28 0 4871441 14133010432 676348 33554432000 4194304 4196468 140721694121088 139955029765264 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24296] ppid=24285 vsize=13801768 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24296/stat : 24296 (java) S 24285 24285 16913 0 -1 1077944384 1204 0 0 0 175 49 0 0 20 0 28 0 4871441 14133010432 676348 33554432000 4194304 4196468 140721694121088 139955028712464 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24297] ppid=24285 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24297/stat : 24297 (java) S 24285 24285 16913 0 -1 1077944384 2718 0 0 0 64 5 0 0 20 0 28 0 4871443 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954563713136 139955436948098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24298] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24298/stat : 24298 (java) S 24285 24285 16913 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4871444 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954562659168 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24299] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24299/stat : 24299 (java) S 24285 24285 16913 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4871444 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954561606784 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24300] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24300/stat : 24300 (java) S 24285 24285 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4871448 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954560555088 139955436955547 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24301] ppid=24285 vsize=13801768 CPUtime=4.51 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24301/stat : 24301 (java) R 24285 24285 16913 0 -1 4202560 11298 0 0 0 448 3 0 0 20 0 28 0 4871448 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954559502960 139955429178393 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24302] ppid=24285 vsize=13801768 CPUtime=4.97 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24302/stat : 24302 (java) S 24285 24285 16913 0 -1 1077944384 13943 0 0 0 495 2 0 0 20 0 28 0 4871448 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954558450160 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24303] ppid=24285 vsize=13801768 CPUtime=5.34 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24303/stat : 24303 (java) S 24285 24285 16913 0 -1 1077944384 19963 0 0 0 530 4 0 0 20 0 28 0 4871448 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954557397872 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24304] ppid=24285 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24304/stat : 24304 (java) S 24285 24285 16913 0 -1 1077944384 9686 0 0 0 126 3 0 0 20 0 28 0 4871448 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954556345072 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24305] ppid=24285 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24305/stat : 24305 (java) S 24285 24285 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4871448 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954555292000 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24306] ppid=24285 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24306/stat : 24306 (java) S 24285 24285 16913 0 -1 1077944384 879 0 0 0 5 5 0 0 20 0 28 0 4871449 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954554239280 139955436948098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24307] ppid=24285 vsize=13801768 CPUtime=154.85 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24307/stat : 24307 (java) R 24285 24285 16913 0 -1 4202560 1093 0 0 0 15484 1 0 0 20 0 28 0 4871768 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954546224656 139955083525173 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24308] ppid=24285 vsize=13801768 CPUtime=154.84 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24308/stat : 24308 (java) R 24285 24285 16913 0 -1 4202560 2343 0 0 0 15484 0 0 0 20 0 28 0 4871769 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954545172360 139955083161004 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24309] ppid=24285 vsize=13801768 CPUtime=153.05 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24309/stat : 24309 (java) R 24285 24285 16913 0 -1 4202560 2093 0 0 0 15301 4 0 0 20 0 28 0 4871769 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954544120104 139955083160813 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24310] ppid=24285 vsize=13801768 CPUtime=155.34 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24310/stat : 24310 (java) R 24285 24285 16913 0 -1 4202560 4449 0 0 0 15530 4 0 0 20 0 28 0 4871769 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954543067736 139955083161027 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24311] ppid=24285 vsize=13801768 CPUtime=155.4 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24311/stat : 24311 (java) S 24285 24285 16913 0 -1 1077944384 1942 0 0 0 15536 4 0 0 20 0 28 0 4871769 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954542020176 139955436947157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24312] ppid=24285 vsize=13801768 CPUtime=154.98 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24312/stat : 24312 (java) R 24285 24285 16913 0 -1 4202560 924 0 0 0 15497 1 0 0 20 0 28 0 4871769 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954540961936 139955083525300 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24313] ppid=24285 vsize=13801768 CPUtime=155.05 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24313/stat : 24313 (java) R 24285 24285 16913 0 -1 4202560 1297 0 0 0 15504 1 0 0 20 0 28 0 4871769 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954539908888 139955083161027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
[pid=24286/tid=24314] ppid=24285 vsize=13801768 CPUtime=155.31 cores=1,3,5,7,9,11,13,15
/proc/24286/task/24314/stat : 24314 (java) R 24285 24285 16913 0 -1 4202560 1983 0 0 0 15528 3 0 0 20 0 28 0 4871769 14133010432 676348 33554432000 4194304 4196468 140721694121088 139954538858072 139955083128586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140721694123196 140721694123372 140721694123372 140721694126031 0
Current children cumulated CPU time (s) 1276.45
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 162.737
CPU time (s): 1276.54
CPU user time (s): 1271.79
CPU system time (s): 4.75397
CPU usage (%): 784.418
Max. virtual memory (cumulated for all children) (KiB): 13812936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1271.79
system time used= 4.75397
maximum resident set size= 2705480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10007
involuntary context switches= 93459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.86464 second user time and 2.50123 second system time

The end

Launcher Data 

Begin job on node133 at 2017-07-22 06:00:45
IDJOB=4250065
IDBENCH=138789
IDSOLVER=2625
FILE ID=node133/4250065-1500696045
RUNJOBID= node133-1500682387-16945
PBS_JOBID= 20623321
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Queens/Queens-m1-s1/Queens-0150-m1.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-4250065-1500696045/watcher-4250065-1500696045 -o /tmp/evaluation-result-4250065-1500696045/solver-4250065-1500696045 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 557819714 HOME/instance-4250065-1500696045.xml

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

MD5SUM BENCH= 87bfaaaf5fd3b270ee1dec703898481f
RANDOM SEED=557819714

node133.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		: 2668.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	: 5334.13
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		: 1600.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	: 5229.85
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		: 2668.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	: 5334.13
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		: 1733.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	: 5229.85
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		: 2668.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	: 5334.13
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		: 2267.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	: 5229.85
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		: 2668.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	: 5334.13
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		: 1600.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	: 5229.85
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		: 2668.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	: 5334.13
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		: 1867.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	: 5229.85
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		: 2668.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	: 5334.13
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		: 2000.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	: 5229.85
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		: 2668.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	: 5334.13
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		: 2133.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	: 5229.85
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		: 2668.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	: 5334.13
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		: 2133.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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30912556 kB
MemAvailable:   31134456 kB
Buffers:          121260 kB
Cached:           379656 kB
SwapCached:            0 kB
Active:          1100816 kB
Inactive:         321880 kB
Active(anon):     924220 kB
Inactive(anon):     8756 kB
Active(file):     176596 kB
Inactive(file):   313124 kB
Unevictable:        5900 kB
Mlocked:            5900 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8524 kB
Writeback:             0 kB
AnonPages:        942240 kB
Mapped:            43272 kB
Shmem:              8872 kB
Slab:             130432 kB
SReclaimable:      96032 kB
SUnreclaim:        34400 kB
KernelStack:        5056 kB
PageTables:         7540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2373336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    817152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62000 MiB
End job on node133 at 2017-07-22 06:03:28