Trace number 3703174

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
npSolver inc-topdown-quickBound? (TO) 1800.05 1802.82

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6029_8.std.opb
MD5SUM462f9351930ed2902c05fb692326c53f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark105
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36722
Total number of constraints123520
Number of constraints which are clauses122320
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.48/1.51	c run inc solver
1.48/1.51	c [INC SYSTEM] run initial solver
1.48/1.51	c [INC SYSTEM] preprocess with white file
13.27/13.33	c [INC SYSTEM] finished preprocessing in 11 s
13.27/13.33	c [INC SYSTEM] execute solver
88.06/88.19	c [INC SEARCH] formula is SAT
88.17/88.27	c [INC SYSTEM] solved the initial formula
88.37/88.45	c model valid
88.37/88.45	c current solution ok
92.73/92.84	o 300
92.73/92.84	c starting approximation
92.73/92.84	c factor = 2
92.73/92.84	c current bound: 150
105.77/105.81	c model valid
105.77/105.81	c current solution ok
105.77/105.89	c current bound: 150
118.68/118.75	c model valid
118.68/118.75	c current solution ok
118.73/118.85	c current bound: 150
131.57/131.61	c model valid
131.57/131.61	c current solution ok
131.59/131.71	c current bound: 150
144.48/144.52	c model valid
144.48/144.52	c current solution ok
144.50/144.62	c current bound: 150
157.37/157.49	c model valid
157.37/157.49	c current solution ok
157.47/157.59	c current bound: 150
170.37/170.46	c model valid
170.37/170.46	c current solution ok
170.43/170.56	c current bound: 150
183.27/183.33	c model valid
183.27/183.33	c current solution ok
183.30/183.44	c current bound: 150
196.17/196.21	c model valid
196.17/196.21	c current solution ok
196.19/196.32	c current bound: 150
209.17/209.22	c model valid
209.17/209.22	c current solution ok
209.20/209.32	c current bound: 150
222.17/222.25	c model valid
222.17/222.25	c current solution ok
222.22/222.35	c current bound: 150
235.07/235.15	c model valid
235.07/235.15	c current solution ok
235.12/235.23	c current bound: 150
248.49/248.57	c model valid
248.49/248.57	c current solution ok
248.55/248.65	c current bound: 150
261.48/261.53	c model valid
261.48/261.53	c current solution ok
261.52/261.62	c current bound: 150
274.37/274.47	c model valid
274.37/274.47	c current solution ok
274.44/274.55	c current bound: 150
287.47/287.50	c model valid
287.47/287.50	c current solution ok
287.47/287.58	c current bound: 150
300.29/300.43	c model valid
300.29/300.43	c current solution ok
300.32/300.51	c current bound: 150
313.16/313.57	c model valid
313.16/313.57	c current solution ok
313.23/313.65	c current bound: 150
326.18/326.72	c model valid
326.18/326.72	c current solution ok
326.21/326.81	c current bound: 150
339.09/339.69	c model valid
339.09/339.69	c current solution ok
339.18/339.78	c current bound: 150
352.17/352.74	c model valid
352.17/352.74	c current solution ok
352.22/352.83	c current bound: 150
365.08/365.61	c model valid
365.08/365.61	c current solution ok
365.08/365.69	c current bound: 150
377.87/378.49	c model valid
377.87/378.49	c current solution ok
377.97/378.58	c current bound: 150
390.67/391.27	c model valid
390.67/391.27	c current solution ok
390.75/391.36	c current bound: 150
403.66/404.22	c model valid
403.66/404.22	c current solution ok
403.68/404.30	c current bound: 150
416.67/417.22	c model valid
416.67/417.22	c current solution ok
416.69/417.30	c current bound: 150
429.76/430.37	c model valid
429.76/430.37	c current solution ok
429.83/430.45	c current bound: 150
442.76/443.35	c model valid
442.76/443.35	c current solution ok
442.81/443.44	c current bound: 150
455.87/456.45	c model valid
455.87/456.45	c current solution ok
455.93/456.54	c current bound: 150
468.66/469.22	c model valid
468.66/469.22	c current solution ok
468.68/469.31	c current bound: 150
481.35/481.96	c model valid
481.35/481.96	c current solution ok
481.43/482.05	c current bound: 150
494.25/494.85	c model valid
494.25/494.85	c current solution ok
494.34/494.94	c current bound: 150
507.03/507.69	c model valid
507.03/507.69	c current solution ok
507.13/507.78	c current bound: 150
520.13/520.78	c model valid
520.13/520.78	c current solution ok
520.23/520.86	c current bound: 150
533.23/533.80	c model valid
533.23/533.80	c current solution ok
533.23/533.88	c current bound: 150
546.33/546.90	c model valid
546.33/546.90	c current solution ok
546.33/546.99	c current bound: 150
559.22/559.85	c model valid
559.22/559.85	c current solution ok
559.28/559.93	c current bound: 150
571.81/572.46	c model valid
571.81/572.46	c current solution ok
571.88/572.55	c current bound: 150
584.61/585.24	c model valid
584.61/585.24	c current solution ok
584.65/585.32	c current bound: 150
597.31/597.94	c model valid
597.31/597.94	c current solution ok
597.36/598.03	c current bound: 150
610.10/610.75	c model valid
610.10/610.75	c current solution ok
610.15/610.83	c current bound: 150
623.11/623.74	c model valid
623.11/623.74	c current solution ok
623.15/623.83	c current bound: 150
636.10/636.76	c model valid
636.10/636.76	c current solution ok
636.19/636.85	c current bound: 150
649.10/649.79	c model valid
649.10/649.79	c current solution ok
649.19/649.87	c current bound: 150
662.10/662.70	c model valid
662.10/662.70	c current solution ok
662.10/662.78	c current bound: 150
675.00/675.64	c model valid
675.00/675.64	c current solution ok
675.05/675.73	c current bound: 150
688.00/688.62	c model valid
688.00/688.62	c current solution ok
688.03/688.71	c current bound: 150
700.69/701.38	c model valid
700.69/701.38	c current solution ok
700.78/701.47	c current bound: 150
713.79/714.48	c model valid
713.79/714.48	c current solution ok
713.88/714.56	c current bound: 150
726.89/727.58	c model valid
726.89/727.58	c current solution ok
726.98/727.67	c current bound: 150
739.99/740.63	c model valid
739.99/740.63	c current solution ok
740.03/740.72	c current bound: 150
752.79/753.49	c model valid
752.79/753.49	c current solution ok
752.87/753.58	c current bound: 150
765.69/766.34	c model valid
765.69/766.34	c current solution ok
765.74/766.44	c current bound: 150
778.39/779.07	c model valid
778.39/779.07	c current solution ok
778.47/779.16	c current bound: 150
791.38/792.04	c model valid
791.38/792.04	c current solution ok
791.42/792.13	c current bound: 150
804.48/805.16	c model valid
804.48/805.16	c current solution ok
804.54/805.25	c current bound: 150
817.68/818.33	c model valid
817.68/818.33	c current solution ok
817.70/818.41	c current bound: 150
830.67/831.32	c model valid
830.67/831.32	c current solution ok
830.70/831.40	c current bound: 150
843.67/844.39	c model valid
843.67/844.39	c current solution ok
843.77/844.48	c current bound: 150
856.87/857.54	c model valid
856.87/857.54	c current solution ok
856.91/857.63	c current bound: 150
869.97/870.61	c model valid
869.97/870.61	c current solution ok
869.97/870.69	c current bound: 150
883.06/883.74	c model valid
883.06/883.74	c current solution ok
883.11/883.83	c current bound: 150
896.17/896.83	c model valid
896.17/896.83	c current solution ok
896.21/896.92	c current bound: 150
909.26/909.92	c model valid
909.26/909.92	c current solution ok
909.29/910.01	c current bound: 150
922.17/922.88	c model valid
922.17/922.88	c current solution ok
922.25/922.97	c current bound: 150
935.27/935.95	c model valid
935.27/935.95	c current solution ok
935.36/936.04	c current bound: 150
948.26/948.98	c model valid
948.26/948.98	c current solution ok
948.34/949.06	c current bound: 150
961.35/962.02	c model valid
961.35/962.02	c current solution ok
961.37/962.10	c current bound: 150
974.35/975.09	c model valid
974.35/975.09	c current solution ok
974.45/975.17	c current bound: 150
987.36/988.07	c model valid
987.36/988.07	c current solution ok
987.44/988.16	c current bound: 150
1000.46/1001.14	c model valid
1000.46/1001.14	c current solution ok
1000.50/1001.22	c current bound: 150
1013.56/1014.23	c model valid
1013.56/1014.23	c current solution ok
1013.59/1014.32	c current bound: 150
1026.56/1027.30	c model valid
1026.56/1027.30	c current solution ok
1026.67/1027.40	c current bound: 150
1039.57/1040.29	c model valid
1039.57/1040.29	c current solution ok
1039.66/1040.38	c current bound: 150
1052.87/1053.53	c model valid
1052.87/1053.53	c current solution ok
1052.91/1053.62	c current bound: 150
1065.96/1066.62	c model valid
1065.96/1066.62	c current solution ok
1065.99/1066.71	c current bound: 150
1079.06/1079.76	c model valid
1079.06/1079.76	c current solution ok
1079.12/1079.84	c current bound: 150
1092.26/1092.92	c model valid
1092.26/1092.92	c current solution ok
1092.28/1093.02	c current bound: 150
1105.17/1106.56	c model valid
1105.17/1106.56	c current solution ok
1105.24/1106.65	c current bound: 150
1118.27/1119.65	c model valid
1118.27/1119.65	c current solution ok
1118.38/1119.74	c current bound: 150
1131.15/1132.59	c model valid
1131.15/1132.59	c current solution ok
1131.26/1132.68	c current bound: 150
1144.26/1145.67	c model valid
1144.26/1145.67	c current solution ok
1144.35/1145.76	c current bound: 150
1157.25/1158.66	c model valid
1157.25/1158.66	c current solution ok
1157.33/1158.74	c current bound: 150
1170.36/1171.77	c model valid
1170.36/1171.77	c current solution ok
1170.43/1171.85	c current bound: 150
1183.37/1184.79	c model valid
1183.37/1184.79	c current solution ok
1183.46/1184.88	c current bound: 150
1196.36/1197.78	c model valid
1196.36/1197.78	c current solution ok
1196.47/1197.88	c current bound: 150
1209.46/1210.86	c model valid
1209.46/1210.86	c current solution ok
1209.54/1210.95	c current bound: 150
1222.57/1223.96	c model valid
1222.57/1223.96	c current solution ok
1222.64/1224.05	c current bound: 150
1235.67/1237.02	c model valid
1235.67/1237.02	c current solution ok
1235.70/1237.11	c current bound: 150
1248.76/1250.11	c model valid
1248.76/1250.11	c current solution ok
1248.76/1250.19	c current bound: 150
1261.46/1262.83	c model valid
1261.46/1262.83	c current solution ok
1261.49/1262.92	c current bound: 150
1274.46/1275.83	c model valid
1274.46/1275.83	c current solution ok
1274.56/1275.92	c current bound: 150
1287.25/1288.67	c model valid
1287.25/1288.67	c current solution ok
1287.34/1288.76	c current bound: 150
1300.16/1301.56	c model valid
1300.16/1301.56	c current solution ok
1300.23/1301.65	c current bound: 150
1313.26/1314.69	c model valid
1313.26/1314.69	c current solution ok
1313.36/1314.79	c current bound: 150
1326.26/1327.68	c model valid
1326.26/1327.68	c current solution ok
1326.34/1327.77	c current bound: 150
1339.06/1340.43	c model valid
1339.06/1340.43	c current solution ok
1339.09/1340.51	c current bound: 150
1351.66/1353.04	c model valid
1351.66/1353.04	c current solution ok
1351.70/1353.13	c current bound: 150
1364.54/1365.92	c model valid
1364.54/1365.92	c current solution ok
1364.57/1366.01	c current bound: 150
1377.25/1378.63	c model valid
1377.25/1378.63	c current solution ok
1377.29/1378.72	c current bound: 150
1390.04/1391.44	c model valid
1390.04/1391.44	c current solution ok
1390.08/1391.52	c current bound: 150
1403.03/1404.47	c model valid
1403.03/1404.47	c current solution ok
1403.11/1404.56	c current bound: 150
1416.23/1417.60	c model valid
1416.23/1417.60	c current solution ok
1416.23/1417.69	c current bound: 150
1429.03/1430.48	c model valid
1429.03/1430.48	c current solution ok
1429.11/1430.56	c current bound: 150
1441.72/1443.17	c model valid
1441.72/1443.17	c current solution ok
1441.79/1443.25	c current bound: 150
1454.83/1456.32	c model valid
1454.83/1456.32	c current solution ok
1454.83/1456.40	c current bound: 150
1467.81/1469.34	c model valid
1467.81/1469.34	c current solution ok
1467.85/1469.42	c current bound: 150
1480.41/1481.98	c model valid
1480.41/1481.98	c current solution ok
1480.49/1482.07	c current bound: 150
1493.41/1494.95	c model valid
1493.41/1494.95	c current solution ok
1493.47/1495.03	c current bound: 150
1506.40/1507.90	c model valid
1506.40/1507.90	c current solution ok
1506.52/1508.69	c current bound: 150
1519.01/1520.58	c model valid
1519.01/1520.58	c current solution ok
1519.10/1520.68	c current bound: 150
1532.40/1533.96	c model valid
1532.40/1533.96	c current solution ok
1532.46/1534.06	c current bound: 150
1545.40/1546.98	c model valid
1545.40/1546.98	c current solution ok
1545.48/1547.07	c current bound: 150
1559.20/1560.79	c model valid
1559.20/1560.79	c current solution ok
1559.29/1560.88	c current bound: 150
1572.89/1574.47	c model valid
1572.89/1574.47	c current solution ok
1572.97/1574.56	c current bound: 150
1585.99/1587.53	c model valid
1585.99/1587.53	c current solution ok
1586.03/1587.62	c current bound: 150
1599.01/1600.51	c model valid
1599.01/1600.51	c current solution ok
1599.01/1600.59	c current bound: 150
1611.79/1613.37	c model valid
1611.79/1613.37	c current solution ok
1611.87/1613.46	c current bound: 150
1625.38/1626.99	c model valid
1625.38/1626.99	c current solution ok
1625.47/1627.07	c current bound: 150
1638.87/1640.49	c model valid
1638.87/1640.49	c current solution ok
1638.96/1640.57	c current bound: 150
1652.37/1653.91	c model valid
1652.37/1653.91	c current solution ok
1652.38/1654.00	c current bound: 150
1665.97/1667.53	c model valid
1665.97/1667.53	c current solution ok
1666.00/1667.62	c current bound: 150
1678.86/1680.56	c model valid
1678.86/1680.56	c current solution ok
1678.92/1680.66	c current bound: 150
1691.75/1693.43	c model valid
1691.75/1693.43	c current solution ok
1691.79/1693.53	c current bound: 150
1704.75/1706.41	c model valid
1704.75/1706.41	c current solution ok
1704.76/1706.51	c current bound: 150
1717.60/1720.37	c model valid
1717.60/1720.37	c current solution ok
1717.66/1720.47	c current bound: 150
1730.49/1733.21	c model valid
1730.49/1733.21	c current solution ok
1730.51/1733.31	c current bound: 150
1743.48/1746.21	c model valid
1743.48/1746.21	c current solution ok
1743.50/1746.30	c current bound: 150
1756.47/1759.23	c model valid
1756.47/1759.23	c current solution ok
1756.51/1759.33	c current bound: 150
1769.39/1772.12	c model valid
1769.39/1772.12	c current solution ok
1769.40/1772.21	c current bound: 150
1782.38/1785.12	c model valid
1782.38/1785.12	c current solution ok
1782.48/1785.20	c current bound: 150
1795.87/1798.63	c model valid
1795.87/1798.63	c current solution ok
1795.90/1798.71	c current bound: 150
1800.05/1802.81	c error: unexpected solver exit code
1800.05/1802.81	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3703174-1338092671/watcher-3703174-1338092671 -o /tmp/evaluation-result-3703174-1338092671/solver-3703174-1338092671 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703174-1338092671.opb 1809009508 HOME HOME 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.15 2.18 2.07 3/181 12195
/proc/meminfo: memFree=31459296/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0

