Trace number 3285110

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
priss Auto? (TO) 4800.32 1205.12

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
blocks-blocks-36-0.120-NOTKNOWN.cnf
MD5SUM8d94c04f870c828c80bd9a45ae3dedff
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark603.823
Satisfiable
(Un)Satisfiability was proved
Number of variables489685
Number of clauses8779920
Sum of the clauses size19139520
Maximum clause length1334
Minimum clause length1
Number of clauses of size 11440
Number of clauses of size 28441280
Number of clauses of size 3319680
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517520

Solver Data 

0.00/0.00	c *****************************************************
0.00/0.00	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.00	c *   This program may be redistributed or modified   *
0.00/0.00	c * under the terms of the GNU General Public License *
0.00/0.00	c *****************************************************
0.00/0.00	c process id: 28917
0.00/0.00	c setup for 4cores
2.69/2.77	c parsetime: 2765859us
2.69/2.77	c parsed 8779920 clauses with 489685 variables
3.29/3.32	c NW started thread 0 successfully (1108359488)
3.47/3.42	c preprocessor returned 489685 variables
3.47/3.42	c preprocessing returned UNKNOWN
3.47/3.42	c PP set 0 variables
3.47/3.42	c pp time: 2us (0s)
4.27/3.87	c NW started thread 1 successfully (1090746688)
4.50/3.97	c preprocessor returned 489685 variables
4.50/3.97	c preprocessing returned UNKNOWN
4.50/3.97	c PP set 0 variables
4.50/3.97	c pp time: 0us (0s)
5.91/4.47	c NW started thread 2 successfully (1118849344)
6.33/4.61	c preprocessor returned 489685 variables
6.33/4.61	c preprocessing returned UNKNOWN
6.33/4.61	c PP set 0 variables
6.33/4.61	c pp time: 1us (0s)
8.08/5.12	c NW started thread 3 successfully (1129339200)
8.39/5.25	c preprocessor returned 489685 variables
8.39/5.25	c preprocessing returned UNKNOWN
8.39/5.25	c PP set 0 variables
8.39/5.25	c pp time: 2us (0s)
62.18/18.79	c HTE
100.95/28.44	c subsumption
100.95/28.44	c simplified formula contains 0 unit clauses
126.50/34.83	c HTE
151.26/41.03	c subsumption
151.26/41.03	c simplified formula contains 0 unit clauses
151.66/41.16	c received clause contains eliminated literal -122507
180.04/48.27	c HTE
211.44/56.19	c subsumption
211.44/56.19	c simplified formula contains 0 unit clauses
212.20/56.30	c received clause contains eliminated literal -50144
212.20/56.30	c received clause contains eliminated literal -58142
232.17/61.36	c received clause contains eliminated literal -66391
239.76/63.21	c received clause contains eliminated literal -114087
241.37/63.60	c received clause contains eliminated literal -65282
259.35/68.17	c received clause contains eliminated literal -57876
302.07/78.82	c received clause contains eliminated literal -49615
309.27/80.62	c received clause contains eliminated literal -33039
320.05/83.34	c received clause contains eliminated literal -122522
324.86/84.52	c received clause contains eliminated literal -147548
362.79/94.08	c added unsatisfied clause
362.79/94.08	c failed to add network clauses
370.38/95.92	c received clause contains eliminated literal -98523
391.17/101.12	c received clause contains eliminated literal -41672
430.72/111.03	c received clause contains eliminated literal -114915
517.37/132.70	c received clause contains eliminated literal -50129
524.96/134.63	c received clause contains eliminated literal -86175
537.74/137.86	c received clause contains eliminated literal -85923
570.92/146.13	c received clause contains eliminated literal -16933
641.99/163.97	c HTE
677.54/172.85	c subsumption
677.54/172.85	c simplified formula contains 0 unit clauses
677.94/172.97	c received clause contains eliminated literal -115059
677.94/172.97	c received clause contains eliminated literal -33353
677.94/172.97	c received clause contains eliminated literal -33363
677.94/172.97	c received clause contains eliminated literal -130853
706.71/180.12	c HTE
734.26/187.03	c subsumption
734.26/187.03	c simplified formula contains 0 unit clauses
734.66/187.15	c received clause contains eliminated literal -61249
734.66/187.15	c received clause contains eliminated literal -69414
800.17/203.57	c received clause contains eliminated literal -115167
806.96/205.27	c received clause contains eliminated literal -159750
807.76/205.49	c received clause contains eliminated literal -85635
856.09/217.51	c received clause contains eliminated literal -37367
878.47/223.16	c received clause contains eliminated literal -98530
896.05/227.54	c received clause contains eliminated literal -69342
902.82/229.26	c received clause contains eliminated literal -25089
965.53/244.99	c received clause contains eliminated literal -37423
969.53/245.97	c received clause contains eliminated literal -147531
980.71/248.76	c received clause contains eliminated literal -147540
1015.46/257.40	c received clause contains eliminated literal -107146
1024.24/259.70	c received clause contains eliminated literal -98524
1025.04/259.80	c received clause contains eliminated literal -151034
1026.64/260.25	c received clause contains eliminated literal -74211
1038.23/263.14	c received clause contains eliminated literal -89782
1042.22/264.11	c received clause contains eliminated literal -135509
1044.62/264.74	c received clause contains eliminated literal -49327
1093.35/276.91	c HTE
1123.71/284.57	c subsumption
1123.71/284.57	c simplified formula contains 0 unit clauses
1124.11/284.69	c received clause contains eliminated literal -45514
1124.11/284.69	c received clause contains eliminated literal -127127
1124.11/284.69	c received clause contains eliminated literal -61940
1124.11/284.69	c received clause contains eliminated literal -130687
1153.67/292.00	c HTE
1186.44/300.27	c subsumption
1186.44/300.27	c simplified formula contains 0 unit clauses
1186.82/300.39	c received clause contains eliminated literal -65606
1186.82/300.39	c received clause contains eliminated literal -142911
1186.82/300.39	c received clause contains eliminated literal -49051
1186.82/300.39	c received clause contains eliminated literal -134429
1186.82/300.39	c received clause contains eliminated literal -70445
1187.62/300.59	c received clause contains eliminated literal -41436
1189.22/300.96	c received clause contains eliminated literal -159174
1197.61/303.06	c received clause contains eliminated literal -66024
1233.96/312.14	c received clause contains eliminated literal -46162
1236.75/312.80	c received clause contains eliminated literal -98557
1243.56/314.60	c received clause contains eliminated literal -89801
1269.93/321.10	c received clause contains eliminated literal -62012
1276.29/322.72	c received clause contains eliminated literal -66290
1327.05/335.40	c received clause contains eliminated literal -74514
1331.82/336.64	c received clause contains eliminated literal -45232
1366.59/345.31	c received clause contains eliminated literal -126582
1413.71/357.12	c received clause contains eliminated literal -81628
1429.29/361.06	c received clause contains eliminated literal -138689
1512.37/381.81	c received clause contains eliminated literal -45741
1551.14/391.51	c received clause contains eliminated literal -38015
1552.71/391.93	c received clause contains eliminated literal -119236
1600.22/403.85	c HTE
1662.53/419.47	c subsumption
1662.53/419.47	c simplified formula contains 0 unit clauses
1662.93/419.59	c received clause contains eliminated literal -41437
1662.93/419.59	c received clause contains eliminated literal -134753
1662.93/419.59	c received clause contains eliminated literal -114619
1662.93/419.59	c received clause contains eliminated literal -138701
1693.69/427.24	c HTE
1733.97/437.34	c subsumption
1733.97/437.34	c simplified formula contains 0 unit clauses
1734.37/437.46	c received clause contains eliminated literal -167851
1734.37/437.46	c received clause contains eliminated literal -53144
1742.36/439.40	c received clause contains eliminated literal -24531
1770.74/446.58	c received clause contains eliminated literal -37361
1771.12/446.65	c received clause contains eliminated literal -171463
1799.87/453.83	c received clause contains eliminated literal -66376
1800.67/454.03	c received clause contains eliminated literal -167432
1811.06/456.64	c received clause contains eliminated literal -49147
1844.61/465.02	c received clause contains eliminated literal -73735
1872.17/471.90	c received clause contains eliminated literal -54126
1893.76/477.32	c received clause contains eliminated literal -110349
1908.52/481.04	c received clause contains eliminated literal -159755
1958.45/493.57	c received clause contains eliminated literal -142751
1976.03/497.97	c received clause contains eliminated literal -28783
2006.79/505.66	c HTE
2047.55/515.80	c subsumption
2047.55/515.80	c simplified formula contains 0 unit clauses
2047.93/515.93	c received clause contains eliminated literal -41179
2047.93/515.93	c received clause contains eliminated literal -118228
2047.93/515.93	c received clause contains eliminated literal 167419
2047.93/515.93	c received clause contains eliminated literal -41422
2077.48/523.32	c HTE
2111.22/531.87	c subsumption
2111.22/531.87	c simplified formula contains 0 unit clauses
2111.62/531.99	c received clause contains eliminated literal -106298
2111.62/531.99	c received clause contains eliminated literal -65596
2111.62/531.99	c received clause contains eliminated literal -183875
2111.62/531.99	c received clause contains eliminated literal -57899
2124.00/535.08	c added unsatisfied clause
2124.00/535.08	c failed to add network clauses
2131.59/536.91	c received clause contains eliminated literal -36749
2195.50/552.95	c received clause contains eliminated literal -135257
2220.26/559.12	c received clause contains eliminated literal -50087
2278.97/573.89	c received clause contains eliminated literal -45505
2294.95/577.83	c received clause contains eliminated literal -118156
2305.73/580.51	c received clause contains eliminated literal -106573
2305.73/580.51	c received clause contains eliminated literal -49054
2310.12/581.67	c received clause contains eliminated literal -114123
2329.70/586.53	c received clause contains eliminated literal -142567
2362.86/594.88	c received clause contains eliminated literal -53396
2373.64/597.53	c received clause contains eliminated literal -41689
2376.04/598.13	c added unsatisfied clause
2376.04/598.13	c failed to add network clauses
2380.03/599.17	c received clause contains eliminated literal -74419
2423.17/609.93	c received clause contains eliminated literal -33381
2424.79/610.38	c received clause contains eliminated literal -45758
2470.70/621.82	c received clause contains eliminated literal -151624
2514.64/632.89	c received clause contains eliminated literal -53317
2620.89/659.44	c received clause contains eliminated literal -89803
2630.88/661.97	c received clause contains eliminated literal -155669
2659.64/669.13	c received clause contains eliminated literal -49329
2683.20/675.03	c received clause contains eliminated literal -82320
2684.42/675.36	c received clause contains eliminated literal -53720
2704.37/680.31	c received clause contains eliminated literal -37353
2733.93/687.75	c received clause contains eliminated literal -62077
2785.85/700.79	c HTE
2872.76/722.53	c subsumption
2872.76/722.53	c simplified formula contains 0 unit clauses
2873.16/722.66	c received clause contains eliminated literal -155136
2873.16/722.66	c received clause contains eliminated literal -61815
2873.16/722.66	c received clause contains eliminated literal -101426
2873.16/722.66	c received clause contains eliminated literal -66381
2873.16/722.66	c received clause contains eliminated literal -86641
2879.53/724.23	c received clause contains eliminated literal -45570
2953.01/742.67	c received clause contains eliminated literal -54226
3001.36/754.73	c received clause contains eliminated literal -41719
3003.36/755.23	c received clause contains eliminated literal -65894
3052.90/767.65	c received clause contains eliminated literal -49869
3070.06/771.97	c received clause contains eliminated literal -106586
3103.60/780.39	c HTE
3216.23/808.59	c subsumption
3216.23/808.59	c simplified formula contains 0 unit clauses
3217.03/808.72	c received clause contains eliminated literal -171682
3217.03/808.72	c received clause contains eliminated literal -130839
3217.03/808.72	c received clause contains eliminated literal -65354
3217.03/808.72	c received clause contains eliminated literal -74182
3225.02/810.76	c received clause contains eliminated literal -69320
3241.00/814.74	c received clause contains eliminated literal -106689
3245.00/815.78	c received clause contains eliminated literal -86657
3251.01/817.21	c received clause contains eliminated literal -107130
3274.15/823.04	c received clause contains eliminated literal -187944
3286.53/826.10	c received clause contains eliminated literal -66008
3302.51/830.14	c received clause contains eliminated literal -138542
3334.86/838.29	c received clause contains eliminated literal -151317
3464.69/870.75	c received clause contains eliminated literal -70436
3478.67/874.22	c received clause contains eliminated literal -41472
3511.02/882.37	c HTE
3548.56/891.70	c subsumption
3548.56/891.70	c simplified formula contains 0 unit clauses
3548.96/891.83	c received clause contains eliminated literal -40818
3583.31/900.41	c received clause contains eliminated literal -62192
3598.11/904.11	c received clause contains eliminated literal -108576
3614.87/908.31	c received clause contains eliminated literal -77552
3626.05/911.18	c received clause contains eliminated literal -53686
3746.68/941.31	c received clause contains eliminated literal -74146
3819.78/959.60	c HTE
3875.68/973.68	c subsumption
3875.68/973.68	c simplified formula contains 0 unit clauses
3876.48/973.81	c received clause contains eliminated literal -134761
3876.48/973.81	c received clause contains eliminated literal -138962
3913.23/983.00	c HTE
3955.56/993.67	c subsumption
3955.56/993.67	c simplified formula contains 0 unit clauses
3956.36/993.80	c received clause contains eliminated literal -126598
3956.36/993.80	c received clause contains eliminated literal -78280
3956.36/993.80	c received clause contains eliminated literal -97912
3985.92/1001.20	c received clause contains eliminated literal -58274
4020.66/1009.90	c received clause contains eliminated literal -45499
4031.85/1012.74	c received clause contains eliminated literal -102594
4065.40/1021.18	c received clause contains eliminated literal -97941
4073.39/1023.10	c received clause contains eliminated literal -105390
4078.18/1024.33	c received clause contains eliminated literal -146839
4081.00/1025.01	c received clause contains eliminated literal -28790
4091.36/1027.67	c received clause contains eliminated literal -49236
4110.53/1032.45	c received clause contains eliminated literal -114635
4131.30/1037.63	c received clause contains eliminated literal -16573
4137.30/1039.12	c received clause contains eliminated literal -57870
4150.48/1042.42	c received clause contains eliminated literal -48969
4167.65/1046.70	c received clause contains eliminated literal -74147
4170.45/1047.40	c received clause contains eliminated literal -41671
4204.41/1055.96	c received clause contains eliminated literal -20660
4214.77/1058.54	c received clause contains eliminated literal -65270
4285.07/1076.16	c received clause contains eliminated literal -86391
4291.03/1077.62	c received clause contains eliminated literal -117762
4409.66/1107.36	c received clause contains eliminated literal -122539
4410.88/1107.62	c received clause contains eliminated literal -86729
4456.80/1119.18	c received clause contains eliminated literal -171422
4457.20/1119.28	c received clause contains eliminated literal -119338
4473.18/1123.23	c received clause contains eliminated literal -57763
4479.57/1124.87	c received clause contains eliminated literal -33293
4496.75/1129.13	c received clause contains eliminated literal -145443
4497.55/1129.36	c received clause contains eliminated literal -187765
4507.55/1131.80	c received clause contains eliminated literal -106663
4533.91/1138.49	c received clause contains eliminated literal -138682
4575.43/1148.80	c received clause contains eliminated literal -65534
4575.83/1148.95	c received clause contains eliminated literal -16581
4582.62/1150.62	c received clause contains eliminated literal -29512
4591.40/1152.81	c received clause contains eliminated literal -114626
4594.20/1153.57	c received clause contains eliminated literal -93859
4634.56/1163.70	c HTE
4670.49/1172.60	c subsumption
4670.49/1172.60	c simplified formula contains 0 unit clauses
4670.89/1172.73	c received clause contains eliminated literal -85632
4670.89/1172.73	c received clause contains eliminated literal -49574
4740.41/1190.15	c received clause contains eliminated literal -37001

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3285110-1304047536/watcher-3285110-1304047536 -o /tmp/evaluation-result-3285110-1304047536/solver-3285110-1304047536 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3285110-1304047536.cnf 999376987 4800 15500 4 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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.65 3.64 3.93 1/175 28916
/proc/meminfo: memFree=30904968/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0

