Trace number 3688736

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)-14 1800.67 948.739

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_1.opb
MD5SUMfd0cd32338d58e5da2d0a0f96e14ad7d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-15
Best CPU time to get the best result obtained on this benchmark1797.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6076
Sum of products size (including duplicates)12152
Number of different products3038
Sum of products size6076

Quality of the solution as a function of time


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

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.07	c version 2.3.2.v20120418
0.02/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.07	c java.vm.version	19.1-b02
0.02/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.07	c sun.arch.data.model	64
0.02/0.07	c java.version		1.6.0_24
0.02/0.07	c os.name		Linux
0.02/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.07	c os.arch		amd64
0.02/0.07	c Free memory 		501472288
0.02/0.07	c Max memory 		7480803328
0.02/0.07	c Total memory 		504102912
0.02/0.07	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c ManyCore solver with 2 solvers running in parallel
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3688736-1337879512.opb
0.10/0.10	c reading problem ... 
0.71/0.43	c ... done. Wall clock time 0.328s.
0.71/0.43	c declared #vars     200
0.71/0.43	c internal #vars     3238
0.71/0.43	c #constraints  6378
0.71/0.43	c constraints type 
0.71/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3038
0.71/0.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 202
0.71/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.71/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3038
0.71/0.43	c 6378 constraints processed.
0.71/0.43	c constraints type 
0.71/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
0.71/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3038
0.71/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 202
0.71/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3038
0.71/0.43	c 6378 constraints processed.
0.71/0.43	c objective function length is 100 literals
1.87/0.73	c  And the winner is solver1
2.04/0.93	c SATISFIABLE
2.04/0.93	c OPTIMIZING...
2.04/0.93	c Got one! Elapsed wall clock time (in seconds):0.83
2.04/0.93	o -4
2.04/0.98	c  And the winner is solver1
2.22/1.43	c Got one! Elapsed wall clock time (in seconds):1.331
2.22/1.43	o -5
2.22/1.47	c  And the winner is solver1
2.49/1.93	c Got one! Elapsed wall clock time (in seconds):1.832
2.49/1.93	o -6
2.49/1.98	c  And the winner is solver1
2.62/2.43	c Got one! Elapsed wall clock time (in seconds):2.333
2.62/2.43	o -7
2.62/2.48	c  And the winner is solver1
2.83/2.94	c Got one! Elapsed wall clock time (in seconds):2.834
2.83/2.94	o -8
2.98/3.09	c  And the winner is solver1
3.47/3.44	c Got one! Elapsed wall clock time (in seconds):3.335
3.47/3.44	o -9
3.47/3.48	c  And the winner is solver0
3.59/3.94	c Got one! Elapsed wall clock time (in seconds):3.836
3.59/3.94	o -10
4.44/4.31	c  And the winner is solver1
4.47/4.44	c Got one! Elapsed wall clock time (in seconds):4.336
4.47/4.44	o -11
5.97/5.20	c cleaning 3689 clauses out of 7377 with flag 3000/7377
8.24/6.28	c cleaning 4842 clauses out of 9691 with flag 9003/13380
11.36/7.68	c cleaning 5921 clauses out of 11846 with flag 16000/20377
15.42/9.66	c cleaning 6961 clauses out of 13925 with flag 24000/28377
18.34/11.18	c cleaning 7983 clauses out of 15965 with flag 33001/37378
21.46/12.70	c cleaning 8984 clauses out of 17986 with flag 43005/47382
25.78/14.96	c cleaning 10002 clauses out of 20003 with flag 54006/58383
31.32/17.71	c cleaning 10995 clauses out of 21999 with flag 66004/70381
35.55/19.91	c  And the winner is solver1
35.55/19.94	c Got one! Elapsed wall clock time (in seconds):19.84
35.55/19.94	o -12
37.14/20.78	c cleaning 12090 clauses out of 24182 with flag 5001/83559
39.23/21.88	c cleaning 9049 clauses out of 18097 with flag 11006/89564
41.53/23.05	c cleaning 8021 clauses out of 16043 with flag 18001/96559
44.20/24.41	c cleaning 8010 clauses out of 16030 with flag 26009/104567
47.19/26.05	c cleaning 8494 clauses out of 17011 with flag 35000/113558
50.65/27.88	c cleaning 9247 clauses out of 18517 with flag 45000/123558
51.52/28.34	c  And the winner is solver1
51.62/28.70	c Got one! Elapsed wall clock time (in seconds):28.601
51.62/28.70	o -13
52.41/29.17	c cleaning 7335 clauses out of 14670 with flag 3003/128958
54.46/30.21	c cleaning 6641 clauses out of 13332 with flag 9000/134955
56.23/31.21	c cleaning 6834 clauses out of 13700 with flag 16009/141964
58.48/32.40	c cleaning 7420 clauses out of 14857 with flag 24000/149955
60.34/33.40	c cleaning 8216 clauses out of 16447 with flag 33010/158965
63.18/34.90	c cleaning 9112 clauses out of 18224 with flag 43003/168958
66.52/36.73	c cleaning 10055 clauses out of 20109 with flag 54000/179955
71.17/39.11	c cleaning 11008 clauses out of 22055 with flag 66001/191956
75.00/41.18	c cleaning 12023 clauses out of 24050 with flag 79004/204959
78.25/42.89	c cleaning 12981 clauses out of 26023 with flag 93000/218955
82.16/44.99	c cleaning 14021 clauses out of 28043 with flag 108001/233956
87.58/47.72	c cleaning 14997 clauses out of 30023 with flag 124002/249957
94.62/51.31	c cleaning 15994 clauses out of 32024 with flag 141000/266955
100.64/54.48	c cleaning 17018 clauses out of 34038 with flag 159008/284963
107.15/57.89	c cleaning 18001 clauses out of 36013 with flag 178001/303956
112.20/60.46	c cleaning 18994 clauses out of 38014 with flag 198003/323958
118.96/63.98	c cleaning 20008 clauses out of 40017 with flag 219000/344955
123.57/66.30	c cleaning 20998 clauses out of 42012 with flag 241003/366958
129.45/69.42	c cleaning 22004 clauses out of 44011 with flag 264000/389955
136.44/73.06	c cleaning 22991 clauses out of 46007 with flag 288000/413955
142.47/76.10	c cleaning 23999 clauses out of 48016 with flag 313000/438955
151.68/80.87	c cleaning 24988 clauses out of 50017 with flag 339000/464955
158.35/84.31	c cleaning 26001 clauses out of 52030 with flag 366001/491956
165.94/88.28	c cleaning 26998 clauses out of 54030 with flag 394002/519957
172.50/91.61	c cleaning 28006 clauses out of 56030 with flag 423000/548955
179.27/95.11	c cleaning 29005 clauses out of 58024 with flag 453000/578955
184.71/98.08	c cleaning 0 clauses out of 7289 with flag 0/7289
187.92/99.66	c cleaning 30003 clauses out of 60019 with flag 484000/609955
195.09/103.37	c cleaning 31002 clauses out of 62019 with flag 516003/641958
202.65/107.22	c cleaning 31986 clauses out of 64014 with flag 549000/674955
210.45/111.39	c cleaning 33006 clauses out of 66028 with flag 583000/708955
219.39/116.00	c cleaning 34011 clauses out of 68022 with flag 618000/743955
231.39/122.01	c cleaning 34990 clauses out of 70011 with flag 654000/779955
240.33/126.63	c cleaning 36009 clauses out of 72021 with flag 691000/816955
249.50/131.41	c cleaning 37001 clauses out of 74013 with flag 729001/854956
258.83/136.20	c cleaning 38006 clauses out of 76011 with flag 768000/893955
268.75/141.33	c cleaning 39002 clauses out of 78005 with flag 808000/933955
278.31/146.28	c cleaning 39996 clauses out of 80003 with flag 849000/974955
288.23/151.49	c cleaning 41004 clauses out of 82007 with flag 891000/1016955
299.15/157.03	c cleaning 41995 clauses out of 84003 with flag 934000/1059955
310.05/162.61	c cleaning 42993 clauses out of 86008 with flag 978000/1103955
320.75/168.14	c cleaning 43984 clauses out of 88016 with flag 1023001/1148956
331.67/173.84	c cleaning 45002 clauses out of 90031 with flag 1069000/1194955
345.57/180.91	c cleaning 46007 clauses out of 92029 with flag 1116000/1241955
356.65/186.68	c cleaning 47010 clauses out of 94022 with flag 1164000/1289955
367.54/192.25	c cleaning 47999 clauses out of 96014 with flag 1213002/1338957
380.60/199.02	c cleaning 49003 clauses out of 98014 with flag 1263001/1388956
392.28/205.03	c cleaning 50003 clauses out of 100010 with flag 1314000/1439955
406.56/212.38	c cleaning 50998 clauses out of 102009 with flag 1366002/1491957
420.00/219.28	c cleaning 51999 clauses out of 104009 with flag 1419000/1544955
434.45/226.77	c cleaning 52982 clauses out of 106010 with flag 1473000/1598955
447.12/233.24	c cleaning 54011 clauses out of 108028 with flag 1528000/1653955
461.70/240.79	c cleaning 55005 clauses out of 110020 with flag 1584003/1709958
476.09/248.15	c cleaning 55998 clauses out of 112012 with flag 1641000/1766955
493.64/257.29	c cleaning 56993 clauses out of 114015 with flag 1699001/1824956
508.22/264.72	c cleaning 58008 clauses out of 116024 with flag 1758003/1883958
524.18/272.90	c cleaning 58995 clauses out of 118017 with flag 1818004/1943959
539.97/281.02	c cleaning 60001 clauses out of 120018 with flag 1879000/2004955
556.50/289.62	c cleaning 61002 clauses out of 122017 with flag 1941000/2066955
572.02/297.62	c cleaning 62006 clauses out of 124017 with flag 2004002/2129957
590.14/306.94	c cleaning 62998 clauses out of 126009 with flag 2068000/2193955
599.45/311.89	c  And the winner is solver1
599.70/312.02	c Got one! Elapsed wall clock time (in seconds):311.919
599.70/312.02	o -14
602.05/313.29	c cleaning 53848 clauses out of 107718 with flag 5001/2238662
604.41/314.88	c cleaning 29927 clauses out of 59872 with flag 11003/2244664
606.29/316.10	c cleaning 18465 clauses out of 36942 with flag 18000/2251661
608.42/317.37	c cleaning 13204 clauses out of 26478 with flag 26001/2259662
610.75/318.71	c cleaning 11130 clauses out of 22274 with flag 35001/2268662
613.58/320.51	c cleaning 10561 clauses out of 21143 with flag 45000/2278661
616.07/322.09	c cleaning 10788 clauses out of 21595 with flag 56013/2289674
619.16/323.83	c cleaning 11396 clauses out of 22795 with flag 68001/2301662
622.09/325.60	c cleaning 12195 clauses out of 24399 with flag 81001/2314662
625.69/327.71	c cleaning 13093 clauses out of 26203 with flag 95000/2328661
629.17/329.70	c cleaning 14050 clauses out of 28117 with flag 110007/2343668
633.10/331.95	c cleaning 15022 clauses out of 30064 with flag 126004/2359665
637.23/334.27	c cleaning 16016 clauses out of 32038 with flag 143000/2376661
641.42/336.77	c cleaning 17011 clauses out of 34022 with flag 161000/2394661
645.73/339.12	c cleaning 17999 clauses out of 36011 with flag 180000/2413661
650.22/341.64	c cleaning 19007 clauses out of 38013 with flag 200001/2433662
654.49/344.06	c cleaning 19993 clauses out of 40005 with flag 221000/2454661
659.47/346.95	c cleaning 21003 clauses out of 42015 with flag 243003/2476664
664.60/349.79	c cleaning 21999 clauses out of 44009 with flag 266000/2499661
669.87/352.63	c cleaning 22986 clauses out of 46010 with flag 290000/2523661
675.17/355.54	c cleaning 24005 clauses out of 48025 with flag 315001/2548662
680.93/358.86	c cleaning 25010 clauses out of 50023 with flag 341004/2574665
686.02/361.66	c cleaning 26000 clauses out of 52012 with flag 368003/2601664
691.52/364.65	c cleaning 27005 clauses out of 54010 with flag 396001/2629662
698.60/368.43	c cleaning 27983 clauses out of 56004 with flag 425000/2658661
705.54/372.38	c cleaning 29003 clauses out of 58021 with flag 455000/2688661
714.62/377.13	c cleaning 30008 clauses out of 60019 with flag 486001/2719662
715.70/377.91	c cleaning 0 clauses out of 13232 with flag 0/13232
722.18/381.46	c cleaning 30998 clauses out of 62011 with flag 518001/2751662
729.68/385.61	c cleaning 31996 clauses out of 64013 with flag 551001/2784662
736.94/389.51	c cleaning 33008 clauses out of 66016 with flag 585000/2818661
744.40/393.55	c cleaning 34004 clauses out of 68008 with flag 620000/2853661
752.07/397.62	c cleaning 34995 clauses out of 70005 with flag 656001/2889662
760.39/402.26	c cleaning 36001 clauses out of 72009 with flag 693000/2926661
769.07/406.90	c cleaning 36994 clauses out of 74010 with flag 731002/2964663
778.16/411.62	c cleaning 37998 clauses out of 76014 with flag 770000/3003661
786.43/416.07	c cleaning 39005 clauses out of 78016 with flag 810000/3043661
795.53/421.08	c cleaning 39998 clauses out of 80011 with flag 851000/3084661
805.18/426.12	c cleaning 41002 clauses out of 82013 with flag 893000/3126661
813.83/430.79	c cleaning 42002 clauses out of 84011 with flag 936000/3169661
824.30/436.23	c cleaning 42999 clauses out of 86009 with flag 980000/3213661
835.01/442.08	c cleaning 43990 clauses out of 88010 with flag 1025000/3258661
845.69/447.67	c cleaning 45007 clauses out of 90023 with flag 1071003/3304664
856.34/453.25	c cleaning 45993 clauses out of 92013 with flag 1118000/3351661
868.58/459.60	c cleaning 47005 clauses out of 94021 with flag 1166001/3399662
881.27/466.43	c cleaning 48005 clauses out of 96015 with flag 1215000/3448661
892.67/472.43	c cleaning 48996 clauses out of 98010 with flag 1265000/3498661
904.67/478.79	c cleaning 49991 clauses out of 100014 with flag 1316000/3549661
918.31/485.82	c cleaning 51005 clauses out of 102023 with flag 1368000/3601661
930.78/492.59	c cleaning 51994 clauses out of 104018 with flag 1421000/3654661
944.79/499.80	c cleaning 52996 clauses out of 106024 with flag 1475000/3708661
958.02/506.73	c cleaning 54011 clauses out of 108028 with flag 1530000/3763661
973.45/514.78	c cleaning 55006 clauses out of 110018 with flag 1586001/3819662
988.44/523.03	c cleaning 56005 clauses out of 112012 with flag 1643001/3876662
1002.24/530.22	c cleaning 56989 clauses out of 114006 with flag 1701000/3934661
1016.15/537.79	c cleaning 58008 clauses out of 116018 with flag 1760001/3993662
1031.06/545.71	c cleaning 59009 clauses out of 118018 with flag 1820009/4053670
1047.87/554.98	c cleaning 59994 clauses out of 120000 with flag 1881000/4114661
1063.91/563.57	c cleaning 61004 clauses out of 122012 with flag 1943006/4176667
1083.36/573.82	c cleaning 61996 clauses out of 124004 with flag 2006002/4239663
1100.62/583.17	c cleaning 62992 clauses out of 126006 with flag 2070000/4303661
1120.52/593.99	c cleaning 64004 clauses out of 128015 with flag 2135001/4368662
1140.96/604.85	c cleaning 64999 clauses out of 130012 with flag 2201002/4434663
1161.56/615.83	c cleaning 66001 clauses out of 132012 with flag 2268001/4501662
1179.66/625.55	c cleaning 66998 clauses out of 134017 with flag 2336007/4569668
1201.29/637.26	c cleaning 67993 clauses out of 136013 with flag 2405001/4638662
1222.07/648.34	c cleaning 69002 clauses out of 138019 with flag 2475000/4708661
1244.95/660.44	c cleaning 70006 clauses out of 140018 with flag 2546001/4779662
1265.50/671.43	c cleaning 70990 clauses out of 142011 with flag 2618000/4851661
1288.77/683.91	c cleaning 72006 clauses out of 144022 with flag 2691001/4924662
1314.16/698.13	c cleaning 72998 clauses out of 146017 with flag 2765002/4998663
1337.19/709.95	c cleaning 73999 clauses out of 148018 with flag 2840001/5073662
1360.63/722.25	c cleaning 75008 clauses out of 150018 with flag 2916000/5149661
1382.31/733.46	c cleaning 76005 clauses out of 152013 with flag 2993003/5226664
1404.64/745.00	c cleaning 76962 clauses out of 154006 with flag 3071001/5304662
1428.94/757.42	c cleaning 78021 clauses out of 156044 with flag 3150001/5383662
1457.70/772.34	c cleaning 78998 clauses out of 158023 with flag 3230001/5463662
1480.42/784.05	c cleaning 79999 clauses out of 160024 with flag 3311000/5544661
1507.43/797.89	c cleaning 81005 clauses out of 162026 with flag 3393001/5626662
1533.59/811.24	c cleaning 82004 clauses out of 164021 with flag 3476001/5709662
1559.43/824.79	c cleaning 83004 clauses out of 166016 with flag 3560000/5793661
1589.93/840.37	c cleaning 84002 clauses out of 168014 with flag 3645002/5878663
1619.83/855.67	c cleaning 84987 clauses out of 170010 with flag 3731000/5964661
1648.78/870.41	c cleaning 86010 clauses out of 172023 with flag 3818000/6051661
1674.98/884.13	c cleaning 87005 clauses out of 174013 with flag 3906000/6139661
1704.73/899.30	c cleaning 87992 clauses out of 176008 with flag 3995000/6228661
1732.47/913.57	c cleaning 88997 clauses out of 178016 with flag 4085000/6318661
1758.11/926.71	c cleaning 90003 clauses out of 180019 with flag 4176000/6409661
1792.13/944.38	c cleaning 90996 clauses out of 182016 with flag 4268000/6501661
1800.16/948.71	c starts		: 57
1800.16/948.71	c conflicts		: 17853
1800.16/948.71	c decisions		: 97332
1800.16/948.71	c propagations		: 2815842
1800.16/948.71	c inspects		: 947405065
1800.16/948.71	c shortcuts		: 0
1800.16/948.71	c learnt literals	: 0
1800.16/948.71	c learnt binary clauses	: 0
1800.16/948.71	c learnt ternary clauses	: 0
1800.16/948.71	c learnt constraints	: 17853
1800.16/948.71	c ignored constraints	: 0
1800.16/948.71	c root simplifications	: 0
1800.16/948.71	c removed literals (reason simplification)	: 0
1800.16/948.71	c reason swapping (by a shorter reason)	: 0
1800.16/948.71	c Calls to reduceDB	: 2
1800.16/948.71	c number of reductions to clauses (during analyze)	: 0
1800.16/948.71	c number of learned constraints concerned by reduction	: 0
1800.16/948.71	c number of learning phase by resolution	: 0
1800.16/948.71	c number of learning phase by cutting planes	: 0
1800.16/948.71	c speed (assignments/second)	: 2980.4492305542826
1800.16/948.71	c non guided choices	26
1800.16/948.72	c learnt constraints type 
1800.16/948.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
1800.16/948.72	c org.sat4j.pb.constraints.pb.MaxWatchPb => 17850
1800.16/948.72	c constraints type 
1800.16/948.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3038
1800.16/948.72	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
1800.16/948.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
1800.16/948.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3038
1800.16/948.72	c 6379 constraints processed.
1800.16/948.72	c constraints type 
1800.16/948.72	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
1800.16/948.72	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3038
1800.16/948.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 203
1800.16/948.72	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3038
1800.16/948.72	c 6379 constraints processed.
1800.16/948.72	s SATISFIABLE
1800.16/948.72	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 x52 -x53 -x54 x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 x78 -x79 x80 -x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 x161 x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 x195 x196 -x197 -x198 x199 -x200 
1800.16/948.72	c objective function=-14
1800.16/948.72	c Total wall clock time (in seconds): 948.616

