Trace number 3731285

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)-24 1800.02 1794.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
MD5SUM7f40f8d513f22fc9adca96d8fdf626e2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -24
Optimality of the best value was proved NO
Number of variables1835
Total number of constraints2112
Number of constraints which are clauses1906
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint3
Maximum length of a constraint882
Number of terms in the objective function 120
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 120
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.04/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.04/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.04/0.09	c no version file found!!!
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version	1.6.0_24
0.04/0.09	c os.name	Linux
0.04/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch	amd64
0.04/0.09	c Free memory 1599470296
0.04/0.09	c Max memory 1607860224
0.04/0.09	c Total memory 1607860224
0.04/0.09	c Number of processors 8
0.07/0.11	--- Begin Solver configuration ---
0.07/0.11	c Stops conflict analysis at the first Unique Implication Point
0.07/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.11	c No reason simplification
0.07/0.11	c --- End Solver configuration ---
0.07/0.11	c solving HOME/instance-3731285-1338684646.opb
0.07/0.11	c reading problem ... 
0.76/0.40	c ... done. Wall clock time 0.287s.
0.76/0.40	c CPU time (experimental) 0.36s.
0.76/0.40	c #vars     1835
0.76/0.40	c #constraints  2149
1.07/0.53	c SATISFIABLE
1.07/0.53	c OPTIMIZING...
1.07/0.53	c Got one! Elapsed wall clock time (in seconds):0.417
1.07/0.53	o -12
1.37/0.61	c Got one! Elapsed wall clock time (in seconds):0.501
1.37/0.61	o -13
1.37/0.63	c Got one! Elapsed wall clock time (in seconds):0.519
1.37/0.63	o -14
1.37/0.66	c Got one! Elapsed wall clock time (in seconds):0.549
1.37/0.66	o -15
1.50/0.70	c Got one! Elapsed wall clock time (in seconds):0.587
1.50/0.70	o -16
1.50/0.71	c Got one! Elapsed wall clock time (in seconds):0.602
1.50/0.71	o -17
1.65/0.85	c Got one! Elapsed wall clock time (in seconds):0.735
1.65/0.85	o -18
1.86/1.02	c Got one! Elapsed wall clock time (in seconds):0.905
1.86/1.02	o -19
2.18/1.38	c Got one! Elapsed wall clock time (in seconds):1.267
2.18/1.38	o -20
2.38/1.55	c Got one! Elapsed wall clock time (in seconds):1.441
2.38/1.55	o -21
10.89/10.05	c Got one! Elapsed wall clock time (in seconds):9.943
10.89/10.05	o -22
17.59/16.72	c Got one! Elapsed wall clock time (in seconds):16.613
17.59/16.72	o -23
1022.37/1018.76	c cleaning 374778 clauses out of 749803 for limit 0.8380781539009736
1027.69/1024.03	c cleaning 187707 clauses out of 375523 for limit 2.754114650715303
1028.69/1025.09	c cleaning 94076 clauses out of 188316 for limit 9.057059555429968
1029.29/1025.61	c cleaning 47098 clauses out of 94740 for limit 29.689094420139725
1029.49/1025.86	c cleaning 23795 clauses out of 48143 for limit 96.44674619395164
1029.69/1026.07	c cleaning 12149 clauses out of 24850 for limit 308.7587311818063
1029.79/1026.17	c cleaning 6293 clauses out of 13198 for limit 955.8502724852864
1029.90/1026.23	c cleaning 3399 clauses out of 7405 for limit 2809.498577065008
1029.90/1026.30	c cleaning 1940 clauses out of 4506 for limit 7614.100045864994
1030.00/1026.36	c cleaning 1212 clauses out of 3069 for limit 18491.506744274033
1030.09/1026.41	c cleaning 850 clauses out of 2354 for limit 39638.305620157225
1030.09/1026.46	c cleaning 980 clauses out of 2005 for limit 76824.11433138192
1030.19/1026.51	c cleaning 428 clauses out of 1524 for limit 166513.077438725
1030.19/1026.57	c cleaning 474 clauses out of 1597 for limit 262312.3855202492
1030.29/1026.61	c cleaning 484 clauses out of 1622 for limit 425494.7819778885
1030.29/1026.65	c cleaning 515 clauses out of 1642 for limit 695930.4989067285
1030.29/1026.68	c cleaning 580 clauses out of 1623 for limit 1156480.5752877716
1030.39/1026.74	c cleaning 756 clauses out of 1545 for limit 2007489.5313799775
1030.39/1026.78	c cleaning 629 clauses out of 1289 for limit 3968119.50142218
1030.49/1026.83	c cleaning 251 clauses out of 1158 for limit 7269691.210693974
1030.49/1026.87	c cleaning 676 clauses out of 1407 for limit 9867026.918408561
1030.59/1026.90	c cleaning 522 clauses out of 1232 for limit 1.8602019761329345E7
1030.59/1026.93	c cleaning 377 clauses out of 1209 for limit 3.1229561308539808E7
1030.59/1026.97	c cleaning 344 clauses out of 1332 for limit 4.674593454671441E7
1030.69/1027.00	c cleaning 419 clauses out of 1491 for limit 6.907642459707117E7
1030.69/1027.03	c cleaning 461 clauses out of 1569 for limit 1.0792868903615019E8
1030.69/1027.07	c cleaning 471 clauses out of 1609 for limit 1.737377529258128E8
1030.69/1027.09	c cleaning 491 clauses out of 1637 for limit 2.8133446580195856E8
1030.79/1027.12	c cleaning 495 clauses out of 1646 for limit 4.614213395367929E8
1030.79/1027.15	c cleaning 489 clauses out of 1651 for limit 7.586410178993143E8
1030.79/1027.18	c cleaning 801 clauses out of 1663 for limit 1.2433160588282099E9
1030.89/1027.21	c cleaning 656 clauses out of 1362 for limit 2.5035286844528427E9
1030.89/1027.25	c cleaning 569 clauses out of 1206 for limit 4.662708426366092E9
1030.89/1027.27	c cleaning 516 clauses out of 1140 for limit 8.159060196680743E9
1030.89/1027.30	c cleaning 530 clauses out of 1122 for limit 1.3643914687636026E10
1031.00/1027.32	c cleaning 461 clauses out of 1091 for limit 2.311684051421078E10
1031.00/1027.35	c cleaning 457 clauses out of 1129 for limit 3.680278297542811E10
1031.00/1027.38	c cleaning 512 clauses out of 1173 for limit 5.847456359095777E10
1031.00/1027.40	c cleaning 561 clauses out of 1160 for limit 9.741557254692947E10
1031.10/1027.43	c cleaning 520 clauses out of 1100 for limit 1.695836936357764E11
1031.10/1027.46	c cleaning 482 clauses out of 1079 for limit 2.8482408176053845E11
1031.10/1027.49	c cleaning 520 clauses out of 1097 for limit 4.62005781226759E11
1031.19/1027.52	c cleaning 467 clauses out of 1077 for limit 7.760580735188773E11
1031.19/1027.55	c cleaning 530 clauses out of 1110 for limit 1.2417747732170986E12
1031.19/1027.59	c cleaning 460 clauses out of 1082 for limit 2.1050550681017024E12
1031.29/1027.62	c cleaning 467 clauses out of 1120 for limit 3.347029676050307E12
1031.29/1027.65	c cleaning 559 clauses out of 1154 for limit 5.362436662518205E12
1031.29/1027.68	c cleaning 528 clauses out of 1095 for limit 9.319867805225453E12
1031.39/1027.72	c cleaning 455 clauses out of 1066 for limit 1.5772046252654588E13
1031.39/1027.75	c cleaning 451 clauses out of 1112 for limit 2.4959211329642223E13
1031.39/1027.79	c cleaning 473 clauses out of 1160 for limit 3.941840356473072E13
1031.49/1027.83	c cleaning 511 clauses out of 1191 for limit 6.35680945002128E13
1031.49/1027.88	c cleaning 575 clauses out of 1176 for limit 1.0574539723617497E14
1031.59/1027.92	c cleaning 456 clauses out of 1101 for limit 1.8626761883426016E14
1031.59/1027.95	c cleaning 483 clauses out of 1145 for limit 2.953759164237745E14
1031.59/1027.98	c cleaning 562 clauses out of 1163 for limit 4.800552822741242E14
1031.69/1028.01	c cleaning 519 clauses out of 1100 for limit 8.361797725186642E14
1031.69/1028.03	c cleaning 508 clauses out of 1081 for limit 1.403209563101891E15
1031.69/1028.07	c cleaning 467 clauses out of 1074 for limit 2.3314942417886155E15
1031.69/1028.10	c cleaning 535 clauses out of 1106 for limit 3.729966032189138E-5
1031.81/1028.13	c cleaning 506 clauses out of 1071 for limit 6.352233004806122E-5
1031.81/1028.15	c cleaning 516 clauses out of 1065 for limit 1.0534699938278495E-4
1031.81/1028.19	c cleaning 492 clauses out of 1049 for limit 1.7638115274548396E-4
1031.91/1028.23	c cleaning 510 clauses out of 1057 for limit 2.886745945556606E-4
1031.91/1028.27	c cleaning 472 clauses out of 1051 for limit 4.8070071699121675E-4
1031.91/1028.29	c cleaning 488 clauses out of 1075 for limit 7.719458941169778E-4
1032.01/1028.32	c cleaning 479 clauses out of 1087 for limit 0.0012589882264107952
1032.01/1028.35	c cleaning 476 clauses out of 1108 for limit 0.002036888890464105
1032.01/1028.37	c cleaning 495 clauses out of 1134 for limit 0.003288659847357266
1032.12/1028.40	c cleaning 493 clauses out of 1138 for limit 0.005398972602228582
1032.12/1028.44	c cleaning 502 clauses out of 1145 for limit 0.008849195421940244
1032.12/1028.46	c cleaning 496 clauses out of 1142 for limit 0.014617211939783218
1032.12/1028.50	c cleaning 510 clauses out of 1149 for limit 0.02403090029490089
1032.22/1028.52	c cleaning 485 clauses out of 1137 for limit 0.03996837293443397
1032.22/1028.56	c cleaning 509 clauses out of 1151 for limit 0.06504635803399644
1032.22/1028.58	c cleaning 492 clauses out of 1142 for limit 0.10811553258487326
1032.31/1028.61	c cleaning 484 clauses out of 1150 for limit 0.1770566498754203
1032.31/1028.66	c cleaning 477 clauses out of 1166 for limit 0.2879833766195016
1032.31/1028.69	c cleaning 519 clauses out of 1192 for limit 0.4659605367606161
1032.41/1028.72	c cleaning 498 clauses out of 1172 for limit 0.7807628772189279
1032.41/1028.74	c cleaning 510 clauses out of 1172 for limit 1.2850085558392534
1032.41/1028.77	c cleaning 471 clauses out of 1162 for limit 2.1373881138959376
1032.41/1028.79	c cleaning 508 clauses out of 1191 for limit 3.4390116220542173
1032.51/1028.82	c cleaning 480 clauses out of 1183 for limit 5.709742824147108
1032.51/1028.84	c cleaning 490 clauses out of 1203 for limit 9.259585617207726
1032.51/1028.87	c cleaning 488 clauses out of 1213 for limit 15.144406740146094
1032.51/1028.90	c cleaning 487 clauses out of 1225 for limit 24.73049813995664
1032.61/1028.92	c cleaning 497 clauses out of 1238 for limit 40.35563592815774
1032.61/1028.95	c cleaning 485 clauses out of 1246 for limit 66.45616008079278
1032.61/1028.98	c cleaning 481 clauses out of 1256 for limit 108.1799993895954
1032.71/1029.02	c cleaning 489 clauses out of 1277 for limit 175.82095203839978
1032.71/1029.05	c cleaning 530 clauses out of 1286 for limit 287.3474976697534
1032.71/1029.07	c cleaning 482 clauses out of 1256 for limit 485.1931219051421
1032.81/1029.10	c cleaning 528 clauses out of 1274 for limit 788.8432870417577
1032.81/1029.13	c cleaning 495 clauses out of 1246 for limit 1330.142000008884
1032.81/1029.16	c cleaning 487 clauses out of 1252 for limit 2185.2549819227675
1032.81/1029.18	c cleaning 462 clauses out of 1265 for limit 3566.742932665402
1032.91/1029.22	c cleaning 486 clauses out of 1302 for limit 5709.166724820022
1032.91/1029.25	c cleaning 489 clauses out of 1316 for limit 9315.018201847122
1032.91/1029.28	c cleaning 490 clauses out of 1328 for limit 15238.13865136489
1033.01/1029.32	c cleaning 502 clauses out of 1338 for limit 24941.913543784354
1033.01/1029.35	c cleaning 496 clauses out of 1336 for limit 41194.12778000007
1033.01/1029.39	c cleaning 485 clauses out of 1340 for limit 67731.83762802336
1033.11/1029.42	c cleaning 500 clauses out of 1354 for limit 110433.38080004067
1033.11/1029.45	c cleaning 499 clauses out of 1354 for limit 182119.41845264187
1033.11/1029.48	c cleaning 535 clauses out of 1360 for limit 300513.825264762
1033.22/1029.51	c cleaning 529 clauses out of 1320 for limit 508057.3773436024
1033.22/1029.54	c cleaning 510 clauses out of 1291 for limit 856675.482695762
1033.22/1029.56	c cleaning 502 clauses out of 1282 for limit 1424114.6491067554
1033.22/1029.59	c cleaning 511 clauses out of 1279 for limit 2351710.2375400546
1033.32/1029.61	c cleaning 623 clauses out of 1269 for limit 3912759.2870147517
1033.32/1029.63	c cleaning 556 clauses out of 1145 for limit 7144315.769792116
1033.32/1029.66	c cleaning 503 clauses out of 1090 for limit 1.2388822455171078E7
1033.32/1029.68	c cleaning 436 clauses out of 1087 for limit 2.0487212398709774E7
1033.41/1029.71	c cleaning 559 clauses out of 1151 for limit 3.190751465821078E7
1033.41/1029.73	c cleaning 452 clauses out of 1091 for limit 5.545809223271899E7
1033.41/1029.76	c cleaning 545 clauses out of 1139 for limit 8.7603576943439E7
1033.41/1029.78	c cleaning 441 clauses out of 1096 for limit 1.504388204937102E8
1033.51/1029.81	c cleaning 436 clauses out of 1153 for limit 2.3535749335991502E8
1033.51/1029.83	c cleaning 454 clauses out of 1217 for limit 3.677245677123252E8
1033.51/1029.86	c cleaning 595 clauses out of 1263 for limit 5.84340194502946E8
1033.51/1029.89	c cleaning 454 clauses out of 1169 for limit 1.0421854338862588E9
1033.61/1029.92	c cleaning 468 clauses out of 1214 for limit 1.6533400976697063E9
1033.61/1029.94	c cleaning 480 clauses out of 1249 for limit 2.6581401132206917E9
1033.61/1029.97	c cleaning 488 clauses out of 1268 for limit 4.313625415677124E9
1033.71/1030.00	c cleaning 501 clauses out of 1278 for limit 7.043973161116982E9
1033.71/1030.03	c cleaning 620 clauses out of 1277 for limit 1.162555074362577E10
1033.71/1030.06	c cleaning 538 clauses out of 1157 for limit 2.1160550480065098E10
1033.71/1030.09	c cleaning 418 clauses out of 1119 for limit 3.608162768693937E10
1033.81/1030.12	c cleaning 586 clauses out of 1202 for limit 5.545007507918517E10
1033.81/1030.15	c cleaning 543 clauses out of 1115 for limit 9.848115060532085E10
1033.81/1030.18	c cleaning 411 clauses out of 1072 for limit 1.689231156638914E11
1033.91/1030.21	c cleaning 416 clauses out of 1161 for limit 2.5722165943306125E11
1033.91/1030.23	c cleaning 456 clauses out of 1245 for limit 3.955726812325187E11
1033.91/1030.27	c cleaning 497 clauses out of 1292 for limit 6.3051083067527E11
1034.01/1030.30	c cleaning 639 clauses out of 1292 for limit 1.0366804362396855E12
1034.01/1030.33	c cleaning 465 clauses out of 1154 for limit 1.9159845663609788E12
1034.01/1030.35	c cleaning 573 clauses out of 1189 for limit 3.0667039151267744E12
1034.01/1030.38	c cleaning 518 clauses out of 1115 for limit 5.387660363344629E12
1034.11/1030.40	c cleaning 474 clauses out of 1097 for limit 9.030760753438805E12
1034.11/1030.43	c cleaning 435 clauses out of 1128 for limit 1.4556276976280941E13
1034.11/1030.46	c cleaning 449 clauses out of 1188 for limit 2.2679125165184863E13
1034.11/1030.49	c cleaning 585 clauses out of 1239 for limit 3.586140653066338E13
1034.21/1030.52	c cleaning 547 clauses out of 1154 for limit 6.349634159679848E13
1152.22/1148.50	c Got one! Elapsed wall clock time (in seconds):1148.385
1152.22/1148.50	o -24
1800.02/1794.71	c starts		: 114
1800.02/1794.71	c conflicts		: 1419523
1800.02/1794.71	c decisions		: 2524834
1800.02/1794.71	c propagations		: 72799877
1800.02/1794.71	c inspects		: 10831125992
1800.02/1794.71	c learnt literals	: 0
1800.02/1794.71	c learnt binary clauses	: 894
1800.02/1794.71	c learnt ternary clauses	: 2006
1800.02/1794.71	c learnt clauses	: 1419523
1800.02/1794.71	c root simplifications	: 0
1800.02/1794.71	c removed literals (reason simplification)	: 0
1800.02/1794.71	c reason swapping (by a shorter reason)	: 0
1800.02/1794.71	c Calls to reduceDB	: 144
1800.02/1794.71	c speed (decisions/second)	: 3907.129548816797
1800.02/1794.71	c non guided choices	1639
1800.02/1794.71	s SATISFIABLE
1800.02/1794.72	v -x1 -x2 -x3 x4 x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 x67 x68 x69 x70 x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 x117 x118 x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 
1800.02/1794.72	c objective function=-24
1800.02/1794.72	c Total wall clock time (ms): 1794.606