[startup+0.098933 s]
/proc/loadavg: 2.65 3.64 3.93 1/175 28916
/proc/meminfo: memFree=30904968/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100884 s]
/proc/loadavg: 2.65 3.64 3.93 1/175 28916
/proc/meminfo: memFree=30904968/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300849 s]
/proc/loadavg: 2.65 3.64 3.93 1/175 28916
/proc/meminfo: memFree=30904968/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.45463 s]
/proc/loadavg: 2.65 3.64 3.93 1/175 28916
/proc/meminfo: memFree=30904968/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50062 s]
/proc/loadavg: 2.65 3.64 3.93 1/175 28916
/proc/meminfo: memFree=30904968/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+3.10036 s]
/proc/loadavg: 2.60 3.62 3.92 2/177 28918
/proc/meminfo: memFree=30391824/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=563188 CPUtime=3.1 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) R 28916 28916 26347 0 -1 4202496 145399 0 0 0 288 22 0 0 25 0 1 0 516352017 576704512 129392 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562349816 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28917/statm: 140797 129392 308 389 0 136547 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 571888

[startup+6.30071 s]
/proc/loadavg: 2.71 3.62 3.92 5/181 28922
/proc/meminfo: memFree=28425276/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=3073208 CPUtime=12.65 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 705820 0 0 0 1094 171 0 0 18 0 5 0 516352017 3146964992 689813 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 768302 689813 396 389 0 764052 0
[pid=28917/tid=28919] ppid=28916 vsize=3073208 CPUtime=2.77 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 80999 0 0 0 227 50 0 0 19 0 5 0 516352350 3146964992 689814 33554432000 4194304 5787044 140737187289088 18446744073709551615 5586648 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=3073208 CPUtime=2.14 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 87001 0 0 0 160 54 0 0 18 0 5 0 516352404 3146964992 689816 33554432000 4194304 5787044 140737187289088 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=3073208 CPUtime=1.51 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 75108 0 0 0 148 3 0 0 18 0 5 0 516352464 3146964992 689817 33554432000 4194304 5787044 140737187289088 18446744073709551615 271550193621 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=3073208 CPUtime=1.15 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 61946 0 0 0 105 10 0 0 18 0 5 0 516352530 3146964992 689817 33554432000 4194304 5787044 140737187289088 18446744073709551615 5546383 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 3081908

