Trace number 4393010

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
choco-solver 2019-06-14SAT 35.1353 10.425

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-m4D/
Subisomorphism-si2-m4Dr6-m1296-04.xml
MD5SUM2d28027fc76d6f94be685cc66f299382
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 benchmark0.734935
Satisfiable
(Un)Satisfiability was proved
Number of variables259
Number of constraints561
Number of domains1
Minimum domain size1296
Maximum domain size1296
Distribution of domain sizes[{"size":1296,"count":259}]
Minimum variable degree2
Maximum variable degree13
Distribution of variable degrees[{"degree":2,"count":59},{"degree":3,"count":52},{"degree":4,"count":47},{"degree":6,"count":32},{"degree":7,"count":12},{"degree":8,"count":16},{"degree":9,"count":16},{"degree":10,"count":12},{"degree":11,"count":9},{"degree":12,"count":3},{"degree":13,"count":1}]
Minimum constraint arity1
Maximum constraint arity259
Distribution of constraint arities[{"arity":1,"count":101},{"arity":2,"count":459},{"arity":259,"count":1}]
Number of extensional constraints560
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":560},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393010-1568320087.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393010-1568320087.xml, -tl, 2520s, -p, 4]
0.35/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
8.34/3.13	c solve instance...
34.92/10.39	s SATISFIABLE
34.92/10.39	v <instantiation>
34.92/10.39	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] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] </list>
34.92/10.39	v 	<values>0 11 79 563 709 729 733 958 1135 83 633 662 768 779 838 981 110 193 293 522 1016 1072 1207 82 392 576 866 207 335 873 894 895 997 434 463 502 675 877 923 948 1222 159 425 703 850 872 1246 249 272 776 14 67 558 725 75 346 548 793 812 137 229 245 444 686 744 138 1164 742 837 338 674 803 985 1004 1046 41 400 704 1020 113 461 710 1151 1212 653 808 857 1189 97 112 661 734 773 926 971 62 663 1022 1037 659 1010 244 312 751 1036 480 735 818 907 993 1014 1048 1179 1220 117 17 644 949 1193 39 130 215 291 892 963 1138 1210 1226 29 762 1049 1265 759 795 929 569 656 908 1040 220 831 1087 1142 1173 1278 66 124 625 738 1074 1077 1106 3 887 1125 1209 18 324 407 552 1291 19 350 505 737 916 4 495 629 904 144 1035 162 492 484 702 902 1043 1239 1295 641 701 586 305 843 1066 1126 1172 1186 1228 169 541 834 945 1089 1162 1203 395 1241 224 417 618 694 749 973 1052 1252 1283 1290 410 673 828 893 1152 1158 259 316 1271 720 901 53 920 248 823 966 1096 1188 603 852 888 1176 339 564 1064 1170 431 1082 382 860 937 1099 1131 1281 98 295 304 573 785 1109 369 436 485 990 276 506 822 589 622 1133 </values>
34.92/10.39	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11096 MiB free)
  memory of node 1: 16384 MiB (8041 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393010-1568320087/watcher-4393010-1568320087 -o /tmp/evaluation-result-4393010-1568320087/solver-4393010-1568320087 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1796168784 HOME/instance-4393010-1568320087.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19939, runsolver pid=19936
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 7.59 8.48 8.15 7/233 19955
/proc/meminfo: memFree=19581844/32770624 swapFree=66952812/67108860
[pid=19939] ppid=19936 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (xcsp3-exec) S 19936 19939 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407950600 115843072 363 33554432000 4194304 5098028 140736623663792 140736623661896 140644869923452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21872640 140736623666042 140736623666285 140736623666285 140736623669194 0
/proc/19939/statm: 28282 363 304 221 0 87 0
[pid=19941] ppid=19939 vsize=15144768 memory=28956 CPUtime=0.13 cores=0,2,4,6
/proc/19941/stat : 19941 (java) S 19939 19939 11591 0 -1 1077944320 5676 0 0 0 12 1 0 0 20 0 15 0 407950600 15508242432 7239 33554432000 4194304 4196468 140723706148512 140723706131056 139860778368759 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
/proc/19941/statm: 3786192 7239 3180 1 0 3748377 0
[pid=19941/tid=19942] ppid=19939 vsize=15144768 memory=7100839861464564850 CPUtime=0.09 cores=0,2,4,6
/proc/19941/task/19942/stat : 19942 (java) R 19939 19939 11591 0 -1 4202560 3576 0 0 0 9 0 0 0 20 0 15 0 407950600 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860782599136 139860778390106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19943] ppid=19939 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19943/stat : 19943 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950601 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860714605072 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19944] ppid=19939 vsize=15144768 memory=140385618454144 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19944/stat : 19944 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950601 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860713552528 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19945] ppid=19939 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19945/stat : 19945 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950601 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860712499472 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19946] ppid=19939 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19946/stat : 19946 (java) S 19939 19939 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407950601 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860367694224 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19947] ppid=19939 vsize=15144768 memory=140385618454144 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19947/stat : 19947 (java) S 19939 19939 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407950603 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860314233584 139860778379906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19948] ppid=19939 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19948/stat : 19948 (java) S 19939 19939 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407950603 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860313179808 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19949] ppid=19939 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19949/stat : 19949 (java) S 19939 19939 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407950603 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860312126704 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19950] ppid=19939 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19950/stat : 19950 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950606 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860311075280 139860778387355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19951] ppid=19939 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19951/stat : 19951 (java) R 19939 19939 11591 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 407950606 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860310022384 139860778379906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19952] ppid=19939 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19952/stat : 19952 (java) R 19939 19939 11591 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 15 0 407950606 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860241279344 139860756201616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19953] ppid=19939 vsize=15144768 memory=140385618454144 CPUtime=0.02 cores=0,2,4,6
/proc/19941/task/19953/stat : 19953 (java) S 19939 19939 11591 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 15 0 407950606 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860240226288 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19954] ppid=19939 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19954/stat : 19954 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950606 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860239173984 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19955] ppid=19939 vsize=15144768 memory=140385618454144 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19955/stat : 19955 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950606 15508242432 7239 33554432000 4194304 4196468 140723706148512 139860238122032 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30408 KiB

