Trace number 3742270

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) 1800.42 1795.42

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K126.opb
MD5SUM8617651a414bb8902c12959cc1c92372
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 variables14994
Total number of constraints15248
Number of constraints which are clauses15122
Number of constraints which are cardinality constraints (but not clauses)126
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint126
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 127
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.07/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.07/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.10	c no version file found!!!
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version	1.6.0_24
0.07/0.10	c os.name	Linux
0.07/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch	amd64
0.07/0.10	c Free memory 1599470296
0.07/0.10	c Max memory 1607860224
0.07/0.10	c Total memory 1607860224
0.07/0.10	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3742270-1338765348.opb
0.07/0.12	c reading problem ... 
1.19/0.60	c ... done. Wall clock time 0.481s.
1.19/0.60	c CPU time (experimental) 0.56s.
1.19/0.60	c #vars     14994
1.19/0.60	c #constraints  15246
780.97/777.74	c cleaning 305843 clauses out of 612479 for limit 2.2480444540093276
782.38/779.13	c cleaning 153308 clauses out of 307135 for limit 7.385640477119119
783.28/780.05	c cleaning 76335 clauses out of 154331 for limit 24.33650656938285
784.08/780.80	c cleaning 38359 clauses out of 78492 for limit 78.59661671283112
784.59/781.34	c cleaning 19505 clauses out of 40633 for limit 250.3838111957023
784.79/781.58	c cleaning 9957 clauses out of 21628 for limit 775.7551367582395
784.99/781.74	c cleaning 5236 clauses out of 12171 for limit 2273.3727265025013
785.09/781.89	c cleaning 2858 clauses out of 7436 for limit 6142.539042812794
785.29/782.03	c cleaning 1692 clauses out of 5078 for limit 14833.73434952065
785.39/782.17	c cleaning 1131 clauses out of 3886 for limit 31966.58805547349
785.49/782.27	c cleaning 799 clauses out of 3254 for limit 62893.086347014236
785.59/782.39	c cleaning 648 clauses out of 2955 for limit 114213.87273734773
785.79/782.50	c cleaning 559 clauses out of 2807 for limit 198284.97976991915
785.89/782.64	c cleaning 527 clauses out of 2749 for limit 334231.8931699429
785.99/782.77	c cleaning 536 clauses out of 2721 for limit 556308.2008988698
786.19/782.91	c cleaning 1228 clauses out of 2685 for limit 929727.3373069735
786.29/783.01	c cleaning 760 clauses out of 1957 for limit 2103608.6712507303
786.39/783.12	c cleaning 315 clauses out of 1697 for limit 4000643.2223468656
786.49/783.27	c cleaning 361 clauses out of 1882 for limit 5949054.299469991
786.69/783.41	c cleaning 279 clauses out of 2021 for limit 9136021.764530059
786.79/783.57	c cleaning 338 clauses out of 2243 for limit 1.3588908183017222E7
786.89/783.69	c cleaning 457 clauses out of 2405 for limit 2.0900402224437352E7
787.09/783.84	c cleaning 387 clauses out of 2447 for limit 3.384208646245929E7
787.19/783.98	c cleaning 460 clauses out of 2560 for limit 5.334663396353426E7
787.29/784.08	c cleaning 457 clauses out of 2600 for limit 8.662226312948291E7
787.49/784.20	c cleaning 569 clauses out of 2644 for limit 1.4061505531660765E8
787.59/784.32	c cleaning 429 clauses out of 2574 for limit 2.379611754452362E8
787.69/784.45	c cleaning 444 clauses out of 2645 for limit 3.8189577942004895E8
787.79/784.58	c cleaning 529 clauses out of 2701 for limit 6.167396044708413E8
787.99/784.72	c cleaning 707 clauses out of 2672 for limit 1.0281248477392876E9
788.09/784.83	c cleaning 419 clauses out of 2465 for limit 1.8378974386277573E9
788.19/784.96	c cleaning 457 clauses out of 2546 for limit 2.934510608185663E9
788.29/785.06	c cleaning 480 clauses out of 2591 for limit 4.764875753801358E9
788.39/785.16	c cleaning 645 clauses out of 2609 for limit 7.788104640684988E9
788.49/785.28	c cleaning 387 clauses out of 2466 for limit 1.3615628568803652E10
788.69/785.41	c cleaning 448 clauses out of 2579 for limit 2.1470161566192383E10
788.79/785.54	c cleaning 599 clauses out of 2629 for limit 3.46643397056681E10
788.89/785.67	c cleaning 410 clauses out of 2530 for limit 5.940306914523651E10
788.99/785.79	c cleaning 459 clauses out of 2620 for limit 9.459844572019304E10
789.19/785.90	c cleaning 1302 clauses out of 2662 for limit 1.536977960015589E11
789.29/786.03	c cleaning 348 clauses out of 1861 for limit 3.629273658867335E11
789.39/786.16	c cleaning 719 clauses out of 2011 for limit 5.527654404711138E11
789.49/786.27	c cleaning 331 clauses out of 1795 for limit 1.0243489406478032E12
789.59/786.39	c cleaning 288 clauses out of 1963 for limit 1.5431688607251162E12
789.79/786.52	c cleaning 310 clauses out of 2175 for limit 2.296838062304574E12
789.89/786.64	c cleaning 490 clauses out of 2363 for limit 3.479467462407366E12
789.99/786.77	c cleaning 353 clauses out of 2373 for limit 5.713926505672783E12
790.09/786.88	c cleaning 536 clauses out of 2520 for limit 8.873352499742871E12
790.29/787.04	c cleaning 662 clauses out of 2485 for limit 1.4854303086345523E13
790.39/787.17	c cleaning 366 clauses out of 2322 for limit 2.619014083996442E13
790.49/787.29	c cleaning 419 clauses out of 2456 for limit 4.0834531180189766E13
790.69/787.41	c cleaning 432 clauses out of 2540 for limit 6.5310294486321664E13
790.79/787.53	c cleaning 1066 clauses out of 2606 for limit 1.0476779671489097E14
790.89/787.67	c cleaning 205 clauses out of 2040 for limit 2.2071301413278462E14
790.99/787.77	c cleaning 416 clauses out of 2334 for limit 3.1781810411869694E14
791.08/787.89	c cleaning 538 clauses out of 2421 for limit 5.068087650567481E14
791.28/788.00	c cleaning 343 clauses out of 2380 for limit 8.476455791098079E14
791.38/788.11	c cleaning 424 clauses out of 2537 for limit 1.3113743299796642E15
791.48/788.28	c cleaning 1260 clauses out of 2614 for limit 2.1010285839158028E-5
791.68/788.41	c cleaning 708 clauses out of 1854 for limit 4.885215218475189E-5
791.78/788.53	c cleaning 565 clauses out of 1645 for limit 9.070869190611958E-5
791.89/788.66	c cleaning 446 clauses out of 1580 for limit 1.557448183166778E-4
791.99/788.78	c cleaning 280 clauses out of 1634 for limit 2.4835592662528764E-4
792.18/788.90	c cleaning 109 clauses out of 1854 for limit 3.609713532687972E-4
792.28/789.02	c cleaning 294 clauses out of 2245 for limit 4.916114723118014E-4
792.38/789.14	c cleaning 400 clauses out of 2452 for limit 7.430333165900268E-4
792.48/789.24	c cleaning 435 clauses out of 2553 for limit 0.0011780625146713434
792.58/789.38	c cleaning 469 clauses out of 2616 for limit 0.001892205392406357
792.80/789.52	c cleaning 485 clauses out of 2648 for limit 0.0030858757348262364
792.90/789.67	c cleaning 480 clauses out of 2662 for limit 0.005057195447723087
793.11/789.83	c cleaning 499 clauses out of 2683 for limit 0.008282997219698218
793.30/790.02	c cleaning 528 clauses out of 2687 for limit 0.013680436171328168
793.40/790.14	c cleaning 498 clauses out of 2655 for limit 0.02274159521304854
793.50/790.28	c cleaning 504 clauses out of 2657 for limit 0.03747570253809768
793.70/790.42	c cleaning 511 clauses out of 2653 for limit 0.06189562811923152
793.80/790.54	c cleaning 489 clauses out of 2644 for limit 0.10262677562557262
793.90/790.67	c cleaning 485 clauses out of 2653 for limit 0.16833396324632416
794.11/790.81	c cleaning 498 clauses out of 2668 for limit 0.27604447569343016
794.21/790.96	c cleaning 498 clauses out of 2675 for limit 0.4563200433188773
794.30/791.07	c cleaning 535 clauses out of 2672 for limit 0.7496183441283502
794.40/791.19	c cleaning 521 clauses out of 2638 for limit 1.2534074367304773
794.60/791.31	c cleaning 512 clauses out of 2616 for limit 2.082335455964783
794.70/791.41	c cleaning 475 clauses out of 2604 for limit 3.449874850733603
794.80/791.52	c cleaning 485 clauses out of 2629 for limit 5.635203726594328
794.90/791.63	c cleaning 475 clauses out of 2644 for limit 9.240482391619953
795.00/791.78	c cleaning 494 clauses out of 2669 for limit 15.096052858264807
795.21/791.94	c cleaning 501 clauses out of 2676 for limit 24.855143296203018
795.31/792.03	c cleaning 522 clauses out of 2674 for limit 40.979094026244425
795.40/792.13	c cleaning 500 clauses out of 2652 for limit 68.14062660308416
795.50/792.24	c cleaning 485 clauses out of 2652 for limit 112.37300895842635
795.60/792.36	c cleaning 502 clauses out of 2667 for limit 184.2758405983521
795.70/792.47	c cleaning 489 clauses out of 2665 for limit 304.1235773025517
795.90/792.62	c cleaning 484 clauses out of 2677 for limit 499.79203569776996
796.00/792.75	c cleaning 530 clauses out of 2693 for limit 819.326942015971
796.10/792.88	c cleaning 498 clauses out of 2664 for limit 1367.255779167183
796.31/793.03	c cleaning 475 clauses out of 2664 for limit 2250.280367464046
796.41/793.16	c cleaning 500 clauses out of 2689 for limit 3676.5115653471485
796.60/793.30	c cleaning 520 clauses out of 2689 for limit 6063.059406175389
796.70/793.41	c cleaning 498 clauses out of 2669 for limit 10073.72147309268
796.80/793.51	c cleaning 481 clauses out of 2674 for limit 16631.695767342895
796.90/793.65	c cleaning 483 clauses out of 2690 for limit 27183.038907888676
797.00/793.76	c cleaning 476 clauses out of 2708 for limit 44575.06914383901
797.10/793.88	c cleaning 469 clauses out of 2731 for limit 72818.27063271467
797.30/794.01	c cleaning 507 clauses out of 2762 for limit 118739.24236976252
797.41/794.12	c cleaning 501 clauses out of 2755 for limit 196314.43371040584
797.51/794.24	c cleaning 1255 clauses out of 2756 for limit 324279.52791602537
797.70/794.42	c cleaning 937 clauses out of 1999 for limit 735822.0783151139
797.90/794.65	c cleaning 704 clauses out of 1562 for limit 1552960.7031195026
798.00/794.80	c cleaning 599 clauses out of 1358 for limit 2945761.710725616
798.20/794.94	c cleaning 602 clauses out of 1259 for limit 5239954.7873865375
798.30/795.06	c cleaning 488 clauses out of 1162 for limit 9409695.887164077
798.40/795.20	c cleaning 526 clauses out of 1169 for limit 1.5347955547737533E7
798.61/795.35	c cleaning 477 clauses out of 1143 for limit 2.5886581368271526E7
798.70/795.46	c cleaning 482 clauses out of 1166 for limit 4.184834307830821E7
798.90/795.62	c cleaning 576 clauses out of 1184 for limit 6.796432413946079E7
799.00/795.71	c cleaning 538 clauses out of 1110 for limit 1.1979388142025504E8
799.10/795.85	c cleaning 477 clauses out of 1070 for limit 2.0453173443717098E8
799.30/796.01	c cleaning 466 clauses out of 1093 for limit 3.302023836070481E8
799.40/796.17	c cleaning 472 clauses out of 1127 for limit 5.2811966224320716E8
799.61/796.32	c cleaning 520 clauses out of 1155 for limit 8.4982627729321E8
799.71/796.42	c cleaning 458 clauses out of 1135 for limit 1.4261728527965882E9
799.80/796.53	c cleaning 450 clauses out of 1177 for limit 2.268022982605381E9
799.90/796.64	c cleaning 461 clauses out of 1227 for limit 3.5878579337376723E9
800.00/796.74	c cleaning 471 clauses out of 1266 for limit 5.73458484000546E9
800.10/796.85	c cleaning 628 clauses out of 1296 for limit 9.247430695524294E9
800.20/796.95	c cleaning 521 clauses out of 1169 for limit 1.6923959382496948E10
800.30/797.06	c cleaning 536 clauses out of 1146 for limit 2.841310729537978E10
800.40/797.19	c cleaning 456 clauses out of 1110 for limit 4.837670193949317E10
800.50/797.29	c cleaning 404 clauses out of 1159 for limit 7.678992543899767E10
800.71/797.43	c cleaning 584 clauses out of 1250 for limit 1.1683178094759367E11
800.81/797.55	c cleaning 385 clauses out of 1166 for limit 2.0655149684671408E11
801.00/797.71	c cleaning 614 clauses out of 1281 for limit 3.100513697182941E11
801.10/797.81	c cleaning 529 clauses out of 1168 for limit 5.613456221881238E11
801.20/797.95	c cleaning 386 clauses out of 1139 for limit 9.493040763017235E11
801.30/798.05	c cleaning 596 clauses out of 1252 for limit 1.4228074029295037E12
801.40/798.17	c cleaning 360 clauses out of 1157 for limit 2.5416016565347935E12
801.50/798.28	c cleaning 419 clauses out of 1296 for limit 3.738154245950061E12
801.70/798.41	c cleaning 663 clauses out of 1377 for limit 5.802086054494001E12
801.81/798.53	c cleaning 578 clauses out of 1215 for limit 1.0855059965418016E13
801.91/798.68	c cleaning 548 clauses out of 1136 for limit 1.9127206593359383E13
802.00/798.77	c cleaning 499 clauses out of 1088 for limit 3.293493963191472E13
802.10/798.88	c cleaning 375 clauses out of 1089 for limit 5.426424618415345E13
802.20/798.98	c cleaning 394 clauses out of 1214 for limit 8.027473015999056E13
802.30/799.07	c cleaning 469 clauses out of 1321 for limit 1.2178256648779639E14
802.40/799.16	c cleaning 660 clauses out of 1351 for limit 1.961796548473867E14
802.50/799.26	c cleaning 574 clauses out of 1191 for limit 3.669893326063259E14
802.60/799.38	c cleaning 466 clauses out of 1117 for limit 6.453092880636375E14
802.70/799.49	c cleaning 363 clauses out of 1153 for limit 1.0330389400632709E15
802.80/799.60	c cleaning 430 clauses out of 1288 for limit 1.5220082276637762E15
803.01/799.71	c cleaning 549 clauses out of 1358 for limit 2.3806139832914265E15
803.10/799.81	c cleaning 634 clauses out of 1309 for limit 4.0729116613367714E-5
803.20/799.90	c cleaning 552 clauses out of 1175 for limit 7.482774500288644E-5
803.30/800.00	c cleaning 534 clauses out of 1124 for limit 1.2912924499144541E-4
803.40/800.11	c cleaning 404 clauses out of 1089 for limit 2.195757720555822E-4
803.50/800.21	c cleaning 485 clauses out of 1185 for limit 3.3277434315456074E-4
803.60/800.31	c cleaning 373 clauses out of 1200 for limit 5.419295419968307E-4
803.70/800.43	c cleaning 455 clauses out of 1332 for limit 8.091858751452021E-4
803.80/800.54	c cleaning 473 clauses out of 1373 for limit 0.0012894360878742542
803.90/800.67	c cleaning 509 clauses out of 1399 for limit 0.0020848461825613133
804.01/800.78	c cleaning 475 clauses out of 1390 for limit 0.003460451924335069
804.11/800.88	c cleaning 479 clauses out of 1415 for limit 0.005605922215084569
804.20/800.98	c cleaning 497 clauses out of 1438 for limit 0.0091152698852355
804.40/801.11	c cleaning 493 clauses out of 1439 for limit 0.014991824424120826
804.50/801.22	c cleaning 497 clauses out of 1448 for limit 0.024619069252762717
804.60/801.32	c cleaning 494 clauses out of 1450 for limit 0.040503594348200944
804.70/801.46	c cleaning 531 clauses out of 1455 for limit 0.0664997402593706
804.80/801.58	c cleaning 506 clauses out of 1424 for limit 0.11205438078779606
804.90/801.68	c cleaning 501 clauses out of 1421 for limit 0.1857394579232546
805.00/801.78	c cleaning 480 clauses out of 1417 for limit 0.3062532830823574
805.11/801.89	c cleaning 479 clauses out of 1438 for limit 0.49817521405928356
805.30/802.03	c cleaning 503 clauses out of 1460 for limit 0.8099879259408215
805.40/802.15	c cleaning 523 clauses out of 1458 for limit 1.3389497414141924
805.50/802.28	c cleaning 499 clauses out of 1432 for limit 2.241460724360239
805.60/802.39	c cleaning 489 clauses out of 1433 for limit 3.6938890602544223
805.70/802.49	c cleaning 487 clauses out of 1445 for limit 6.047175740623624
805.80/802.59	c cleaning 476 clauses out of 1458 for limit 9.8836828271361
805.90/802.69	c cleaning 477 clauses out of 1481 for limit 16.030336573006892
806.00/802.78	c cleaning 521 clauses out of 1504 for limit 26.031892980553632
806.10/802.88	c cleaning 507 clauses out of 1483 for limit 43.53798469989524
806.21/802.97	c cleaning 514 clauses out of 1476 for limit 72.14047589854893
806.40/803.11	c cleaning 520 clauses out of 1462 for limit 120.1085363970481
806.50/803.21	c cleaning 487 clauses out of 1445 for limit 201.0077594467627
806.60/803.31	c cleaning 487 clauses out of 1455 for limit 328.2237689742696
806.70/803.42	c cleaning 483 clauses out of 1468 for limit 536.4915091021344
806.80/803.54	c cleaning 486 clauses out of 1485 for limit 874.6178605921344
806.90/803.66	c cleaning 478 clauses out of 1499 for limit 1428.8908317243404
807.00/803.78	c cleaning 495 clauses out of 1521 for limit 2322.3483040949636
807.20/803.92	c cleaning 503 clauses out of 1526 for limit 3817.3143323331324
807.31/804.03	c cleaning 539 clauses out of 1523 for limit 6307.662389969585
807.41/804.15	c cleaning 510 clauses out of 1484 for limit 10675.55173650439
807.50/804.28	c cleaning 498 clauses out of 1475 for limit 17730.56638840369
807.60/804.39	c cleaning 502 clauses out of 1477 for limit 29200.482053242675
807.80/804.52	c cleaning 517 clauses out of 1474 for limit 48205.2576050579
807.90/804.62	c cleaning 506 clauses out of 1458 for limit 80449.7625054075
808.00/804.72	c cleaning 488 clauses out of 1451 for limit 133179.15441852302
808.10/804.82	c cleaning 496 clauses out of 1464 for limit 217897.8713534595
808.20/804.97	c cleaning 490 clauses out of 1467 for limit 358249.27960162243
808.30/805.09	c cleaning 497 clauses out of 1477 for limit 586800.9811064332
808.51/805.21	c cleaning 502 clauses out of 1480 for limit 965751.7376239564
808.60/805.32	c cleaning 489 clauses out of 1480 for limit 1595843.9032605747
808.70/805.44	c cleaning 482 clauses out of 1489 for limit 2610623.781358744
808.80/805.57	c cleaning 732 clauses out of 1507 for limit 4253844.619276495
808.90/805.69	c cleaning 609 clauses out of 1275 for limit 8291642.652104278
809.10/805.81	c cleaning 511 clauses out of 1166 for limit 1.495230331133954E7
809.20/805.93	c cleaning 349 clauses out of 1156 for limit 2.489655250874731E7
809.30/806.04	c cleaning 397 clauses out of 1307 for limit 3.631427239133946E7
809.40/806.17	c cleaning 691 clauses out of 1409 for limit 5.5496208938494235E7
809.51/806.28	c cleaning 384 clauses out of 1218 for limit 1.0587243663351877E8
809.70/806.40	c cleaning 408 clauses out of 1335 for limit 1.59455436146619E8
809.80/806.52	c cleaning 445 clauses out of 1427 for limit 2.4600985746750858E8
809.90/806.65	c cleaning 505 clauses out of 1482 for limit 3.9064670531302124E8
810.00/806.79	c cleaning 517 clauses out of 1476 for limit 6.46200645109364E8
810.20/806.91	c cleaning 483 clauses out of 1460 for limit 1.0784283289992056E9
810.30/807.01	c cleaning 506 clauses out of 1477 for limit 1.7580026897477775E9
810.40/807.12	c cleaning 487 clauses out of 1470 for limit 2.9100742562894254E9
810.50/807.21	c cleaning 481 clauses out of 1483 for limit 4.757032754243984E9
810.61/807.31	c cleaning 750 clauses out of 1502 for limit 7.745745923150297E9
810.71/807.43	c cleaning 623 clauses out of 1252 for limit 1.5324444404479383E10
810.80/807.55	c cleaning 490 clauses out of 1129 for limit 2.802534785729243E10
810.90/807.66	c cleaning 352 clauses out of 1139 for limit 4.581177475358949E10
811.00/807.76	c cleaning 408 clauses out of 1288 for limit 6.6876783410155205E10
811.10/807.86	c cleaning 439 clauses out of 1379 for limit 1.0290781299609827E11
811.20/807.96	c cleaning 481 clauses out of 1442 for limit 1.6261936653663812E11
1800.10/1795.41	c starts		: 22
1800.10/1795.41	c conflicts		: 1240019
1800.10/1795.41	c decisions		: 4578465
1800.10/1795.41	c propagations		: 941516021
1800.10/1795.41	c inspects		: 7516120589
1800.10/1795.41	c learnt literals	: 22
1800.10/1795.41	c learnt binary clauses	: 63923
1800.10/1795.41	c learnt ternary clauses	: 52009
1800.10/1795.41	c learnt clauses	: 1239997
1800.10/1795.41	c root simplifications	: 0
1800.10/1795.41	c removed literals (reason simplification)	: 0
1800.10/1795.41	c reason swapping (by a shorter reason)	: 0
1800.10/1795.41	c Calls to reduceDB	: 223
1800.10/1795.41	c speed (decisions/second)	: 2550.9696377411556
1800.10/1795.41	c non guided choices	974
1800.10/1795.41	s UNKNOWN
1800.10/1795.41	c Total wall clock time (ms): 1795.287

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-3742270-1338765348/watcher-3742270-1338765348 -o /tmp/evaluation-result-3742270-1338765348/solver-3742270-1338765348 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742270-1338765348.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: 0.92 1.05 1.41 3/175 17929
/proc/meminfo: memFree=26525352/32873844 swapFree=7628/7628
[pid=17929] ppid=17925 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17929/stat : 17929 (java) D 17925 17929 17886 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342659710 9515008 182 33554432000 1073741824 1073778376 140735989885088 140735989876120 223651643061 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/17929/statm: 2323 182 140 9 0 71 0