[startup+12.7005 s]
/proc/loadavg: 2.81 3.63 3.92 5/181 28922
/proc/meminfo: memFree=27899796/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=3333220 CPUtime=38.22 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 775113 0 0 0 3639 183 0 0 18 0 5 0 516352017 3413217280 750913 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 833305 750913 413 389 0 829055 0
[pid=28917/tid=28919] ppid=28916 vsize=3333220 CPUtime=9.17 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 83119 0 0 0 867 50 0 0 25 0 5 0 516352350 3413217280 750913 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220688 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=3333220 CPUtime=8.5 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 87040 0 0 0 796 54 0 0 25 0 5 0 516352404 3413217280 750913 33554432000 4194304 5787044 140737187289088 18446744073709551615 4213865 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=3333220 CPUtime=7.91 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 75186 0 0 0 788 3 0 0 25 0 5 0 516352464 3413217280 750913 33554432000 4194304 5787044 140737187289088 18446744073709551615 5588144 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=3333220 CPUtime=7.56 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 128998 0 0 0 735 21 0 0 25 0 5 0 516352530 3413217280 750913 33554432000 4194304 5787044 140737187289088 18446744073709551615 4330504 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.22
Current children cumulated vsize (KiB) 3341920

[startup+25.5012 s]
/proc/loadavg: 2.99 3.64 3.92 5/181 28922
/proc/meminfo: memFree=27860288/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=3421736 CPUtime=89.35 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 810880 0 0 0 8747 188 0 0 18 0 5 0 516352017 3503857664 772344 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 855434 772344 414 389 0 851184 0
[pid=28917/tid=28919] ppid=28916 vsize=3421736 CPUtime=21.97 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 83144 0 0 0 2147 50 0 0 25 0 5 0 516352350 3503857664 772344 33554432000 4194304 5787044 140737187289088 18446744073709551615 5590526 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=3421736 CPUtime=21.22 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 91377 0 0 0 2068 54 0 0 25 0 5 0 516352404 3503857664 772344 33554432000 4194304 5787044 140737187289088 18446744073709551615 5591024 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=3421736 CPUtime=20.71 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 79217 0 0 0 2067 4 0 0 25 0 5 0 516352464 3503857664 772344 33554432000 4194304 5787044 140737187289088 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=3421736 CPUtime=20.35 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 156372 0 0 0 2011 24 0 0 25 0 5 0 516352530 3503857664 772344 33554432000 4194304 5787044 140737187289088 18446744073709551615 4302112 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 89.35
Current children cumulated vsize (KiB) 3430436