[startup+0.049599 s]
/proc/loadavg: 2.15 2.18 2.07 3/181 12195
/proc/meminfo: memFree=31459296/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100214 s]
/proc/loadavg: 2.15 2.18 2.07 3/181 12195
/proc/meminfo: memFree=31459296/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300182 s]
/proc/loadavg: 2.15 2.18 2.07 3/181 12195
/proc/meminfo: memFree=31459296/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700215 s]
/proc/loadavg: 2.15 2.18 2.07 3/181 12195
/proc/meminfo: memFree=31459296/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.15 2.18 2.07 3/183 12197
/proc/meminfo: memFree=31384832/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=187668 CPUtime=1.48 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) R 12195 12195 28501 0 -1 4202496 19918 0 0 0 136 12 0 0 20 0 1 0 275334106 192172032 44401 33554432000 4194304 5992684 140736985431024 140736985426880 5182699 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12196/statm: 46917 44401 159 440 0 46473 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 196816

[startup+3.10037 s]
/proc/loadavg: 2.15 2.18 2.07 3/185 12199
/proc/meminfo: memFree=31174852/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=131732 CPUtime=1.5 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 19925 0 0 0 136 14 0 0 20 0 1 0 275334106 134893568 30423 33554432000 4194304 5992684 140736985431024 140736985425472 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12196/statm: 32933 30423 165 440 0 32489 0
[pid=12198] ppid=12196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12198/stat : 12198 (cp2_pre.sh) S 12196 12195 28501 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 275334258 9367552 277 33554432000 4194304 5064252 140734441654384 140734441653088 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12198/statm: 2287 277 234 213 0 72 0
[pid=12199] ppid=12198 vsize=644072 CPUtime=1.57 cores=0,2,4,6
/proc/12199/stat : 12199 (coprocessor) R 12198 12195 28501 0 -1 4202496 53208 0 0 0 143 14 0 0 20 0 1 0 275334258 659529728 140673 33554432000 4194304 6586260 140737439702016 140737439698280 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/12199/statm: 161018 140673 164 584 0 160430 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 794100