Verifier Data 

OK	-24

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3731285-1338684646/watcher-3731285-1338684646 -o /tmp/evaluation-result-3731285-1338684646/solver-3731285-1338684646 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731285-1338684646.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 3/195 17627
/proc/meminfo: memFree=28323148/32873844 swapFree=7632/7632
[pid=17627] ppid=17625 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17627/stat : 17627 (java) D 17625 17627 7849 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 334590254 9515008 182 33554432000 1073741824 1073778376 140735058942368 140735058933400 214369648309 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/17627/statm: 2323 182 140 9 0 71 0

[startup+0.0634981 s]
/proc/loadavg: 2.02 2.03 2.00 3/195 17627
/proc/meminfo: memFree=28323148/32873844 swapFree=7632/7632
[pid=17627] ppid=17625 vsize=2623916 CPUtime=0.04 cores=1,3,5,7
/proc/17627/stat : 17627 (java) S 17625 17627 7849 0 -1 4202496 3954 0 1 0 3 1 0 0 20 0 13 0 334590254 2686889984 5162 33554432000 1073741824 1073778376 140735439440704 140735439431840 214373007421 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17627/statm: 655979 5162 1709 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916

[startup+0.100311 s]
/proc/loadavg: 2.02 2.03 2.00 3/195 17627
/proc/meminfo: memFree=28323148/32873844 swapFree=7632/7632
[pid=17627] ppid=17625 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/17627/stat : 17627 (java) S 17625 17627 7849 0 -1 4202496 4380 0 1 0 6 1 0 0 20 0 18 0 334590254 3028844544 6098 33554432000 1073741824 1073778376 140735439440704 140735439431840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17627/statm: 739464 6098 1950 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300253 s]
/proc/loadavg: 2.02 2.03 2.00 3/195 17627
/proc/meminfo: memFree=28323148/32873844 swapFree=7632/7632
[pid=17627] ppid=17625 vsize=2957856 CPUtime=0.46 cores=1,3,5,7
/proc/17627/stat : 17627 (java) S 17625 17627 7849 0 -1 4202496 6429 0 1 0 45 1 0 0 20 0 18 0 334590254 3028844544 10205 33554432000 1073741824 1073778376 140735439440704 140735439431840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17627/statm: 739464 10205 2247 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856

