Trace number 3741815

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.89 1797.22

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K90.opb
MD5SUMa811647d9332337c7e73474eee26f5b9
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 variables6120
Total number of constraints6302
Number of constraints which are clauses6212
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint90
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 91
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.03/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.03/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.03/0.08	c no version file found!!!
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version	1.6.0_24
0.03/0.08	c os.name	Linux
0.03/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch	amd64
0.03/0.08	c Free memory 1599470296
0.03/0.08	c Max memory 1607860224
0.03/0.08	c Total memory 1607860224
0.03/0.08	c Number of processors 8
0.08/0.10	--- Begin Solver configuration ---
0.08/0.10	c Stops conflict analysis at the first Unique Implication Point
0.08/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.10	c No reason simplification
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3741815-1338754788.opb
0.08/0.10	c reading problem ... 
0.80/0.43	c ... done. Wall clock time 0.329s.
0.80/0.43	c CPU time (experimental) 0.4s.
0.80/0.43	c #vars     6120
0.80/0.43	c #constraints  6300
829.16/826.77	c cleaning 298377 clauses out of 597473 for limit 7.010842759154374E-7
830.27/827.84	c cleaning 149534 clauses out of 299593 for limit 2.298842410953619E-6
830.68/828.23	c cleaning 75069 clauses out of 150559 for limit 7.543797605132034E-6
830.98/828.50	c cleaning 37664 clauses out of 75992 for limit 2.4697545005369513E-5
831.08/828.66	c cleaning 18980 clauses out of 38826 for limit 7.955836940448226E-5
831.18/828.79	c cleaning 9435 clauses out of 20346 for limit 2.503717762788349E-4
831.38/828.97	c cleaning 4926 clauses out of 11411 for limit 7.362013208159065E-4
831.48/829.09	c cleaning 2654 clauses out of 6985 for limit 0.0019833975580910274
831.68/829.20	c cleaning 1659 clauses out of 4832 for limit 0.004733034365839514
831.78/829.32	c cleaning 1117 clauses out of 3674 for limit 0.010275851754509976
831.88/829.42	c cleaning 748 clauses out of 3055 for limit 0.020339142126445817
831.98/829.52	c cleaning 644 clauses out of 2807 for limit 0.03650541753140192
832.08/829.62	c cleaning 564 clauses out of 2663 for limit 0.0634577184177569
832.18/829.72	c cleaning 560 clauses out of 2599 for limit 0.10722726461520618
832.28/829.83	c cleaning 486 clauses out of 2542 for limit 0.18134073966253997
832.38/829.90	c cleaning 539 clauses out of 2553 for limit 0.2968742063327823
832.38/829.98	c cleaning 529 clauses out of 2515 for limit 0.4974800738397011
832.48/830.06	c cleaning 508 clauses out of 2485 for limit 0.8294852383857182
832.58/830.14	c cleaning 490 clauses out of 2478 for limit 1.3731695091985463
832.68/830.23	c cleaning 526 clauses out of 2489 for limit 2.2567889967738375
832.78/830.30	c cleaning 509 clauses out of 2463 for limit 3.761034588785273
832.78/830.35	c cleaning 484 clauses out of 2452 for limit 6.217819877704095
832.88/830.41	c cleaning 502 clauses out of 2469 for limit 10.193607602290937
832.88/830.47	c cleaning 476 clauses out of 2466 for limit 16.814242418204707
832.98/830.54	c cleaning 467 clauses out of 2490 for limit 27.46166827222889
833.08/830.61	c cleaning 498 clauses out of 2523 for limit 44.69561323643688
833.08/830.68	c cleaning 494 clauses out of 2525 for limit 73.6506620966743
833.18/830.76	c cleaning 492 clauses out of 2531 for limit 121.1718614705499
833.28/830.82	c cleaning 490 clauses out of 2542 for limit 199.5619784858386
833.28/830.88	c cleaning 476 clauses out of 2549 for limit 327.21700359265
833.38/830.95	c cleaning 506 clauses out of 2573 for limit 534.591192820844
833.48/831.00	c cleaning 497 clauses out of 2567 for limit 883.6730377639192
833.48/831.08	c cleaning 481 clauses out of 2570 for limit 1455.5939323045152
833.58/831.14	c cleaning 501 clauses out of 2589 for limit 2382.8526995069683
833.68/831.20	c cleaning 490 clauses out of 2588 for limit 3931.1612829655996
833.68/831.26	c cleaning 505 clauses out of 2599 for limit 6462.034214979583
833.78/831.34	c cleaning 501 clauses out of 2598 for limit 10703.611070126288
833.88/831.42	c cleaning 492 clauses out of 2592 for limit 17604.260957574683
833.88/831.49	c cleaning 493 clauses out of 2600 for limit 28942.452816861147
833.98/831.57	c cleaning 496 clauses out of 2607 for limit 47601.81780682255
834.08/831.65	c cleaning 484 clauses out of 2613 for limit 78478.38727940319
834.18/831.73	c cleaning 472 clauses out of 2627 for limit 128474.30298395986
834.28/831.83	c cleaning 500 clauses out of 2656 for limit 209767.7263913624
834.38/831.92	c cleaning 494 clauses out of 2655 for limit 345719.27338977356
834.48/832.01	c cleaning 514 clauses out of 2661 for limit 568851.7905470969
834.48/832.07	c cleaning 567 clauses out of 2647 for limit 943074.3863502924
834.57/832.13	c cleaning 654 clauses out of 2580 for limit 1595644.2517975501
834.67/832.20	c cleaning 1209 clauses out of 2426 for limit 2798471.37193843
834.67/832.27	c cleaning 432 clauses out of 1717 for limit 6520745.597904788
834.77/832.33	c cleaning 198 clauses out of 1786 for limit 1.0348478369811721E7
834.87/832.40	c cleaning 562 clauses out of 2087 for limit 1.4590053250336904E7
834.87/832.46	c cleaning 345 clauses out of 2025 for limit 2.479763055922077E7
834.97/832.51	c cleaning 360 clauses out of 2180 for limit 3.798696585946692E7
834.97/832.57	c cleaning 357 clauses out of 2320 for limit 5.886525127010677E7
835.08/832.63	c cleaning 571 clauses out of 2463 for limit 9.144047264988047E7
835.08/832.68	c cleaning 393 clauses out of 2392 for limit 1.5527358697778156E8
835.18/832.74	c cleaning 564 clauses out of 2499 for limit 2.4510286738536933E8
835.18/832.79	c cleaning 422 clauses out of 2437 for limit 4.153211323872324E8
835.27/832.86	c cleaning 1250 clauses out of 2514 for limit 6.63278103750426E8
835.37/832.91	c cleaning 469 clauses out of 1763 for limit 1.5582243863637984E9
835.37/832.97	c cleaning 326 clauses out of 1794 for limit 2.5253161573118296E9
835.47/833.03	c cleaning 491 clauses out of 1968 for limit 3.79637398802881E9
835.57/833.10	c cleaning 292 clauses out of 1979 for limit 6.238399736280606E9
835.57/833.16	c cleaning 359 clauses out of 2185 for limit 9.299389019472372E9
835.67/833.22	c cleaning 363 clauses out of 2329 for limit 1.4430978875255594E10
835.67/833.27	c cleaning 426 clauses out of 2463 for limit 2.2436402337555176E10
835.77/833.34	c cleaning 833 clauses out of 2539 for limit 3.596498146790371E10
835.87/833.40	c cleaning 390 clauses out of 2205 for limit 6.822685040480316E10
835.87/833.45	c cleaning 358 clauses out of 2314 for limit 1.0710800682234476E11
835.99/833.52	c cleaning 390 clauses out of 2456 for limit 1.664227969964143E11
835.99/833.58	c cleaning 456 clauses out of 2567 for limit 2.6284862488792203E11
836.09/833.63	c cleaning 483 clauses out of 2614 for limit 4.269582572206437E11
836.09/833.70	c cleaning 676 clauses out of 2627 for limit 6.978286043767632E11
836.20/833.76	c cleaning 422 clauses out of 2451 for limit 1.2334496213368704E12
836.30/833.83	c cleaning 511 clauses out of 2529 for limit 1.971386530472206E12
836.30/833.89	c cleaning 445 clauses out of 2518 for limit 3.265282610670614E12
836.39/833.95	c cleaning 473 clauses out of 2573 for limit 5.269781421671789E12
836.49/834.01	c cleaning 1292 clauses out of 2600 for limit 8.600326268981553E12
836.49/834.05	c cleaning 392 clauses out of 1808 for limit 2.0396034417256113E13
836.59/834.12	c cleaning 873 clauses out of 1917 for limit 3.1755024210646426E13
836.59/834.17	c cleaning 366 clauses out of 1543 for limit 6.499650588369803E13
836.69/834.23	c cleaning 329 clauses out of 1677 for limit 9.862312525332562E13
836.69/834.27	c cleaning 98 clauses out of 1849 for limit 1.4766083193023572E14
836.79/834.34	c cleaning 883 clauses out of 2250 for limit 1.99913019680911E14
836.89/834.40	c cleaning 120 clauses out of 1869 for limit 3.976849963918101E14
836.89/834.45	c cleaning 822 clauses out of 2247 for limit 5.444177783119076E14
836.99/834.50	c cleaning 389 clauses out of 1925 for limit 1.0479981705357625E15
836.99/834.57	c cleaning 386 clauses out of 2036 for limit 1.634065164616114E15
837.09/834.63	c cleaning 1054 clauses out of 2151 for limit 2.553272300490897E-5
837.09/834.68	c cleaning 519 clauses out of 1597 for limit 5.671376966219795E-5
837.19/834.74	c cleaning 558 clauses out of 1581 for limit 9.475911228705759E-5
837.19/834.80	c cleaning 495 clauses out of 1519 for limit 1.6199921852557705E-4
837.30/834.84	c cleaning 331 clauses out of 1525 for limit 2.663736419079546E-4
837.40/834.91	c cleaning 104 clauses out of 1693 for limit 3.9529881214433066E-4
837.40/834.97	c cleaning 235 clauses out of 2092 for limit 5.291517168574596E-4
837.49/835.04	c cleaning 368 clauses out of 2354 for limit 7.731927674538964E-4
837.59/835.11	c cleaning 419 clauses out of 2486 for limit 0.001207393974396475
837.59/835.17	c cleaning 454 clauses out of 2568 for limit 0.0019295032207187904
837.69/835.24	c cleaning 500 clauses out of 2615 for limit 0.003127945898410803
837.79/835.31	c cleaning 484 clauses out of 2614 for limit 0.00515521423559708
837.79/835.38	c cleaning 482 clauses out of 2631 for limit 0.008455160420949423
837.89/835.46	c cleaning 508 clauses out of 2651 for limit 0.013866213501455654
837.99/835.54	c cleaning 502 clauses out of 2639 for limit 0.022879475290126617
837.99/835.59	c cleaning 496 clauses out of 2637 for limit 0.03775993236394615
838.09/835.66	c cleaning 503 clauses out of 2642 for limit 0.062215546886902756
838.19/835.74	c cleaning 497 clauses out of 2639 for limit 0.10271839695311144
838.29/835.80	c cleaning 596 clauses out of 2642 for limit 0.1692040278327154
838.29/835.86	c cleaning 538 clauses out of 2545 for limit 0.28938572147350694
838.40/835.93	c cleaning 519 clauses out of 2509 for limit 0.48505293275331196
838.40/835.99	c cleaning 500 clauses out of 2489 for limit 0.8055384494623031
838.50/836.06	c cleaning 489 clauses out of 2488 for limit 1.3276456307383109
838.59/836.13	c cleaning 500 clauses out of 2499 for limit 2.1798277522224456
838.69/836.22	c cleaning 499 clauses out of 2499 for limit 3.5948275755543517
838.69/836.29	c cleaning 504 clauses out of 2500 for limit 5.92598023888661
838.79/836.36	c cleaning 514 clauses out of 2498 for limit 9.800149122372328
838.89/836.44	c cleaning 506 clauses out of 2483 for limit 16.243132007847105
838.89/836.49	c cleaning 500 clauses out of 2476 for limit 26.835965709684487
838.99/836.55	c cleaning 482 clauses out of 2476 for limit 44.25609750653384
839.09/836.62	c cleaning 494 clauses out of 2494 for limit 72.45747463968704
839.09/836.69	c cleaning 499 clauses out of 2500 for limit 119.20528790309888
839.19/836.75	c cleaning 477 clauses out of 2502 for limit 196.6249490400897
839.29/836.81	c cleaning 493 clauses out of 2524 for limit 321.1130481423543
839.29/836.87	c cleaning 498 clauses out of 2532 for limit 528.4136175209055
839.39/836.94	c cleaning 509 clauses out of 2533 for limit 870.2096357655608
839.50/837.00	c cleaning 507 clauses out of 2526 for limit 1441.9514630646809
839.50/837.07	c cleaning 476 clauses out of 2518 for limit 2383.140447406991
839.60/837.14	c cleaning 496 clauses out of 2542 for limit 3893.0116580855088
839.69/837.22	c cleaning 483 clauses out of 2545 for limit 6406.116598509099
839.79/837.31	c cleaning 490 clauses out of 2562 for limit 10494.442861703525
839.79/837.39	c cleaning 521 clauses out of 2572 for limit 17239.451163849022
839.89/837.45	c cleaning 502 clauses out of 2551 for limit 28664.200181191965
839.99/837.52	c cleaning 484 clauses out of 2549 for limit 47308.1906450666
840.09/837.60	c cleaning 482 clauses out of 2565 for limit 77530.8760615767
840.09/837.67	c cleaning 520 clauses out of 2586 for limit 127201.71377370038
840.19/837.73	c cleaning 1276 clauses out of 2565 for limit 211278.5895153218
840.19/837.79	c cleaning 815 clauses out of 1787 for limit 499120.2260173882
840.29/837.86	c cleaning 595 clauses out of 1472 for limit 999258.3794510294
840.39/837.93	c cleaning 554 clauses out of 1383 for limit 1764519.1918627042
840.39/837.99	c cleaning 517 clauses out of 1326 for limit 3025919.667047392
840.49/838.06	c cleaning 646 clauses out of 1306 for limit 5051380.610505098
840.60/838.12	c cleaning 448 clauses out of 1160 for limit 9378884.068241758
840.60/838.18	c cleaning 484 clauses out of 1212 for limit 1.4803432372364018E7
840.70/838.24	c cleaning 521 clauses out of 1225 for limit 2.415376530933419E7
840.79/838.31	c cleaning 490 clauses out of 1207 for limit 4.054834034224371E7
840.79/838.37	c cleaning 485 clauses out of 1214 for limit 6.628481036336217E7
840.89/838.45	c cleaning 489 clauses out of 1230 for limit 1.0810667347681564E8
840.99/838.52	c cleaning 528 clauses out of 1241 for limit 1.767021040957515E8
840.99/838.57	c cleaning 472 clauses out of 1211 for limit 2.9802741972130775E8
841.09/838.62	c cleaning 465 clauses out of 1239 for limit 4.803800317579458E8
841.09/838.66	c cleaning 524 clauses out of 1274 for limit 7.704468997438446E8
841.19/838.72	c cleaning 466 clauses out of 1251 for limit 1.295225031525633E9
841.19/838.77	c cleaning 477 clauses out of 1284 for limit 2.0790210673882666E9
841.29/838.81	c cleaning 463 clauses out of 1307 for limit 3.3682491849243503E9
1800.44/1797.21	c starts		: 22
1800.44/1797.21	c conflicts		: 1241426
1800.44/1797.21	c decisions		: 3648610
1800.44/1797.21	c propagations		: 397824325
1800.44/1797.21	c inspects		: 10375929699
1800.44/1797.21	c learnt literals	: 44
1800.44/1797.21	c learnt binary clauses	: 48616
1800.44/1797.21	c learnt ternary clauses	: 37133
1800.44/1797.21	c learnt clauses	: 1241382
1800.44/1797.21	c root simplifications	: 0
1800.44/1797.21	c removed literals (reason simplification)	: 0
1800.44/1797.21	c reason swapping (by a shorter reason)	: 0
1800.44/1797.21	c Calls to reduceDB	: 153
1800.44/1797.21	c speed (decisions/second)	: 2030.64831300149
1800.44/1797.21	c non guided choices	2645
1800.44/1797.21	s UNKNOWN
1800.44/1797.21	c Total wall clock time (ms): 1797.106

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-3741815-1338754788/watcher-3741815-1338754788 -o /tmp/evaluation-result-3741815-1338754788/solver-3741815-1338754788 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741815-1338754788.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: 2.00 2.01 2.00 3/194 11779
/proc/meminfo: memFree=26431368/32873648 swapFree=7120/7120
[pid=11779] ppid=11777 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/11779/stat : 11779 (java) D 11777 11779 11123 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341606205 9515008 182 33554432000 1073741824 1073778376 140734430407024 140734430398056 219513962165 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/11779/statm: 2323 182 140 9 0 71 0