[startup+0.210715 s]*
/proc/loadavg: 7.59 8.48 8.15 8/233 19955
/proc/meminfo: memFree=19569804/32770624 swapFree=66952812/67108860
[pid=19939] ppid=19936 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (xcsp3-exec) S 19936 19939 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407950600 115843072 363 33554432000 4194304 5098028 140736623663792 140736623661896 140644869923452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21872640 140736623666042 140736623666285 140736623666285 140736623669194 0
/proc/19939/statm: 28282 363 304 221 0 87 0
[pid=19941] ppid=19939 vsize=15144768 memory=40380 CPUtime=0.35 cores=0,2,4,6
/proc/19941/stat : 19941 (java) S 19939 19939 11591 0 -1 1077944320 9312 0 0 0 32 3 0 0 20 0 15 0 407950600 15508242432 10095 33554432000 4194304 4196468 140723706148512 140723706131056 139860778368759 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
/proc/19941/statm: 3786192 10095 3307 1 0 3748377 0
[pid=19941/tid=19942] ppid=19939 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/19941/task/19942/stat : 19942 (java) R 19939 19939 11591 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 15 0 407950600 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860782607760 139860762449246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19943] ppid=19939 vsize=15144768 memory=13655 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19943/stat : 19943 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950601 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860714605072 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19944] ppid=19939 vsize=15144768 memory=140385618471760 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19944/stat : 19944 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950601 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860713552528 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19945] ppid=19939 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19945/stat : 19945 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950601 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860712499472 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19946] ppid=19939 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19946/stat : 19946 (java) S 19939 19939 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407950601 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860367694224 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19947] ppid=19939 vsize=15144768 memory=140385618454144 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19947/stat : 19947 (java) S 19939 19939 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407950603 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860314233584 139860778379906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19948] ppid=19939 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19948/stat : 19948 (java) S 19939 19939 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407950603 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860313179808 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19949] ppid=19939 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19949/stat : 19949 (java) S 19939 19939 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407950603 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860312126704 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19950] ppid=19939 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19950/stat : 19950 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950606 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860311075280 139860778387355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19951] ppid=19939 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19941/task/19951/stat : 19951 (java) S 19939 19939 11591 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 407950606 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860310022384 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19952] ppid=19939 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/19941/task/19952/stat : 19952 (java) S 19939 19939 11591 0 -1 1077944384 281 0 0 0 3 0 0 0 20 0 15 0 407950606 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860241279344 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19953] ppid=19939 vsize=15144768 memory=140385618454144 CPUtime=0.08 cores=0,2,4,6
/proc/19941/task/19953/stat : 19953 (java) S 19939 19939 11591 0 -1 1077944384 779 0 0 0 8 0 0 0 20 0 15 0 407950606 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860240226288 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19954] ppid=19939 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19954/stat : 19954 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950606 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860239173984 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19955] ppid=19939 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19955/stat : 19955 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950606 15508242432 10095 33554432000 4194304 4196468 140723706148512 139860238122032 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41832 KiB