[startup+0.063065 s]
/proc/loadavg: 0.92 1.05 1.41 3/175 17929
/proc/meminfo: memFree=26525352/32873844 swapFree=7628/7628
[pid=17929] ppid=17925 vsize=2623916 CPUtime=0.04 cores=1,3,5,7
/proc/17929/stat : 17929 (java) S 17925 17929 17886 0 -1 4202496 3438 0 1 0 3 1 0 0 20 0 13 0 342659710 2686889984 5158 33554432000 1073741824 1073778376 140737016039040 140737016030176 223655002173 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17929/statm: 655979 5158 1708 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916

[startup+0.100275 s]
/proc/loadavg: 0.92 1.05 1.41 3/175 17929
/proc/meminfo: memFree=26525352/32873844 swapFree=7628/7628
[pid=17929] ppid=17925 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/17929/stat : 17929 (java) S 17925 17929 17886 0 -1 4202496 3614 0 3 0 5 2 0 0 20 0 18 0 342659710 3028844544 5846 33554432000 1073741824 1073778376 140737016039040 140737016030176 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17929/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300263 s]
/proc/loadavg: 0.92 1.05 1.41 3/175 17929
/proc/meminfo: memFree=26525352/32873844 swapFree=7628/7628
[pid=17929] ppid=17925 vsize=2957856 CPUtime=0.5 cores=1,3,5,7
/proc/17929/stat : 17929 (java) S 17925 17929 17886 0 -1 4202496 7810 0 3 0 47 3 0 0 20 0 18 0 342659710 3028844544 10723 33554432000 1073741824 1073778376 140737016039040 140737016030176 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17929/statm: 739464 10723 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700271 s]
/proc/loadavg: 0.92 1.05 1.41 3/175 17929
/proc/meminfo: memFree=26525352/32873844 swapFree=7628/7628
[pid=17929] ppid=17925 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/17929/stat : 17929 (java) S 17925 17929 17886 0 -1 4202496 9666 0 3 0 141 5 0 0 20 0 19 0 342659710 3097006080 29230 33554432000 1073741824 1073778376 140737016039040 140737016030176 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17929/statm: 756105 29230 2269 9 0 746526 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 3024420