Verifier Data 

OK	-14

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-3688736-1337879512/watcher-3688736-1337879512 -o /tmp/evaluation-result-3688736-1337879512/solver-3688736-1337879512 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688736-1337879512.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: 3.73 3.91 3.84 4/197 24967
/proc/meminfo: memFree=28016548/32873844 swapFree=7100/7100
[pid=24967] ppid=24965 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/24967/stat : 24967 (java) S 24965 24967 21308 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 254079753 94019584 917 33554432000 1073741824 1073778376 140733215360816 140733215351952 247067607101 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24967/statm: 22954 917 697 9 0 16769 0
[pid=24967/tid=24968] ppid=24965 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24968/stat : 24968 (java) D 24965 24967 21308 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 254079753 94019584 917 33554432000 1073741824 1073778376 140733215360816 140140551499304 247055084839 0 0 4096 0 18446744072100609316 0 0 -1 4 0 0 0 0 0

[startup+0.0374169 s]
/proc/loadavg: 3.73 3.91 3.84 4/197 24967
/proc/meminfo: memFree=28016548/32873844 swapFree=7100/7100
[pid=24967] ppid=24965 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/24967/stat : 24967 (java) S 24965 24967 21308 0 -1 4202496 3085 0 1 0 2 0 0 0 20 0 13 0 254079753 9446973440 3271 33554432000 1073741824 1073778376 140733215360816 140733215351952 247067607101 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24967/statm: 2306390 3271 1702 9 0 2297091 0
[pid=24967/tid=24968] ppid=24965 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/24967/task/24968/stat : 24968 (java) R 24965 24967 21308 0 -1 4202560 1903 0 1 0 1 0 0 0 20 0 13 0 254079753 9446973440 3271 33554432000 1073741824 1073778376 140733215360816 140140551500016 247067632909 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100243 s]
/proc/loadavg: 3.73 3.91 3.84 4/197 24967
/proc/meminfo: memFree=28016548/32873844 swapFree=7100/7100
[pid=24967] ppid=24965 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/24967/stat : 24967 (java) S 24965 24967 21308 0 -1 4202496 4493 0 1 0 9 1 0 0 20 0 18 0 254079753 9787813888 5653 33554432000 1073741824 1073778376 140733215360816 140733215351952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24967/statm: 2389603 5653 2139 9 0 2380296 0
[pid=24967/tid=24968] ppid=24965 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/24967/task/24968/stat : 24968 (java) R 24965 24967 21308 0 -1 4202560 2478 0 1 0 7 0 0 0 20 0 18 0 254079753 9787813888 5653 33554432000 1073741824 1073778376 140733215360816 140140551502568 247067632909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300288 s]
/proc/loadavg: 3.73 3.91 3.84 4/197 24967
/proc/meminfo: memFree=28016548/32873844 swapFree=7100/7100
[pid=24967] ppid=24965 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/24967/stat : 24967 (java) S 24965 24967 21308 0 -1 4202496 5825 0 1 0 46 1 0 0 20 0 18 0 254079753 9787813888 8174 33554432000 1073741824 1073778376 140733215360816 140733215351952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24967/statm: 2389603 8174 2224 9 0 2380296 0
[pid=24967/tid=24968] ppid=24965 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/24967/task/24968/stat : 24968 (java) R 24965 24967 21308 0 -1 4202560 2492 0 1 0 27 0 0 0 20 0 18 0 254079753 9787813888 8174 33554432000 1073741824 1073778376 140733215360816 140140551503704 140140491271376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412