[startup+0.313412 s]*
/proc/loadavg: 7.59 8.48 8.15 9/233 19955
/proc/meminfo: memFree=19561424/32770624 swapFree=66952812/67108860
[pid=19939] ppid=19936 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (xcsp3-exec) S 19936 19939 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407950600 115843072 363 33554432000 4194304 5098028 140736623663792 140736623661896 140644869923452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21872640 140736623666042 140736623666285 140736623666285 140736623669194 0
/proc/19939/statm: 28282 363 304 221 0 87 0
[pid=19941] ppid=19939 vsize=15149024 memory=50188 CPUtime=0.54 cores=0,2,4,6
/proc/19941/stat : 19941 (java) S 19939 19939 11591 0 -1 1077944320 10859 0 0 0 50 4 0 0 20 0 15 0 407950600 15512600576 12547 33554432000 4194304 4196468 140723706148512 140723706131056 139860778368759 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
/proc/19941/statm: 3787256 12547 3354 1 0 3748377 0
[pid=19941/tid=19942] ppid=19939 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/19941/task/19942/stat : 19942 (java) R 19939 19939 11591 0 -1 4202560 7810 0 0 0 27 3 0 0 20 0 15 0 407950600 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860782598912 139860762449246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19943] ppid=19939 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19943/stat : 19943 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950601 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860714605072 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19944] ppid=19939 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19944/stat : 19944 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950601 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860713552528 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19945] ppid=19939 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19945/stat : 19945 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950601 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860712499472 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19946] ppid=19939 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19946/stat : 19946 (java) S 19939 19939 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407950601 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860367694224 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19947] ppid=19939 vsize=15149024 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19947/stat : 19947 (java) S 19939 19939 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407950603 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860314233584 139860778379906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19948] ppid=19939 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19948/stat : 19948 (java) S 19939 19939 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407950603 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860313179808 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19949] ppid=19939 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19949/stat : 19949 (java) S 19939 19939 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407950603 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860312126704 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19950] ppid=19939 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19950/stat : 19950 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950606 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860311075280 139860778387355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19951] ppid=19939 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/19941/task/19951/stat : 19951 (java) S 19939 19939 11591 0 -1 1077944384 477 0 0 0 4 0 0 0 20 0 15 0 407950606 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860310022384 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19952] ppid=19939 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19941/task/19952/stat : 19952 (java) S 19939 19939 11591 0 -1 1077944384 334 0 0 0 4 0 0 0 20 0 15 0 407950606 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860241279344 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19953] ppid=19939 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19941/task/19953/stat : 19953 (java) S 19939 19939 11591 0 -1 1077944384 935 0 0 0 12 0 0 0 20 0 15 0 407950606 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860240226288 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19954] ppid=19939 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19954/stat : 19954 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950606 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860239173984 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19955] ppid=19939 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19955/stat : 19955 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950606 15512600576 12547 33554432000 4194304 4196468 140723706148512 139860238122032 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51640 KiB

[startup+0.701442 s]
/proc/loadavg: 7.59 8.48 8.15 10/233 19955
/proc/meminfo: memFree=19539504/32770624 swapFree=66952812/67108860
[pid=19939] ppid=19936 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (xcsp3-exec) S 19936 19939 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407950600 115843072 363 33554432000 4194304 5098028 140736623663792 140736623661896 140644869923452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21872640 140736623666042 140736623666285 140736623666285 140736623669194 0
/proc/19939/statm: 28282 363 304 221 0 87 0
[pid=19941] ppid=19939 vsize=15151148 memory=114620 CPUtime=1.58 cores=0,2,4,6
/proc/19941/stat : 19941 (java) S 19939 19939 11591 0 -1 1077944320 14673 0 0 0 152 6 0 0 20 0 15 0 407950600 15514775552 28655 33554432000 4194304 4196468 140723706148512 140723706131056 139860778368759 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
/proc/19941/statm: 3787787 28655 3451 1 0 3748889 0
[pid=19941/tid=19942] ppid=19939 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/19941/task/19942/stat : 19942 (java) R 19939 19939 11591 0 -1 4202560 8992 0 0 0 63 5 0 0 20 0 15 0 407950600 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860782606904 139860392379510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19943] ppid=19939 vsize=15151148 memory=38044 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19943/stat : 19943 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950601 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860714605072 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19944] ppid=19939 vsize=15151148 memory=992 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19944/stat : 19944 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950601 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860713552528 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19945] ppid=19939 vsize=15151148 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19945/stat : 19945 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950601 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860712499472 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19946] ppid=19939 vsize=15151148 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19946/stat : 19946 (java) S 19939 19939 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407950601 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860367694224 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19947] ppid=19939 vsize=15151148 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19947/stat : 19947 (java) S 19939 19939 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407950603 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860314233584 139860778379906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19948] ppid=19939 vsize=15151148 memory=752 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19948/stat : 19948 (java) S 19939 19939 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407950603 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860313179808 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19949] ppid=19939 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19949/stat : 19949 (java) S 19939 19939 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407950603 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860312126704 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19950] ppid=19939 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19950/stat : 19950 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950606 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860311075280 139860778387355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19951] ppid=19939 vsize=15151148 memory=944 CPUtime=0.27 cores=0,2,4,6
/proc/19941/task/19951/stat : 19951 (java) S 19939 19939 11591 0 -1 1077944384 1171 0 0 0 27 0 0 0 20 0 15 0 407950606 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860310022384 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19952] ppid=19939 vsize=15151148 memory=4004 CPUtime=0.28 cores=0,2,4,6
/proc/19941/task/19952/stat : 19952 (java) R 19939 19939 11591 0 -1 4202560 1467 0 0 0 28 0 0 0 20 0 15 0 407950606 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860241279264 139860761779560 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19953] ppid=19939 vsize=15151148 memory=780 CPUtime=0.33 cores=0,2,4,6
/proc/19941/task/19953/stat : 19953 (java) S 19939 19939 11591 0 -1 1077944384 1737 0 0 0 33 0 0 0 20 0 15 0 407950606 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860240226288 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19954] ppid=19939 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19954/stat : 19954 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950606 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860239173984 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19955] ppid=19939 vsize=15151148 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19955/stat : 19955 (java) S 19939 19939 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950606 15514775552 28655 33554432000 4194304 4196468 140723706148512 139860238122032 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 116072 KiB