[startup+51.1006 s]
/proc/loadavg: 3.44 3.69 3.92 5/181 28923
/proc/meminfo: memFree=27524344/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=3691196 CPUtime=191.61 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 911034 0 0 0 18959 202 0 0 18 0 5 0 516352017 3779784704 844593 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 922799 844593 416 389 0 918549 0
[pid=28917/tid=28919] ppid=28916 vsize=3691196 CPUtime=47.56 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 90222 0 0 0 4705 51 0 0 25 0 5 0 516352350 3779784704 844593 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220688 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=3691196 CPUtime=46.69 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 91390 0 0 0 4615 54 0 0 25 0 5 0 516352404 3779784704 844593 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220870 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=3691196 CPUtime=46.32 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 79846 0 0 0 4627 5 0 0 25 0 5 0 516352464 3779784704 844593 33554432000 4194304 5787044 140737187289088 18446744073709551615 5576461 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=3691196 CPUtime=45.96 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 248806 0 0 0 4559 37 0 0 25 0 5 0 516352530 3779784704 844593 33554432000 4194304 5787044 140737187289088 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 191.61
Current children cumulated vsize (KiB) 3699896

[startup+102.3 s]
/proc/loadavg: 3.96 3.80 3.95 5/181 28924
/proc/meminfo: memFree=27419640/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=3793604 CPUtime=395.94 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 954989 0 0 0 39384 210 0 0 18 0 5 0 516352017 3884650496 870669 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 948401 870669 417 389 0 944151 0
[pid=28917/tid=28919] ppid=28916 vsize=3793604 CPUtime=98.76 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 104421 0 0 0 9822 54 0 0 25 0 5 0 516352350 3884650496 870669 33554432000 4194304 5787044 140737187289088 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=3793604 CPUtime=97.43 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 91957 0 0 0 9689 54 0 0 25 0 5 0 516352404 3884650496 870669 33554432000 4194304 5787044 140737187289088 18446744073709551615 5586853 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=3793604 CPUtime=97.52 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 96798 0 0 0 9743 9 0 0 25 0 5 0 516352464 3884650496 870669 33554432000 4194304 5787044 140737187289088 18446744073709551615 4215354 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=3793604 CPUtime=97.16 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 261043 0 0 0 9677 39 0 0 25 0 5 0 516352530 3884650496 870669 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220939 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 395.94
Current children cumulated vsize (KiB) 3802304

