Trace number 3742543

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
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1801.13 1796.82

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K141.opb
MD5SUMe981076bb5354ded6cb9b093a6d1a03e
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16779
Total number of constraints17063
Number of constraints which are clauses16922
Number of constraints which are cardinality constraints (but not clauses)141
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint141
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 142
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.08/0.10	--- Begin Solver configuration ---
0.08/0.10	c Stops conflict analysis at the first Unique Implication Point
0.08/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.10	c No reason simplification
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3742543-1338770264.opb
0.08/0.10	c reading problem ... 
1.22/0.60	c ... done. Wall clock time 0.5s.
1.22/0.60	c CPU time (experimental) 0.57s.
1.22/0.60	c #vars     16779
1.22/0.60	c #constraints  17061
822.63/820.16	c cleaning 304094 clauses out of 609441 for limit 0.11220044926063422
823.84/821.33	c cleaning 152592 clauses out of 305847 for limit 0.3687040650898344
824.34/821.82	c cleaning 75907 clauses out of 153758 for limit 1.213120248894295
824.84/822.32	c cleaning 38026 clauses out of 78348 for limit 3.9144072775560668
825.14/822.67	c cleaning 19192 clauses out of 40823 for limit 12.401648176246974
825.44/822.94	c cleaning 9885 clauses out of 22133 for limit 37.7980112679837
825.64/823.13	c cleaning 5127 clauses out of 12745 for limit 107.92492264637382
825.74/823.27	c cleaning 2769 clauses out of 8119 for limit 279.67229305176414
825.94/823.43	c cleaning 1721 clauses out of 5855 for limit 642.7669398504951
826.14/823.63	c cleaning 1067 clauses out of 4628 for limit 1333.0176402384516
826.24/823.80	c cleaning 788 clauses out of 4061 for limit 2505.2561931334617
826.45/823.95	c cleaning 664 clauses out of 3773 for limit 4446.86777042333
826.64/824.11	c cleaning 580 clauses out of 3609 for limit 7666.727474165134
826.74/824.24	c cleaning 509 clauses out of 3529 for limit 12930.077756314424
826.84/824.37	c cleaning 528 clauses out of 3520 for limit 21377.94810336336
827.04/824.53	c cleaning 476 clauses out of 3492 for limit 35537.78322519659
827.24/824.71	c cleaning 520 clauses out of 3516 for limit 58206.513928664506
827.45/824.91	c cleaning 495 clauses out of 3498 for limit 96677.53338605484
827.64/825.11	c cleaning 486 clauses out of 3501 for limit 158979.1311665705
827.74/825.28	c cleaning 492 clauses out of 3515 for limit 261133.6190184493
827.94/825.46	c cleaning 455 clauses out of 3524 for limit 429974.4167112136
828.14/825.63	c cleaning 538 clauses out of 3570 for limit 700649.3096420266
828.34/825.80	c cleaning 667 clauses out of 3530 for limit 1166221.577801043
828.44/825.90	c cleaning 719 clauses out of 3363 for limit 2018760.496081664
828.44/826.00	c cleaning 438 clauses out of 3145 for limit 3563538.1618828783
828.55/826.09	c cleaning 441 clauses out of 3206 for limit 5759170.301345994
828.65/826.18	c cleaning 500 clauses out of 3265 for limit 9326015.661088249
828.74/826.29	c cleaning 582 clauses out of 3266 for limit 1.5390528888478827E7
828.94/826.40	c cleaning 443 clauses out of 3183 for limit 2.6016834927313197E7
829.04/826.50	c cleaning 486 clauses out of 3240 for limit 4.2150426835385114E7
829.14/826.61	c cleaning 464 clauses out of 3254 for limit 6.921262573345287E7
829.24/826.72	c cleaning 489 clauses out of 3291 for limit 1.1297058834916764E8
829.34/826.84	c cleaning 502 clauses out of 3303 for limit 1.858125733322862E8
829.44/826.95	c cleaning 547 clauses out of 3299 for limit 3.061880377587237E8
829.54/827.04	c cleaning 741 clauses out of 3258 for limit 5.143780323169986E8
829.65/827.14	c cleaning 369 clauses out of 3011 for limit 9.123711700961064E8
829.75/827.26	c cleaning 414 clauses out of 3143 for limit 1.4428737315799487E9
829.84/827.36	c cleaning 1605 clauses out of 3228 for limit 2.3145179703967466E9
829.94/827.48	c cleaning 269 clauses out of 2125 for limit 5.809784977929091E9
830.14/827.62	c cleaning 133 clauses out of 2354 for limit 8.631760835831408E9
830.24/827.75	c cleaning 296 clauses out of 2721 for limit 1.231496558129677E10
830.34/827.87	c cleaning 311 clauses out of 2925 for limit 1.889260135295672E10
830.44/827.96	c cleaning 682 clauses out of 3114 for limit 2.9265430021259293E10
830.54/828.07	c cleaning 341 clauses out of 2933 for limit 5.129226223750118E10
830.64/828.18	c cleaning 661 clauses out of 3091 for limit 8.018373593882426E10
830.75/828.30	c cleaning 353 clauses out of 2930 for limit 1.3949979161201144E11
830.94/828.42	c cleaning 1528 clauses out of 3079 for limit 2.1935947642585617E11
831.04/828.51	c cleaning 378 clauses out of 2051 for limit 5.430706302656739E11
831.14/828.63	c cleaning 414 clauses out of 2171 for limit 8.44401540164789E11
831.24/828.75	c cleaning 358 clauses out of 2258 for limit 1.34021755231612E12
831.34/828.89	c cleaning 442 clauses out of 2399 for limit 2.0782144791847473E12
831.44/828.99	c cleaning 298 clauses out of 2459 for limit 3.350325447649399E12
831.54/829.08	c cleaning 282 clauses out of 2659 for limit 5.099340954479697E12
831.64/829.20	c cleaning 879 clauses out of 2877 for limit 7.772279561818573E12
831.74/829.30	c cleaning 356 clauses out of 2498 for limit 1.4762221868054066E13
831.95/829.43	c cleaning 300 clauses out of 2642 for limit 2.3017981464949805E13
832.04/829.54	c cleaning 401 clauses out of 2843 for limit 3.531129038942075E13
832.14/829.65	c cleaning 332 clauses out of 2941 for limit 5.623630773540533E13
832.24/829.77	c cleaning 405 clauses out of 3109 for limit 8.772976949526112E13
832.34/829.88	c cleaning 443 clauses out of 3206 for limit 1.4058180102463058E14
832.44/829.98	c cleaning 487 clauses out of 3261 for limit 2.2747238730850616E14
832.64/830.10	c cleaning 468 clauses out of 3274 for limit 3.736428673997729E14
832.74/830.24	c cleaning 494 clauses out of 3307 for limit 6.106488945193585E14
832.84/830.34	c cleaning 473 clauses out of 3312 for limit 1.0045159043352681E15
832.95/830.46	c cleaning 554 clauses out of 3339 for limit 1.643185573416461E15
833.05/830.57	c cleaning 1586 clauses out of 3285 for limit 2.7543780292352992E-5
833.14/830.65	c cleaning 750 clauses out of 2199 for limit 6.785620654186762E-5
833.24/830.77	c cleaning 561 clauses out of 1950 for limit 1.263195569622706E-4
833.36/830.86	c cleaning 283 clauses out of 1889 for limit 2.1504489354665438E-4
833.46/830.96	c cleaning 213 clauses out of 2107 for limit 3.18263588581515E-4
833.56/831.09	c cleaning 74 clauses out of 2392 for limit 4.6139956326922876E-4
833.76/831.23	c cleaning 293 clauses out of 2818 for limit 6.458821059568728E-4
833.86/831.33	c cleaning 388 clauses out of 3025 for limit 9.922583207767365E-4
833.96/831.46	c cleaning 433 clauses out of 3137 for limit 0.0015779436743815845
834.07/831.56	c cleaning 481 clauses out of 3204 for limit 0.002547823828612376
834.17/831.68	c cleaning 487 clauses out of 3223 for limit 0.004176932758870264
834.26/831.78	c cleaning 516 clauses out of 3236 for limit 0.006860648411282406
834.36/831.89	c cleaning 491 clauses out of 3220 for limit 0.01137034629608097
834.46/831.98	c cleaning 485 clauses out of 3229 for limit 0.01869895797170761
834.66/832.10	c cleaning 479 clauses out of 3245 for limit 0.030715751697375508
834.76/832.23	c cleaning 470 clauses out of 3267 for limit 0.05036364030856583
834.86/832.37	c cleaning 515 clauses out of 3296 for limit 0.08224327959929005
835.06/832.54	c cleaning 483 clauses out of 3280 for limit 0.13615548917454207
835.17/832.67	c cleaning 545 clauses out of 3297 for limit 0.22338084960572388
835.36/832.80	c cleaning 518 clauses out of 3252 for limit 0.37348248144505114
835.46/832.93	c cleaning 509 clauses out of 3234 for limit 0.619350715989781
835.56/833.05	c cleaning 483 clauses out of 3225 for limit 1.0242425827215205
835.66/833.18	c cleaning 471 clauses out of 3244 for limit 1.6825834450970922
835.86/833.33	c cleaning 483 clauses out of 3272 for limit 2.748308856322797
835.96/833.47	c cleaning 489 clauses out of 3295 for limit 4.527790991680602
836.06/833.59	c cleaning 469 clauses out of 3299 for limit 7.405830689130997
836.27/833.73	c cleaning 493 clauses out of 3330 for limit 12.099509032645276
836.37/833.87	c cleaning 494 clauses out of 3339 for limit 19.939785086266046
836.56/834.03	c cleaning 501 clauses out of 3346 for limit 32.84742686325991
836.66/834.16	c cleaning 496 clauses out of 3342 for limit 54.0720950782104
836.86/834.34	c cleaning 495 clauses out of 3347 for limit 89.12803444548423
836.96/834.49	c cleaning 470 clauses out of 3351 for limit 146.66179256216205
837.16/834.65	c cleaning 495 clauses out of 3381 for limit 239.71882091431536
837.37/834.81	c cleaning 482 clauses out of 3386 for limit 394.7446356418686
837.56/835.00	c cleaning 489 clauses out of 3406 for limit 648.4603966412126
837.66/835.14	c cleaning 509 clauses out of 3416 for limit 1065.2011201129021
837.76/835.26	c cleaning 503 clauses out of 3406 for limit 1760.054873436353
837.86/835.39	c cleaning 496 clauses out of 3403 for limit 2905.1247720301153
838.06/835.53	c cleaning 499 clauses out of 3407 for limit 4785.314570943828
838.16/835.65	c cleaning 500 clauses out of 3408 for limit 7889.308278076398
838.36/835.80	c cleaning 490 clauses out of 3408 for limit 13010.524763327334
838.47/835.94	c cleaning 494 clauses out of 3418 for limit 21393.32201937406
838.57/836.08	c cleaning 496 clauses out of 3426 for limit 35268.5689897475
838.76/836.23	c cleaning 486 clauses out of 3429 for limit 58053.59080221774
838.86/836.36	c cleaning 497 clauses out of 3442 for limit 95281.17008288324
838.96/836.49	c cleaning 526 clauses out of 3445 for limit 156994.56164649292
839.16/836.62	c cleaning 1548 clauses out of 3419 for limit 260873.89408981326
839.36/836.83	c cleaning 1067 clauses out of 2368 for limit 621160.6142533416
839.46/836.99	c cleaning 787 clauses out of 1801 for limit 1346876.5231941494
839.67/837.16	c cleaning 718 clauses out of 1514 for limit 2642235.404996953
839.86/837.34	c cleaning 530 clauses out of 1296 for limit 5090357.312746644
839.96/837.45	c cleaning 531 clauses out of 1268 for limit 8597237.549122868
840.06/837.57	c cleaning 608 clauses out of 1234 for limit 1.4539513804947468E7
840.26/837.72	c cleaning 549 clauses out of 1126 for limit 2.6277408973298714E7
840.36/837.85	c cleaning 491 clauses out of 1077 for limit 4.530656270130675E7
840.46/837.97	c cleaning 449 clauses out of 1086 for limit 7.409738469716534E7
840.67/838.16	c cleaning 489 clauses out of 1138 for limit 1.1672955814420615E8
840.86/838.34	c cleaning 490 clauses out of 1147 for limit 1.9080118208175498E8
840.96/838.43	c cleaning 468 clauses out of 1157 for limit 3.119370832173756E8
841.06/838.52	c cleaning 477 clauses out of 1190 for limit 5.00661047053856E8
841.16/838.62	c cleaning 603 clauses out of 1211 for limit 8.105279523316743E8
841.37/838.80	c cleaning 549 clauses out of 1108 for limit 1.460926162386397E9
841.47/838.94	c cleaning 500 clauses out of 1062 for limit 2.5211746546055984E9
841.57/839.10	c cleaning 490 clauses out of 1059 for limit 4.1570365294580965E9
841.78/839.30	c cleaning 485 clauses out of 1069 for limit 6.791379239894212E9
841.97/839.50	c cleaning 483 clauses out of 1084 for limit 1.1044912833227015E10
842.17/839.67	c cleaning 503 clauses out of 1102 for limit 1.7934958629419956E10
842.37/839.87	c cleaning 485 clauses out of 1098 for limit 2.9655210346543922E10
842.57/840.01	c cleaning 478 clauses out of 1113 for limit 4.824630651647567E10
842.67/840.17	c cleaning 462 clauses out of 1135 for limit 7.802239213353725E10
842.88/840.33	c cleaning 458 clauses out of 1173 for limit 1.2450104534057297E11
843.07/840.50	c cleaning 477 clauses out of 1215 for limit 1.982214364800565E11
843.17/840.64	c cleaning 479 clauses out of 1238 for limit 3.208205206858924E11
843.27/840.78	c cleaning 488 clauses out of 1259 for limit 5.202510206743549E11
843.47/840.95	c cleaning 621 clauses out of 1273 for limit 8.502275589868448E11
843.67/841.12	c cleaning 542 clauses out of 1150 for limit 1.5490042334502073E12
843.87/841.31	c cleaning 482 clauses out of 1108 for limit 2.651347006763669E12
843.98/841.49	c cleaning 511 clauses out of 1127 for limit 4.303014552042086E12
844.17/841.68	c cleaning 504 clauses out of 1115 for limit 7.16544618568452E12
844.37/841.89	c cleaning 481 clauses out of 1111 for limit 1.1859323996512066E13
844.57/842.07	c cleaning 527 clauses out of 1130 for limit 1.922876698235067E13
844.77/842.27	c cleaning 460 clauses out of 1103 for limit 3.2487048340456223E13
844.97/842.46	c cleaning 468 clauses out of 1143 for limit 5.170058101009896E13
845.18/842.64	c cleaning 440 clauses out of 1175 for limit 8.29391680121094E13
845.27/842.79	c cleaning 497 clauses out of 1236 for limit 1.3015758117344583E14
845.47/842.91	c cleaning 451 clauses out of 1239 for limit 2.141275364943793E14
845.57/843.06	c cleaning 486 clauses out of 1287 for limit 3.396148369340592E14
845.77/843.20	c cleaning 635 clauses out of 1301 for limit 5.540434087371892E14
845.87/843.38	c cleaning 555 clauses out of 1166 for limit 1.0194793320678071E15
846.07/843.53	c cleaning 445 clauses out of 1111 for limit 1.764488386346484E15
846.18/843.65	c cleaning 521 clauses out of 1168 for limit 2.773415452446425E15
846.37/843.85	c cleaning 439 clauses out of 1146 for limit 4.656874470185573E15
846.57/844.00	c cleaning 491 clauses out of 1206 for limit 7.290431208821856E15
846.67/844.17	c cleaning 567 clauses out of 1215 for limit 1.1933837868231618E-4
846.87/844.32	c cleaning 531 clauses out of 1148 for limit 2.0829095450220284E-4
846.97/844.45	c cleaning 508 clauses out of 1118 for limit 3.5307006168794385E-4
847.17/844.61	c cleaning 466 clauses out of 1110 for limit 5.864562313630713E-4
847.17/844.70	c cleaning 412 clauses out of 1143 for limit 9.382827430864653E-4
847.38/844.88	c cleaning 446 clauses out of 1231 for limit 0.0014367387107251813
847.57/845.01	c cleaning 468 clauses out of 1285 for limit 0.002269805299146517
847.67/845.12	c cleaning 460 clauses out of 1317 for limit 0.003652261332441717
847.77/845.22	c cleaning 447 clauses out of 1357 for limit 0.005845526849185451
847.87/845.37	c cleaning 523 clauses out of 1411 for limit 0.009280404207564607
847.97/845.49	c cleaning 506 clauses out of 1387 for limit 0.015553882729855691
848.17/845.65	c cleaning 510 clauses out of 1381 for limit 0.025761876250439283
848.27/845.80	c cleaning 501 clauses out of 1372 for limit 0.042806276825722536
848.48/845.98	c cleaning 494 clauses out of 1370 for limit 0.07062563655283514
848.67/846.11	c cleaning 471 clauses out of 1376 for limit 0.11596325453620747
848.77/846.29	c cleaning 510 clauses out of 1405 for limit 0.1872916398172179
848.97/846.45	c cleaning 490 clauses out of 1396 for limit 0.3111714164936428
849.07/846.54	c cleaning 483 clauses out of 1405 for limit 0.5093662504337595
849.17/846.65	c cleaning 484 clauses out of 1422 for limit 0.8299707381942499
849.27/846.76	c cleaning 502 clauses out of 1438 for limit 1.353503484997862
849.37/846.87	c cleaning 490 clauses out of 1437 for limit 2.235897524026364
849.58/847.05	c cleaning 488 clauses out of 1446 for limit 3.6606798225066233
849.77/847.22	c cleaning 503 clauses out of 1458 for limit 5.987263906897064
849.87/847.38	c cleaning 511 clauses out of 1455 for limit 9.894157493060094
850.07/847.54	c cleaning 508 clauses out of 1444 for limit 16.44108619433737
850.17/847.69	c cleaning 487 clauses out of 1436 for limit 27.264601004702357
850.37/847.81	c cleaning 513 clauses out of 1449 for limit 44.55957992404729
850.47/847.93	c cleaning 471 clauses out of 1438 for limit 74.19514671459544
850.58/848.07	c cleaning 458 clauses out of 1465 for limit 119.86258034981849
850.68/848.19	c cleaning 471 clauses out of 1507 for limit 192.16039471901192
850.77/848.28	c cleaning 469 clauses out of 1537 for limit 311.0238305042596
850.97/848.40	c cleaning 488 clauses out of 1571 for limit 503.3276288846176
850.97/848.49	c cleaning 496 clauses out of 1579 for limit 822.5506795309171
851.17/848.61	c cleaning 479 clauses out of 1583 for limit 1353.068450255707
851.27/848.72	c cleaning 476 clauses out of 1604 for limit 2202.176914294536
851.37/848.83	c cleaning 503 clauses out of 1630 for limit 3580.9138732992014
851.47/848.95	c cleaning 492 clauses out of 1626 for limit 5914.013533782042
1800.04/1796.81	c starts		: 22
1800.04/1796.81	c conflicts		: 1330283
1800.04/1796.81	c decisions		: 5820805
1800.04/1796.81	c propagations		: 1098397181
1800.04/1796.81	c inspects		: 9289831532
1800.04/1796.81	c learnt literals	: 70
1800.04/1796.81	c learnt binary clauses	: 82793
1800.04/1796.81	c learnt ternary clauses	: 60630
1800.04/1796.81	c learnt clauses	: 1330213
1800.04/1796.81	c root simplifications	: 0
1800.04/1796.81	c removed literals (reason simplification)	: 0
1800.04/1796.81	c reason swapping (by a shorter reason)	: 0
1800.04/1796.81	c Calls to reduceDB	: 195
1800.04/1796.81	c speed (decisions/second)	: 3240.6272808606186
1800.04/1796.81	c non guided choices	1467
1800.04/1796.81	s UNKNOWN
1800.04/1796.81	c Total wall clock time (ms): 1796.71