[startup+0.700214 s]
/proc/loadavg: 3.73 3.91 3.84 4/197 24967
/proc/meminfo: memFree=28016548/32873844 swapFree=7100/7100
[pid=24967] ppid=24965 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/24967/stat : 24967 (java) S 24965 24967 21308 0 -1 4202496 14416 0 1 0 183 4 0 0 20 0 22 0 254079753 10060460032 19539 33554432000 1073741824 1073778376 140733215360816 140733215351952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24967/statm: 2456167 19539 2250 9 0 2446860 0
[pid=24967/tid=24968] ppid=24965 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/24967/task/24968/stat : 24968 (java) S 24965 24967 21308 0 -1 4202560 2520 0 1 0 41 0 0 0 20 0 22 0 254079753 10060460032 19539 33554432000 1073741824 1073778376 140733215360816 140140551504888 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 9824668

[startup+1.50069 s]
/proc/loadavg: 3.83 3.92 3.85 3/216 24992
/proc/meminfo: memFree=27917748/32873844 swapFree=7100/7100
[pid=24967] ppid=24965 vsize=9824668 CPUtime=2.39 cores=0,2,4,6
/proc/24967/stat : 24967 (java) S 24965 24967 21308 0 -1 4202496 16546 0 1 0 229 10 0 0 20 0 19 0 254079753 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140733215351952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24967/statm: 2456167 29389 2253 9 0 2446860 0
[pid=24967/tid=24968] ppid=24965 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/24967/task/24968/stat : 24968 (java) S 24965 24967 21308 0 -1 4202560 2521 0 1 0 41 0 0 0 20 0 19 0 254079753 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140551504888 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140490234024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140489181480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140393216424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140392163880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140391111336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140390058792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24976] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24976/stat : 24976 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140389006248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24977] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24977/stat : 24977 (java) S 24965 24967 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140387953704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24978] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24978/stat : 24978 (java) S 24965 24967 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254079755 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140375754856 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24979] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24979/stat : 24979 (java) S 24965 24967 21308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254079755 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140374701176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24980] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24980/stat : 24980 (java) S 24965 24967 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254079755 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140373648520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24981] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24981/stat : 24981 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079757 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140372597264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24982] ppid=24965 vsize=9824668 CPUtime=0.58 cores=0,2,4,6
/proc/24967/task/24982/stat : 24982 (java) R 24965 24967 21308 0 -1 4202560 7134 0 0 0 56 2 0 0 20 0 19 0 254079757 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140371544472 140140555363021 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24983] ppid=24965 vsize=9824668 CPUtime=0.56 cores=0,2,4,6
/proc/24967/task/24983/stat : 24983 (java) S 24965 24967 21308 0 -1 4202560 5557 0 0 0 54 2 0 0 20 0 19 0 254079757 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140370492088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24984] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24984/stat : 24984 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079757 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140369439736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24985] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24985/stat : 24985 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079758 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140368387400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24988] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24988/stat : 24988 (java) S 24965 24967 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254079797 10060460032 29389 33554432000 1073741824 1073778376 140733215360816 140140364973096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9824668