[startup+0.057797 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 11779
/proc/meminfo: memFree=26431368/32873648 swapFree=7120/7120
[pid=11779] ppid=11777 vsize=2623916 CPUtime=0.03 cores=0,2,4,6
/proc/11779/stat : 11779 (java) S 11777 11779 11123 0 -1 4202496 3950 0 1 0 2 1 0 0 20 0 13 0 341606205 2686889984 5158 33554432000 1073741824 1073778376 140733633002272 140733632993408 219517321277 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11779/statm: 655979 5158 1708 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.100261 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 11779
/proc/meminfo: memFree=26431368/32873648 swapFree=7120/7120
[pid=11779] ppid=11777 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/11779/stat : 11779 (java) S 11777 11779 11123 0 -1 4202496 4861 0 1 0 7 1 0 0 20 0 18 0 341606205 3028844544 6571 33554432000 1073741824 1073778376 140733633002272 140733632993408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11779/statm: 739464 6571 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300232 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 11779
/proc/meminfo: memFree=26431368/32873648 swapFree=7120/7120
[pid=11779] ppid=11777 vsize=2957856 CPUtime=0.52 cores=0,2,4,6
/proc/11779/stat : 11779 (java) S 11777 11779 11123 0 -1 4202496 8053 0 1 0 50 2 0 0 20 0 18 0 341606205 3028844544 10820 33554432000 1073741824 1073778376 140733633002272 140733632993408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11779/statm: 739464 10820 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2957856

[startup+0.700224 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 11779
/proc/meminfo: memFree=26431368/32873648 swapFree=7120/7120
[pid=11779] ppid=11777 vsize=3024420 CPUtime=1.35 cores=0,2,4,6
/proc/11779/stat : 11779 (java) S 11777 11779 11123 0 -1 4202496 10143 0 1 0 133 2 0 0 20 0 19 0 341606205 3097006080 17849 33554432000 1073741824 1073778376 140733633002272 140733632993408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11779/statm: 756105 17849 2267 9 0 746526 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 3024420

[startup+1.50066 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 11798
/proc/meminfo: memFree=26366604/32873648 swapFree=7120/7120
[pid=11779] ppid=11777 vsize=3024420 CPUtime=2.22 cores=0,2,4,6
/proc/11779/stat : 11779 (java) S 11777 11779 11123 0 -1 4202496 10667 0 1 0 219 3 0 0 20 0 19 0 341606205 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 140733632993408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11779/statm: 756105 18883 2272 9 0 746526 0
[pid=11779/tid=11781] ppid=11777 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/11779/task/11781/stat : 11781 (java) R 11777 11779 11123 0 -1 4202560 3062 0 1 0 145 2 0 0 20 0 19 0 341606206 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997535674552 139997362100133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11782] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11782/stat : 11782 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997519100584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11783] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11783/stat : 11783 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997518048040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11784] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11784/stat : 11784 (java) S 11777 11779 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997516995496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11779/tid=11785] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11785/stat : 11785 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997515942952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11786] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11786/stat : 11786 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997514889384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11787] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11787/stat : 11787 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997513836840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11788] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11788/stat : 11788 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997512784296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11789] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11789/stat : 11789 (java) S 11777 11779 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997511731752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11790] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11790/stat : 11790 (java) S 11777 11779 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341606208 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997499320936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11791] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11791/stat : 11791 (java) S 11777 11779 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341606209 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997498267256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11792] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11792/stat : 11792 (java) S 11777 11779 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341606209 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997497214600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11793] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11793/stat : 11793 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997496163344 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11794] ppid=11777 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/11779/task/11794/stat : 11794 (java) S 11777 11779 11123 0 -1 4202560 3388 0 0 0 34 0 0 0 20 0 19 0 341606211 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997495109688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11795] ppid=11777 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/11779/task/11795/stat : 11795 (java) S 11777 11779 11123 0 -1 4202560 3021 0 0 0 36 0 0 0 20 0 19 0 341606211 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997494057144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11796] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11796/stat : 11796 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997493004792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11797] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11797/stat : 11797 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997491952456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11798] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11798/stat : 11798 (java) S 11777 11779 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341606249 3097006080 18883 33554432000 1073741824 1073778376 140733633002272 139997489751336 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 3024420