[startup+0.700263 s]
/proc/loadavg: 2.02 2.03 2.00 3/195 17627
/proc/meminfo: memFree=28323148/32873844 swapFree=7632/7632
[pid=17627] ppid=17625 vsize=3024420 CPUtime=1.5 cores=1,3,5,7
/proc/17627/stat : 17627 (java) S 17625 17627 7849 0 -1 4202496 11361 0 1 0 147 3 0 0 20 0 19 0 334590254 3097006080 15160 33554432000 1073741824 1073778376 140735439440704 140735439431840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17627/statm: 756105 15160 2275 9 0 746526 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 3024420

[startup+1.50066 s]
/proc/loadavg: 2.02 2.03 2.00 3/214 17653
/proc/meminfo: memFree=28254848/32873844 swapFree=7632/7632
[pid=17627] ppid=17625 vsize=3024420 CPUtime=2.38 cores=1,3,5,7
/proc/17627/stat : 17627 (java) S 17625 17627 7849 0 -1 4202496 11379 0 1 0 235 3 0 0 20 0 19 0 334590254 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140735439431840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17627/statm: 756105 17211 2277 9 0 746526 0
[pid=17627/tid=17629] ppid=17625 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/17627/task/17629/stat : 17629 (java) R 17625 17627 7849 0 -1 4202560 3064 0 1 0 144 2 0 0 20 0 19 0 334590255 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397874705256 140397733644981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17630] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17630/stat : 17630 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397858130600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17631] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17631/stat : 17631 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397857078056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17632] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17632/stat : 17632 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397856025512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17627/tid=17633] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17633/stat : 17633 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397854972968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17634] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17634/stat : 17634 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397853919400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17635] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17635/stat : 17635 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397852866856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17636] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17636/stat : 17636 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397851814312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17637] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17637/stat : 17637 (java) S 17625 17627 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397732948520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17638] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17638/stat : 17638 (java) S 17625 17627 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334590257 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397720750696 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17639] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17639/stat : 17639 (java) S 17625 17627 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334590258 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397719697016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17640] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17640/stat : 17640 (java) S 17625 17627 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334590258 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397718644360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17641] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17641/stat : 17641 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140397717593104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17642] ppid=17625 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17627/task/17642/stat : 17642 (java) S 17625 17627 7849 0 -1 4202560 3421 0 0 0 47 0 0 0 20 0 19 0 334590261 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140396977973304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17643] ppid=17625 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/17627/task/17643/stat : 17643 (java) S 17625 17627 7849 0 -1 4202560 3680 0 0 0 42 0 0 0 20 0 19 0 334590261 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140396976920760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17644] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17644/stat : 17644 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140396975868408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17645] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17645/stat : 17645 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 17211 33554432000 1073741824 1073778376 140735439440704 140396974816072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 3024420