Verifier Data 

ERROR: no interpretation found !

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-3742543-1338770264/watcher-3742543-1338770264 -o /tmp/evaluation-result-3742543-1338770264/solver-3742543-1338770264 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742543-1338770264.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: 1.92 1.98 1.99 4/194 13021
/proc/meminfo: memFree=25386460/32873648 swapFree=7120/7120
[pid=13021] ppid=13019 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13021/stat : 13021 (java) D 13019 13021 11123 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 343153800 9515008 182 33554432000 1073741824 1073778376 140734351872016 140734351863048 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/13021/statm: 2323 182 140 9 0 71 0

[startup+0.0150479 s]
/proc/loadavg: 1.92 1.98 1.99 4/194 13021
/proc/meminfo: memFree=25386460/32873648 swapFree=7120/7120
[pid=13021] ppid=13019 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13019 13021 11123 0 -1 4202496 1291 0 0 0 0 0 0 0 20 0 2 0 343153800 98578432 990 33554432000 1073741824 1073778376 140735507983008 140735507974144 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13021/statm: 24067 990 756 9 0 16773 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96268

[startup+0.100296 s]
/proc/loadavg: 1.92 1.98 1.99 4/194 13021
/proc/meminfo: memFree=25386460/32873648 swapFree=7120/7120
[pid=13021] ppid=13019 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13019 13021 11123 0 -1 4202496 4900 0 1 0 7 1 0 0 20 0 18 0 343153800 3028844544 6609 33554432000 1073741824 1073778376 140735507983008 140735507974144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13021/statm: 739464 6609 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300259 s]
/proc/loadavg: 1.92 1.98 1.99 4/194 13021
/proc/meminfo: memFree=25386460/32873648 swapFree=7120/7120
[pid=13021] ppid=13019 vsize=2957856 CPUtime=0.54 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13019 13021 11123 0 -1 4202496 8270 0 1 0 52 2 0 0 20 0 18 0 343153800 3028844544 11960 33554432000 1073741824 1073778376 140735507983008 140735507974144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13021/statm: 739464 11960 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2957856