[startup+6.30041 s]
/proc/loadavg: 2.14 2.18 2.07 3/185 12199
/proc/meminfo: memFree=30562000/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=131732 CPUtime=1.5 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 19925 0 0 0 136 14 0 0 20 0 1 0 275334106 134893568 30423 33554432000 4194304 5992684 140736985431024 140736985425472 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12196/statm: 32933 30423 165 440 0 32489 0
[pid=12198] ppid=12196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12198/stat : 12198 (cp2_pre.sh) S 12196 12195 28501 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 275334258 9367552 277 33554432000 4194304 5064252 140734441654384 140734441653088 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12198/statm: 2287 277 234 213 0 72 0
[pid=12199] ppid=12198 vsize=830628 CPUtime=4.77 cores=0,2,4,6
/proc/12199/stat : 12199 (coprocessor) R 12198 12195 28501 0 -1 4202496 82399 0 0 0 456 21 0 0 20 0 1 0 275334258 850563072 203585 33554432000 4194304 6586260 140737439702016 140737439697336 5599216 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/12199/statm: 207657 203585 189 584 0 207069 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 980656

[startup+12.7004 s]
/proc/loadavg: 2.13 2.18 2.07 3/185 12199
/proc/meminfo: memFree=30438452/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=131732 CPUtime=1.5 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 19925 0 0 0 136 14 0 0 20 0 1 0 275334106 134893568 30423 33554432000 4194304 5992684 140736985431024 140736985425472 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12196/statm: 32933 30423 165 440 0 32489 0
[pid=12198] ppid=12196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12198/stat : 12198 (cp2_pre.sh) S 12196 12195 28501 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 275334258 9367552 277 33554432000 4194304 5064252 140734441654384 140734441653088 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12198/statm: 2287 277 234 213 0 72 0
[pid=12199] ppid=12198 vsize=833132 CPUtime=11.17 cores=0,2,4,6
/proc/12199/stat : 12199 (coprocessor) R 12198 12195 28501 0 -1 4202496 83058 0 0 0 1088 29 0 0 20 0 1 0 275334258 853127168 204138 33554432000 4194304 6586260 140737439702016 140737439697768 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/12199/statm: 208283 204138 193 584 0 207695 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 983160