[startup+3.10064 s]
/proc/loadavg: 2.01 2.03 2.00 3/214 17656
/proc/meminfo: memFree=28244136/32873844 swapFree=7632/7632
[pid=17627] ppid=17625 vsize=3024420 CPUtime=3.98 cores=1,3,5,7
/proc/17627/stat : 17627 (java) S 17625 17627 7849 0 -1 4202496 11390 0 1 0 395 3 0 0 20 0 19 0 334590254 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140735439431840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17627/statm: 756105 21307 2277 9 0 746526 0
[pid=17627/tid=17629] ppid=17625 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/17627/task/17629/stat : 17629 (java) R 17625 17627 7849 0 -1 4202560 3073 0 1 0 304 2 0 0 20 0 19 0 334590255 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397874702864 140397733589482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17630] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17630/stat : 17630 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397858130600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17631] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17631/stat : 17631 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397857078056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17632] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17632/stat : 17632 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397856025512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17627/tid=17633] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17633/stat : 17633 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397854972968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17634] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17634/stat : 17634 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397853919400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17635] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17635/stat : 17635 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397852866856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17636] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17636/stat : 17636 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397851814312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17637] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17637/stat : 17637 (java) S 17625 17627 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397732948520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17638] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17638/stat : 17638 (java) S 17625 17627 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334590257 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397720750696 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17639] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17639/stat : 17639 (java) S 17625 17627 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334590258 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397719697016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17640] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17640/stat : 17640 (java) S 17625 17627 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334590258 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397718644360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17641] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17641/stat : 17641 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140397717593104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17642] ppid=17625 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17627/task/17642/stat : 17642 (java) S 17625 17627 7849 0 -1 4202560 3421 0 0 0 47 0 0 0 20 0 19 0 334590261 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140396977973304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17643] ppid=17625 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/17627/task/17643/stat : 17643 (java) S 17625 17627 7849 0 -1 4202560 3680 0 0 0 42 0 0 0 20 0 19 0 334590261 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140396976920760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17644] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17644/stat : 17644 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140396975868408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17645] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17645/stat : 17645 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140396974816072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17656] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17656/stat : 17656 (java) S 17625 17627 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334590410 3097006080 21307 33554432000 1073741824 1073778376 140735439440704 140396972684840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 3024420