[startup+1.50074 s]
/proc/loadavg: 0.92 1.05 1.41 5/213 17967
/proc/meminfo: memFree=26262448/32873844 swapFree=7628/7628
[pid=17929] ppid=17925 vsize=3024420 CPUtime=2.41 cores=1,3,5,7
/proc/17929/stat : 17929 (java) S 17925 17929 17886 0 -1 4202496 10701 0 3 0 236 5 0 0 20 0 19 0 342659710 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140737016030176 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17929/statm: 756105 29760 2273 9 0 746526 0
[pid=17929/tid=17933] ppid=17925 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/17929/task/17933/stat : 17933 (java) R 17925 17929 17886 0 -1 4202560 2596 0 3 0 142 4 0 0 20 0 19 0 342659711 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520698765656 140520543003128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17936] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17936/stat : 17936 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520682191784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17939] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17939/stat : 17939 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520681139240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17942] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17942/stat : 17942 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520680086184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17943] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17943/stat : 17943 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520679033640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17946] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17946/stat : 17946 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520677980584 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17947] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17947/stat : 17947 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520676928040 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17948] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17948/stat : 17948 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520675874984 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17949] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17949/stat : 17949 (java) S 17925 17929 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520674822440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17951] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17951/stat : 17951 (java) S 17925 17929 17886 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342659714 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520662412136 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17954] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17954/stat : 17954 (java) S 17925 17929 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520661358456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17955] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17955/stat : 17955 (java) S 17925 17929 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520542168456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17957] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17957/stat : 17957 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520541117200 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17958] ppid=17925 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17929/task/17958/stat : 17958 (java) S 17925 17929 17886 0 -1 4202560 2919 0 0 0 43 0 0 0 20 0 19 0 342659717 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520540064056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17960] ppid=17925 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17929/task/17960/stat : 17960 (java) S 17925 17929 17886 0 -1 4202560 3987 0 0 0 48 0 0 0 20 0 19 0 342659717 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520539011512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17962] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17962/stat : 17962 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520537958648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17964] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17964/stat : 17964 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520536906312 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17966] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17966/stat : 17966 (java) S 17925 17929 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342659773 3097006080 29760 33554432000 1073741824 1073778376 140737016039040 140520534775336 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 3024420