[startup+3.10065 s]
/proc/loadavg: 3.83 3.92 3.85 3/216 25001
/proc/meminfo: memFree=27886284/32873844 swapFree=7100/7100
[pid=24967] ppid=24965 vsize=9824668 CPUtime=3.33 cores=0,2,4,6
/proc/24967/stat : 24967 (java) S 24965 24967 21308 0 -1 4202496 19376 0 1 0 316 17 0 0 20 0 19 0 254079753 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140733215351952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24967/statm: 2456167 45052 2271 9 0 2446860 0
[pid=24967/tid=24968] ppid=24965 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/24967/task/24968/stat : 24968 (java) S 24965 24967 21308 0 -1 4202560 2522 0 1 0 41 0 0 0 20 0 19 0 254079753 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140551504888 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140490234024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 21308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140489181480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140393216424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140392163880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140391111336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140390058792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24976] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24976/stat : 24976 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140389006248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24977] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24977/stat : 24977 (java) S 24965 24967 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254079754 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140387953704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24978] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24978/stat : 24978 (java) S 24965 24967 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254079755 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140375754856 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24979] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24979/stat : 24979 (java) S 24965 24967 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254079755 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140374701176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24980] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24980/stat : 24980 (java) S 24965 24967 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254079755 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140373648520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24981] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24981/stat : 24981 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079757 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140372597264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24982] ppid=24965 vsize=9824668 CPUtime=0.86 cores=0,2,4,6
/proc/24967/task/24982/stat : 24982 (java) R 24965 24967 21308 0 -1 4202560 9860 0 0 0 84 2 0 0 20 0 19 0 254079757 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140371521880 140140557347318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24983] ppid=24965 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/24967/task/24983/stat : 24983 (java) R 24965 24967 21308 0 -1 4202560 5572 0 0 0 69 2 0 0 20 0 19 0 254079757 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140370479456 140140554552293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24984] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24984/stat : 24984 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079757 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140369439736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24985] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24985/stat : 24985 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254079758 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140368387400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24988] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24988/stat : 24988 (java) S 24965 24967 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254079797 10060460032 45052 33554432000 1073741824 1073778376 140733215360816 140140364973096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 9824668

