Trace number 3742491

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.62 1796.33

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K152.opb
MD5SUM6abb89533e60aa1ed19663db7c40a868
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 variables18088
Total number of constraints18394
Number of constraints which are clauses18242
Number of constraints which are cardinality constraints (but not clauses)152
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint152
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 153
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.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.07/0.11	--- Begin Solver configuration ---
0.07/0.11	c Stops conflict analysis at the first Unique Implication Point
0.07/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.11	c No reason simplification
0.07/0.11	c --- End Solver configuration ---
0.07/0.11	c solving HOME/instance-3742491-1338769179.opb
0.07/0.11	c reading problem ... 
1.16/0.63	c ... done. Wall clock time 0.519s.
1.16/0.63	c CPU time (experimental) 0.59s.
1.16/0.63	c #vars     18088
1.16/0.63	c #constraints  18392
868.23/865.67	c cleaning 302345 clauses out of 605888 for limit 0.00340206575701864
869.83/867.20	c cleaning 151883 clauses out of 304043 for limit 0.0111803637306243
870.93/868.34	c cleaning 75619 clauses out of 152660 for limit 0.03672159789396013
871.73/869.20	c cleaning 37586 clauses out of 77542 for limit 0.11934390090513462
872.43/869.82	c cleaning 19016 clauses out of 40455 for limit 0.3768655132895919
872.83/870.24	c cleaning 9765 clauses out of 21939 for limit 1.1460344205700472
873.03/870.48	c cleaning 5338 clauses out of 12675 for limit 3.274589919567916
873.23/870.65	c cleaning 2921 clauses out of 7836 for limit 8.726334098755736
873.43/870.84	c cleaning 1750 clauses out of 5416 for limit 20.841933550154703
873.53/870.96	c cleaning 1092 clauses out of 4165 for limit 44.65016129510266
873.63/871.09	c cleaning 769 clauses out of 3573 for limit 85.83430769156502
873.84/871.23	c cleaning 696 clauses out of 3304 for limit 153.07694037997274
873.93/871.38	c cleaning 614 clauses out of 3108 for limit 268.36426710349576
874.13/871.51	c cleaning 553 clauses out of 2994 for limit 459.4198861483071
874.23/871.63	c cleaning 507 clauses out of 2942 for limit 771.8080718175622
874.33/871.79	c cleaning 509 clauses out of 2937 for limit 1277.5354163990687
874.53/871.97	c cleaning 483 clauses out of 2925 for limit 2109.1301329995013
874.73/872.15	c cleaning 482 clauses out of 2942 for limit 3458.1391571430904
874.94/872.32	c cleaning 492 clauses out of 2960 for limit 5668.254087097028
875.13/872.51	c cleaning 511 clauses out of 2969 for limit 9328.702044672475
875.23/872.67	c cleaning 496 clauses out of 2960 for limit 15461.96262624796
875.43/872.83	c cleaning 496 clauses out of 2961 for limit 25413.83901514319
875.63/873.00	c cleaning 502 clauses out of 2965 for limit 41854.279602828465
875.73/873.17	c cleaning 465 clauses out of 2963 for limit 69069.89637974495
875.83/873.28	c cleaning 457 clauses out of 2999 for limit 112650.8282002785
876.04/873.42	c cleaning 538 clauses out of 3043 for limit 183273.34277934147
876.13/873.55	c cleaning 519 clauses out of 3003 for limit 305655.9010489007
876.23/873.68	c cleaning 520 clauses out of 2984 for limit 507277.01563197875
876.43/873.83	c cleaning 531 clauses out of 2968 for limit 844450.1972590219
876.53/873.96	c cleaning 1263 clauses out of 2933 for limit 1403601.1488706714
876.63/874.09	c cleaning 292 clauses out of 2177 for limit 3140471.2243623277
876.83/874.20	c cleaning 364 clauses out of 2378 for limit 4708208.65921048
876.93/874.32	c cleaning 326 clauses out of 2514 for limit 7344431.179839001
877.04/874.41	c cleaning 403 clauses out of 2688 for limit 1.1327917088338213E7
877.14/874.52	c cleaning 447 clauses out of 2786 for limit 1.8042163442129157E7
877.23/874.63	c cleaning 676 clauses out of 2838 for limit 2.9179557989301577E7
877.33/874.72	c cleaning 591 clauses out of 2663 for limit 5.133461773701893E7
877.43/874.83	c cleaning 555 clauses out of 2571 for limit 8.759933260857859E7
877.53/874.92	c cleaning 537 clauses out of 2517 for limit 1.477100541347281E8
877.63/875.02	c cleaning 474 clauses out of 2479 for limit 2.4708030076483983E8
877.73/875.16	c cleaning 486 clauses out of 2505 for limit 4.032392561141834E8
877.93/875.32	c cleaning 735 clauses out of 2519 for limit 6.612995917728236E8
878.03/875.42	c cleaning 600 clauses out of 2284 for limit 1.2027800320312507E9
878.14/875.53	c cleaning 563 clauses out of 2184 for limit 2.0743668435061455E9
878.24/875.66	c cleaning 537 clauses out of 2121 for limit 3.522519570221923E9
878.33/875.78	c cleaning 553 clauses out of 2084 for limit 5.912242724441554E9
878.53/875.90	c cleaning 488 clauses out of 2031 for limit 1.00045125591074E10
878.53/875.99	c cleaning 481 clauses out of 2043 for limit 1.640187045849658E10
878.63/876.09	c cleaning 495 clauses out of 2062 for limit 2.6799640619494858E10
878.73/876.19	c cleaning 469 clauses out of 2067 for limit 4.408928354436451E10
878.93/876.30	c cleaning 459 clauses out of 2098 for limit 7.16347783305283E10
879.03/876.40	c cleaning 1063 clauses out of 2139 for limit 1.1587093398172313E11
879.13/876.50	c cleaning 444 clauses out of 1576 for limit 2.593492318675086E11
879.13/876.60	c cleaning 394 clauses out of 1632 for limit 4.130255439137307E11
879.34/876.71	c cleaning 786 clauses out of 1740 for limit 6.401367026867225E11
879.43/876.83	c cleaning 304 clauses out of 1453 for limit 1.262925515810206E12
879.53/876.99	c cleaning 743 clauses out of 1647 for limit 1.8355707479639766E12
879.73/877.18	c cleaning 627 clauses out of 1404 for limit 3.5510231734787812E12
879.93/877.39	c cleaning 588 clauses out of 1277 for limit 6.438513401463278E12
880.13/877.56	c cleaning 540 clauses out of 1189 for limit 1.1403824724946605E13
880.34/877.76	c cleaning 511 clauses out of 1153 for limit 1.9471392670453855E13
880.53/877.93	c cleaning 484 clauses out of 1138 for limit 3.2404244487169645E13
880.73/878.12	c cleaning 501 clauses out of 1154 for limit 5.269801302460778E13
880.93/878.34	c cleaning 528 clauses out of 1153 for limit 8.69814471626592E13
881.13/878.59	c cleaning 532 clauses out of 1125 for limit 1.4701420537762406E14
881.33/878.79	c cleaning 480 clauses out of 1093 for limit 2.49544239122385E14
881.54/878.96	c cleaning 493 clauses out of 1113 for limit 4.041368322390384E14
881.73/879.17	c cleaning 483 clauses out of 1120 for limit 6.62310227690213E14
881.95/879.39	c cleaning 549 clauses out of 1137 for limit 1.0759074299620549E15
882.15/879.53	c cleaning 473 clauses out of 1088 for limit 1.8542247043027048E15
882.25/879.69	c cleaning 483 clauses out of 1115 for limit 2.9838176458819805E15
882.45/879.87	c cleaning 479 clauses out of 1132 for limit 4.84681681063389E15
882.56/879.98	c cleaning 531 clauses out of 1157 for limit 7.851698371599139E-5
882.75/880.12	c cleaning 526 clauses out of 1122 for limit 1.3299090747376737E-4
882.85/880.27	c cleaning 509 clauses out of 1096 for limit 2.2452263954411637E-4
883.05/880.45	c cleaning 495 clauses out of 1087 for limit 3.733335640347021E-4
883.25/880.69	c cleaning 498 clauses out of 1092 for limit 6.128579569233991E-4
883.45/880.89	c cleaning 472 clauses out of 1094 for limit 0.001008837070694696
883.66/881.07	c cleaning 475 clauses out of 1122 for limit 0.0016221887474032728
883.85/881.26	c cleaning 479 clauses out of 1147 for limit 0.0026168974894068323
884.05/881.49	c cleaning 540 clauses out of 1167 for limit 0.0042416532189674784
884.25/881.65	c cleaning 511 clauses out of 1127 for limit 0.007243325241236985
884.45/881.86	c cleaning 514 clauses out of 1116 for limit 0.012062951865447057
884.65/882.04	c cleaning 517 clauses out of 1102 for limit 0.020146150870154228
884.86/882.29	c cleaning 498 clauses out of 1084 for limit 0.03377538290902295
885.05/882.49	c cleaning 498 clauses out of 1086 for limit 0.05559754630814378
885.25/882.67	c cleaning 496 clauses out of 1089 for limit 0.09152673485581635
885.35/882.75	c cleaning 464 clauses out of 1092 for limit 0.15037463498197973
885.45/882.86	c cleaning 480 clauses out of 1128 for limit 0.24007338272136683
885.65/883.04	c cleaning 517 clauses out of 1148 for limit 0.38901568335583625
885.86/883.22	c cleaning 487 clauses out of 1131 for limit 0.6511818400973255
886.05/883.40	c cleaning 507 clauses out of 1144 for limit 1.0616827182336641
886.25/883.60	c cleaning 487 clauses out of 1137 for limit 1.7616360734485141
886.35/883.74	c cleaning 468 clauses out of 1150 for limit 2.8723324602407976
886.45/883.86	c cleaning 510 clauses out of 1182 for limit 4.608620603048977
886.55/883.97	c cleaning 485 clauses out of 1174 for limit 7.667349272516311
886.65/884.07	c cleaning 500 clauses out of 1187 for limit 12.481003030510973
886.75/884.19	c cleaning 489 clauses out of 1187 for limit 20.58284367602629
887.06/884.42	c cleaning 551 clauses out of 1199 for limit 33.637778795233
887.25/884.65	c cleaning 523 clauses out of 1147 for limit 57.93012301410531
887.45/884.86	c cleaning 511 clauses out of 1124 for limit 97.4894105215105
887.65/885.07	c cleaning 485 clauses out of 1116 for limit 162.4123249463154
887.85/885.26	c cleaning 484 clauses out of 1128 for limit 264.1961168065135
888.06/885.49	c cleaning 489 clauses out of 1144 for limit 429.6011074089214
888.35/885.72	c cleaning 493 clauses out of 1155 for limit 701.7223666764521
888.45/885.86	c cleaning 501 clauses out of 1162 for limit 1150.2627678858605
888.65/886.06	c cleaning 533 clauses out of 1163 for limit 1901.0034204109313
888.85/886.24	c cleaning 501 clauses out of 1127 for limit 3225.4554563259767
889.05/886.41	c cleaning 524 clauses out of 1126 for limit 5323.931526575694
889.16/886.58	c cleaning 473 clauses out of 1102 for limit 8971.088565534037
889.26/886.69	c cleaning 476 clauses out of 1129 for limit 14440.714564398279
889.45/886.84	c cleaning 508 clauses out of 1153 for limit 23318.961501894562
889.55/886.99	c cleaning 500 clauses out of 1148 for limit 38739.68160442075
889.75/887.19	c cleaning 494 clauses out of 1146 for limit 63870.48013303069
889.95/887.32	c cleaning 484 clauses out of 1151 for limit 104768.52993420917
890.05/887.45	c cleaning 518 clauses out of 1167 for limit 170408.48080372257
890.15/887.55	c cleaning 502 clauses out of 1149 for limit 285428.88374698395
890.25/887.70	c cleaning 504 clauses out of 1147 for limit 471531.18123118475
890.55/887.93	c cleaning 523 clauses out of 1143 for limit 780339.3209913147
890.76/888.10	c cleaning 496 clauses out of 1120 for limit 1313311.0129927814
890.96/888.30	c cleaning 489 clauses out of 1125 for limit 2158358.0187055203
891.06/888.44	c cleaning 550 clauses out of 1135 for limit 3524532.5138021074
891.26/888.61	c cleaning 529 clauses out of 1085 for limit 6080279.333935168
891.36/888.76	c cleaning 492 clauses out of 1060 for limit 1.030484203232432E7
891.56/888.95	c cleaning 488 clauses out of 1064 for limit 1.6862556424159013E7
891.76/889.16	c cleaning 499 clauses out of 1076 for limit 2.7526004167675465E7
891.96/889.31	c cleaning 489 clauses out of 1078 for limit 4.535519939359468E7
892.06/889.49	c cleaning 503 clauses out of 1087 for limit 7.402921782991874E7
892.26/889.67	c cleaning 509 clauses out of 1084 for limit 1.224219547333382E8
892.56/889.90	c cleaning 505 clauses out of 1075 for limit 2.0358042404444006E8
892.76/890.11	c cleaning 487 clauses out of 1071 for limit 3.373225749395555E8
892.96/890.31	c cleaning 512 clauses out of 1083 for limit 5.4957604741283E8
893.06/890.48	c cleaning 513 clauses out of 1071 for limit 9.164793186495407E8
893.26/890.67	c cleaning 478 clauses out of 1059 for limit 1.5300533658532267E9
893.46/890.84	c cleaning 503 clauses out of 1080 for limit 2.471725046783828E9
893.66/891.06	c cleaning 484 clauses out of 1079 for limit 4.0881552480090995E9
893.86/891.20	c cleaning 501 clauses out of 1094 for limit 6.642826013808063E9
894.06/891.40	c cleaning 500 clauses out of 1092 for limit 1.0963997720895683E10
894.16/891.53	c cleaning 452 clauses out of 1093 for limit 1.8082638984099537E10
894.36/891.72	c cleaning 497 clauses out of 1141 for limit 2.8566183151166267E10
894.46/891.89	c cleaning 488 clauses out of 1143 for limit 4.697999925882539E10
894.66/892.04	c cleaning 486 clauses out of 1155 for limit 7.667135504031583E10
894.76/892.16	c cleaning 483 clauses out of 1169 for limit 1.2492705405003601E11
894.96/892.31	c cleaning 513 clauses out of 1186 for limit 2.030683350111877E11
895.06/892.48	c cleaning 574 clauses out of 1173 for limit 3.385982988995182E11
895.16/892.58	c cleaning 445 clauses out of 1099 for limit 5.959927525286742E11
895.36/892.75	c cleaning 541 clauses out of 1154 for limit 9.360278037822837E11
895.46/892.85	c cleaning 428 clauses out of 1114 for limit 1.6006624833700293E12
895.56/892.99	c cleaning 491 clauses out of 1185 for limit 2.47906538691489E12
895.86/893.20	c cleaning 567 clauses out of 1194 for limit 4.0574940559055938E12
895.96/893.37	c cleaning 406 clauses out of 1127 for limit 7.089150396662146E12
896.16/893.52	c cleaning 479 clauses out of 1221 for limit 1.0790916429258727E13
896.26/893.68	c cleaning 522 clauses out of 1242 for limit 1.7494771892154799E13
896.46/893.81	c cleaning 468 clauses out of 1220 for limit 2.937148714715017E13
896.56/893.99	c cleaning 596 clauses out of 1252 for limit 4.719949208829322E13
896.76/894.16	c cleaning 429 clauses out of 1158 for limit 8.432532142480675E13
896.86/894.30	c cleaning 470 clauses out of 1227 for limit 1.3098116997558977E14
897.06/894.46	c cleaning 463 clauses out of 1257 for limit 2.1085020978426366E14
897.26/894.61	c cleaning 492 clauses out of 1294 for limit 3.377776623911392E14
897.36/894.78	c cleaning 530 clauses out of 1302 for limit 5.5361787616519444E14
897.56/894.94	c cleaning 478 clauses out of 1272 for limit 9.345227210621565E14
897.66/895.09	c cleaning 454 clauses out of 1294 for limit 1.5149510024968652E15
897.86/895.22	c cleaning 522 clauses out of 1340 for limit 2.4125923800819085E15
898.06/895.42	c cleaning 631 clauses out of 1318 for limit 4.045099669719149E-5
898.26/895.63	c cleaning 558 clauses out of 1188 for limit 7.408300588331737E-5
898.36/895.71	c cleaning 544 clauses out of 1129 for limit 1.2842881319664702E-4
898.46/895.81	c cleaning 484 clauses out of 1088 for limit 2.2043824165321842E-4
898.56/895.94	c cleaning 436 clauses out of 1101 for limit 3.581631213788874E-4
898.76/896.14	c cleaning 535 clauses out of 1165 for limit 5.58210687035363E-4
898.96/896.34	c cleaning 409 clauses out of 1130 for limit 9.490771463255158E-4
899.16/896.53	c cleaning 398 clauses out of 1221 for limit 0.001448505612532926
899.36/896.71	c cleaning 479 clauses out of 1323 for limit 0.002204610589118127
899.46/896.86	c cleaning 478 clauses out of 1344 for limit 0.003578890011031067
899.66/897.02	c cleaning 475 clauses out of 1366 for limit 0.005807013129095664
899.76/897.17	c cleaning 492 clauses out of 1391 for limit 0.00940442536774753
899.96/897.32	c cleaning 498 clauses out of 1399 for limit 0.015420468439106418
900.16/897.52	c cleaning 475 clauses out of 1401 for limit 0.02539411213551513
900.26/897.67	c cleaning 485 clauses out of 1426 for limit 0.04114409648884046
900.46/897.80	c cleaning 479 clauses out of 1441 for limit 0.06714581684759491
900.56/897.95	c cleaning 495 clauses out of 1462 for limit 0.10914188662231301
900.76/898.11	c cleaning 501 clauses out of 1467 for limit 0.1793761103907235
900.86/898.28	c cleaning 501 clauses out of 1466 for limit 0.2960169864445433
901.06/898.40	c cleaning 516 clauses out of 1465 for limit 0.4885048340337424
901.16/898.56	c cleaning 481 clauses out of 1449 for limit 0.8145054449359724
901.36/898.73	c cleaning 482 clauses out of 1471 for limit 1.3271167389407836
901.56/898.90	c cleaning 505 clauses out of 1486 for limit 2.1600079120349003
901.66/899.06	c cleaning 490 clauses out of 1481 for limit 3.574168145404853
901.86/899.22	c cleaning 507 clauses out of 1492 for limit 5.856681598660279
902.06/899.43	c cleaning 479 clauses out of 1484 for limit 9.70080805417956
902.26/899.60	c cleaning 523 clauses out of 1505 for limit 15.774703298752959
902.37/899.78	c cleaning 498 clauses out of 1482 for limit 26.41833133788979
902.66/900.00	c cleaning 485 clauses out of 1484 for limit 43.508646435272674
902.76/900.17	c cleaning 489 clauses out of 1499 for limit 71.03358400684337
902.96/900.34	c cleaning 494 clauses out of 1510 for limit 116.29051669700948
903.06/900.49	c cleaning 477 clauses out of 1516 for limit 191.01960081896522
903.26/900.64	c cleaning 479 clauses out of 1540 for limit 310.4179399253554
903.36/900.74	c cleaning 490 clauses out of 1560 for limit 504.85226625764955
903.46/900.86	c cleaning 493 clauses out of 1570 for limit 827.2659382033883
1575.61/1572.12	c cleaning 270801 clauses out of 542573 for limit 4.647423480513568E-5
1576.52/1573.01	c cleaning 135825 clauses out of 272272 for limit 1.5272964123318482E-4
1576.91/1573.42	c cleaning 68134 clauses out of 136947 for limit 5.007600535404739E-4
1577.21/1573.78	c cleaning 33583 clauses out of 69316 for limit 0.001636470306054351
1577.62/1574.18	c cleaning 16966 clauses out of 36230 for limit 0.0051478471114817514
1577.91/1574.49	c cleaning 8682 clauses out of 19764 for limit 0.015562344175940011
1578.21/1574.75	c cleaning 4607 clauses out of 11584 for limit 0.04387490840650897
1578.41/1574.95	c cleaning 2535 clauses out of 7475 for limit 0.11190524390863603
1578.62/1575.12	c cleaning 1546 clauses out of 5440 for limit 0.2535821165840568
1578.81/1575.31	c cleaning 980 clauses out of 4394 for limit 0.5177419517922782
1578.91/1575.46	c cleaning 729 clauses out of 3916 for limit 0.959965524967876
1579.01/1575.58	c cleaning 660 clauses out of 3685 for limit 1.6789883820306553
1579.21/1575.77	c cleaning 589 clauses out of 3527 for limit 2.8987091011101813
1579.31/1575.89	c cleaning 541 clauses out of 3436 for limit 4.8971544581127535
1579.51/1576.02	c cleaning 477 clauses out of 3395 for limit 8.173594075823607
1579.61/1576.13	c cleaning 488 clauses out of 3418 for limit 13.388646431901204
1579.72/1576.27	c cleaning 490 clauses out of 3435 for limit 22.080577900332276
1579.91/1576.41	c cleaning 474 clauses out of 3441 for limit 36.20514943877543
1580.01/1576.56	c cleaning 479 clauses out of 3466 for limit 59.217195271714616
1580.21/1576.71	c cleaning 523 clauses out of 3489 for limit 97.20762519843473
1580.31/1576.87	c cleaning 549 clauses out of 3464 for limit 161.14256894869237
1580.51/1577.01	c cleaning 489 clauses out of 3415 for limit 269.55869505062543
1580.61/1577.18	c cleaning 489 clauses out of 3426 for limit 443.1110513790722
1580.82/1577.37	c cleaning 537 clauses out of 3438 for limit 728.9277210478654
1581.01/1577.55	c cleaning 535 clauses out of 3403 for limit 1216.8955431956147
1581.21/1577.71	c cleaning 509 clauses out of 3365 for limit 2023.4036671181516
1581.31/1577.85	c cleaning 528 clauses out of 3358 for limit 3350.516955622642
1581.41/1577.95	c cleaning 494 clauses out of 3328 for limit 5564.114490508115
1581.51/1578.07	c cleaning 483 clauses out of 3334 for limit 9159.455706987981
1581.71/1578.22	c cleaning 485 clauses out of 3351 for limit 15028.537575294735
1581.81/1578.32	c cleaning 497 clauses out of 3366 for limit 24673.62300341568
1581.92/1578.44	c cleaning 478 clauses out of 3369 for limit 40653.8717136154
1582.02/1578.56	c cleaning 510 clauses out of 3391 for limit 66608.70965778732
1582.11/1578.69	c cleaning 508 clauses out of 3382 for limit 110249.24039157825
1582.31/1578.82	c cleaning 496 clauses out of 3373 for limit 182118.5748836912
1582.41/1578.93	c cleaning 499 clauses out of 3377 for limit 299982.1481604803
1582.51/1579.07	c cleaning 483 clauses out of 3378 for limit 494564.24244276684
1582.71/1579.20	c cleaning 502 clauses out of 3395 for limit 811518.5785116106
1582.81/1579.35	c cleaning 503 clauses out of 3393 for limit 1339091.5599861639
1583.02/1579.52	c cleaning 500 clauses out of 3390 for limit 2210295.407060673
1583.12/1579.66	c cleaning 588 clauses out of 3391 for limit 3647645.5341758453
1583.31/1579.80	c cleaning 447 clauses out of 3304 for limit 6180032.775500025
1583.41/1579.96	c cleaning 1030 clauses out of 3355 for limit 1.0016711280810315E7
1583.51/1580.09	c cleaning 249 clauses out of 2825 for limit 1.961801739664514E7
1583.61/1580.19	c cleaning 565 clauses out of 3076 for limit 2.971276877965249E7
1583.81/1580.32	c cleaning 416 clauses out of 3013 for limit 5.012509784337266E7
1583.91/1580.45	c cleaning 533 clauses out of 3095 for limit 8.031202476495896E7
1584.01/1580.58	c cleaning 319 clauses out of 3062 for limit 1.3387267122092375E8
1584.12/1580.69	c cleaning 420 clauses out of 3243 for limit 2.084519940040406E8
1584.31/1580.81	c cleaning 458 clauses out of 3325 for limit 3.3595898727109754E8
1584.41/1580.95	c cleaning 468 clauses out of 3365 for limit 5.463610210499885E8
1584.51/1581.07	c cleaning 481 clauses out of 3400 for limit 8.944277848083427E8
1584.61/1581.18	c cleaning 470 clauses out of 3416 for limit 1.4637222970336015E9
1584.81/1581.32	c cleaning 510 clauses out of 3446 for limit 2.3928593086909475E9
1584.91/1581.46	c cleaning 532 clauses out of 3436 for limit 3.9576298173993454E9
1585.01/1581.57	c cleaning 493 clauses out of 3404 for limit 6.588016226282203E9
1585.11/1581.70	c cleaning 509 clauses out of 3411 for limit 1.0842224090696337E10
1585.32/1581.83	c cleaning 497 clauses out of 3402 for limit 1.792758029502577E10
1585.41/1581.95	c cleaning 509 clauses out of 3407 for limit 2.9580721497844776E10
1585.51/1582.08	c cleaning 496 clauses out of 3398 for limit 4.891177331617278E10
1585.61/1582.20	c cleaning 503 clauses out of 3400 for limit 8.045346062537303E10
1585.81/1582.30	c cleaning 1069 clauses out of 3401 for limit 1.3317139490650792E11
1585.91/1582.40	c cleaning 331 clauses out of 2830 for limit 2.634013573760799E11
1586.01/1582.52	c cleaning 262 clauses out of 2997 for limit 4.093592089258314E11
1586.11/1582.65	c cleaning 1576 clauses out of 3235 for limit 6.254216480821957E11
1586.21/1582.75	c cleaning 313 clauses out of 2159 for limit 1.5454339171349973E12
1586.32/1582.88	c cleaning 437 clauses out of 2346 for limit 2.3454758244448696E12
1586.51/1583.03	c cleaning 708 clauses out of 2409 for limit 3.7668476513097E12
1586.61/1583.14	c cleaning 368 clauses out of 2205 for limit 6.813969667801624E12
1586.71/1583.25	c cleaning 299 clauses out of 2333 for limit 1.057820285042692E13
1586.81/1583.38	c cleaning 265 clauses out of 2534 for limit 1.6061122930474693E13
1586.91/1583.49	c cleaning 195 clauses out of 2769 for limit 2.423904181964503E13
1587.11/1583.61	c cleaning 468 clauses out of 3074 for limit 3.600728925953796E13
1587.21/1583.74	c cleaning 390 clauses out of 3106 for limit 5.8769057568821E13
1587.31/1583.89	c cleaning 396 clauses out of 3217 for limit 9.366762652099627E13
1587.42/1583.99	c cleaning 411 clauses out of 3320 for limit 1.4952846259415734E14
1587.61/1584.13	c cleaning 653 clauses out of 3410 for limit 2.403244580104081E14
1587.71/1584.24	c cleaning 391 clauses out of 3256 for limit 4.146573134246287E14
1587.81/1584.37	c cleaning 440 clauses out of 3366 for limit 6.621402872913782E14
1587.91/1584.47	c cleaning 1691 clauses out of 3427 for limit 1.073594848458588E-5
1588.01/1584.59	c cleaning 693 clauses out of 2237 for limit 2.7150569150523436E-5
1588.11/1584.69	c cleaning 687 clauses out of 2041 for limit 4.892764009046778E-5
1588.21/1584.78	c cleaning 517 clauses out of 1854 for limit 8.88266801751581E-5
1588.31/1584.89	c cleaning 346 clauses out of 1837 for limit 1.4784270211165958E-4
1588.41/1584.99	c cleaning 225 clauses out of 1991 for limit 2.249539766230403E-4
1588.52/1585.10	c cleaning 100 clauses out of 2266 for limit 3.2595745353074555E-4
1588.71/1585.21	c cleaning 91 clauses out of 2666 for limit 4.5689516660814744E-4
1588.81/1585.31	c cleaning 291 clauses out of 3075 for limit 6.532621196883963E-4
1800.08/1796.32	c starts		: 22
1800.08/1796.32	c conflicts		: 1461778
1800.08/1796.32	c decisions		: 6853357
1800.08/1796.32	c propagations		: 1218687748
1800.08/1796.32	c inspects		: 8375164176
1800.08/1796.32	c learnt literals	: 121
1800.08/1796.32	c learnt binary clauses	: 99873
1800.08/1796.32	c learnt ternary clauses	: 73785
1800.08/1796.32	c learnt clauses	: 1461657
1800.08/1796.32	c root simplifications	: 0
1800.08/1796.32	c removed literals (reason simplification)	: 0
1800.08/1796.32	c reason swapping (by a shorter reason)	: 0
1800.08/1796.32	c Calls to reduceDB	: 286
1800.08/1796.32	c speed (decisions/second)	: 3816.590975538447
1800.08/1796.32	c non guided choices	21775
1800.08/1796.32	s UNKNOWN
1800.08/1796.32	c Total wall clock time (ms): 1796.208

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

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

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.93 2.00 1.99 3/194 12951
/proc/meminfo: memFree=25385968/32873648 swapFree=7120/7120
[pid=12951] ppid=12949 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/12951/stat : 12951 (runsolver) D 12949 12951 11123 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 343045240 12095488 50 33554432000 4194304 5436572 140736315941056 140736315937352 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/12951/statm: 2953 50 31 304 0 2645 0