[startup+0.700315 s]
/proc/loadavg: 1.92 1.98 1.99 4/194 13021
/proc/meminfo: memFree=25386460/32873648 swapFree=7120/7120
[pid=13021] ppid=13019 vsize=3024420 CPUtime=1.49 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13019 13021 11123 0 -1 4202496 9780 0 1 0 145 4 0 0 20 0 19 0 343153800 3097006080 31936 33554432000 1073741824 1073778376 140735507983008 140735507974144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13021/statm: 756105 31936 2269 9 0 746526 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3024420

[startup+1.5007 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 13040
/proc/meminfo: memFree=25267084/32873648 swapFree=7120/7120
[pid=13021] ppid=13019 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13019 13021 11123 0 -1 4202496 9784 0 1 0 241 4 0 0 20 0 19 0 343153800 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140735507974144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13021/statm: 756105 31940 2273 9 0 746526 0
[pid=13021/tid=13023] ppid=13019 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13019 13021 11123 0 -1 4202560 3079 0 1 0 143 3 0 0 20 0 19 0 343153801 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388967054352 140388808009220 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13024] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13024/stat : 13024 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388950481320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13025] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13025/stat : 13025 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388949428776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13026] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13026/stat : 13026 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388948375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13021/tid=13027] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388947323176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13028] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388946271144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13029] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388945218600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13030] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388944165544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13031] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13019 13021 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388943113000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13032] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13019 13021 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388930701672 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13033] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13019 13021 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388929647992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13034] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13034/stat : 13034 (java) S 13019 13021 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388928594824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13035] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13035/stat : 13035 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388927543568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13036] ppid=13019 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/13021/task/13036/stat : 13036 (java) S 13019 13021 11123 0 -1 4202560 2690 0 0 0 49 0 0 0 20 0 19 0 343153807 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388926491448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13037] ppid=13019 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/13021/task/13037/stat : 13037 (java) S 13019 13021 11123 0 -1 4202560 2814 0 0 0 47 0 0 0 20 0 19 0 343153807 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388807470008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13038] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13038/stat : 13038 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388806417144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13039] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388805364808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13040] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13019 13021 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343153862 3097006080 31940 33554432000 1073741824 1073778376 140735507983008 140388803232808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 3024420