[startup+1.50244 s]
/proc/loadavg: 7.59 8.48 8.15 5/221 19978
/proc/meminfo: memFree=25414680/32770624 swapFree=66952812/67108860
[pid=19939] ppid=19936 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (xcsp3-exec) S 19936 19939 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407950600 115843072 363 33554432000 4194304 5098028 140736623663792 140736623661896 140644869923452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21872640 140736623666042 140736623666285 140736623666285 140736623669194 0
/proc/19939/statm: 28282 363 304 221 0 87 0

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

/proc/19941/task/19950/stat : 19950 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407950606 15787421696 416128 33554432000 4194304 4196468 140723706148512 139860311075280 139860778387355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19951] ppid=19939 vsize=15417404 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/19941/task/19951/stat : 19951 (java) S 19939 19939 11591 0 -1 1077944384 3257 0 0 0 117 1 0 0 20 0 19 0 407950606 15787421696 416128 33554432000 4194304 4196468 140723706148512 139860310022384 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19952] ppid=19939 vsize=15417404 memory=140385502614943 CPUtime=1.17 cores=0,2,4,6
/proc/19941/task/19952/stat : 19952 (java) S 19939 19939 11591 0 -1 1077944384 2598 0 0 0 117 0 0 0 20 0 19 0 407950606 15787421696 416128 33554432000 4194304 4196468 140723706148512 139860241279344 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19953] ppid=19939 vsize=15417404 memory=280771121075952 CPUtime=0.56 cores=0,2,4,6
/proc/19941/task/19953/stat : 19953 (java) S 19939 19939 11591 0 -1 1077944384 2613 0 0 0 55 1 0 0 20 0 19 0 407950606 15787421696 416128 33554432000 4194304 4196468 140723706148512 139860240226288 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19954] ppid=19939 vsize=15417404 memory=140385502619519 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19954/stat : 19954 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407950606 15787421696 416128 33554432000 4194304 4196468 140723706148512 139860239173984 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19955] ppid=19939 vsize=15417404 memory=280771121080560 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19955/stat : 19955 (java) S 19939 19939 11591 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 19 0 407950606 15787421696 416128 33554432000 4194304 4196468 140723706148512 139860238122032 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=20035] ppid=19939 vsize=15417404 memory=67 CPUtime=4.49 cores=0,2,4,6
/proc/19941/task/20035/stat : 20035 (java) R 19939 19939 11591 0 -1 4202560 4324 0 0 0 449 0 0 0 20 0 19 0 407950938 15787421696 416128 33554432000 4194304 4196468 140723706148512 139860229147904 139860398629364 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=20036] ppid=19939 vsize=15417404 memory=280771121085168 CPUtime=4.64 cores=0,2,4,6
/proc/19941/task/20036/stat : 20036 (java) R 19939 19939 11591 0 -1 4202560 1426 0 0 0 464 0 0 0 20 0 19 0 407950938 15787421696 416128 33554432000 4194304 4196468 140723706148512 139860228095856 139860398629357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=20037] ppid=19939 vsize=15417404 memory=140385502628735 CPUtime=4.67 cores=0,2,4,6
/proc/19941/task/20037/stat : 20037 (java) R 19939 19939 11591 0 -1 4202560 747 0 0 0 467 0 0 0 20 0 19 0 407950938 15787421696 416128 33554432000 4194304 4196468 140723706148512 139860227043560 139860398662537 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=20038] ppid=19939 vsize=15417404 memory=5792593759218581601 CPUtime=4.57 cores=0,2,4,6
/proc/19941/task/20038/stat : 20038 (java) R 19939 19939 11591 0 -1 4202560 305 0 0 0 457 0 0 0 20 0 19 0 407950938 15787421696 416128 33554432000 4194304 4196468 140723706148512 139860225990504 139860398629357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
Current children cumulated CPU time: 28.56 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1665964 KiB