[startup+3.10065 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 11798
/proc/meminfo: memFree=26362012/32873648 swapFree=7120/7120
[pid=11779] ppid=11777 vsize=3024420 CPUtime=3.87 cores=0,2,4,6
/proc/11779/stat : 11779 (java) S 11777 11779 11123 0 -1 4202496 10727 0 1 0 384 3 0 0 20 0 19 0 341606205 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 140733632993408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11779/statm: 756105 20419 2272 9 0 746526 0
[pid=11779/tid=11781] ppid=11777 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/11779/task/11781/stat : 11781 (java) R 11777 11779 11123 0 -1 4202560 3066 0 1 0 304 2 0 0 20 0 19 0 341606206 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997535674952 139997362186339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11782] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11782/stat : 11782 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997519100584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11783] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11783/stat : 11783 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997518048040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11784] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11784/stat : 11784 (java) S 11777 11779 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997516995496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11779/tid=11785] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11785/stat : 11785 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997515942952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11786] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11786/stat : 11786 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997514889384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11787] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11787/stat : 11787 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997513836840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11788] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11788/stat : 11788 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997512784296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11789] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11789/stat : 11789 (java) S 11777 11779 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997511731752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11790] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11790/stat : 11790 (java) S 11777 11779 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341606208 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997499320936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11791] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11791/stat : 11791 (java) S 11777 11779 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341606209 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997498267256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11792] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11792/stat : 11792 (java) S 11777 11779 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341606209 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997497214600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11793] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11793/stat : 11793 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997496163344 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11794] ppid=11777 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/11779/task/11794/stat : 11794 (java) S 11777 11779 11123 0 -1 4202560 3388 0 0 0 36 0 0 0 20 0 19 0 341606211 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997495109688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11795] ppid=11777 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/11779/task/11795/stat : 11795 (java) S 11777 11779 11123 0 -1 4202560 3077 0 0 0 39 0 0 0 20 0 19 0 341606211 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997494057144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11796] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11796/stat : 11796 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997493004792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11797] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11797/stat : 11797 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997491952456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11798] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11798/stat : 11798 (java) S 11777 11779 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341606249 3097006080 20419 33554432000 1073741824 1073778376 140733633002272 139997489751336 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 3024420