[startup+3.10067 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 13040
/proc/meminfo: memFree=25264664/32873648 swapFree=7120/7120
[pid=13021] ppid=13019 vsize=3024420 CPUtime=4.06 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13019 13021 11123 0 -1 4202496 9789 0 1 0 402 4 0 0 20 0 19 0 343153800 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140735507974144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13021/statm: 756105 33477 2273 9 0 746526 0
[pid=13021/tid=13023] ppid=13019 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13019 13021 11123 0 -1 4202560 3083 0 1 0 303 3 0 0 20 0 19 0 343153801 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388967055784 140388808285034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13024] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13024/stat : 13024 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388950481320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13025] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13025/stat : 13025 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388949428776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13026] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13026/stat : 13026 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388948375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13021/tid=13027] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388947323176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13028] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388946271144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13029] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388945218600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13030] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388944165544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13031] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13019 13021 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388943113000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13032] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13019 13021 11123 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388930701672 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13033] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13019 13021 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388929647992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13034] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13034/stat : 13034 (java) S 13019 13021 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388928594824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13035] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13035/stat : 13035 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388927543568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13036] ppid=13019 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/13021/task/13036/stat : 13036 (java) S 13019 13021 11123 0 -1 4202560 2690 0 0 0 49 0 0 0 20 0 19 0 343153807 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388926491448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13037] ppid=13019 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/13021/task/13037/stat : 13037 (java) S 13019 13021 11123 0 -1 4202560 2814 0 0 0 48 0 0 0 20 0 19 0 343153807 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388807470008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13038] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13038/stat : 13038 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388806417144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13039] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388805364808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13040] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13019 13021 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343153862 3097006080 33477 33554432000 1073741824 1073778376 140735507983008 140388803232808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 3024420