[startup+9.80096 s]
/proc/loadavg: 7.14 8.37 8.11 8/233 20204
/proc/meminfo: memFree=23937312/32770624 swapFree=66952812/67108860
[pid=19939] ppid=19936 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (xcsp3-exec) S 19936 19939 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407950600 115843072 363 33554432000 4194304 5098028 140736623663792 140736623661896 140644869923452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21872640 140736623666042 140736623666285 140736623666285 140736623669194 0
/proc/19939/statm: 28282 363 304 221 0 87 0
[pid=19941] ppid=19939 vsize=15417404 memory=1666208 CPUtime=33.69 cores=0,2,4,6
/proc/19941/stat : 19941 (java) S 19939 19939 11591 0 -1 1077944320 61963 0 0 0 3220 149 0 0 20 0 19 0 407950600 15787421696 416552 33554432000 4194304 4196468 140723706148512 140723706131056 139860778368759 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
/proc/19941/statm: 3854351 416552 3515 1 0 3815453 0
[pid=19941/tid=19942] ppid=19939 vsize=15417404 memory=2273 CPUtime=1.98 cores=0,2,4,6
/proc/19941/task/19942/stat : 19942 (java) S 19939 19939 11591 0 -1 1077944384 9701 0 0 0 186 12 0 0 20 0 19 0 407950600 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860782609536 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19943] ppid=19939 vsize=15417404 memory=2244 CPUtime=1.27 cores=0,2,4,6
/proc/19941/task/19943/stat : 19943 (java) S 19939 19939 11591 0 -1 1077944384 7308 0 0 0 96 31 0 0 20 0 19 0 407950601 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860714605072 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19944] ppid=19939 vsize=15417404 memory=6935649255759568960 CPUtime=1.3 cores=0,2,4,6
/proc/19941/task/19944/stat : 19944 (java) S 19939 19939 11591 0 -1 1077944384 6290 0 0 0 97 33 0 0 20 0 19 0 407950601 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860713552528 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19945] ppid=19939 vsize=15417404 memory=3053511329498284128 CPUtime=1.28 cores=0,2,4,6
/proc/19941/task/19945/stat : 19945 (java) S 19939 19939 11591 0 -1 1077944384 6065 0 0 0 95 33 0 0 20 0 19 0 407950601 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860712499472 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19946] ppid=19939 vsize=15417404 memory=8388926882097820299 CPUtime=1.32 cores=0,2,4,6
/proc/19941/task/19946/stat : 19946 (java) S 19939 19939 11591 0 -1 1077944384 6906 0 0 0 98 34 0 0 20 0 19 0 407950601 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860367694224 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19947] ppid=19939 vsize=15417404 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/19941/task/19947/stat : 19947 (java) S 19939 19939 11591 0 -1 1077944384 1585 0 0 0 3 0 0 0 20 0 19 0 407950603 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860314233584 139860778379906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19948] ppid=19939 vsize=15417404 memory=1663240 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19948/stat : 19948 (java) S 19939 19939 11591 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 407950603 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860313179872 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19949] ppid=19939 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19949/stat : 19949 (java) S 19939 19939 11591 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407950603 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860312126720 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19950] ppid=19939 vsize=15417404 memory=8387223549236478041 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19950/stat : 19950 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407950606 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860311075280 139860778387355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19951] ppid=19939 vsize=15417404 memory=288289956844274555 CPUtime=1.44 cores=0,2,4,6
/proc/19941/task/19951/stat : 19951 (java) S 19939 19939 11591 0 -1 1077944384 3812 0 0 0 143 1 0 0 20 0 19 0 407950606 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860310022384 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19952] ppid=19939 vsize=15417404 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/19941/task/19952/stat : 19952 (java) S 19939 19939 11591 0 -1 1077944384 2999 0 0 0 144 0 0 0 20 0 19 0 407950606 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860241279344 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19953] ppid=19939 vsize=15417404 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/19941/task/19953/stat : 19953 (java) S 19939 19939 11591 0 -1 1077944384 3006 0 0 0 58 1 0 0 20 0 19 0 407950606 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860240226288 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19954] ppid=19939 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19954/stat : 19954 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407950606 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860239173984 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19955] ppid=19939 vsize=15417404 memory=1666208 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19955/stat : 19955 (java) S 19939 19939 11591 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 19 0 407950606 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860238122032 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=20035] ppid=19939 vsize=15417404 memory=1664096 CPUtime=5.14 cores=0,2,4,6
/proc/19941/task/20035/stat : 20035 (java) S 19939 19939 11591 0 -1 1077944384 8116 0 0 0 514 0 0 0 20 0 19 0 407950938 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860229152960 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=20036] ppid=19939 vsize=15417404 memory=1237816 CPUtime=5.54 cores=0,2,4,6
/proc/19941/task/20036/stat : 20036 (java) S 19939 19939 11591 0 -1 1077944384 1936 0 0 0 554 0 0 0 20 0 19 0 407950938 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860228101328 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=20037] ppid=19939 vsize=15417404 memory=0 CPUtime=6.13 cores=0,2,4,6
/proc/19941/task/20037/stat : 20037 (java) R 19939 19939 11591 0 -1 4202560 1896 0 0 0 613 0 0 0 20 0 19 0 407950938 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860227043560 139860399150073 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=20038] ppid=19939 vsize=15417404 memory=0 CPUtime=6.14 cores=0,2,4,6
/proc/19941/task/20038/stat : 20038 (java) R 19939 19939 11591 0 -1 4202560 590 0 0 0 614 0 0 0 20 0 19 0 407950938 15787421696 416552 33554432000 4194304 4196468 140723706148512 139860225991048 139860399025682 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
Current children cumulated CPU time: 33.69 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1667660 KiB