[startup+6.3007 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 11798
/proc/meminfo: memFree=26347180/32873648 swapFree=7120/7120
[pid=11779] ppid=11777 vsize=3024420 CPUtime=7.07 cores=0,2,4,6
/proc/11779/stat : 11779 (java) S 11777 11779 11123 0 -1 4202496 10736 0 1 0 704 3 0 0 20 0 19 0 341606205 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 140733632993408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11779/statm: 756105 23818 2273 9 0 746526 0
[pid=11779/tid=11781] ppid=11777 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/11779/task/11781/stat : 11781 (java) R 11777 11779 11123 0 -1 4202560 3074 0 1 0 624 2 0 0 20 0 19 0 341606206 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997535674832 139997362141901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11782] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11782/stat : 11782 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997519100584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11783] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11783/stat : 11783 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997518048040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11784] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11784/stat : 11784 (java) S 11777 11779 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997516995496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11779/tid=11785] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11785/stat : 11785 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997515942952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11786] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11786/stat : 11786 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997514889384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11787] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11787/stat : 11787 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997513836840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11788] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11788/stat : 11788 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997512784296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11789] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11789/stat : 11789 (java) S 11777 11779 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341606207 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997511731752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11790] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11790/stat : 11790 (java) S 11777 11779 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341606208 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997499320936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11791] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11791/stat : 11791 (java) S 11777 11779 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341606209 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997498267256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11792] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11792/stat : 11792 (java) S 11777 11779 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341606209 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997497214600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11793] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11793/stat : 11793 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997496163344 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11794] ppid=11777 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/11779/task/11794/stat : 11794 (java) S 11777 11779 11123 0 -1 4202560 3388 0 0 0 36 0 0 0 20 0 19 0 341606211 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997495109688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11795] ppid=11777 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/11779/task/11795/stat : 11795 (java) S 11777 11779 11123 0 -1 4202560 3077 0 0 0 39 0 0 0 20 0 19 0 341606211 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997494057144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11796] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11796/stat : 11796 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997493004792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11797] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11797/stat : 11797 (java) S 11777 11779 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997491952456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11798] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11798/stat : 11798 (java) S 11777 11779 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341606249 3097006080 23818 33554432000 1073741824 1073778376 140733633002272 139997489751336 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 3024420