[startup+6.3007 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 13040
/proc/meminfo: memFree=25256512/32873648 swapFree=7120/7120
[pid=13021] ppid=13019 vsize=3024420 CPUtime=7.28 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13019 13021 11123 0 -1 4202496 9793 0 1 0 724 4 0 0 20 0 19 0 343153800 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140735507974144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13021/statm: 756105 34960 2273 9 0 746526 0
[pid=13021/tid=13023] ppid=13019 vsize=3024420 CPUtime=6.26 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13019 13021 11123 0 -1 4202560 3087 0 1 0 623 3 0 0 20 0 19 0 343153801 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388967055840 140388808291670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13024] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13024/stat : 13024 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388950481320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13025] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13025/stat : 13025 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388949428776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13026] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13026/stat : 13026 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388948375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13021/tid=13027] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388947323176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13028] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388946271144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13029] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388945218600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13030] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388944165544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13031] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13019 13021 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343153803 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388943113000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13032] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13019 13021 11123 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388930701672 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13033] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13019 13021 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388929647992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13034] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13034/stat : 13034 (java) S 13019 13021 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388928594824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13035] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13035/stat : 13035 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388927543568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13036] ppid=13019 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/13021/task/13036/stat : 13036 (java) S 13019 13021 11123 0 -1 4202560 2690 0 0 0 50 0 0 0 20 0 19 0 343153807 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388926491448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13037] ppid=13019 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/13021/task/13037/stat : 13037 (java) S 13019 13021 11123 0 -1 4202560 2814 0 0 0 49 0 0 0 20 0 19 0 343153807 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388807470008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13038] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13038/stat : 13038 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388806417144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13039] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388805364808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13040] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13019 13021 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343153862 3097006080 34960 33554432000 1073741824 1073778376 140735507983008 140388803232808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=13021/tid=13029] ppid=13019 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13019 13021 11123 0 -1 4202560 221 0 0 0 24 12 0 0 20 0 19 0 343153803 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388945218600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13030] ppid=13019 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13019 13021 11123 0 -1 4202560 210 0 0 0 19 12 0 0 20 0 19 0 343153803 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388944165544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13031] ppid=13019 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13019 13021 11123 0 -1 4202560 193 0 0 0 22 10 0 0 20 0 19 0 343153803 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388943113000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13021/tid=13032] ppid=13019 vsize=3024420 CPUtime=1.3 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13019 13021 11123 0 -1 4202560 245 0 0 0 123 7 0 0 20 0 19 0 343153804 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388930701672 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13033] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13019 13021 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388929647992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13034] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13034/stat : 13034 (java) S 13019 13021 11123 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388928594824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13035] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13035/stat : 13035 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388927543568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13036] ppid=13019 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/13021/task/13036/stat : 13036 (java) S 13019 13021 11123 0 -1 4202560 2696 0 0 0 55 0 0 0 20 0 19 0 343153807 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388926491448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13037] ppid=13019 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/13021/task/13037/stat : 13037 (java) S 13019 13021 11123 0 -1 4202560 2824 0 0 0 55 0 0 0 20 0 19 0 343153807 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388807470008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13038] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13038/stat : 13038 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388806417144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13039] ppid=13019 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13019 13021 11123 0 -1 4202560 95 0 0 0 29 47 0 0 20 0 19 0 343153807 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388805364808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13040] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13019 13021 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343153862 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388803232808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1665.54
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/214 13194
/proc/meminfo: memFree=24003780/32873648 swapFree=7120/7120
[pid=13021] ppid=13019 vsize=3024420 CPUtime=1725.54 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13019 13021 11123 0 -1 4202496 12124 0 1 0 172428 126 0 0 20 0 19 0 343153800 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140735507974144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13021/statm: 756105 418695 2302 9 0 746526 0
[pid=13021/tid=13023] ppid=13019 vsize=3024420 CPUtime=1719.91 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13019 13021 11123 0 -1 4202560 3248 0 1 0 171957 34 0 0 20 0 19 0 343153801 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388967054640 140388808284862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13024] ppid=13019 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/13021/task/13024/stat : 13024 (java) S 13019 13021 11123 0 -1 4202560 223 0 0 0 20 12 0 0 20 0 19 0 343153803 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388950481320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13025] ppid=13019 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/13021/task/13025/stat : 13025 (java) S 13019 13021 11123 0 -1 4202560 270 0 0 0 28 17 0 0 20 0 19 0 343153803 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388949428776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13026] ppid=13019 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/13021/task/13026/stat : 13026 (java) S 13019 13021 11123 0 -1 4202560 212 0 0 0 31 12 0 0 20 0 19 0 343153803 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388948375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13027] ppid=13019 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13019 13021 11123 0 -1 4202560 223 0 0 0 17 13 0 0 20 0 19 0 343153803 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388947323176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13028] ppid=13019 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13019 13021 11123 0 -1 4202560 270 0 0 0 22 11 0 0 20 0 19 0 343153803 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388946271144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13029] ppid=13019 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13019 13021 11123 0 -1 4202560 221 0 0 0 24 12 0 0 20 0 19 0 343153803 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388945218600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13030] ppid=13019 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13019 13021 11123 0 -1 4202560 210 0 0 0 19 12 0 0 20 0 19 0 343153803 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388944165544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13031] ppid=13019 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13019 13021 11123 0 -1 4202560 193 0 0 0 22 10 0 0 20 0 19 0 343153803 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388943113000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13021/tid=13032] ppid=13019 vsize=3024420 CPUtime=1.69 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13019 13021 11123 0 -1 4202560 247 0 0 0 162 7 0 0 20 0 19 0 343153804 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388930701672 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13033] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13019 13021 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388929647992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13034] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13034/stat : 13034 (java) S 13019 13021 11123 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388928594824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13035] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13035/stat : 13035 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388927543568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13036] ppid=13019 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/13021/task/13036/stat : 13036 (java) S 13019 13021 11123 0 -1 4202560 2696 0 0 0 55 0 0 0 20 0 19 0 343153807 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388926491448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13037] ppid=13019 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/13021/task/13037/stat : 13037 (java) S 13019 13021 11123 0 -1 4202560 2824 0 0 0 55 0 0 0 20 0 19 0 343153807 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388807470008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13038] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13038/stat : 13038 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388806417144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13039] ppid=13019 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13019 13021 11123 0 -1 4202560 99 0 0 0 30 49 0 0 20 0 19 0 343153807 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388805364808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13040] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13019 13021 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343153862 3097006080 418695 33554432000 1073741824 1073778376 140735507983008 140388803232808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.54
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 13194
/proc/meminfo: memFree=23995456/32873648 swapFree=7120/7120
[pid=13021] ppid=13019 vsize=3024420 CPUtime=1785.54 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13019 13021 11123 0 -1 4202496 12128 0 1 0 178428 126 0 0 20 0 19 0 343153800 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140735507974144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13021/statm: 756105 420694 2302 9 0 746526 0
[pid=13021/tid=13023] ppid=13019 vsize=3024420 CPUtime=1779.91 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13019 13021 11123 0 -1 4202560 3248 0 1 0 177956 35 0 0 20 0 19 0 343153801 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388967054640 140388808367656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13024] ppid=13019 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/13021/task/13024/stat : 13024 (java) S 13019 13021 11123 0 -1 4202560 223 0 0 0 20 12 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388950481320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13025] ppid=13019 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/13021/task/13025/stat : 13025 (java) S 13019 13021 11123 0 -1 4202560 270 0 0 0 28 17 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388949428776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13026] ppid=13019 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/13021/task/13026/stat : 13026 (java) S 13019 13021 11123 0 -1 4202560 212 0 0 0 31 12 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388948375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13027] ppid=13019 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13019 13021 11123 0 -1 4202560 223 0 0 0 17 13 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388947323176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13028] ppid=13019 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13019 13021 11123 0 -1 4202560 270 0 0 0 22 11 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388946271144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13029] ppid=13019 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13019 13021 11123 0 -1 4202560 221 0 0 0 24 12 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388945218600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13030] ppid=13019 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13019 13021 11123 0 -1 4202560 210 0 0 0 19 12 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388944165544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13031] ppid=13019 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13019 13021 11123 0 -1 4202560 193 0 0 0 22 10 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388943113000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13021/tid=13032] ppid=13019 vsize=3024420 CPUtime=1.69 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13019 13021 11123 0 -1 4202560 247 0 0 0 162 7 0 0 20 0 19 0 343153804 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388930701672 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13033] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13019 13021 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388929647992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13034] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13034/stat : 13034 (java) S 13019 13021 11123 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388928594824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13035] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13035/stat : 13035 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388927543568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13036] ppid=13019 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/13021/task/13036/stat : 13036 (java) S 13019 13021 11123 0 -1 4202560 2696 0 0 0 55 0 0 0 20 0 19 0 343153807 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388926491448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13037] ppid=13019 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/13021/task/13037/stat : 13037 (java) S 13019 13021 11123 0 -1 4202560 2824 0 0 0 55 0 0 0 20 0 19 0 343153807 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388807470008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13038] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13038/stat : 13038 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388806417144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13039] ppid=13019 vsize=3024420 CPUtime=0.82 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13019 13021 11123 0 -1 4202560 103 0 0 0 32 50 0 0 20 0 19 0 343153807 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388805364808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13040] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13019 13021 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343153862 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388803232808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.8 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 13194
/proc/meminfo: memFree=23995460/32873648 swapFree=7120/7120
[pid=13021] ppid=13019 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/13021/stat : 13021 (java) S 13019 13021 11123 0 -1 4202496 12128 0 1 0 179878 126 0 0 20 0 19 0 343153800 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140735507974144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13021/statm: 756105 420694 2302 9 0 746526 0
[pid=13021/tid=13023] ppid=13019 vsize=3024420 CPUtime=1794.42 cores=1,3,5,7
/proc/13021/task/13023/stat : 13023 (java) R 13019 13021 11123 0 -1 4202560 3248 0 1 0 179407 35 0 0 20 0 19 0 343153801 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388967054640 140388808367572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13024] ppid=13019 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/13021/task/13024/stat : 13024 (java) S 13019 13021 11123 0 -1 4202560 223 0 0 0 20 12 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388950481320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13025] ppid=13019 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/13021/task/13025/stat : 13025 (java) S 13019 13021 11123 0 -1 4202560 270 0 0 0 28 17 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388949428776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13026] ppid=13019 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/13021/task/13026/stat : 13026 (java) S 13019 13021 11123 0 -1 4202560 212 0 0 0 31 12 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388948375720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13027] ppid=13019 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/13021/task/13027/stat : 13027 (java) S 13019 13021 11123 0 -1 4202560 223 0 0 0 17 13 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388947323176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13028] ppid=13019 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/13021/task/13028/stat : 13028 (java) S 13019 13021 11123 0 -1 4202560 270 0 0 0 22 11 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388946271144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13029] ppid=13019 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/13021/task/13029/stat : 13029 (java) S 13019 13021 11123 0 -1 4202560 221 0 0 0 24 12 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388945218600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13021/tid=13030] ppid=13019 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/13021/task/13030/stat : 13030 (java) S 13019 13021 11123 0 -1 4202560 210 0 0 0 19 12 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388944165544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13031] ppid=13019 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/13021/task/13031/stat : 13031 (java) S 13019 13021 11123 0 -1 4202560 193 0 0 0 22 10 0 0 20 0 19 0 343153803 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388943113000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13021/tid=13032] ppid=13019 vsize=3024420 CPUtime=1.69 cores=1,3,5,7
/proc/13021/task/13032/stat : 13032 (java) S 13019 13021 11123 0 -1 4202560 247 0 0 0 162 7 0 0 20 0 19 0 343153804 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388930701672 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13033] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13033/stat : 13033 (java) S 13019 13021 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388929647992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13034] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13034/stat : 13034 (java) S 13019 13021 11123 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 343153804 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388928594824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13035] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13035/stat : 13035 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388927543568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13036] ppid=13019 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/13021/task/13036/stat : 13036 (java) S 13019 13021 11123 0 -1 4202560 2696 0 0 0 55 0 0 0 20 0 19 0 343153807 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388926491448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13037] ppid=13019 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/13021/task/13037/stat : 13037 (java) S 13019 13021 11123 0 -1 4202560 2824 0 0 0 55 0 0 0 20 0 19 0 343153807 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388807470008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13038] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13038/stat : 13038 (java) S 13019 13021 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343153807 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388806417144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13021/tid=13039] ppid=13019 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/13021/task/13039/stat : 13039 (java) S 13019 13021 11123 0 -1 4202560 103 0 0 0 33 50 0 0 20 0 19 0 343153807 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388805364808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13021/tid=13040] ppid=13019 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13021/task/13040/stat : 13040 (java) S 13019 13021 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343153862 3097006080 420694 33554432000 1073741824 1073778376 140735507983008 140388803232808 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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