[startup+25.5004 s]
/proc/loadavg: 2.10 2.17 2.07 3/184 12209
/proc/meminfo: memFree=30961680/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=131732 CPUtime=13.3 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 19942 83962 0 0 136 14 1145 35 20 0 1 0 275334106 134893568 30425 33554432000 4194304 5992684 140736985431024 140736985417288 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12196/statm: 32933 30425 167 440 0 32489 0
[pid=12201] ppid=12196 vsize=379620 CPUtime=12.16 cores=0,2,4,6
/proc/12201/stat : 12201 (glucosInc) R 12196 12195 28501 0 -1 4202496 60023 0 0 0 1204 12 0 0 20 0 1 0 275335439 388730880 84157 33554432000 4194304 5654031 140734822421472 140734822419352 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12201/statm: 94905 84157 131 357 0 94545 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 520500

[startup+51.1004 s]
/proc/loadavg: 2.06 2.15 2.07 3/184 12209
/proc/meminfo: memFree=30956724/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=131732 CPUtime=13.3 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 19942 83962 0 0 136 14 1145 35 20 0 1 0 275334106 134893568 30425 33554432000 4194304 5992684 140736985431024 140736985417288 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12196/statm: 32933 30425 167 440 0 32489 0
[pid=12201] ppid=12196 vsize=380556 CPUtime=37.75 cores=0,2,4,6
/proc/12201/stat : 12201 (glucosInc) R 12196 12195 28501 0 -1 4202496 60233 0 0 0 3763 12 0 0 20 0 1 0 275335439 389689344 84878 33554432000 4194304 5654031 140734822421472 140734822419256 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12201/statm: 95139 84878 131 357 0 94779 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 521436