[startup+6.30076 s]
/proc/loadavg: 2.01 2.03 2.00 3/214 17656
/proc/meminfo: memFree=28216108/32873844 swapFree=7632/7632
[pid=17627] ppid=17625 vsize=3024420 CPUtime=7.19 cores=1,3,5,7
/proc/17627/stat : 17627 (java) S 17625 17627 7849 0 -1 4202496 11406 0 1 0 715 4 0 0 20 0 19 0 334590254 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140735439431840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17627/statm: 756105 28059 2278 9 0 746526 0
[pid=17627/tid=17629] ppid=17625 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/17627/task/17629/stat : 17629 (java) R 17625 17627 7849 0 -1 4202560 3088 0 1 0 622 2 0 0 20 0 19 0 334590255 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397874704744 140397733589697 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17630] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17630/stat : 17630 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397858130600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17631] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17631/stat : 17631 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397857078056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17632] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17632/stat : 17632 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397856025512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17627/tid=17633] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17633/stat : 17633 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397854972968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17634] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17634/stat : 17634 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397853919400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17635] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17635/stat : 17635 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397852866856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17636] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17636/stat : 17636 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397851814312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17637] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17637/stat : 17637 (java) S 17625 17627 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334590256 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397732948520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17638] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17638/stat : 17638 (java) S 17625 17627 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334590257 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397720750696 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17639] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17639/stat : 17639 (java) S 17625 17627 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334590258 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397719697016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17640] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17640/stat : 17640 (java) S 17625 17627 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334590258 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397718644360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17641] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17641/stat : 17641 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140397717593104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17642] ppid=17625 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17627/task/17642/stat : 17642 (java) S 17625 17627 7849 0 -1 4202560 3421 0 0 0 47 0 0 0 20 0 19 0 334590261 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140396977973304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17643] ppid=17625 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17627/task/17643/stat : 17643 (java) S 17625 17627 7849 0 -1 4202560 3680 0 0 0 43 0 0 0 20 0 19 0 334590261 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140396976920760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17644] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17644/stat : 17644 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140396975868408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17645] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17645/stat : 17645 (java) S 17625 17627 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140396974816072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17656] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17656/stat : 17656 (java) S 17625 17627 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334590410 3097006080 28059 33554432000 1073741824 1073778376 140735439440704 140396972684840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]
/proc/loadavg: 2.01 2.02 2.00 3/214 17657
/proc/meminfo: memFree=28152264/32873844 swapFree=7632/7632

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