[startup+6.30078 s]
/proc/loadavg: 3.83 3.92 3.85 5/219 25016
/proc/meminfo: memFree=27751240/32873844 swapFree=7100/7100
[pid=24967] ppid=24965 vsize=9824668 CPUtime=8.48 cores=0,2,4,6
/proc/24967/stat : 24967 (java) S 24965 24967 21308 0 -1 4202496 21280 0 1 0 818 30 0 0 20 0 22 0 254079753 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140733215351952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24967/statm: 2456167 89695 2287 9 0 2446860 0
[pid=24967/tid=24968] ppid=24965 vsize=9824668 CPUtime=0.42 cores=0,2,4,6
/proc/24967/task/24968/stat : 24968 (java) S 24965 24967 21308 0 -1 4202560 2523 0 1 0 41 1 0 0 20 0 22 0 254079753 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140551504888 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 21308 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 254079754 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140490234024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24967/task/24971/stat : 24971 (java) R 24965 24967 21308 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 254079754 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140489181480 247067620412 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 21308 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 22 0 254079754 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140393216424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 21308 0 -1 4202560 15 0 0 0 5 0 0 0 20 0 22 0 254079754 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140392163880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 21308 0 -1 4202560 30 0 0 0 5 2 0 0 20 0 22 0 254079754 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140391111336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 21308 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 22 0 254079754 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140390058792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24976] ppid=24965 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24967/task/24976/stat : 24976 (java) S 24965 24967 21308 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254079754 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140389006248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24977] ppid=24965 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/24967/task/24977/stat : 24977 (java) S 24965 24967 21308 0 -1 4202560 24 0 0 0 6 0 0 0 20 0 22 0 254079754 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140387953704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24978] ppid=24965 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/24967/task/24978/stat : 24978 (java) R 24965 24967 21308 0 -1 4202560 237 0 0 0 7 0 0 0 20 0 22 0 254079755 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140375753832 140140557628184 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24979] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24979/stat : 24979 (java) S 24965 24967 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254079755 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140374701176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24980] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24980/stat : 24980 (java) S 24965 24967 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254079755 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140373648520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24981] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24981/stat : 24981 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254079757 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140372597264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24982] ppid=24965 vsize=9824668 CPUtime=1.16 cores=0,2,4,6
/proc/24967/task/24982/stat : 24982 (java) S 24965 24967 21308 0 -1 4202560 11305 0 0 0 113 3 0 0 20 0 22 0 254079757 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140371544632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24983] ppid=24965 vsize=9824668 CPUtime=0.88 cores=0,2,4,6
/proc/24967/task/24983/stat : 24983 (java) S 24965 24967 21308 0 -1 4202560 5592 0 0 0 86 2 0 0 20 0 22 0 254079757 10060460032 89695 33554432000 1073741824 1073778376 140733215360816 140140370468392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=24967/tid=25027] ppid=24965 vsize=9824668 CPUtime=496.37 cores=0,2,4,6
/proc/24967/task/25027/stat : 25027 (java) R 24965 24967 21308 0 -1 4202560 5 0 0 0 49628 9 0 0 20 0 22 0 254110955 10060460032 805310 33554432000 1073741824 1073778376 140733215360816 140140363919712 140140492719980 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=25028] ppid=24965 vsize=9824668 CPUtime=496.34 cores=0,2,4,6
/proc/24967/task/25028/stat : 25028 (java) R 24965 24967 21308 0 -1 4202560 269 0 0 0 49620 14 0 0 20 0 22 0 254110955 10060460032 805310 33554432000 1073741824 1073778376 140733215360816 140140367077968 140140492015434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=25029] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/25029/stat : 25029 (java) S 24965 24967 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254110955 10060460032 805310 33554432000 1073741824 1073778376 140733215360816 140140366026024 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1671.38
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 4.46 4.07 3.92 11/215 25096
/proc/meminfo: memFree=21122980/32873844 swapFree=7100/7100
[pid=24967] ppid=24965 vsize=9824668 CPUtime=1788.13 cores=0,2,4,6
/proc/24967/stat : 24967 (java) S 24965 24967 21308 0 -1 4202496 34832 0 1 0 178683 130 0 0 20 0 22 0 254079753 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140733215351952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24967/statm: 2456167 807622 2288 9 0 2446860 0
[pid=24967/tid=24968] ppid=24965 vsize=9824668 CPUtime=0.46 cores=0,2,4,6
/proc/24967/task/24968/stat : 24968 (java) S 24965 24967 21308 0 -1 4202560 2578 0 1 0 43 3 0 0 20 0 22 0 254079753 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140551504888 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=9824668 CPUtime=1.48 cores=0,2,4,6
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 21308 0 -1 4202560 759 0 0 0 144 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140490234024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=9824668 CPUtime=1.61 cores=0,2,4,6
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 21308 0 -1 4202560 1104 0 0 0 156 5 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140489181480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=9824668 CPUtime=1.61 cores=0,2,4,6
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 21308 0 -1 4202560 718 0 0 0 158 3 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140393216424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=9824668 CPUtime=1.77 cores=0,2,4,6
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 21308 0 -1 4202560 953 0 0 0 173 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140392163880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=9824668 CPUtime=1.56 cores=0,2,4,6
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 21308 0 -1 4202560 466 0 0 0 152 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140391111336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=9824668 CPUtime=1.61 cores=0,2,4,6
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 21308 0 -1 4202560 1075 0 0 0 156 5 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140390058792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24976] ppid=24965 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/24967/task/24976/stat : 24976 (java) S 24965 24967 21308 0 -1 4202560 678 0 0 0 166 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140389006248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24977] ppid=24965 vsize=9824668 CPUtime=1.62 cores=0,2,4,6
/proc/24967/task/24977/stat : 24977 (java) S 24965 24967 21308 0 -1 4202560 473 0 0 0 158 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140387953704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24978] ppid=24965 vsize=9824668 CPUtime=97.66 cores=0,2,4,6
/proc/24967/task/24978/stat : 24978 (java) S 24965 24967 21308 0 -1 4202560 1976 0 0 0 9752 14 0 0 20 0 22 0 254079755 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140375754856 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24979] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24979/stat : 24979 (java) S 24965 24967 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254079755 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140374701176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24980] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24980/stat : 24980 (java) S 24965 24967 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254079755 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140373648520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24981] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24981/stat : 24981 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254079757 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140372597264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24982] ppid=24965 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/24967/task/24982/stat : 24982 (java) S 24965 24967 21308 0 -1 4202560 11332 0 0 0 130 3 0 0 20 0 22 0 254079757 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140371544632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24983] ppid=24965 vsize=9824668 CPUtime=1.59 cores=0,2,4,6
/proc/24967/task/24983/stat : 24983 (java) S 24965 24967 21308 0 -1 4202560 9925 0 0 0 157 2 0 0 20 0 22 0 254079757 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140370492088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24984] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24984/stat : 24984 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254079757 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140369439736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24985] ppid=24965 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/24967/task/24985/stat : 24985 (java) S 24965 24967 21308 0 -1 4202560 55 0 0 0 16 20 0 0 20 0 22 0 254079758 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140368387400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=25013] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/25013/stat : 25013 (java) S 24965 24967 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254080147 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140364972840 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=25027] ppid=24965 vsize=9824668 CPUtime=552.43 cores=0,2,4,6
/proc/24967/task/25027/stat : 25027 (java) R 24965 24967 21308 0 -1 4202560 6 0 0 0 55233 10 0 0 20 0 22 0 254110955 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140363918768 140140492551743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=25028] ppid=24965 vsize=9824668 CPUtime=552.39 cores=0,2,4,6
/proc/24967/task/25028/stat : 25028 (java) R 24965 24967 21308 0 -1 4202560 276 0 0 0 55224 15 0 0 20 0 22 0 254110955 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140367078168 140140492061123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=25029] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/25029/stat : 25029 (java) S 24965 24967 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254110955 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140366026024 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1788.13
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+948.701 s]
/proc/loadavg: 4.34 4.05 3.91 4/215 25096
/proc/meminfo: memFree=20240420/32873844 swapFree=7100/7100
[pid=24967] ppid=24965 vsize=9824668 CPUtime=1800.16 cores=0,2,4,6
/proc/24967/stat : 24967 (java) S 24965 24967 21308 0 -1 4202496 34833 0 1 0 179886 130 0 0 20 0 22 0 254079753 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140733215351952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24967/statm: 2456167 807622 2288 9 0 2446860 0
[pid=24967/tid=24968] ppid=24965 vsize=9824668 CPUtime=0.46 cores=0,2,4,6
/proc/24967/task/24968/stat : 24968 (java) S 24965 24967 21308 0 -1 4202560 2578 0 1 0 43 3 0 0 20 0 22 0 254079753 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140551504888 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=9824668 CPUtime=1.49 cores=0,2,4,6
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 21308 0 -1 4202560 759 0 0 0 145 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140490234024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 21308 0 -1 4202560 1104 0 0 0 158 5 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140489181480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 21308 0 -1 4202560 718 0 0 0 160 3 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140393216424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=9824668 CPUtime=1.79 cores=0,2,4,6
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 21308 0 -1 4202560 953 0 0 0 175 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140392163880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=9824668 CPUtime=1.57 cores=0,2,4,6
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 21308 0 -1 4202560 466 0 0 0 153 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140391111336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=9824668 CPUtime=1.62 cores=0,2,4,6
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 21308 0 -1 4202560 1075 0 0 0 157 5 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140390058792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24976] ppid=24965 vsize=9824668 CPUtime=1.72 cores=0,2,4,6
/proc/24967/task/24976/stat : 24976 (java) S 24965 24967 21308 0 -1 4202560 678 0 0 0 168 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140389006248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24977] ppid=24965 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/24967/task/24977/stat : 24977 (java) S 24965 24967 21308 0 -1 4202560 473 0 0 0 159 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140387953704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24978] ppid=24965 vsize=9824668 CPUtime=98.47 cores=0,2,4,6
/proc/24967/task/24978/stat : 24978 (java) S 24965 24967 21308 0 -1 4202560 1976 0 0 0 9833 14 0 0 20 0 22 0 254079755 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140375754856 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24979] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24979/stat : 24979 (java) S 24965 24967 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254079755 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140374701176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24980] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24980/stat : 24980 (java) S 24965 24967 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254079755 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140373648520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24981] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24981/stat : 24981 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254079757 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140372597264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24982] ppid=24965 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/24967/task/24982/stat : 24982 (java) S 24965 24967 21308 0 -1 4202560 11332 0 0 0 130 3 0 0 20 0 22 0 254079757 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140371544632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24983] ppid=24965 vsize=9824668 CPUtime=1.59 cores=0,2,4,6
/proc/24967/task/24983/stat : 24983 (java) S 24965 24967 21308 0 -1 4202560 9925 0 0 0 157 2 0 0 20 0 22 0 254079757 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140370492088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24984] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24984/stat : 24984 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254079757 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140369439736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24985] ppid=24965 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/24967/task/24985/stat : 24985 (java) S 24965 24967 21308 0 -1 4202560 55 0 0 0 16 20 0 0 20 0 22 0 254079758 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140368387400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=25013] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/25013/stat : 25013 (java) S 24965 24967 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254080147 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140364972840 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=25027] ppid=24965 vsize=9824668 CPUtime=557.98 cores=0,2,4,6
/proc/24967/task/25027/stat : 25027 (java) R 24965 24967 21308 0 -1 4202560 6 0 0 0 55788 10 0 0 20 0 22 0 254110955 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140363919712 140140491928760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=25028] ppid=24965 vsize=9824668 CPUtime=557.94 cores=0,2,4,6
/proc/24967/task/25028/stat : 25028 (java) R 24965 24967 21308 0 -1 4202560 277 0 0 0 55779 15 0 0 20 0 22 0 254110955 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140367077968 140140491989521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=25029] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/25029/stat : 25029 (java) S 24965 24967 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254110955 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140366026024 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824668

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

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