[startup+3.10074 s]
/proc/loadavg: 0.92 1.05 1.41 4/213 17967
/proc/meminfo: memFree=26257584/32873844 swapFree=7628/7628
[pid=17929] ppid=17925 vsize=3024420 CPUtime=4.02 cores=1,3,5,7
/proc/17929/stat : 17929 (java) S 17925 17929 17886 0 -1 4202496 10704 0 3 0 397 5 0 0 20 0 19 0 342659710 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140737016030176 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17929/statm: 756105 30273 2273 9 0 746526 0
[pid=17929/tid=17933] ppid=17925 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/17929/task/17933/stat : 17933 (java) R 17925 17929 17886 0 -1 4202560 2598 0 3 0 301 4 0 0 20 0 19 0 342659711 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520698765736 140520542952721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17936] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17936/stat : 17936 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520682191784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17939] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17939/stat : 17939 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520681139240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17942] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17942/stat : 17942 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520680086184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17943] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17943/stat : 17943 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520679033640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17946] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17946/stat : 17946 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520677980584 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17947] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17947/stat : 17947 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520676928040 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17948] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17948/stat : 17948 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520675874984 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17949] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17949/stat : 17949 (java) S 17925 17929 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520674822440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17951] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17951/stat : 17951 (java) S 17925 17929 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342659714 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520662412136 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17954] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17954/stat : 17954 (java) S 17925 17929 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520661358456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17955] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17955/stat : 17955 (java) S 17925 17929 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520542168456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17957] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17957/stat : 17957 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520541117200 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17958] ppid=17925 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17929/task/17958/stat : 17958 (java) S 17925 17929 17886 0 -1 4202560 2919 0 0 0 43 0 0 0 20 0 19 0 342659717 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520540064056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17960] ppid=17925 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17929/task/17960/stat : 17960 (java) S 17925 17929 17886 0 -1 4202560 3987 0 0 0 49 0 0 0 20 0 19 0 342659717 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520539011512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17962] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17962/stat : 17962 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520537958648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17964] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17964/stat : 17964 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520536906312 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17966] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17966/stat : 17966 (java) S 17925 17929 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342659773 3097006080 30273 33554432000 1073741824 1073778376 140737016039040 140520534775336 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 3024420