[startup+12.7006 s]

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

[pid=11779/tid=11787] ppid=11777 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/11779/task/11787/stat : 11787 (java) S 11777 11779 11123 0 -1 4202560 222 0 0 0 34 13 0 0 20 0 19 0 341606207 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997513836840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11788] ppid=11777 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11779/task/11788/stat : 11788 (java) S 11777 11779 11123 0 -1 4202560 202 0 0 0 23 12 0 0 20 0 19 0 341606207 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997512784296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11789] ppid=11777 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/11779/task/11789/stat : 11789 (java) S 11777 11779 11123 0 -1 4202560 213 0 0 0 24 12 0 0 20 0 19 0 341606207 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997511731752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11779/tid=11790] ppid=11777 vsize=3024420 CPUtime=1.33 cores=0,2,4,6
/proc/11779/task/11790/stat : 11790 (java) S 11777 11779 11123 0 -1 4202560 210 0 0 0 126 7 0 0 20 0 19 0 341606208 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997499320936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11791] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11791/stat : 11791 (java) S 11777 11779 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341606209 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997498267256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11792] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11792/stat : 11792 (java) S 11777 11779 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341606209 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997497214600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11793] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11793/stat : 11793 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997496163344 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11794] ppid=11777 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/11779/task/11794/stat : 11794 (java) S 11777 11779 11123 0 -1 4202560 3394 0 0 0 42 0 0 0 20 0 19 0 341606211 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997495109688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11795] ppid=11777 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/11779/task/11795/stat : 11795 (java) S 11777 11779 11123 0 -1 4202560 3086 0 0 0 44 0 0 0 20 0 19 0 341606211 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997494057144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11796] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11796/stat : 11796 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997493004792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11797] ppid=11777 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/11779/task/11797/stat : 11797 (java) S 11777 11779 11123 0 -1 4202560 104 0 0 0 32 36 0 0 20 0 19 0 341606211 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997491952456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11798] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11798/stat : 11798 (java) S 11777 11779 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341606249 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997489751336 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.8 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 11874
/proc/meminfo: memFree=23724808/32873648 swapFree=7120/7120
[pid=11779] ppid=11777 vsize=3024420 CPUtime=1800.05 cores=0,2,4,6
/proc/11779/stat : 11779 (java) S 11777 11779 11123 0 -1 4202496 13071 0 1 0 179851 154 0 0 20 0 19 0 341606205 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 140733632993408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11779/statm: 756105 418707 2302 9 0 746526 0
[pid=11779/tid=11781] ppid=11777 vsize=3024420 CPUtime=1794.26 cores=0,2,4,6
/proc/11779/task/11781/stat : 11781 (java) R 11777 11779 11123 0 -1 4202560 3257 0 1 0 179388 38 0 0 20 0 19 0 341606206 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997535673632 139997362110353 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11782] ppid=11777 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/11779/task/11782/stat : 11782 (java) S 11777 11779 11123 0 -1 4202560 194 0 0 0 18 12 0 0 20 0 19 0 341606207 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997519100584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11779/tid=11783] ppid=11777 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/11779/task/11783/stat : 11783 (java) S 11777 11779 11123 0 -1 4202560 229 0 0 0 19 14 0 0 20 0 19 0 341606207 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997518048040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11784] ppid=11777 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/11779/task/11784/stat : 11784 (java) S 11777 11779 11123 0 -1 4202560 186 0 0 0 30 11 0 0 20 0 19 0 341606207 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997516995496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11785] ppid=11777 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/11779/task/11785/stat : 11785 (java) S 11777 11779 11123 0 -1 4202560 264 0 0 0 22 17 0 0 20 0 19 0 341606207 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997515942952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11786] ppid=11777 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/11779/task/11786/stat : 11786 (java) S 11777 11779 11123 0 -1 4202560 329 0 0 0 30 18 0 0 20 0 19 0 341606207 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997514889384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11787] ppid=11777 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/11779/task/11787/stat : 11787 (java) S 11777 11779 11123 0 -1 4202560 222 0 0 0 34 13 0 0 20 0 19 0 341606207 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997513836840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11788] ppid=11777 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11779/task/11788/stat : 11788 (java) S 11777 11779 11123 0 -1 4202560 202 0 0 0 23 12 0 0 20 0 19 0 341606207 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997512784296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11789] ppid=11777 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/11779/task/11789/stat : 11789 (java) S 11777 11779 11123 0 -1 4202560 213 0 0 0 24 12 0 0 20 0 19 0 341606207 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997511731752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11779/tid=11790] ppid=11777 vsize=3024420 CPUtime=1.33 cores=0,2,4,6
/proc/11779/task/11790/stat : 11790 (java) S 11777 11779 11123 0 -1 4202560 210 0 0 0 126 7 0 0 20 0 19 0 341606208 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997499320936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11791] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11791/stat : 11791 (java) S 11777 11779 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341606209 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997498267256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11792] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11792/stat : 11792 (java) S 11777 11779 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341606209 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997497214600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11793] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11793/stat : 11793 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997496163344 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11794] ppid=11777 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/11779/task/11794/stat : 11794 (java) S 11777 11779 11123 0 -1 4202560 3394 0 0 0 42 0 0 0 20 0 19 0 341606211 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997495109688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11795] ppid=11777 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/11779/task/11795/stat : 11795 (java) S 11777 11779 11123 0 -1 4202560 3086 0 0 0 44 0 0 0 20 0 19 0 341606211 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997494057144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11796] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11796/stat : 11796 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341606211 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997493004792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11797] ppid=11777 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/11779/task/11797/stat : 11797 (java) S 11777 11779 11123 0 -1 4202560 104 0 0 0 32 36 0 0 20 0 19 0 341606211 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997491952456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11798] ppid=11777 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11798/stat : 11798 (java) S 11777 11779 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341606249 3097006080 418707 33554432000 1073741824 1073778376 140733633002272 139997489751336 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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+1797 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 11874
/proc/meminfo: memFree=23724808/32873648 swapFree=7120/7120
[pid=11779] ppid=11777 vsize=3157548 CPUtime=1800.24 cores=0,2,4,6
/proc/11779/stat : 11779 (java) S 11777 11779 11123 0 -1 4202496 13104 0 1 0 179870 154 0 0 20 0 21 0 341606205 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 140733632993408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11779/statm: 789387 418738 2302 9 0 779808 0
[pid=11779/tid=11781] ppid=11777 vsize=3157548 CPUtime=1794.27 cores=0,2,4,6
/proc/11779/task/11781/stat : 11781 (java) S 11777 11779 11123 0 -1 4202560 3257 0 1 0 179389 38 0 0 20 0 21 0 341606206 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997535672984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11782] ppid=11777 vsize=3157548 CPUtime=0.3 cores=0,2,4,6
/proc/11779/task/11782/stat : 11782 (java) S 11777 11779 11123 0 -1 4202560 194 0 0 0 18 12 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997519100584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11779/tid=11783] ppid=11777 vsize=3157548 CPUtime=0.33 cores=0,2,4,6
/proc/11779/task/11783/stat : 11783 (java) S 11777 11779 11123 0 -1 4202560 229 0 0 0 19 14 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997518048040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11784] ppid=11777 vsize=3157548 CPUtime=0.41 cores=0,2,4,6
/proc/11779/task/11784/stat : 11784 (java) S 11777 11779 11123 0 -1 4202560 186 0 0 0 30 11 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997516995496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11785] ppid=11777 vsize=3157548 CPUtime=0.39 cores=0,2,4,6
/proc/11779/task/11785/stat : 11785 (java) S 11777 11779 11123 0 -1 4202560 264 0 0 0 22 17 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997515942952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11786] ppid=11777 vsize=3157548 CPUtime=0.48 cores=0,2,4,6
/proc/11779/task/11786/stat : 11786 (java) S 11777 11779 11123 0 -1 4202560 329 0 0 0 30 18 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997514889384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11787] ppid=11777 vsize=3157548 CPUtime=0.47 cores=0,2,4,6
/proc/11779/task/11787/stat : 11787 (java) S 11777 11779 11123 0 -1 4202560 222 0 0 0 34 13 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997513836840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11788] ppid=11777 vsize=3157548 CPUtime=0.35 cores=0,2,4,6
/proc/11779/task/11788/stat : 11788 (java) S 11777 11779 11123 0 -1 4202560 202 0 0 0 23 12 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997512784296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11789] ppid=11777 vsize=3157548 CPUtime=0.36 cores=0,2,4,6
/proc/11779/task/11789/stat : 11789 (java) S 11777 11779 11123 0 -1 4202560 213 0 0 0 24 12 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997511731752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11779/tid=11790] ppid=11777 vsize=3157548 CPUtime=1.52 cores=0,2,4,6
/proc/11779/task/11790/stat : 11790 (java) R 11777 11779 11123 0 -1 4202560 214 0 0 0 145 7 0 0 20 0 21 0 341606208 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997499320752 139997542530440 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11791] ppid=11777 vsize=3157548 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11791/stat : 11791 (java) S 11777 11779 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 341606209 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997498267256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11792] ppid=11777 vsize=3157548 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11792/stat : 11792 (java) S 11777 11779 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 341606209 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997497214600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11793] ppid=11777 vsize=3157548 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11793/stat : 11793 (java) S 11777 11779 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 341606211 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997496163344 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11794] ppid=11777 vsize=3157548 CPUtime=0.42 cores=0,2,4,6
/proc/11779/task/11794/stat : 11794 (java) S 11777 11779 11123 0 -1 4202560 3394 0 0 0 42 0 0 0 20 0 21 0 341606211 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997495109688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11795] ppid=11777 vsize=3157548 CPUtime=0.44 cores=0,2,4,6
/proc/11779/task/11795/stat : 11795 (java) S 11777 11779 11123 0 -1 4202560 3086 0 0 0 44 0 0 0 20 0 21 0 341606211 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997494057144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11796] ppid=11777 vsize=3157548 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11796/stat : 11796 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 341606211 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997493004792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11797] ppid=11777 vsize=3157548 CPUtime=0.68 cores=0,2,4,6
/proc/11779/task/11797/stat : 11797 (java) S 11777 11779 11123 0 -1 4202560 104 0 0 0 32 36 0 0 20 0 21 0 341606211 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997491952456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11798] ppid=11777 vsize=3157548 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11798/stat : 11798 (java) S 11777 11779 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 341606249 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997489751336 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 3157548