[startup+948.701 s]
/proc/loadavg: 4.34 4.05 3.91 4/215 25096
/proc/meminfo: memFree=20240420/32873844 swapFree=7100/7100
[pid=24967] ppid=24965 vsize=9824668 CPUtime=1800.16 cores=0,2,4,6
/proc/24967/stat : 24967 (java) S 24965 24967 21308 0 -1 4202496 34833 0 1 0 179886 130 0 0 20 0 22 0 254079753 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140733215351952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24967/statm: 2456167 807622 2288 9 0 2446860 0
[pid=24967/tid=24968] ppid=24965 vsize=9824668 CPUtime=0.46 cores=0,2,4,6
/proc/24967/task/24968/stat : 24968 (java) S 24965 24967 21308 0 -1 4202560 2578 0 1 0 43 3 0 0 20 0 22 0 254079753 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140551504888 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=9824668 CPUtime=1.49 cores=0,2,4,6
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 21308 0 -1 4202560 759 0 0 0 145 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140490234024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 21308 0 -1 4202560 1104 0 0 0 158 5 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140489181480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 21308 0 -1 4202560 718 0 0 0 160 3 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140393216424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=9824668 CPUtime=1.79 cores=0,2,4,6
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 21308 0 -1 4202560 953 0 0 0 175 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140392163880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=9824668 CPUtime=1.57 cores=0,2,4,6
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 21308 0 -1 4202560 466 0 0 0 153 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140391111336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=9824668 CPUtime=1.62 cores=0,2,4,6
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 21308 0 -1 4202560 1075 0 0 0 157 5 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140390058792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24976] ppid=24965 vsize=9824668 CPUtime=1.72 cores=0,2,4,6
/proc/24967/task/24976/stat : 24976 (java) S 24965 24967 21308 0 -1 4202560 678 0 0 0 168 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140389006248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24977] ppid=24965 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/24967/task/24977/stat : 24977 (java) S 24965 24967 21308 0 -1 4202560 473 0 0 0 159 4 0 0 20 0 22 0 254079754 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140387953704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24978] ppid=24965 vsize=9824668 CPUtime=98.47 cores=0,2,4,6
/proc/24967/task/24978/stat : 24978 (java) S 24965 24967 21308 0 -1 4202560 1976 0 0 0 9833 14 0 0 20 0 22 0 254079755 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140375754856 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24967/tid=24979] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24979/stat : 24979 (java) S 24965 24967 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254079755 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140374701176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24980] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24980/stat : 24980 (java) S 24965 24967 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254079755 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140373648520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24981] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24981/stat : 24981 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254079757 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140372597264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=24982] ppid=24965 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/24967/task/24982/stat : 24982 (java) S 24965 24967 21308 0 -1 4202560 11332 0 0 0 130 3 0 0 20 0 22 0 254079757 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140371544632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=24983] ppid=24965 vsize=9824668 CPUtime=1.59 cores=0,2,4,6
/proc/24967/task/24983/stat : 24983 (java) S 24965 24967 21308 0 -1 4202560 9925 0 0 0 157 2 0 0 20 0 22 0 254079757 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140370492088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24984] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/24984/stat : 24984 (java) S 24965 24967 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254079757 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140369439736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=24985] ppid=24965 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/24967/task/24985/stat : 24985 (java) S 24965 24967 21308 0 -1 4202560 55 0 0 0 16 20 0 0 20 0 22 0 254079758 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140368387400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=25013] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/25013/stat : 25013 (java) S 24965 24967 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254080147 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140364972840 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24967/tid=25027] ppid=24965 vsize=9824668 CPUtime=557.98 cores=0,2,4,6
/proc/24967/task/25027/stat : 25027 (java) R 24965 24967 21308 0 -1 4202560 6 0 0 0 55788 10 0 0 20 0 22 0 254110955 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140363919712 140140491928760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24967/tid=25028] ppid=24965 vsize=9824668 CPUtime=557.94 cores=0,2,4,6
/proc/24967/task/25028/stat : 25028 (java) R 24965 24967 21308 0 -1 4202560 277 0 0 0 55779 15 0 0 20 0 22 0 254110955 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140367077968 140140491989521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24967/tid=25029] ppid=24965 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24967/task/25029/stat : 25029 (java) S 24965 24967 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254110955 10060460032 807622 33554432000 1073741824 1073778376 140733215360816 140140366026024 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 948.739
CPU time (s): 1800.67
CPU user time (s): 1798.94
CPU system time (s): 1.73174
CPU usage (%): 189.796
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.73174
maximum resident set size= 3230604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34865
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27752
involuntary context switches= 31096