[startup+10.2015 s]*
/proc/loadavg: 6.73 8.26 8.08 8/233 20204
/proc/meminfo: memFree=23557332/32770624 swapFree=66952812/67108860
[pid=19939] ppid=19936 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (xcsp3-exec) S 19936 19939 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407950600 115843072 363 33554432000 4194304 5098028 140736623663792 140736623661896 140644869923452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21872640 140736623666042 140736623666285 140736623666285 140736623669194 0
/proc/19939/statm: 28282 363 304 221 0 87 0
[pid=19941] ppid=19939 vsize=15417404 memory=1666384 CPUtime=34.63 cores=0,2,4,6
/proc/19941/stat : 19941 (java) S 19939 19939 11591 0 -1 1077944320 65116 0 0 0 3313 150 0 0 20 0 19 0 407950600 15787421696 416596 33554432000 4194304 4196468 140723706148512 140723706131056 139860778368759 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
/proc/19941/statm: 3854351 416596 3515 1 0 3815453 0
[pid=19941/tid=19942] ppid=19939 vsize=15417404 memory=8317482817917895235 CPUtime=1.98 cores=0,2,4,6
/proc/19941/task/19942/stat : 19942 (java) S 19939 19939 11591 0 -1 1077944384 9701 0 0 0 186 12 0 0 20 0 19 0 407950600 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860782609536 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19943] ppid=19939 vsize=15417404 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/19941/task/19943/stat : 19943 (java) S 19939 19939 11591 0 -1 1077944384 7308 0 0 0 96 31 0 0 20 0 19 0 407950601 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860714605072 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19944] ppid=19939 vsize=15417404 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/19941/task/19944/stat : 19944 (java) S 19939 19939 11591 0 -1 1077944384 6290 0 0 0 97 33 0 0 20 0 19 0 407950601 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860713552528 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19945] ppid=19939 vsize=15417404 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/19941/task/19945/stat : 19945 (java) S 19939 19939 11591 0 -1 1077944384 6065 0 0 0 95 33 0 0 20 0 19 0 407950601 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860712499472 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19946] ppid=19939 vsize=15417404 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/19941/task/19946/stat : 19946 (java) S 19939 19939 11591 0 -1 1077944384 6906 0 0 0 98 34 0 0 20 0 19 0 407950601 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860367694224 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19947] ppid=19939 vsize=15417404 memory=3472328296227680303 CPUtime=0.03 cores=0,2,4,6
/proc/19941/task/19947/stat : 19947 (java) S 19939 19939 11591 0 -1 1077944384 1589 0 0 0 3 0 0 0 20 0 19 0 407950603 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860314233584 139860778379906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19948] ppid=19939 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19948/stat : 19948 (java) S 19939 19939 11591 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 407950603 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860313179872 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19949] ppid=19939 vsize=15417404 memory=1666208 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19949/stat : 19949 (java) S 19939 19939 11591 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407950603 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860312126720 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19950] ppid=19939 vsize=15417404 memory=1314 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19950/stat : 19950 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407950606 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860311075280 139860778387355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19951] ppid=19939 vsize=15417404 memory=26987 CPUtime=1.5 cores=0,2,4,6
/proc/19941/task/19951/stat : 19951 (java) R 19939 19939 11591 0 -1 4202560 5426 0 0 0 149 1 0 0 20 0 19 0 407950606 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860310009248 139860770658092 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19952] ppid=19939 vsize=15417404 memory=0 CPUtime=1.49 cores=0,2,4,6
/proc/19941/task/19952/stat : 19952 (java) R 19939 19939 11591 0 -1 4202560 4175 0 0 0 149 0 0 0 20 0 19 0 407950606 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860241270784 139860761753497 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19953] ppid=19939 vsize=15417404 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/19941/task/19953/stat : 19953 (java) S 19939 19939 11591 0 -1 1077944384 3077 0 0 0 58 1 0 0 20 0 19 0 407950606 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860240226288 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19954] ppid=19939 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19954/stat : 19954 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407950606 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860239173984 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19955] ppid=19939 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19955/stat : 19955 (java) S 19939 19939 11591 0 -1 1077944384 551 0 0 0 0 0 0 0 20 0 19 0 407950606 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860238122032 139860778379906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=20035] ppid=19939 vsize=15417404 memory=0 CPUtime=5.14 cores=0,2,4,6
/proc/19941/task/20035/stat : 20035 (java) S 19939 19939 11591 0 -1 1077944384 8116 0 0 0 514 0 0 0 20 0 19 0 407950938 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860229152960 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=20036] ppid=19939 vsize=15417404 memory=3472592183261933599 CPUtime=5.54 cores=0,2,4,6
/proc/19941/task/20036/stat : 20036 (java) S 19939 19939 11591 0 -1 1077944384 1936 0 0 0 554 0 0 0 20 0 19 0 407950938 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860228101328 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=20037] ppid=19939 vsize=15417404 memory=2319975260707959839 CPUtime=6.54 cores=0,2,4,6
/proc/19941/task/20037/stat : 20037 (java) R 19939 19939 11591 0 -1 4202560 1918 0 0 0 654 0 0 0 20 0 19 0 407950938 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860227043560 139860399025435 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=20038] ppid=19939 vsize=15417404 memory=0 CPUtime=6.54 cores=0,2,4,6
/proc/19941/task/20038/stat : 20038 (java) R 19939 19939 11591 0 -1 4202560 768 0 0 0 654 0 0 0 20 0 19 0 407950938 15787421696 416596 33554432000 4194304 4196468 140723706148512 139860225990480 139860399149978 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
Current children cumulated CPU time: 34.63 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1667836 KiB