[pid=17627/tid=17642] ppid=17625 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/17627/task/17642/stat : 17642 (java) S 17625 17627 7849 0 -1 4202560 3422 0 0 0 52 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396977973304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17643] ppid=17625 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/17627/task/17643/stat : 17643 (java) S 17625 17627 7849 0 -1 4202560 3698 0 0 0 50 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396976920760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17644] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17644/stat : 17644 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396975868408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17645] ppid=17625 vsize=3024420 CPUtime=1.02 cores=1,3,5,7
/proc/17627/task/17645/stat : 17645 (java) S 17625 17627 7849 0 -1 4202560 100 0 0 0 54 48 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396974816072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17689] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17689/stat : 17689 (java) S 17625 17627 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334705104 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396972684200 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1727.59
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/214 17973
/proc/meminfo: memFree=25927456/32873844 swapFree=7632/7632
[pid=17627] ppid=17625 vsize=3024420 CPUtime=1787.62 cores=1,3,5,7
/proc/17627/stat : 17627 (java) S 17625 17627 7849 0 -1 4202496 14156 0 1 0 178527 235 0 0 20 0 19 0 334590254 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140735439431840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17627/statm: 756105 418698 2305 9 0 746526 0
[pid=17627/tid=17629] ppid=17625 vsize=3024420 CPUtime=1774.61 cores=1,3,5,7
/proc/17627/task/17629/stat : 17629 (java) R 17625 17627 7849 0 -1 4202560 3263 0 1 0 177426 35 0 0 20 0 19 0 334590255 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397874702864 140397733589736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17630] ppid=17625 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/17627/task/17630/stat : 17630 (java) S 17625 17627 7849 0 -1 4202560 174 0 0 0 19 13 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397858130600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17631] ppid=17625 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17627/task/17631/stat : 17631 (java) S 17625 17627 7849 0 -1 4202560 256 0 0 0 30 18 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397857078056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17632] ppid=17625 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/17627/task/17632/stat : 17632 (java) S 17625 17627 7849 0 -1 4202560 507 0 0 0 38 17 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397856025512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17633] ppid=17625 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17627/task/17633/stat : 17633 (java) S 17625 17627 7849 0 -1 4202560 286 0 0 0 27 22 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397854972968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17634] ppid=17625 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/17627/task/17634/stat : 17634 (java) S 17625 17627 7849 0 -1 4202560 264 0 0 0 28 16 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397853919400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17635] ppid=17625 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/17627/task/17635/stat : 17635 (java) S 17625 17627 7849 0 -1 4202560 319 0 0 0 40 23 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397852866856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17636] ppid=17625 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17627/task/17636/stat : 17636 (java) S 17625 17627 7849 0 -1 4202560 234 0 0 0 30 18 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397851814312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17637] ppid=17625 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/17627/task/17637/stat : 17637 (java) S 17625 17627 7849 0 -1 4202560 219 0 0 0 28 16 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397732948520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17627/tid=17638] ppid=17625 vsize=3024420 CPUtime=2.05 cores=1,3,5,7
/proc/17627/task/17638/stat : 17638 (java) S 17625 17627 7849 0 -1 4202560 194 0 0 0 198 7 0 0 20 0 19 0 334590257 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397720750696 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17639] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17639/stat : 17639 (java) S 17625 17627 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334590258 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397719697016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17640] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17640/stat : 17640 (java) S 17625 17627 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334590258 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397718644360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17641] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17641/stat : 17641 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397717593104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17642] ppid=17625 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/17627/task/17642/stat : 17642 (java) S 17625 17627 7849 0 -1 4202560 3422 0 0 0 52 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396977973304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17643] ppid=17625 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/17627/task/17643/stat : 17643 (java) S 17625 17627 7849 0 -1 4202560 3698 0 0 0 50 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396976920760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17644] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17644/stat : 17644 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396975868408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17645] ppid=17625 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/17627/task/17645/stat : 17645 (java) S 17625 17627 7849 0 -1 4202560 104 0 0 0 55 50 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396974816072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17689] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17689/stat : 17689 (java) S 17625 17627 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334705104 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396972684200 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1787.62
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.7 s]
/proc/loadavg: 1.99 1.99 1.99 3/214 17973
/proc/meminfo: memFree=25913244/32873844 swapFree=7632/7632
[pid=17627] ppid=17625 vsize=3024420 CPUtime=1800.02 cores=1,3,5,7
/proc/17627/stat : 17627 (java) S 17625 17627 7849 0 -1 4202496 14156 0 1 0 179767 235 0 0 20 0 19 0 334590254 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140735439431840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17627/statm: 756105 418698 2305 9 0 746526 0
[pid=17627/tid=17629] ppid=17625 vsize=3024420 CPUtime=1786.99 cores=1,3,5,7
/proc/17627/task/17629/stat : 17629 (java) R 17625 17627 7849 0 -1 4202560 3263 0 1 0 178663 36 0 0 20 0 19 0 334590255 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397874702864 140397733679559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17630] ppid=17625 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/17627/task/17630/stat : 17630 (java) S 17625 17627 7849 0 -1 4202560 174 0 0 0 19 13 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397858130600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17631] ppid=17625 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17627/task/17631/stat : 17631 (java) S 17625 17627 7849 0 -1 4202560 256 0 0 0 30 18 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397857078056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17632] ppid=17625 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/17627/task/17632/stat : 17632 (java) S 17625 17627 7849 0 -1 4202560 507 0 0 0 38 17 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397856025512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17633] ppid=17625 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17627/task/17633/stat : 17633 (java) S 17625 17627 7849 0 -1 4202560 286 0 0 0 27 22 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397854972968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17634] ppid=17625 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/17627/task/17634/stat : 17634 (java) S 17625 17627 7849 0 -1 4202560 264 0 0 0 28 16 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397853919400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17635] ppid=17625 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/17627/task/17635/stat : 17635 (java) S 17625 17627 7849 0 -1 4202560 319 0 0 0 40 23 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397852866856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17636] ppid=17625 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17627/task/17636/stat : 17636 (java) S 17625 17627 7849 0 -1 4202560 234 0 0 0 30 18 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397851814312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17637] ppid=17625 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/17627/task/17637/stat : 17637 (java) S 17625 17627 7849 0 -1 4202560 219 0 0 0 28 16 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397732948520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17627/tid=17638] ppid=17625 vsize=3024420 CPUtime=2.05 cores=1,3,5,7
/proc/17627/task/17638/stat : 17638 (java) S 17625 17627 7849 0 -1 4202560 194 0 0 0 198 7 0 0 20 0 19 0 334590257 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397720750696 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17639] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17639/stat : 17639 (java) S 17625 17627 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334590258 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397719697016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17640] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17640/stat : 17640 (java) S 17625 17627 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334590258 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397718644360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17641] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17641/stat : 17641 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397717593104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17642] ppid=17625 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/17627/task/17642/stat : 17642 (java) S 17625 17627 7849 0 -1 4202560 3422 0 0 0 52 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396977973304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17643] ppid=17625 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/17627/task/17643/stat : 17643 (java) S 17625 17627 7849 0 -1 4202560 3698 0 0 0 50 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396976920760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17644] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17644/stat : 17644 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396975868408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17645] ppid=17625 vsize=3024420 CPUtime=1.06 cores=1,3,5,7
/proc/17627/task/17645/stat : 17645 (java) S 17625 17627 7849 0 -1 4202560 104 0 0 0 56 50 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396974816072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17689] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17689/stat : 17689 (java) S 17625 17627 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334705104 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396972684200 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1794.7 s]
/proc/loadavg: 1.99 1.99 1.99 3/214 17973
/proc/meminfo: memFree=25913244/32873844 swapFree=7632/7632
[pid=17627] ppid=17625 vsize=3024420 CPUtime=1800.02 cores=1,3,5,7
/proc/17627/stat : 17627 (java) S 17625 17627 7849 0 -1 4202496 14156 0 1 0 179767 235 0 0 20 0 19 0 334590254 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140735439431840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17627/statm: 756105 418698 2305 9 0 746526 0
[pid=17627/tid=17629] ppid=17625 vsize=3024420 CPUtime=1786.99 cores=1,3,5,7
/proc/17627/task/17629/stat : 17629 (java) R 17625 17627 7849 0 -1 4202560 3263 0 1 0 178663 36 0 0 20 0 19 0 334590255 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397874702864 140397733679559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17630] ppid=17625 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/17627/task/17630/stat : 17630 (java) S 17625 17627 7849 0 -1 4202560 174 0 0 0 19 13 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397858130600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17631] ppid=17625 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17627/task/17631/stat : 17631 (java) S 17625 17627 7849 0 -1 4202560 256 0 0 0 30 18 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397857078056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17632] ppid=17625 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/17627/task/17632/stat : 17632 (java) S 17625 17627 7849 0 -1 4202560 507 0 0 0 38 17 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397856025512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17633] ppid=17625 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17627/task/17633/stat : 17633 (java) S 17625 17627 7849 0 -1 4202560 286 0 0 0 27 22 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397854972968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17634] ppid=17625 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/17627/task/17634/stat : 17634 (java) S 17625 17627 7849 0 -1 4202560 264 0 0 0 28 16 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397853919400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17635] ppid=17625 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/17627/task/17635/stat : 17635 (java) S 17625 17627 7849 0 -1 4202560 319 0 0 0 40 23 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397852866856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17636] ppid=17625 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17627/task/17636/stat : 17636 (java) S 17625 17627 7849 0 -1 4202560 234 0 0 0 30 18 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397851814312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17637] ppid=17625 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/17627/task/17637/stat : 17637 (java) S 17625 17627 7849 0 -1 4202560 219 0 0 0 28 16 0 0 20 0 19 0 334590256 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397732948520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17627/tid=17638] ppid=17625 vsize=3024420 CPUtime=2.05 cores=1,3,5,7
/proc/17627/task/17638/stat : 17638 (java) S 17625 17627 7849 0 -1 4202560 194 0 0 0 198 7 0 0 20 0 19 0 334590257 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397720750696 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17639] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17639/stat : 17639 (java) S 17625 17627 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334590258 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397719697016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17640] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17640/stat : 17640 (java) S 17625 17627 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334590258 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397718644360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17641] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17641/stat : 17641 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140397717593104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17642] ppid=17625 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/17627/task/17642/stat : 17642 (java) S 17625 17627 7849 0 -1 4202560 3422 0 0 0 52 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396977973304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17627/tid=17643] ppid=17625 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/17627/task/17643/stat : 17643 (java) S 17625 17627 7849 0 -1 4202560 3698 0 0 0 50 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396976920760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17644] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17644/stat : 17644 (java) S 17625 17627 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396975868408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17627/tid=17645] ppid=17625 vsize=3024420 CPUtime=1.06 cores=1,3,5,7
/proc/17627/task/17645/stat : 17645 (java) S 17625 17627 7849 0 -1 4202560 104 0 0 0 56 50 0 0 20 0 19 0 334590261 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396974816072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17627/tid=17689] ppid=17625 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17627/task/17689/stat : 17689 (java) S 17625 17627 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334705104 3097006080 418698 33554432000 1073741824 1073778376 140735439440704 140396972684200 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17627 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=748460
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=492621
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.74
CPU time (s): 1800.02
CPU user time (s): 1797.67
CPU system time (s): 2.35
CPU usage (%): 100.294
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.75
system time used= 2.49262
maximum resident set size= 1674904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14189
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38056
involuntary context switches= 4386