runsolver used 3.51147 second user time and 8.62369 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-24 19:11:52
IDJOB=3688736
IDBENCH=48243
IDSOLVER=2268
FILE ID=node103/3688736-1337879512
RUNJOBID= node103-1337871881-21324
PBS_JOBID= 14620101
Free space on /tmp= 71716 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_1.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688736-1337879512/watcher-3688736-1337879512 -o /tmp/evaluation-result-3688736-1337879512/solver-3688736-1337879512 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688736-1337879512.opb

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

MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d
RANDOM SEED=386900185

node103.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.189
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.37
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.189
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.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.189
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.189
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.189
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	: 5411.36
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.189
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.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28016556 kB
Buffers:          207268 kB
Cached:          2656248 kB
SwapCached:            0 kB
Active:          1900056 kB
Inactive:        2191704 kB
Active(anon):    1228976 kB
Inactive(anon):     1596 kB
Active(file):     671080 kB
Inactive(file):  2190108 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1180 kB
Writeback:             0 kB
AnonPages:       1234592 kB
Mapped:            22608 kB
Shmem:               200 kB
Slab:             626308 kB
SReclaimable:      68744 kB
SUnreclaim:       557564 kB
KernelStack:        1624 kB
PageTables:         6548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2641220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1140736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71592 MiB
End job on node103 at 2012-05-24 19:27:43