Child status: 143
Real time (s): 1796.82
CPU time (s): 1801.13
CPU user time (s): 1799.08
CPU system time (s): 2.05069
CPU usage (%): 100.24
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 2.05069
maximum resident set size= 1682896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12159
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38109
involuntary context switches= 3793

runsolver used 6.04108 second user time and 15.4926 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-04 02:37:44
IDJOB=3742543
IDBENCH=90203
IDSOLVER=2319
FILE ID=node114/3742543-1338770264
RUNJOBID= node114-1338749374-11140
PBS_JOBID= 14636799
Free space on /tmp= 70136 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K141.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742543-1338770264/watcher-3742543-1338770264 -o /tmp/evaluation-result-3742543-1338770264/solver-3742543-1338770264 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742543-1338770264.opb           

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

MD5SUM BENCH= e981076bb5354ded6cb9b093a6d1a03e
RANDOM SEED=2121776181

node114.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.242
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	: 5332.48
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.242
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.242
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	: 5451.90
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.242
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.91
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.242
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.242
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.91
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.242
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.242
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25386840 kB
Buffers:         1065752 kB
Cached:          3729460 kB
SwapCached:         2244 kB
Active:          4605904 kB
Inactive:        1873812 kB
Active(anon):    1671040 kB
Inactive(anon):     8360 kB
Active(file):    2934864 kB
Inactive(file):  1865452 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              4720 kB
Writeback:             0 kB
AnonPages:       1682352 kB
Mapped:            19160 kB
Shmem:               100 kB
Slab:             865572 kB
SReclaimable:     309372 kB
SUnreclaim:       556200 kB
KernelStack:        1600 kB
PageTables:         7516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1828704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1646592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70132 MiB
End job on node114 at 2012-06-04 03:07:43