[startup+102.307 s]
/proc/loadavg: 2.10 2.14 2.07 3/185 12212
/proc/meminfo: memFree=30513324/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=173960 CPUtime=18.01 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 23012 84478 0 0 239 374 1145 43 20 0 1 0 275334106 178135040 41004 33554432000 4194304 5992684 140736985431024 140736985423312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12196/statm: 43490 41004 189 440 0 43046 0
[pid=12201] ppid=12196 vsize=414716 CPUtime=74.81 cores=0,2,4,6
/proc/12201/stat : 12201 (glucosInc) S 12196 12195 28501 0 -1 4202496 62630 0 0 0 7468 13 0 0 20 0 1 0 275335439 424669184 87765 33554432000 4194304 5654031 140734822421472 140734822419784 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12201/statm: 103679 87765 145 357 0 103319 0
[pid=12211] ppid=12196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12211/stat : 12211 (satsolver.sh) S 12196 12195 28501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275343391 9367552 266 33554432000 4194304 5064252 140733449452448 140733449451360 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12211/statm: 2287 266 226 213 0 72 0
[pid=12212] ppid=12211 vsize=382352 CPUtime=9.44 cores=0,2,4,6
/proc/12212/stat : 12212 (glucose) R 12211 12195 28501 0 -1 4202496 59731 0 0 0 933 11 0 0 20 0 1 0 275343392 391528448 82349 33554432000 4194304 5208918 140734212566848 140734212564792 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12212/statm: 95588 82349 103 248 0 95337 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 989324