[startup+162.3 s]
/proc/loadavg: 4.04 3.84 3.95 5/181 28926
/proc/meminfo: memFree=27401128/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=3793604 CPUtime=635.61 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 959601 0 0 0 63343 218 0 0 18 0 5 0 516352017 3884650496 875224 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 948401 875224 417 389 0 944151 0
[pid=28917/tid=28919] ppid=28916 vsize=3793604 CPUtime=158.74 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 105312 0 0 0 15819 55 0 0 25 0 5 0 516352350 3884650496 875224 33554432000 4194304 5787044 140737187289088 18446744073709551615 4213865 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=3793604 CPUtime=157.11 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 93607 0 0 0 15653 58 0 0 25 0 5 0 516352404 3884650496 875224 33554432000 4194304 5787044 140737187289088 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=3793604 CPUtime=157.52 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 98861 0 0 0 15740 12 0 0 25 0 5 0 516352464 3884650496 875224 33554432000 4194304 5787044 140737187289088 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 4 0 0 0

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

/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 125708 0 0 0 87401 62 0 0 25 0 5 0 516352404 4683673600 1032584 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220372 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=4573900 CPUtime=875.58 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 122741 0 0 0 87541 17 0 0 25 0 5 0 516352464 4683673600 1032584 33554432000 4194304 5787044 140737187289088 18446744073709551615 5586806 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=4573900 CPUtime=877.14 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 771659 0 0 0 87560 154 0 0 25 0 5 0 516352530 4683673600 1032584 33554432000 4194304 5787044 140737187289088 18446744073709551615 4319894 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3511.02
Current children cumulated vsize (KiB) 4582600