[startup+6.3008 s]
/proc/loadavg: 1.01 1.07 1.42 4/213 17967
/proc/meminfo: memFree=26248408/32873844 swapFree=7628/7628
[pid=17929] ppid=17925 vsize=3024420 CPUtime=7.28 cores=1,3,5,7
/proc/17929/stat : 17929 (java) S 17925 17929 17886 0 -1 4202496 10709 0 3 0 722 6 0 0 20 0 19 0 342659710 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140737016030176 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17929/statm: 756105 31669 2273 9 0 746526 0
[pid=17929/tid=17933] ppid=17925 vsize=3024420 CPUtime=6.25 cores=1,3,5,7
/proc/17929/task/17933/stat : 17933 (java) R 17925 17929 17886 0 -1 4202560 2603 0 3 0 621 4 0 0 20 0 19 0 342659711 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520698763888 140520542957973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17936] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17936/stat : 17936 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520682191784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17939] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17939/stat : 17939 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520681139240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17942] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17942/stat : 17942 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520680086184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17943] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17943/stat : 17943 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520679033640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17946] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17946/stat : 17946 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520677980584 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17947] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17947/stat : 17947 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520676928040 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17948] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17948/stat : 17948 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520675874984 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17949] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17949/stat : 17949 (java) S 17925 17929 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520674822440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17951] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17951/stat : 17951 (java) S 17925 17929 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342659714 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520662412136 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17954] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17954/stat : 17954 (java) S 17925 17929 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520661358456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17955] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17955/stat : 17955 (java) S 17925 17929 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520542168456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17957] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17957/stat : 17957 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520541117200 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17958] ppid=17925 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/17929/task/17958/stat : 17958 (java) S 17925 17929 17886 0 -1 4202560 2919 0 0 0 46 0 0 0 20 0 19 0 342659717 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520540064056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17960] ppid=17925 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/17929/task/17960/stat : 17960 (java) S 17925 17929 17886 0 -1 4202560 3987 0 0 0 51 0 0 0 20 0 19 0 342659717 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520539011512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17962] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17962/stat : 17962 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520537958648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17964] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17964/stat : 17964 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520536906312 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17966] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17966/stat : 17966 (java) S 17925 17929 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342659773 3097006080 31669 33554432000 1073741824 1073778376 140737016039040 140520534775336 223655016361 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.7008 s]

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