[startup+162.3 s]
/proc/loadavg: 1.97 2.10 2.06 3/185 12254
/proc/meminfo: memFree=30509480/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=184784 CPUtime=82.75 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 41579 448055 0 0 372 379 7313 211 20 0 1 0 275334106 189218816 43710 33554432000 4194304 5992684 140736985431024 140736985423312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12196/statm: 46196 43710 189 440 0 45752 0
[pid=12201] ppid=12196 vsize=414716 CPUtime=74.81 cores=0,2,4,6
/proc/12201/stat : 12201 (glucosInc) S 12196 12195 28501 0 -1 4202496 62630 0 0 0 7468 13 0 0 20 0 1 0 275335439 424669184 87779 33554432000 4194304 5654031 140734822421472 140734822419784 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12201/statm: 103679 87779 145 357 0 103319 0
[pid=12253] ppid=12196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12253/stat : 12253 (satsolver.sh) S 12196 12195 28501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275349866 9367552 266 33554432000 4194304 5064252 140735170829648 140735170828560 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12253/statm: 2287 266 226 213 0 72 0
[pid=12254] ppid=12253 vsize=381964 CPUtime=4.68 cores=0,2,4,6
/proc/12254/stat : 12254 (glucose) R 12253 12195 28501 0 -1 4202496 60142 0 0 0 456 12 0 0 20 0 1 0 275349867 391131136 82262 33554432000 4194304 5208918 140736742278384 140736742276232 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12254/statm: 95491 82262 96 248 0 95240 0
Current children cumulated CPU time (s) 162.24

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

/proc/13033/statm: 2287 267 226 213 0 72 0
[pid=13034] ppid=13033 vsize=381960 CPUtime=4.59 cores=0,2,4,6
/proc/13034/stat : 13034 (glucose) R 13033 12195 28501 0 -1 4202496 61516 0 0 0 447 12 0 0 20 0 1 0 275475876 391127040 82537 33554432000 4194304 5208918 140734320975072 140734320973016 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13034/statm: 95490 82537 96 248 0 95239 0
Current children cumulated CPU time (s) 1420.91
Current children cumulated vsize (KiB) 999756

[startup+1482.3 s]
/proc/loadavg: 2.13 2.10 2.05 3/183 13150
/proc/meminfo: memFree=30442532/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=184784 CPUtime=1405.77 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 420315 7820836 0 0 3196 492 133380 3509 20 0 1 0 275334106 189218816 43710 33554432000 4194304 5992684 140736985431024 140736985423312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12196/statm: 46196 43710 189 440 0 45752 0
[pid=12201] ppid=12196 vsize=414716 CPUtime=74.81 cores=0,2,4,6
/proc/12201/stat : 12201 (glucosInc) S 12196 12195 28501 0 -1 4202496 62630 0 0 0 7468 13 0 0 20 0 1 0 275335439 424669184 88509 33554432000 4194304 5654031 140734822421472 140734822419784 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12201/statm: 103679 88509 145 357 0 103319 0
Current children cumulated CPU time (s) 1480.58
Current children cumulated vsize (KiB) 608648

[startup+1542.3 s]
/proc/loadavg: 2.24 2.14 2.06 3/184 13397
/proc/meminfo: memFree=30545956/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=184784 CPUtime=1457.76 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 435165 8110271 0 0 3301 497 138325 3653 20 0 1 0 275334106 189218816 43710 33554432000 4194304 5992684 140736985431024 140736985423312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12196/statm: 46196 43710 189 440 0 45752 0
[pid=12201] ppid=12196 vsize=414716 CPUtime=74.81 cores=0,2,4,6
/proc/12201/stat : 12201 (glucosInc) S 12196 12195 28501 0 -1 4202496 62630 0 0 0 7468 13 0 0 20 0 1 0 275335439 424669184 88509 33554432000 4194304 5654031 140734822421472 140734822419784 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12201/statm: 103679 88509 145 357 0 103319 0
[pid=13304] ppid=12196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13304/stat : 13304 (satsolver.sh) S 12196 12195 28501 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275487513 9367552 267 33554432000 4194304 5064252 140734243965040 140734243963952 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=382224 CPUtime=8.21 cores=0,2,4,6
/proc/13305/stat : 13305 (glucose) R 13304 12195 28501 0 -1 4202496 59895 0 0 0 808 13 0 0 20 0 1 0 275487513 391397376 82003 33554432000 4194304 5208918 140735312848704 140735312846648 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13305/statm: 95556 82003 96 248 0 95305 0
Current children cumulated CPU time (s) 1540.78
Current children cumulated vsize (KiB) 1000020