[startup+0.00879909 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 12951
/proc/meminfo: memFree=25385968/32873648 swapFree=7120/7120
[pid=12951] ppid=12949 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/12951/stat : 12951 (java) R 12949 12951 11123 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 343045240 278528 33 33554432000 1073741824 1073778376 140735664695968 140735664693144 219504799015 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12951/statm: 68 33 25 9 0 25 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272

[startup+0.10026 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 12951
/proc/meminfo: memFree=25385968/32873648 swapFree=7120/7120
[pid=12951] ppid=12949 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/12951/stat : 12951 (java) S 12949 12951 11123 0 -1 4202496 3996 0 1 0 6 1 0 0 20 0 18 0 343045240 3028844544 6222 33554432000 1073741824 1073778376 140737484174464 140737484165600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12951/statm: 739464 6228 2009 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300261 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 12951
/proc/meminfo: memFree=25385968/32873648 swapFree=7120/7120
[pid=12951] ppid=12949 vsize=2957856 CPUtime=0.51 cores=0,2,4,6
/proc/12951/stat : 12951 (java) S 12949 12951 11123 0 -1 4202496 7028 0 1 0 49 2 0 0 20 0 18 0 343045240 3028844544 10627 33554432000 1073741824 1073778376 140737484174464 140737484165600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12951/statm: 739464 10627 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2957856

[startup+0.700279 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 12951
/proc/meminfo: memFree=25385968/32873648 swapFree=7120/7120
[pid=12951] ppid=12949 vsize=3024420 CPUtime=1.39 cores=0,2,4,6
/proc/12951/stat : 12951 (java) S 12949 12951 11123 0 -1 4202496 9951 0 1 0 135 4 0 0 20 0 19 0 343045240 3097006080 33361 33554432000 1073741824 1073778376 140737484174464 140737484165600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12951/statm: 756105 33361 2268 9 0 746526 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 3024420

[startup+1.50063 s]
/proc/loadavg: 1.93 2.00 1.99 3/213 12970
/proc/meminfo: memFree=25261664/32873648 swapFree=7120/7120
[pid=12951] ppid=12949 vsize=3024420 CPUtime=2.37 cores=0,2,4,6
/proc/12951/stat : 12951 (java) S 12949 12951 11123 0 -1 4202496 10443 0 1 0 233 4 0 0 20 0 19 0 343045240 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 140737484165600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12951/statm: 756105 33690 2273 9 0 746526 0
[pid=12951/tid=12953] ppid=12949 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/12951/task/12953/stat : 12953 (java) R 12949 12951 11123 0 -1 4202560 2576 0 1 0 143 3 0 0 20 0 19 0 343045241 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929648107992 139929515291927 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12954] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12954/stat : 12954 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929633720488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12955] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12955/stat : 12955 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929512216872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12956] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12956/stat : 12956 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929511164328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12957] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12957/stat : 12957 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929510111784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12958] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12958/stat : 12958 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929509059240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12959] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12959/stat : 12959 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929508006696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12960] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12960/stat : 12960 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929506954152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12961] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12961/stat : 12961 (java) S 12949 12951 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929505901608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12962] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12962/stat : 12962 (java) S 12949 12951 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929023653992 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12963] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12963/stat : 12963 (java) S 12949 12951 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929022600312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12964] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12964/stat : 12964 (java) S 12949 12951 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929021547656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12965] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12965/stat : 12965 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929020496400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12966] ppid=12949 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/12951/task/12966/stat : 12966 (java) S 12949 12951 11123 0 -1 4202560 4112 0 0 0 44 0 0 0 20 0 19 0 343045247 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929019443768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12967] ppid=12949 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/12951/task/12967/stat : 12967 (java) S 12949 12951 11123 0 -1 4202560 2561 0 0 0 45 0 0 0 20 0 19 0 343045247 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929018391224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12968] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12968/stat : 12968 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929017338872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12969] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12969/stat : 12969 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929016286536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12970] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12970/stat : 12970 (java) S 12949 12951 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343045305 3097006080 33690 33554432000 1073741824 1073778376 140737484174464 139929014154024 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 3024420