[startup+10.4009 s]
/proc/loadavg: 6.73 8.26 8.08 8/233 20204
/proc/meminfo: memFree=23557332/32770624 swapFree=66952812/67108860
[pid=19939] ppid=19936 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (xcsp3-exec) S 19936 19939 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407950600 115843072 363 33554432000 4194304 5098028 140736623663792 140736623661896 140644869923452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21872640 140736623666042 140736623666285 140736623666285 140736623669194 0
/proc/19939/statm: 28282 363 304 221 0 87 0
[pid=19941] ppid=19939 vsize=15417404 memory=1666268 CPUtime=35.11 cores=0,2,4,6
/proc/19941/stat : 19941 (java) S 19939 19939 11591 0 -1 1077944320 66480 0 0 0 3361 150 0 0 20 0 14 0 407950600 15787421696 416567 33554432000 4194304 4196468 140723706148512 140723706131056 139860778368759 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
/proc/19941/statm: 3854351 416567 3517 1 0 3815453 0
[pid=19941/tid=19942] ppid=19939 vsize=15417404 memory=3761967155378402146 CPUtime=1.99 cores=0,2,4,6
/proc/19941/task/19942/stat : 19942 (java) S 19939 19939 11591 0 -1 1077944384 10436 0 0 0 187 12 0 0 20 0 14 0 407950600 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860782611600 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19943] ppid=19939 vsize=15417404 memory=6934210400603905556 CPUtime=1.27 cores=0,2,4,6
/proc/19941/task/19943/stat : 19943 (java) S 19939 19939 11591 0 -1 1077944384 7308 0 0 0 96 31 0 0 20 0 14 0 407950601 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860714605072 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19944] ppid=19939 vsize=15417404 memory=-7812193691855986592 CPUtime=1.3 cores=0,2,4,6
/proc/19941/task/19944/stat : 19944 (java) S 19939 19939 11591 0 -1 1077944384 6290 0 0 0 97 33 0 0 20 0 14 0 407950601 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860713552528 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19945] ppid=19939 vsize=15417404 memory=7733050341046900309 CPUtime=1.28 cores=0,2,4,6
/proc/19941/task/19945/stat : 19945 (java) S 19939 19939 11591 0 -1 1077944384 6065 0 0 0 95 33 0 0 20 0 14 0 407950601 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860712499472 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19946] ppid=19939 vsize=15417404 memory=5450916479880885802 CPUtime=1.32 cores=0,2,4,6
/proc/19941/task/19946/stat : 19946 (java) S 19939 19939 11591 0 -1 1077944384 6906 0 0 0 98 34 0 0 20 0 14 0 407950601 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860367694224 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19947] ppid=19939 vsize=15417404 memory=8508281403248052365 CPUtime=0.03 cores=0,2,4,6
/proc/19941/task/19947/stat : 19947 (java) S 19939 19939 11591 0 -1 1077944384 1604 0 0 0 3 0 0 0 20 0 14 0 407950603 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860314233792 139860778379906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19948] ppid=19939 vsize=15417404 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19948/stat : 19948 (java) S 19939 19939 11591 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 14 0 407950603 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860313179872 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19949] ppid=19939 vsize=15417404 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19949/stat : 19949 (java) S 19939 19939 11591 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 14 0 407950603 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860312126720 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19950] ppid=19939 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19950/stat : 19950 (java) S 19939 19939 11591 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 407950606 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860311074928 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19951] ppid=19939 vsize=15417404 memory=-7750001083477550754 CPUtime=1.55 cores=0,2,4,6
/proc/19941/task/19951/stat : 19951 (java) S 19939 19939 11591 0 -1 1077944384 5509 0 0 0 154 1 0 0 20 0 14 0 407950606 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860310001968 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19952] ppid=19939 vsize=15417404 memory=-7304969851821656949 CPUtime=1.54 cores=0,2,4,6
/proc/19941/task/19952/stat : 19952 (java) S 19939 19939 11591 0 -1 1077944384 4321 0 0 0 154 0 0 0 20 0 14 0 407950606 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860241259744 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19953] ppid=19939 vsize=15417404 memory=-6526411401870300574 CPUtime=0.6 cores=0,2,4,6
/proc/19941/task/19953/stat : 19953 (java) S 19939 19939 11591 0 -1 1077944384 3171 0 0 0 59 1 0 0 20 0 14 0 407950606 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860240222160 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
[pid=19941/tid=19954] ppid=19939 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19941/task/19954/stat : 19954 (java) S 19939 19939 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 407950606 15787421696 416567 33554432000 4194304 4196468 140723706148512 139860239173984 139860778378965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140723706151919 140723706152090 140723706152090 140723706154959 0
Current children cumulated CPU time: 35.11 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1667720 KiB