[startup+942.301 s]
/proc/loadavg: 4.06 4.07 4.02 5/181 28947
/proc/meminfo: memFree=26664552/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=4704972 CPUtime=3750.68 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 1584250 0 0 0 374713 355 0 0 18 0 5 0 516352017 4817891328 1058742 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 1176243 1058742 417 389 0 1171993 0
[pid=28917/tid=28919] ppid=28916 vsize=4704972 CPUtime=938.57 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 125831 0 0 0 93796 61 0 0 25 0 5 0 516352350 4817891328 1058742 33554432000 4194304 5787044 140737187289088 18446744073709551615 4254546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=4704972 CPUtime=934.63 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 125708 0 0 0 93401 62 0 0 25 0 5 0 516352404 4817891328 1058742 33554432000 4194304 5787044 140737187289088 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=4704972 CPUtime=935.25 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 122741 0 0 0 93508 17 0 0 25 0 5 0 516352464 4817891328 1058742 33554432000 4194304 5787044 140737187289088 18446744073709551615 5591049 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=4704972 CPUtime=937.15 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 809200 0 0 0 93554 161 0 0 25 0 5 0 516352530 4817891328 1058742 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220347 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3750.68
Current children cumulated vsize (KiB) 4713672

[startup+1002.3 s]
/proc/loadavg: 4.07 4.07 4.01 5/181 28948
/proc/meminfo: memFree=26454832/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=4967116 CPUtime=3990.31 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 1699315 0 0 0 398647 384 0 0 18 0 5 0 516352017 5086326784 1111195 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 1241779 1111195 417 389 0 1237529 0
[pid=28917/tid=28919] ppid=28916 vsize=4967116 CPUtime=998.56 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 126095 0 0 0 99794 62 0 0 25 0 5 0 516352350 5086326784 1111195 33554432000 4194304 5787044 140737187289088 18446744073709551615 4254552 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=4967116 CPUtime=994.61 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 126447 0 0 0 99398 63 0 0 25 0 5 0 516352404 5086326784 1111195 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220295 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=4967116 CPUtime=994.92 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 124905 0 0 0 99472 20 0 0 25 0 5 0 516352464 5086326784 1111195 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220668 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=4967116 CPUtime=997.15 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 921098 0 0 0 99530 185 0 0 25 0 5 0 516352530 5086326784 1111195 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220668 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3990.31
Current children cumulated vsize (KiB) 4975816