[startup+3.10067 s]
/proc/loadavg: 1.93 2.00 1.99 3/213 12970
/proc/meminfo: memFree=25258988/32873648 swapFree=7120/7120
[pid=12951] ppid=12949 vsize=3024420 CPUtime=3.98 cores=0,2,4,6
/proc/12951/stat : 12951 (java) S 12949 12951 11123 0 -1 4202496 10446 0 1 0 394 4 0 0 20 0 19 0 343045240 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 140737484165600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12951/statm: 756105 34203 2273 9 0 746526 0
[pid=12951/tid=12953] ppid=12949 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/12951/task/12953/stat : 12953 (java) R 12949 12951 11123 0 -1 4202560 2578 0 1 0 303 3 0 0 20 0 19 0 343045241 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929648107976 139929515200796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12954] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12954/stat : 12954 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929633720488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12955] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12955/stat : 12955 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929512216872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12956] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12956/stat : 12956 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929511164328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12957] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12957/stat : 12957 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929510111784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12958] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12958/stat : 12958 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929509059240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12959] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12959/stat : 12959 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929508006696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12960] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12960/stat : 12960 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929506954152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12961] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12961/stat : 12961 (java) S 12949 12951 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929505901608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12962] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12962/stat : 12962 (java) S 12949 12951 11123 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929023653992 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12963] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12963/stat : 12963 (java) S 12949 12951 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929022600312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12964] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12964/stat : 12964 (java) S 12949 12951 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929021547656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12965] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12965/stat : 12965 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929020496400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12966] ppid=12949 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/12951/task/12966/stat : 12966 (java) S 12949 12951 11123 0 -1 4202560 4112 0 0 0 45 0 0 0 20 0 19 0 343045247 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929019443768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12967] ppid=12949 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/12951/task/12967/stat : 12967 (java) S 12949 12951 11123 0 -1 4202560 2561 0 0 0 45 0 0 0 20 0 19 0 343045247 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929018391224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12968] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12968/stat : 12968 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929017338872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12969] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12969/stat : 12969 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929016286536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12970] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12970/stat : 12970 (java) S 12949 12951 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343045305 3097006080 34203 33554432000 1073741824 1073778376 140737484174464 139929014154024 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 3024420