[startup+1797.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 11874
/proc/meminfo: memFree=23724808/32873648 swapFree=7120/7120
[pid=11779] ppid=11777 vsize=3157548 CPUtime=1800.44 cores=0,2,4,6
/proc/11779/stat : 11779 (java) S 11777 11779 11123 0 -1 4202496 13104 0 1 0 179890 154 0 0 20 0 21 0 341606205 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 140733632993408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11779/statm: 789387 418738 2302 9 0 779808 0
[pid=11779/tid=11781] ppid=11777 vsize=3157548 CPUtime=1794.27 cores=0,2,4,6
/proc/11779/task/11781/stat : 11781 (java) S 11777 11779 11123 0 -1 4202560 3257 0 1 0 179389 38 0 0 20 0 21 0 341606206 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997535672984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11782] ppid=11777 vsize=3157548 CPUtime=0.3 cores=0,2,4,6
/proc/11779/task/11782/stat : 11782 (java) S 11777 11779 11123 0 -1 4202560 194 0 0 0 18 12 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997519100584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11779/tid=11783] ppid=11777 vsize=3157548 CPUtime=0.33 cores=0,2,4,6
/proc/11779/task/11783/stat : 11783 (java) S 11777 11779 11123 0 -1 4202560 229 0 0 0 19 14 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997518048040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11784] ppid=11777 vsize=3157548 CPUtime=0.41 cores=0,2,4,6
/proc/11779/task/11784/stat : 11784 (java) S 11777 11779 11123 0 -1 4202560 186 0 0 0 30 11 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997516995496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11785] ppid=11777 vsize=3157548 CPUtime=0.39 cores=0,2,4,6
/proc/11779/task/11785/stat : 11785 (java) S 11777 11779 11123 0 -1 4202560 264 0 0 0 22 17 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997515942952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11786] ppid=11777 vsize=3157548 CPUtime=0.48 cores=0,2,4,6
/proc/11779/task/11786/stat : 11786 (java) S 11777 11779 11123 0 -1 4202560 329 0 0 0 30 18 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997514889384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11787] ppid=11777 vsize=3157548 CPUtime=0.47 cores=0,2,4,6
/proc/11779/task/11787/stat : 11787 (java) S 11777 11779 11123 0 -1 4202560 222 0 0 0 34 13 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997513836840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11788] ppid=11777 vsize=3157548 CPUtime=0.35 cores=0,2,4,6
/proc/11779/task/11788/stat : 11788 (java) S 11777 11779 11123 0 -1 4202560 202 0 0 0 23 12 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997512784296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11789] ppid=11777 vsize=3157548 CPUtime=0.36 cores=0,2,4,6
/proc/11779/task/11789/stat : 11789 (java) S 11777 11779 11123 0 -1 4202560 213 0 0 0 24 12 0 0 20 0 21 0 341606207 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997511731752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11779/tid=11790] ppid=11777 vsize=3157548 CPUtime=1.72 cores=0,2,4,6
/proc/11779/task/11790/stat : 11790 (java) R 11777 11779 11123 0 -1 4202560 214 0 0 0 165 7 0 0 20 0 21 0 341606208 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997499320752 219513635092 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11791] ppid=11777 vsize=3157548 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11791/stat : 11791 (java) S 11777 11779 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 341606209 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997498267256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11792] ppid=11777 vsize=3157548 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11792/stat : 11792 (java) S 11777 11779 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 341606209 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997497214600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11793] ppid=11777 vsize=3157548 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11793/stat : 11793 (java) S 11777 11779 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 341606211 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997496163344 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11794] ppid=11777 vsize=3157548 CPUtime=0.42 cores=0,2,4,6
/proc/11779/task/11794/stat : 11794 (java) S 11777 11779 11123 0 -1 4202560 3394 0 0 0 42 0 0 0 20 0 21 0 341606211 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997495109688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11779/tid=11795] ppid=11777 vsize=3157548 CPUtime=0.44 cores=0,2,4,6
/proc/11779/task/11795/stat : 11795 (java) S 11777 11779 11123 0 -1 4202560 3086 0 0 0 44 0 0 0 20 0 21 0 341606211 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997494057144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11796] ppid=11777 vsize=3157548 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11796/stat : 11796 (java) S 11777 11779 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 341606211 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997493004792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11779/tid=11797] ppid=11777 vsize=3157548 CPUtime=0.68 cores=0,2,4,6
/proc/11779/task/11797/stat : 11797 (java) S 11777 11779 11123 0 -1 4202560 104 0 0 0 32 36 0 0 20 0 21 0 341606211 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997491952456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11779/tid=11798] ppid=11777 vsize=3157548 CPUtime=0 cores=0,2,4,6
/proc/11779/task/11798/stat : 11798 (java) S 11777 11779 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 341606249 3233329152 418738 33554432000 1073741824 1073778376 140733633002272 139997489751336 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 3157548