[pid=17929/tid=17947] ppid=17925 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17929/task/17947/stat : 17947 (java) S 17925 17929 17886 0 -1 4202560 227 0 0 0 22 17 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520676928040 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17948] ppid=17925 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/17929/task/17948/stat : 17948 (java) S 17925 17929 17886 0 -1 4202560 330 0 0 0 34 19 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520675874984 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17949] ppid=17925 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/17929/task/17949/stat : 17949 (java) S 17925 17929 17886 0 -1 4202560 280 0 0 0 38 22 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520674822440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17951] ppid=17925 vsize=3024420 CPUtime=1.69 cores=1,3,5,7
/proc/17929/task/17951/stat : 17951 (java) S 17925 17929 17886 0 -1 4202560 237 0 0 0 159 10 0 0 20 0 19 0 342659714 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520662412136 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17954] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17954/stat : 17954 (java) S 17925 17929 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520661358456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17955] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17955/stat : 17955 (java) S 17925 17929 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520542168456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17957] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17957/stat : 17957 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520541117200 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17958] ppid=17925 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/17929/task/17958/stat : 17958 (java) S 17925 17929 17886 0 -1 4202560 2931 0 0 0 52 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520540064056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17960] ppid=17925 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/17929/task/17960/stat : 17960 (java) S 17925 17929 17886 0 -1 4202560 3987 0 0 0 57 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520539011512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17962] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17962/stat : 17962 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520537958648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17964] ppid=17925 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/17929/task/17964/stat : 17964 (java) S 17925 17929 17886 0 -1 4202560 95 0 0 0 65 33 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520536906312 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17966] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17966/stat : 17966 (java) S 17925 17929 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342659773 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520534775336 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.99
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/213 17982
/proc/meminfo: memFree=23217100/32873844 swapFree=7628/7628
[pid=17929] ppid=17925 vsize=3024420 CPUtime=1727 cores=1,3,5,7
/proc/17929/stat : 17929 (java) S 17925 17929 17886 0 -1 4202496 13153 0 3 0 172512 188 0 0 20 0 19 0 342659710 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140737016030176 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17929/statm: 756105 418541 2302 9 0 746526 0
[pid=17929/tid=17933] ppid=17925 vsize=3024420 CPUtime=1719.55 cores=1,3,5,7
/proc/17929/task/17933/stat : 17933 (java) R 17925 17929 17886 0 -1 4202560 2769 0 3 0 171919 36 0 0 20 0 19 0 342659711 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520698764592 140520542952146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17936] ppid=17925 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/17929/task/17936/stat : 17936 (java) S 17925 17929 17886 0 -1 4202560 339 0 0 0 40 20 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520682191784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17939] ppid=17925 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17929/task/17939/stat : 17939 (java) S 17925 17929 17886 0 -1 4202560 251 0 0 0 24 19 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520681139240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17942] ppid=17925 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/17929/task/17942/stat : 17942 (java) S 17925 17929 17886 0 -1 4202560 177 0 0 0 22 14 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520680086184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17943] ppid=17925 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17929/task/17943/stat : 17943 (java) S 17925 17929 17886 0 -1 4202560 188 0 0 0 24 14 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520679033640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17946] ppid=17925 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17929/task/17946/stat : 17946 (java) S 17925 17929 17886 0 -1 4202560 153 0 0 0 28 11 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520677980584 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17947] ppid=17925 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17929/task/17947/stat : 17947 (java) S 17925 17929 17886 0 -1 4202560 227 0 0 0 22 17 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520676928040 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17948] ppid=17925 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/17929/task/17948/stat : 17948 (java) S 17925 17929 17886 0 -1 4202560 330 0 0 0 34 19 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520675874984 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17949] ppid=17925 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/17929/task/17949/stat : 17949 (java) S 17925 17929 17886 0 -1 4202560 280 0 0 0 38 22 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520674822440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17951] ppid=17925 vsize=3024420 CPUtime=1.69 cores=1,3,5,7
/proc/17929/task/17951/stat : 17951 (java) S 17925 17929 17886 0 -1 4202560 237 0 0 0 159 10 0 0 20 0 19 0 342659714 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520662412136 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17954] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17954/stat : 17954 (java) S 17925 17929 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520661358456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17955] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17955/stat : 17955 (java) S 17925 17929 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520542168456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17957] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17957/stat : 17957 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520541117200 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17958] ppid=17925 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/17929/task/17958/stat : 17958 (java) S 17925 17929 17886 0 -1 4202560 2931 0 0 0 52 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520540064056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17960] ppid=17925 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/17929/task/17960/stat : 17960 (java) S 17925 17929 17886 0 -1 4202560 3987 0 0 0 57 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520539011512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17962] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17962/stat : 17962 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520537958648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17964] ppid=17925 vsize=3024420 CPUtime=1.02 cores=1,3,5,7
/proc/17929/task/17964/stat : 17964 (java) S 17925 17929 17886 0 -1 4202560 99 0 0 0 68 34 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520536906312 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17966] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17966/stat : 17966 (java) S 17925 17929 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342659773 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520534775336 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.88 4/212 17982
/proc/meminfo: memFree=23217108/32873844 swapFree=7628/7628
[pid=17929] ppid=17925 vsize=3024420 CPUtime=1787 cores=1,3,5,7
/proc/17929/stat : 17929 (java) S 17925 17929 17886 0 -1 4202496 13160 0 3 0 178510 190 0 0 20 0 19 0 342659710 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140737016030176 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17929/statm: 756105 418541 2302 9 0 746526 0
[pid=17929/tid=17933] ppid=17925 vsize=3024420 CPUtime=1779.05 cores=1,3,5,7
/proc/17929/task/17933/stat : 17933 (java) R 17925 17929 17886 0 -1 4202560 2770 0 3 0 177868 37 0 0 20 0 19 0 342659711 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520698764592 140520542957973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17936] ppid=17925 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/17929/task/17936/stat : 17936 (java) S 17925 17929 17886 0 -1 4202560 339 0 0 0 40 20 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520682191784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17939] ppid=17925 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17929/task/17939/stat : 17939 (java) S 17925 17929 17886 0 -1 4202560 251 0 0 0 24 19 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520681139240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17942] ppid=17925 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/17929/task/17942/stat : 17942 (java) S 17925 17929 17886 0 -1 4202560 177 0 0 0 22 14 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520680086184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17943] ppid=17925 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17929/task/17943/stat : 17943 (java) S 17925 17929 17886 0 -1 4202560 188 0 0 0 24 14 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520679033640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17946] ppid=17925 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17929/task/17946/stat : 17946 (java) S 17925 17929 17886 0 -1 4202560 153 0 0 0 28 11 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520677980584 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17947] ppid=17925 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17929/task/17947/stat : 17947 (java) S 17925 17929 17886 0 -1 4202560 227 0 0 0 22 17 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520676928040 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17948] ppid=17925 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/17929/task/17948/stat : 17948 (java) S 17925 17929 17886 0 -1 4202560 330 0 0 0 34 19 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520675874984 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17949] ppid=17925 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/17929/task/17949/stat : 17949 (java) S 17925 17929 17886 0 -1 4202560 280 0 0 0 38 22 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520674822440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17951] ppid=17925 vsize=3024420 CPUtime=2.17 cores=1,3,5,7
/proc/17929/task/17951/stat : 17951 (java) S 17925 17929 17886 0 -1 4202560 239 0 0 0 207 10 0 0 20 0 19 0 342659714 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520662412136 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17954] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17954/stat : 17954 (java) S 17925 17929 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520661358456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17955] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17955/stat : 17955 (java) S 17925 17929 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520542168456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17957] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17957/stat : 17957 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520541117200 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17958] ppid=17925 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/17929/task/17958/stat : 17958 (java) S 17925 17929 17886 0 -1 4202560 2931 0 0 0 52 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520540064056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17960] ppid=17925 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/17929/task/17960/stat : 17960 (java) S 17925 17929 17886 0 -1 4202560 3987 0 0 0 57 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520539011512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17962] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17962/stat : 17962 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520537958648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17964] ppid=17925 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/17929/task/17964/stat : 17964 (java) S 17925 17929 17886 0 -1 4202560 103 0 0 0 70 35 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520536906312 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17966] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17966/stat : 17966 (java) S 17925 17929 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342659773 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520534775336 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1787
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.4 s]
/proc/loadavg: 2.00 2.00 1.88 3/213 17983
/proc/meminfo: memFree=23216976/32873844 swapFree=7628/7628
[pid=17929] ppid=17925 vsize=3024420 CPUtime=1800.1 cores=1,3,5,7
/proc/17929/stat : 17929 (java) S 17925 17929 17886 0 -1 4202496 13160 0 3 0 179820 190 0 0 20 0 19 0 342659710 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140737016030176 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17929/statm: 756105 418541 2302 9 0 746526 0
[pid=17929/tid=17933] ppid=17925 vsize=3024420 CPUtime=1792.16 cores=1,3,5,7
/proc/17929/task/17933/stat : 17933 (java) R 17925 17929 17886 0 -1 4202560 2770 0 3 0 179179 37 0 0 20 0 19 0 342659711 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520698764592 140520542952112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17936] ppid=17925 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/17929/task/17936/stat : 17936 (java) S 17925 17929 17886 0 -1 4202560 339 0 0 0 40 20 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520682191784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17939] ppid=17925 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17929/task/17939/stat : 17939 (java) S 17925 17929 17886 0 -1 4202560 251 0 0 0 24 19 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520681139240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17942] ppid=17925 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/17929/task/17942/stat : 17942 (java) S 17925 17929 17886 0 -1 4202560 177 0 0 0 22 14 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520680086184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17943] ppid=17925 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17929/task/17943/stat : 17943 (java) S 17925 17929 17886 0 -1 4202560 188 0 0 0 24 14 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520679033640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17946] ppid=17925 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17929/task/17946/stat : 17946 (java) S 17925 17929 17886 0 -1 4202560 153 0 0 0 28 11 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520677980584 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17947] ppid=17925 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17929/task/17947/stat : 17947 (java) S 17925 17929 17886 0 -1 4202560 227 0 0 0 22 17 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520676928040 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17948] ppid=17925 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/17929/task/17948/stat : 17948 (java) S 17925 17929 17886 0 -1 4202560 330 0 0 0 34 19 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520675874984 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17949] ppid=17925 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/17929/task/17949/stat : 17949 (java) S 17925 17929 17886 0 -1 4202560 280 0 0 0 38 22 0 0 20 0 19 0 342659713 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520674822440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17929/tid=17951] ppid=17925 vsize=3024420 CPUtime=2.17 cores=1,3,5,7
/proc/17929/task/17951/stat : 17951 (java) S 17925 17929 17886 0 -1 4202560 239 0 0 0 207 10 0 0 20 0 19 0 342659714 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520662412136 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17929/tid=17954] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17954/stat : 17954 (java) S 17925 17929 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520661358456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17955] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17955/stat : 17955 (java) S 17925 17929 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520542168456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17957] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17957/stat : 17957 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520541117200 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17958] ppid=17925 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/17929/task/17958/stat : 17958 (java) S 17925 17929 17886 0 -1 4202560 2931 0 0 0 52 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520540064056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17960] ppid=17925 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/17929/task/17960/stat : 17960 (java) S 17925 17929 17886 0 -1 4202560 3987 0 0 0 57 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520539011512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17962] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17962/stat : 17962 (java) S 17925 17929 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520537958648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17929/tid=17964] ppid=17925 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/17929/task/17964/stat : 17964 (java) S 17925 17929 17886 0 -1 4202560 103 0 0 0 70 35 0 0 20 0 19 0 342659717 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520536906312 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17929/tid=17966] ppid=17925 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17929/task/17966/stat : 17966 (java) S 17925 17929 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342659773 3097006080 418541 33554432000 1073741824 1073778376 140737016039040 140520534775336 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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): 1795.42
CPU time (s): 1800.42
CPU user time (s): 1798.1
CPU system time (s): 2.32465
CPU usage (%): 100.278
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.1
system time used= 2.32465
maximum resident set size= 1674280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13190
page faults= 3
swaps= 0
block input operations= 928
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38080
involuntary context switches= 5386