[startup+6.30066 s]
/proc/loadavg: 1.94 2.00 1.99 3/213 12970
/proc/meminfo: memFree=25254772/32873648 swapFree=7120/7120
[pid=12951] ppid=12949 vsize=3024420 CPUtime=7.26 cores=0,2,4,6
/proc/12951/stat : 12951 (java) S 12949 12951 11123 0 -1 4202496 10450 0 1 0 722 4 0 0 20 0 19 0 343045240 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 140737484165600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12951/statm: 756105 35065 2273 9 0 746526 0
[pid=12951/tid=12953] ppid=12949 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/12951/task/12953/stat : 12953 (java) R 12949 12951 11123 0 -1 4202560 2582 0 1 0 622 3 0 0 20 0 19 0 343045241 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929648107968 139929515210860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12954] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12954/stat : 12954 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929633720488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12955] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12955/stat : 12955 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929512216872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12956] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12956/stat : 12956 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929511164328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12957] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12957/stat : 12957 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929510111784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12958] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12958/stat : 12958 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929509059240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12959] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12959/stat : 12959 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929508006696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12960] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12960/stat : 12960 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929506954152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12961] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12961/stat : 12961 (java) S 12949 12951 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343045243 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929505901608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12962] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12962/stat : 12962 (java) S 12949 12951 11123 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929023653992 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12963] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12963/stat : 12963 (java) S 12949 12951 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929022600312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12964] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12964/stat : 12964 (java) S 12949 12951 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929021547656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12965] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12965/stat : 12965 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929020496400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12966] ppid=12949 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/12951/task/12966/stat : 12966 (java) S 12949 12951 11123 0 -1 4202560 4112 0 0 0 49 0 0 0 20 0 19 0 343045247 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929019443768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12967] ppid=12949 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12951/task/12967/stat : 12967 (java) S 12949 12951 11123 0 -1 4202560 2561 0 0 0 48 0 0 0 20 0 19 0 343045247 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929018391224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12968] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12968/stat : 12968 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929017338872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12969] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12969/stat : 12969 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929016286536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12970] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12970/stat : 12970 (java) S 12949 12951 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343045305 3097006080 35065 33554432000 1073741824 1073778376 140737484174464 139929014154024 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=12951/tid=12959] ppid=12949 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/12951/task/12959/stat : 12959 (java) S 12949 12951 11123 0 -1 4202560 204 0 0 0 19 12 0 0 20 0 19 0 343045243 3097006080 418191 33554432000 1073741824 1073778376 140737484174464 139929508006696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12960] ppid=12949 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/12951/task/12960/stat : 12960 (java) S 12949 12951 11123 0 -1 4202560 167 0 0 0 19 11 0 0 20 0 19 0 343045243 3097006080 418191 33554432000 1073741824 1073778376 140737484174464 139929506954152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12961] ppid=12949 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/12951/task/12961/stat : 12961 (java) S 12949 12951 11123 0 -1 4202560 181 0 0 0 20 12 0 0 20 0 19 0 343045243 3097006080 418191 33554432000 1073741824 1073778376 140737484174464 139929505901608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12962] ppid=12949 vsize=3024420 CPUtime=1.91 cores=0,2,4,6
/proc/12951/task/12962/stat : 12962 (java) S 12949 12951 11123 0 -1 4202560 253 0 0 0 183 8 0 0 20 0 19 0 343045244 3097006080 418191 33554432000 1073741824 1073778376 140737484174464 139929023653992 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12963] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12963/stat : 12963 (java) S 12949 12951 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 418191 33554432000 1073741824 1073778376 140737484174464 139929022600312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12964] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12964/stat : 12964 (java) S 12949 12951 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 418191 33554432000 1073741824 1073778376 140737484174464 139929021547656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12965] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12965/stat : 12965 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 418191 33554432000 1073741824 1073778376 140737484174464 139929020496400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12966] ppid=12949 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/12951/task/12966/stat : 12966 (java) S 12949 12951 11123 0 -1 4202560 4121 0 0 0 55 0 0 0 20 0 19 0 343045247 3097006080 418191 33554432000 1073741824 1073778376 140737484174464 139929019443768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12967] ppid=12949 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/12951/task/12967/stat : 12967 (java) S 12949 12951 11123 0 -1 4202560 2565 0 0 0 53 0 0 0 20 0 19 0 343045247 3097006080 418191 33554432000 1073741824 1073778376 140737484174464 139929018391224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12968] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12968/stat : 12968 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 418191 33554432000 1073741824 1073778376 140737484174464 139929017338872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12969] ppid=12949 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/12951/task/12969/stat : 12969 (java) S 12949 12951 11123 0 -1 4202560 99 0 0 0 41 28 0 0 20 0 19 0 343045247 3097006080 418191 33554432000 1073741824 1073778376 140737484174464 139929016286536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12970] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12970/stat : 12970 (java) S 12949 12951 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343045305 3097006080 418191 33554432000 1073741824 1073778376 140737484174464 139929014154024 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.79
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 13045
/proc/meminfo: memFree=23716648/32873648 swapFree=7120/7120
[pid=12951] ppid=12949 vsize=3024420 CPUtime=1786.07 cores=0,2,4,6
/proc/12951/stat : 12951 (java) S 12949 12951 11123 0 -1 4202496 12743 0 1 0 178463 144 0 0 20 0 19 0 343045240 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 140737484165600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12951/statm: 756105 418237 2302 9 0 746526 0
[pid=12951/tid=12953] ppid=12949 vsize=3024420 CPUtime=1779.37 cores=0,2,4,6
/proc/12951/task/12953/stat : 12953 (java) R 12949 12951 11123 0 -1 4202560 2744 0 1 0 177899 38 0 0 20 0 19 0 343045241 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929648106832 139929515204016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12954] ppid=12949 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12951/task/12954/stat : 12954 (java) S 12949 12951 11123 0 -1 4202560 206 0 0 0 31 11 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929633720488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12955] ppid=12949 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12951/task/12955/stat : 12955 (java) S 12949 12951 11123 0 -1 4202560 209 0 0 0 35 13 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929512216872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12956] ppid=12949 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/12951/task/12956/stat : 12956 (java) S 12949 12951 11123 0 -1 4202560 210 0 0 0 23 12 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929511164328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12957] ppid=12949 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12951/task/12957/stat : 12957 (java) S 12949 12951 11123 0 -1 4202560 377 0 0 0 40 20 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929510111784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12958] ppid=12949 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/12951/task/12958/stat : 12958 (java) S 12949 12951 11123 0 -1 4202560 212 0 0 0 26 13 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929509059240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12959] ppid=12949 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12951/task/12959/stat : 12959 (java) S 12949 12951 11123 0 -1 4202560 205 0 0 0 24 12 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929508006696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12960] ppid=12949 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/12951/task/12960/stat : 12960 (java) S 12949 12951 11123 0 -1 4202560 169 0 0 0 22 11 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929506954152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12961] ppid=12949 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/12951/task/12961/stat : 12961 (java) S 12949 12951 11123 0 -1 4202560 187 0 0 0 23 12 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929505901608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12962] ppid=12949 vsize=3024420 CPUtime=1.91 cores=0,2,4,6
/proc/12951/task/12962/stat : 12962 (java) S 12949 12951 11123 0 -1 4202560 255 0 0 0 183 8 0 0 20 0 19 0 343045244 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929023653992 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12963] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12963/stat : 12963 (java) S 12949 12951 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929022600312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12964] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12964/stat : 12964 (java) S 12949 12951 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929021547656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12965] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12965/stat : 12965 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929020496400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12966] ppid=12949 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/12951/task/12966/stat : 12966 (java) S 12949 12951 11123 0 -1 4202560 4121 0 0 0 55 0 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929019443768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12967] ppid=12949 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/12951/task/12967/stat : 12967 (java) S 12949 12951 11123 0 -1 4202560 2565 0 0 0 53 0 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929018391224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12968] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12968/stat : 12968 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929017338872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12969] ppid=12949 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/12951/task/12969/stat : 12969 (java) S 12949 12951 11123 0 -1 4202560 103 0 0 0 41 29 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929016286536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12970] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12970/stat : 12970 (java) S 12949 12951 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343045305 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929014154024 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1786.07
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 13045
/proc/meminfo: memFree=23716660/32873648 swapFree=7120/7120
[pid=12951] ppid=12949 vsize=3024420 CPUtime=1800.08 cores=0,2,4,6
/proc/12951/stat : 12951 (java) S 12949 12951 11123 0 -1 4202496 12743 0 1 0 179864 144 0 0 20 0 19 0 343045240 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 140737484165600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12951/statm: 756105 418237 2302 9 0 746526 0
[pid=12951/tid=12953] ppid=12949 vsize=3024420 CPUtime=1793.37 cores=0,2,4,6
/proc/12951/task/12953/stat : 12953 (java) R 12949 12951 11123 0 -1 4202560 2744 0 1 0 179299 38 0 0 20 0 19 0 343045241 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929648106832 139929515204202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12954] ppid=12949 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12951/task/12954/stat : 12954 (java) S 12949 12951 11123 0 -1 4202560 206 0 0 0 31 11 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929633720488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12955] ppid=12949 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12951/task/12955/stat : 12955 (java) S 12949 12951 11123 0 -1 4202560 209 0 0 0 35 13 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929512216872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12956] ppid=12949 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/12951/task/12956/stat : 12956 (java) S 12949 12951 11123 0 -1 4202560 210 0 0 0 23 12 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929511164328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12957] ppid=12949 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12951/task/12957/stat : 12957 (java) S 12949 12951 11123 0 -1 4202560 377 0 0 0 40 20 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929510111784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12958] ppid=12949 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/12951/task/12958/stat : 12958 (java) S 12949 12951 11123 0 -1 4202560 212 0 0 0 26 13 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929509059240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12959] ppid=12949 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12951/task/12959/stat : 12959 (java) S 12949 12951 11123 0 -1 4202560 205 0 0 0 24 12 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929508006696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12960] ppid=12949 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/12951/task/12960/stat : 12960 (java) S 12949 12951 11123 0 -1 4202560 169 0 0 0 22 11 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929506954152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12961] ppid=12949 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/12951/task/12961/stat : 12961 (java) S 12949 12951 11123 0 -1 4202560 187 0 0 0 23 12 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929505901608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12962] ppid=12949 vsize=3024420 CPUtime=1.91 cores=0,2,4,6
/proc/12951/task/12962/stat : 12962 (java) S 12949 12951 11123 0 -1 4202560 255 0 0 0 183 8 0 0 20 0 19 0 343045244 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929023653992 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12963] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12963/stat : 12963 (java) S 12949 12951 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929022600312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12964] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12964/stat : 12964 (java) S 12949 12951 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929021547656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12965] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12965/stat : 12965 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929020496400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12966] ppid=12949 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/12951/task/12966/stat : 12966 (java) S 12949 12951 11123 0 -1 4202560 4121 0 0 0 55 0 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929019443768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12967] ppid=12949 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/12951/task/12967/stat : 12967 (java) S 12949 12951 11123 0 -1 4202560 2565 0 0 0 53 0 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929018391224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12968] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12968/stat : 12968 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929017338872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12969] ppid=12949 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/12951/task/12969/stat : 12969 (java) S 12949 12951 11123 0 -1 4202560 103 0 0 0 42 29 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929016286536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12970] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12970/stat : 12970 (java) S 12949 12951 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343045305 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929014154024 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1796.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 13045
/proc/meminfo: memFree=23716660/32873648 swapFree=7120/7120
[pid=12951] ppid=12949 vsize=3024420 CPUtime=1800.08 cores=0,2,4,6
/proc/12951/stat : 12951 (java) S 12949 12951 11123 0 -1 4202496 12743 0 1 0 179864 144 0 0 20 0 19 0 343045240 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 140737484165600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12951/statm: 756105 418237 2302 9 0 746526 0
[pid=12951/tid=12953] ppid=12949 vsize=3024420 CPUtime=1793.37 cores=0,2,4,6
/proc/12951/task/12953/stat : 12953 (java) R 12949 12951 11123 0 -1 4202560 2744 0 1 0 179299 38 0 0 20 0 19 0 343045241 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929648106832 139929515204202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12954] ppid=12949 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12951/task/12954/stat : 12954 (java) S 12949 12951 11123 0 -1 4202560 206 0 0 0 31 11 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929633720488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12955] ppid=12949 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12951/task/12955/stat : 12955 (java) S 12949 12951 11123 0 -1 4202560 209 0 0 0 35 13 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929512216872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12956] ppid=12949 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/12951/task/12956/stat : 12956 (java) S 12949 12951 11123 0 -1 4202560 210 0 0 0 23 12 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929511164328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12957] ppid=12949 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12951/task/12957/stat : 12957 (java) S 12949 12951 11123 0 -1 4202560 377 0 0 0 40 20 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929510111784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12958] ppid=12949 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/12951/task/12958/stat : 12958 (java) S 12949 12951 11123 0 -1 4202560 212 0 0 0 26 13 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929509059240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12959] ppid=12949 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12951/task/12959/stat : 12959 (java) S 12949 12951 11123 0 -1 4202560 205 0 0 0 24 12 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929508006696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12960] ppid=12949 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/12951/task/12960/stat : 12960 (java) S 12949 12951 11123 0 -1 4202560 169 0 0 0 22 11 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929506954152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12951/tid=12961] ppid=12949 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/12951/task/12961/stat : 12961 (java) S 12949 12951 11123 0 -1 4202560 187 0 0 0 23 12 0 0 20 0 19 0 343045243 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929505901608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12962] ppid=12949 vsize=3024420 CPUtime=1.91 cores=0,2,4,6
/proc/12951/task/12962/stat : 12962 (java) S 12949 12951 11123 0 -1 4202560 255 0 0 0 183 8 0 0 20 0 19 0 343045244 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929023653992 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12951/tid=12963] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12963/stat : 12963 (java) S 12949 12951 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929022600312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12964] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12964/stat : 12964 (java) S 12949 12951 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343045244 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929021547656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12965] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12965/stat : 12965 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929020496400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12966] ppid=12949 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/12951/task/12966/stat : 12966 (java) S 12949 12951 11123 0 -1 4202560 4121 0 0 0 55 0 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929019443768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12967] ppid=12949 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/12951/task/12967/stat : 12967 (java) S 12949 12951 11123 0 -1 4202560 2565 0 0 0 53 0 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929018391224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12968] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12968/stat : 12968 (java) S 12949 12951 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929017338872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12951/tid=12969] ppid=12949 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/12951/task/12969/stat : 12969 (java) S 12949 12951 11123 0 -1 4202560 103 0 0 0 42 29 0 0 20 0 19 0 343045247 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929016286536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12951/tid=12970] ppid=12949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12951/task/12970/stat : 12970 (java) S 12949 12951 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343045305 3097006080 418237 33554432000 1073741824 1073778376 140737484174464 139929014154024 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1796.33
CPU time (s): 1800.62
CPU user time (s): 1798.7
CPU system time (s): 1.92171
CPU usage (%): 100.239
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.92171
maximum resident set size= 1673064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12774
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38166
involuntary context switches= 8561

runsolver used 5.77012 second user time and 15.0827 second system time

The end

Launcher Data

Begin job on node114 at 2012-06-04 02:19:39
IDJOB=3742491
IDBENCH=90193
IDSOLVER=2319
FILE ID=node114/3742491-1338769179
RUNJOBID= node114-1338749374-11139
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_K152.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742491-1338769179/watcher-3742491-1338769179 -o /tmp/evaluation-result-3742491-1338769179/solver-3742491-1338769179 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742491-1338769179.opb           

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

MD5SUM BENCH= 6abb89533e60aa1ed19663db7c40a868
RANDOM SEED=1274082280

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:        25386348 kB
Buffers:         1065452 kB
Cached:          3729872 kB
SwapCached:         2244 kB
Active:          4570276 kB
Inactive:        1873660 kB
Active(anon):    1635308 kB
Inactive(anon):     8360 kB
Active(file):    2934968 kB
Inactive(file):  1865300 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              4748 kB
Writeback:             0 kB
AnonPages:       1683300 kB
Mapped:            19160 kB
Shmem:               100 kB
Slab:             865584 kB
SReclaimable:     309364 kB
SUnreclaim:       556220 kB
KernelStack:        1608 kB
PageTables:         7624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1828800 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 02:49:37