[startup+1062.3 s]
/proc/loadavg: 4.02 4.06 4.01 5/181 28950
/proc/meminfo: memFree=26440016/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=4967116 CPUtime=4229.96 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 1702876 0 0 0 422607 389 0 0 18 0 5 0 516352017 5086326784 1114756 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 1241779 1114756 417 389 0 1237529 0
[pid=28917/tid=28919] ppid=28916 vsize=4967116 CPUtime=1058.53 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 126095 0 0 0 105791 62 0 0 25 0 5 0 516352350 5086326784 1114756 33554432000 4194304 5787044 140737187289088 18446744073709551615 5590569 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=4967116 CPUtime=1054.6 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 126447 0 0 0 105397 63 0 0 25 0 5 0 516352404 5086326784 1114756 33554432000 4194304 5787044 140737187289088 18446744073709551615 4227985 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=4967116 CPUtime=1054.6 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 128466 0 0 0 105436 24 0 0 25 0 5 0 516352464 5086326784 1114756 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220264 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=4967116 CPUtime=1057.15 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 921098 0 0 0 105529 186 0 0 25 0 5 0 516352530 5086326784 1114756 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220716 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4229.96
Current children cumulated vsize (KiB) 4975816

[startup+1122.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/181 28951
/proc/meminfo: memFree=26440096/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=4967116 CPUtime=4469.59 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 1702876 0 0 0 446569 390 0 0 18 0 5 0 516352017 5086326784 1114756 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 1241779 1114756 417 389 0 1237529 0
[pid=28917/tid=28919] ppid=28916 vsize=4967116 CPUtime=1118.51 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 126095 0 0 0 111788 63 0 0 25 0 5 0 516352350 5086326784 1114756 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220728 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=4967116 CPUtime=1114.6 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 126447 0 0 0 111397 63 0 0 25 0 5 0 516352404 5086326784 1114756 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220408 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=4967116 CPUtime=1114.24 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 128466 0 0 0 111400 24 0 0 25 0 5 0 516352464 5086326784 1114756 33554432000 4194304 5787044 140737187289088 18446744073709551615 5590526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=4967116 CPUtime=1117.16 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 921098 0 0 0 111530 186 0 0 25 0 5 0 516352530 5086326784 1114756 33554432000 4194304 5787044 140737187289088 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4469.59
Current children cumulated vsize (KiB) 4975816

[startup+1182.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/181 28953
/proc/meminfo: memFree=26431232/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=4967116 CPUtime=4709.25 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 1738965 0 0 0 470528 397 0 0 18 0 5 0 516352017 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 1241779 1116943 417 389 0 1237529 0
[pid=28917/tid=28919] ppid=28916 vsize=4967116 CPUtime=1178.5 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 126095 0 0 0 117787 63 0 0 25 0 5 0 516352350 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=4967116 CPUtime=1174.61 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 126476 0 0 0 117398 63 0 0 25 0 5 0 516352404 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 5588182 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=4967116 CPUtime=1173.92 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 128466 0 0 0 117368 24 0 0 25 0 5 0 516352464 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=4967116 CPUtime=1177.16 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 957158 0 0 0 117523 193 0 0 25 0 5 0 516352530 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4709.25
Current children cumulated vsize (KiB) 4975816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.1 s]
/proc/loadavg: 4.05 4.08 4.02 5/181 28954
/proc/meminfo: memFree=26431088/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=4967116 CPUtime=4800.32 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 1738965 0 0 0 479635 397 0 0 18 0 5 0 516352017 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 1241779 1116943 417 389 0 1237529 0
[pid=28917/tid=28919] ppid=28916 vsize=4967116 CPUtime=1201.29 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 126095 0 0 0 120066 63 0 0 25 0 5 0 516352350 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 4254508 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=4967116 CPUtime=1197.41 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 126476 0 0 0 119678 63 0 0 25 0 5 0 516352404 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=4967116 CPUtime=1196.59 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 128466 0 0 0 119635 24 0 0 25 0 5 0 516352464 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=4967116 CPUtime=1199.96 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 957158 0 0 0 119803 193 0 0 25 0 5 0 516352530 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 4975816

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

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

[startup+1205.1 s]
/proc/loadavg: 4.05 4.08 4.02 5/181 28954
/proc/meminfo: memFree=26431088/32951124 swapFree=67111344/67111528
[pid=28916] ppid=28914 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (prissAuto.sh) S 28914 28916 26347 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 516352017 8908800 252 33554432000 4194304 4922060 140735825860624 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28916/statm: 2175 252 211 178 0 68 0
[pid=28917] ppid=28916 vsize=4967116 CPUtime=4800.32 cores=0,2,4,6
/proc/28917/stat : 28917 (priss) S 28916 28916 26347 0 -1 4202496 1738965 0 0 0 479635 397 0 0 18 0 5 0 516352017 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 271562361265 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28917/statm: 1241779 1116943 417 389 0 1237529 0
[pid=28917/tid=28919] ppid=28916 vsize=4967116 CPUtime=1201.29 cores=0,2,4,6
/proc/28917/task/28919/stat : 28919 (priss) R 28916 28916 26347 0 -1 4202560 126095 0 0 0 120066 63 0 0 25 0 5 0 516352350 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 4254508 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28917/tid=28920] ppid=28916 vsize=4967116 CPUtime=1197.41 cores=0,2,4,6
/proc/28917/task/28920/stat : 28920 (priss) R 28916 28916 26347 0 -1 4202560 126476 0 0 0 119678 63 0 0 25 0 5 0 516352404 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28917/tid=28921] ppid=28916 vsize=4967116 CPUtime=1196.59 cores=0,2,4,6
/proc/28917/task/28921/stat : 28921 (priss) R 28916 28916 26347 0 -1 4202560 128466 0 0 0 119635 24 0 0 25 0 5 0 516352464 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28917/tid=28922] ppid=28916 vsize=4967116 CPUtime=1199.96 cores=0,2,4,6
/proc/28917/task/28922/stat : 28922 (priss) R 28916 28916 26347 0 -1 4202560 957158 0 0 0 119803 193 0 0 25 0 5 0 516352530 5086326784 1116943 33554432000 4194304 5787044 140737187289088 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 4975816

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28916 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 4800.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1205.12
CPU time (s): 4800.32
CPU user time (s): 4796.35
CPU system time (s): 3.97
CPU usage (%): 398.328
Max. virtual memory (cumulated for all children) (KiB): 5152800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3

runsolver used 2.30265 second user time and 4.27535 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-29 05:25:41
IDJOB=3285110
IDBENCH=82371
IDSOLVER=1602
FILE ID=node133/3285110-1304047536
RUNJOBID= node133-1304041077-27789
PBS_JOBID= 13170319
Free space on /tmp= 71740 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285110-1304047536/watcher-3285110-1304047536 -o /tmp/evaluation-result-3285110-1304047536/solver-3285110-1304047536 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3285110-1304047536.cnf 999376987 4800 15500 4

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

MD5SUM BENCH= 8d94c04f870c828c80bd9a45ae3dedff
RANDOM SEED=999376987

node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 6741.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30905248 kB
Buffers:        702092 kB
Cached:         916496 kB
SwapCached:        124 kB
Active:         706320 kB
Inactive:       978572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30905248 kB
SwapTotal:    67111528 kB
SwapFree:     67111344 kB
Dirty:          160876 kB
Writeback:           0 kB
AnonPages:       66024 kB
Mapped:          14560 kB
Slab:           297524 kB
PageTables:       4572 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71740 MiB
End job on node133 at 2011-04-29 05:45:49