Child status: 0
Real time (s): 10.425
CPU time (s): 35.1353
CPU user time (s): 33.615
CPU system time (s): 1.52031
CPU usage (%): 337.027
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 1667836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.615
system time used= 1.52031
maximum resident set size= 1666672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2984
involuntary context switches= 724


# summary of solver processes directly reported to runsolver:
#   pid: 19939
#   total CPU time (s): 35.1353
#   total CPU user time (s): 33.615
#   total CPU system time (s): 1.52031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.093364 second user time and 0.150119 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-12 22:27:24
IDJOB=4393010
IDBENCH=131451
IDSOLVER=2840
FILE ID=node117/4393010-1568320087
RUNJOBID= node117-1568312851-11622
PBS_JOBID= 21701132
Free space on /tmp= 58892 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-m4D/Subisomorphism-si2-m4Dr6-m1296-04.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393010-1568320087/watcher-4393010-1568320087 -o /tmp/evaluation-result-4393010-1568320087/solver-4393010-1568320087 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1796168784 HOME/instance-4393010-1568320087.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2d28027fc76d6f94be685cc66f299382
RANDOM SEED=1796168784

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/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	: 4
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.75
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	: 4
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.75
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	: 4
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.75
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	: 4
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.75
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	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19597820 kB
MemAvailable:   25609580 kB
Buffers:          153572 kB
Cached:          6107800 kB
SwapCached:        52484 kB
Active:          7574712 kB
Inactive:        4939384 kB
Active(anon):    6200852 kB
Inactive(anon):    93852 kB
Active(file):    1373860 kB
Inactive(file):  4845532 kB
Unevictable:      107732 kB
Mlocked:          107732 kB
SwapTotal:      67108860 kB
SwapFree:       66952812 kB
Dirty:             26272 kB
Writeback:             0 kB
AnonPages:       6309096 kB
Mapped:            56456 kB
Shmem:             32816 kB
Slab:             245384 kB
SReclaimable:     216404 kB
SUnreclaim:        28980 kB
KernelStack:        4096 kB
PageTables:        17660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9051320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6119424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 58868 MiB
End job on node117 at 2019-09-12 22:27:35