[startup+1602.3 s]
/proc/loadavg: 2.22 2.15 2.07 3/183 13432
/proc/meminfo: memFree=30474388/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=184784 CPUtime=1524.29 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 453730 8470362 0 0 3436 503 144667 3823 20 0 1 0 275334106 189218816 43710 33554432000 4194304 5992684 140736985431024 140736985423312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12196/statm: 46196 43710 189 440 0 45752 0
[pid=12201] ppid=12196 vsize=414716 CPUtime=74.81 cores=0,2,4,6
/proc/12201/stat : 12201 (glucosInc) S 12196 12195 28501 0 -1 4202496 62630 0 0 0 7468 13 0 0 20 0 1 0 275335439 424669184 88509 33554432000 4194304 5654031 140734822421472 140734822419784 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12201/statm: 103679 88509 145 357 0 103319 0
[pid=13431] ppid=12196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13431/stat : 13431 (satsolver.sh) S 12196 12195 28501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275494166 9367552 266 33554432000 4194304 5064252 140737419710816 140737419709728 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13431/statm: 2287 266 226 213 0 72 0
[pid=13432] ppid=13431 vsize=381436 CPUtime=1.68 cores=0,2,4,6
/proc/13432/stat : 13432 (glucose) R 13431 12195 28501 0 -1 4202496 61379 0 0 0 155 13 0 0 20 0 1 0 275494167 390590464 82406 33554432000 4194304 5208918 140733696329152 140733696327096 4212881 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13432/statm: 95359 82406 96 248 0 95108 0
Current children cumulated CPU time (s) 1600.78
Current children cumulated vsize (KiB) 999232

[startup+1662.3 s]
/proc/loadavg: 2.17 2.15 2.08 3/183 13460
/proc/meminfo: memFree=30478616/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=184784 CPUtime=1577.66 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 468583 8761179 0 0 3541 507 149759 3959 20 0 1 0 275334106 189218816 43710 33554432000 4194304 5992684 140736985431024 140736985423312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12196/statm: 46196 43710 189 440 0 45752 0
[pid=12201] ppid=12196 vsize=414716 CPUtime=74.81 cores=0,2,4,6
/proc/12201/stat : 12201 (glucosInc) S 12196 12195 28501 0 -1 4202496 62630 0 0 0 7468 13 0 0 20 0 1 0 275335439 424669184 88509 33554432000 4194304 5654031 140734822421472 140734822419784 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12201/statm: 103679 88509 145 357 0 103319 0
[pid=13459] ppid=12196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13459/stat : 13459 (satsolver.sh) S 12196 12195 28501 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275499507 9367552 267 33554432000 4194304 5064252 140737028144816 140737028143728 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13459/statm: 2287 267 226 213 0 72 0
[pid=13460] ppid=13459 vsize=382220 CPUtime=8.27 cores=0,2,4,6
/proc/13460/stat : 13460 (glucose) R 13459 12195 28501 0 -1 4202496 62004 0 0 0 814 13 0 0 20 0 1 0 275499507 391393280 83616 33554432000 4194304 5208918 140733339738272 140733339736216 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13460/statm: 95555 83616 96 248 0 95304 0
Current children cumulated CPU time (s) 1660.74
Current children cumulated vsize (KiB) 1000016

[startup+1722.3 s]
/proc/loadavg: 2.11 2.14 2.08 3/183 13495
/proc/meminfo: memFree=30478072/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=184784 CPUtime=1642.96 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 487151 9125578 0 0 3673 513 155980 4130 20 0 1 0 275334106 189218816 43710 33554432000 4194304 5992684 140736985431024 140736985423312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/12196/statm: 46196 43710 189 440 0 45752 0
[pid=12201] ppid=12196 vsize=414716 CPUtime=74.81 cores=0,2,4,6
/proc/12201/stat : 12201 (glucosInc) S 12196 12195 28501 0 -1 4202496 62630 0 0 0 7468 13 0 0 20 0 1 0 275335439 424669184 88509 33554432000 4194304 5654031 140734822421472 140734822419784 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12201/statm: 103679 88509 145 357 0 103319 0
[pid=13494] ppid=12196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13494/stat : 13494 (satsolver.sh) S 12196 12195 28501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275506154 9367552 267 33554432000 4194304 5064252 140733714651232 140733714650144 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13494/statm: 2287 267 226 213 0 72 0
[pid=13495] ppid=13494 vsize=381432 CPUtime=1.8 cores=0,2,4,6
/proc/13495/stat : 13495 (glucose) R 13494 12195 28501 0 -1 4202496 62131 0 0 0 169 11 0 0 20 0 1 0 275506154 390586368 82287 33554432000 4194304 5208918 140736362710336 140736362708280 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13495/statm: 95358 82287 96 248 0 95107 0
Current children cumulated CPU time (s) 1719.57
Current children cumulated vsize (KiB) 999228