Child status: 143
Real time (s): 1797.22
CPU time (s): 1800.89
CPU user time (s): 1798.86
CPU system time (s): 2.03169
CPU usage (%): 100.204
Max. virtual memory (cumulated for all children) (KiB): 3157548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 2.03169
maximum resident set size= 1674956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13107
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38121
involuntary context switches= 18416

runsolver used 6.03908 second user time and 15.2137 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-03 22:19:48
IDJOB=3741815
IDBENCH=90110
IDSOLVER=2319
FILE ID=node114/3741815-1338754788
RUNJOBID= node114-1338749374-11139
PBS_JOBID= 14636799
Free space on /tmp= 70088 MiB

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

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

MD5SUM BENCH= a811647d9332337c7e73474eee26f5b9
RANDOM SEED=1040617930

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:        26431896 kB
Buffers:         1061816 kB
Cached:          3774524 kB
SwapCached:         2244 kB
Active:          3565376 kB
Inactive:        1872020 kB
Active(anon):     588088 kB
Inactive(anon):     8360 kB
Active(file):    2977288 kB
Inactive(file):  1863660 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              4052 kB
Writeback:             0 kB
AnonPages:        599364 kB
Mapped:            19232 kB
Shmem:               100 kB
Slab:             865432 kB
SReclaimable:     309244 kB
SUnreclaim:       556188 kB
KernelStack:        1592 kB
PageTables:         5320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1828896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    559104 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-03 22:49:47