runsolver used 6.07408 second user time and 16.4895 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-03 02:50:47
IDJOB=3731285
IDBENCH=1870
IDSOLVER=2319
FILE ID=node130/3731285-1338684646
RUNJOBID= node130-1338679215-16920
PBS_JOBID= 14636683
Free space on /tmp= 70980 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731285-1338684646/watcher-3731285-1338684646 -o /tmp/evaluation-result-3731285-1338684646/solver-3731285-1338684646 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731285-1338684646.opb           

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

MD5SUM BENCH= 7f40f8d513f22fc9adca96d8fdf626e2
RANDOM SEED=1067341252

node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
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 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 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 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
cpu MHz		: 2666.875
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.875
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.875
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.86
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
cpu MHz		: 2666.875
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.875
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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
cpu MHz		: 2666.875
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.875
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28323908 kB
Buffers:          404444 kB
Cached:          2377428 kB
SwapCached:         4252 kB
Active:          1959808 kB
Inactive:        1704304 kB
Active(anon):     874040 kB
Inactive(anon):     8136 kB
Active(file):    1085768 kB
Inactive(file):  1696168 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:              3584 kB
Writeback:             0 kB
AnonPages:        907016 kB
Mapped:            17532 kB
Shmem:                 4 kB
Slab:             721768 kB
SReclaimable:     163472 kB
SUnreclaim:       558296 kB
KernelStack:        1616 kB
PageTables:         5960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    866304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70976 MiB
End job on node130 at 2012-06-03 03:20:43