[startup+1782.3 s]
/proc/loadavg: 2.07 2.12 2.08 3/183 13523
/proc/meminfo: memFree=30470956/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=184784 CPUtime=1694.69 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 502003 9415798 0 0 3779 516 160913 4261 20 0 1 0 275334106 189218816 43710 33554432000 4194304 5992684 140736985431024 140736985423312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/12196/statm: 46196 43710 189 440 0 45752 0
[pid=12201] ppid=12196 vsize=414716 CPUtime=74.81 cores=0,2,4,6
/proc/12201/stat : 12201 (glucosInc) S 12196 12195 28501 0 -1 4202496 62630 0 0 0 7468 13 0 0 20 0 1 0 275335439 424669184 88509 33554432000 4194304 5654031 140734822421472 140734822419784 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12201/statm: 103679 88509 145 357 0 103319 0
[pid=13522] ppid=12196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (satsolver.sh) S 12196 12195 28501 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275511329 9367552 267 33554432000 4194304 5064252 140734647371264 140734647370176 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13522/statm: 2287 267 226 213 0 72 0
[pid=13523] ppid=13522 vsize=382356 CPUtime=10.05 cores=0,2,4,6
/proc/13523/stat : 13523 (glucose) R 13522 12195 28501 0 -1 4202496 62471 0 0 0 993 12 0 0 20 0 1 0 275511329 391532544 83087 33554432000 4194304 5208918 140736687492352 140736687490296 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13523/statm: 95589 83087 103 248 0 95338 0
Current children cumulated CPU time (s) 1779.55
Current children cumulated vsize (KiB) 1000152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.8 s]
/proc/loadavg: 1.99 2.10 2.07 3/183 13537
/proc/meminfo: memFree=30470236/32873844 swapFree=6872/6872
[pid=12195] ppid=12193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (npSolver-pbo-It) S 12193 12195 28501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275334106 9367552 275 33554432000 4194304 5064252 140736116265168 140736116264080 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12195/statm: 2287 275 233 213 0 72 0
[pid=12196] ppid=12195 vsize=184784 CPUtime=1721.17 cores=0,2,4,6
/proc/12196/stat : 12196 (npSolver-pbo) S 12195 12195 28501 0 -1 4202496 509430 9562463 0 0 3831 518 163442 4326 20 0 1 0 275334106 189218816 43710 33554432000 4194304 5992684 140736985431024 140736985423312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 16 0 0
/proc/12196/statm: 46196 43710 189 440 0 45752 0
[pid=12201] ppid=12196 vsize=414716 CPUtime=74.81 cores=0,2,4,6
/proc/12201/stat : 12201 (glucosInc) S 12196 12195 28501 0 -1 4202496 62630 0 0 0 7468 13 0 0 20 0 1 0 275335439 424669184 88509 33554432000 4194304 5654031 140734822421472 140734822419784 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12201/statm: 103679 88509 145 357 0 103319 0
[pid=13536] ppid=12196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13536/stat : 13536 (satsolver.sh) S 12196 12195 28501 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275513978 9367552 267 33554432000 4194304 5064252 140735701259792 140735701258704 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13536/statm: 2287 267 226 213 0 72 0
[pid=13537] ppid=13536 vsize=381828 CPUtime=4.07 cores=0,2,4,6
/proc/13537/stat : 13537 (glucose) R 13536 12195 28501 0 -1 4202496 62348 0 0 0 392 15 0 0 20 0 1 0 275513979 390991872 82963 33554432000 4194304 5208918 140734869963104 140734869961048 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13537/statm: 95457 82963 96 248 0 95206 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 999624

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12195 and gives
#  childrusage.ru_utime.tv_sec=1672
#  childrusage.ru_utime.tv_usec=743704
#  childrusage.ru_stime.tv_sec=48
#  childrusage.ru_stime.tv_usec=462632
# CPU time returned by wait4() is 1721.21
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1802.82
CPU time (s): 1800.05
CPU user time (s): 1751.33
CPU system time (s): 48.72
CPU usage (%): 99.8461
Max. virtual memory (cumulated for all children) (KiB): 1046428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1672.74
system time used= 48.4626
maximum resident set size= 849668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10072872
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19422136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 370963
involuntary context switches= 3954

runsolver used 4.25935 second user time and 11.4753 second system time

The end

Launcher Data 

Begin job on node105 at 2012-05-27 06:24:31
IDJOB=3703174
IDBENCH=76804
IDSOLVER=2278
FILE ID=node105/3703174-1338092671
RUNJOBID= node105-1338088459-28517
PBS_JOBID= 14624461
Free space on /tmp= 71560 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6029_8.std.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703174-1338092671/watcher-3703174-1338092671 -o /tmp/evaluation-result-3703174-1338092671/solver-3703174-1338092671 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703174-1338092671.opb 1809009508 HOME HOME

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

MD5SUM BENCH= 462f9351930ed2902c05fb692326c53f
RANDOM SEED=1809009508

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
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.92
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.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31459568 kB
Buffers:          208552 kB
Cached:           220836 kB
SwapCached:         1932 kB
Active:           391776 kB
Inactive:         220432 kB
Active(anon):     182492 kB
Inactive(anon):     1672 kB
Active(file):     209284 kB
Inactive(file):   218760 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:             12860 kB
Writeback:           112 kB
AnonPages:        187120 kB
Mapped:            10640 kB
Shmem:                 0 kB
Slab:             660844 kB
SReclaimable:     101428 kB
SUnreclaim:       559416 kB
KernelStack:        1480 kB
PageTables:         4556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     330948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 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= 71448 MiB
End job on node105 at 2012-05-27 06:54:34