runsolver used 6.65899 second user time and 16.7155 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-04 01:15:48
IDJOB=3742270
IDBENCH=90146
IDSOLVER=2319
FILE ID=node144/3742270-1338765348
RUNJOBID= node144-1338765348-17903
PBS_JOBID= 14636814
Free space on /tmp= 70836 MiB

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

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

MD5SUM BENCH= 8617651a414bb8902c12959cc1c92372
RANDOM SEED=1600079116

node144.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.196
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.39
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.196
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.196
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	: 5438.54
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.196
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.196
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.90
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.196
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.196
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.196
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:       32873844 kB
MemFree:        26525856 kB
Buffers:         1721436 kB
Cached:          3722264 kB
SwapCached:          464 kB
Active:          3540744 kB
Inactive:        1924040 kB
Active(anon):       2196 kB
Inactive(anon):    11188 kB
Active(file):    3538548 kB
Inactive(file):  1912852 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108384 kB
Dirty:              9348 kB
Writeback:             0 kB
AnonPages:         17960 kB
Mapped:            13504 kB
Shmem:               172 kB
Slab:             742168 kB
SReclaimable:     183908 kB
SUnreclaim:       558260 kB
KernelStack:        1392 kB
PageTables:         4352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70828 MiB
End job on node144 at 2012-06-04 01:45:46