Trace number 3753826

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
npSolver inc-topDown (fixed)? (TO) 1800.06 1801.82

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh307_wcsp.wbo
MD5SUM944c5e420229bce90a366c23629af03a
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark540
Best CPU time to get the best result obtained on this benchmark0.087986
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints1000
Number of soft constraints900
Number of constraints which are clauses900
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.02	c run usual solver
0.00/0.05	o 11009
0.00/0.05	c fallback to adder encoding
15.27/15.38	o 11002
15.27/15.38	c fallback to adder encoding
33.36/33.48	o 10991
33.36/33.48	c fallback to adder encoding
46.81/46.93	o 10977
46.81/46.93	c fallback to adder encoding
59.05/59.19	o 10973
59.05/59.19	c fallback to adder encoding
64.75/64.87	o 10879
64.75/64.87	c fallback to adder encoding
75.90/76.03	o 10877
75.90/76.03	c fallback to adder encoding
89.12/89.25	o 10876
89.12/89.25	c fallback to adder encoding
97.18/97.32	o 10853
97.18/97.32	c fallback to adder encoding
118.64/118.80	o 10852
118.64/118.80	c fallback to adder encoding
123.89/124.04	o 10850
123.89/124.04	c fallback to adder encoding
135.80/135.96	o 10843
135.80/135.96	c fallback to adder encoding
146.88/147.02	o 10837
146.88/147.02	c fallback to adder encoding
154.11/154.26	o 10816
154.11/154.26	c fallback to adder encoding
161.17/161.32	o 10786
161.17/161.32	c fallback to adder encoding
173.63/173.78	o 10782
173.63/173.78	c fallback to adder encoding
177.63/177.78	o 10763
177.63/177.78	c fallback to adder encoding
188.30/188.46	o 10723
188.30/188.46	c fallback to adder encoding
208.34/208.50	o 10720
208.34/208.50	c fallback to adder encoding
216.90/217.07	o 10702
216.90/217.07	c fallback to adder encoding
222.57/222.74	o 10700
222.57/222.74	c fallback to adder encoding
230.73/230.88	o 10683
230.73/230.88	c fallback to adder encoding
235.10/235.21	o 10672
235.10/235.21	c fallback to adder encoding
259.66/259.86	o 10656
259.66/259.86	c fallback to adder encoding
274.56/274.80	o 10628
274.56/274.80	c fallback to adder encoding
285.11/285.31	o 10626
285.11/285.31	c fallback to adder encoding
301.52/301.72	o 10622
301.52/301.72	c fallback to adder encoding
307.80/308.01	o 10601
307.80/308.01	c fallback to adder encoding
318.37/318.58	o 10538
318.37/318.58	c fallback to adder encoding
331.05/331.26	o 8173
331.05/331.26	c fallback to adder encoding
351.74/351.98	o 8156
351.74/351.98	c fallback to adder encoding
359.46/359.64	o 8127
359.46/359.64	c fallback to adder encoding
364.22/364.44	o 8066
364.22/364.44	c fallback to adder encoding
374.74/374.99	o 8048
374.74/374.99	c fallback to adder encoding
387.53/387.75	o 8026
387.53/387.75	c fallback to adder encoding
404.43/404.69	o 8018
404.43/404.69	c fallback to adder encoding
411.82/412.08	o 8017
411.82/412.08	c fallback to adder encoding
422.02/422.26	o 8015
422.02/422.26	c fallback to adder encoding
435.62/435.89	o 8003
435.62/435.89	c fallback to adder encoding
447.88/448.14	o 8002
447.88/448.14	c fallback to adder encoding
453.76/454.02	o 7994
453.76/454.02	c fallback to adder encoding
457.72/457.98	o 7971
457.72/457.98	c fallback to adder encoding
470.22/470.48	o 7925
470.22/470.48	c fallback to adder encoding
476.75/477.01	o 7922
476.75/477.01	c fallback to adder encoding
498.37/498.64	o 7914
498.37/498.64	c fallback to adder encoding
510.86/511.14	o 7904
510.86/511.14	c fallback to adder encoding
524.79/525.00	o 7880
524.79/525.00	c fallback to adder encoding
535.86/536.15	o 7873
535.86/536.15	c fallback to adder encoding
541.37/541.64	o 7871
541.37/541.64	c fallback to adder encoding
548.42/548.71	o 7864
548.42/548.71	c fallback to adder encoding
568.85/569.14	o 7862
568.85/569.14	c fallback to adder encoding
576.07/576.32	o 7848
576.07/576.32	c fallback to adder encoding
584.55/584.86	o 7840
584.55/584.86	c fallback to adder encoding
590.05/590.38	o 7826
590.05/590.38	c fallback to adder encoding
593.40/593.71	o 7824
593.40/593.71	c fallback to adder encoding
602.50/602.81	o 7800
602.50/602.81	c fallback to adder encoding
613.52/613.84	o 7764
613.52/613.84	c fallback to adder encoding
623.52/623.83	o 7763
623.52/623.83	c fallback to adder encoding
633.73/634.05	o 7760
633.73/634.05	c fallback to adder encoding
639.60/639.94	o 7747
639.60/639.94	c fallback to adder encoding
649.23/649.59	o 7744
649.23/649.59	c fallback to adder encoding
657.07/657.40	o 7736
657.07/657.40	c fallback to adder encoding
662.99/663.33	o 7725
662.99/663.33	c fallback to adder encoding
679.58/679.91	o 7718
679.58/679.91	c fallback to adder encoding
693.64/693.98	o 7717
693.64/693.98	c fallback to adder encoding
711.31/711.66	o 7629
711.31/711.66	c fallback to adder encoding
721.06/721.42	o 7628
721.06/721.42	c fallback to adder encoding
725.75/726.12	o 7520
725.75/726.12	c fallback to adder encoding
734.69/735.05	o 7470
734.69/735.05	c fallback to adder encoding
750.45/750.81	o 7462
750.45/750.81	c fallback to adder encoding
769.23/769.60	o 7461
769.23/769.60	c fallback to adder encoding
777.79/778.15	o 7459
777.79/778.15	c fallback to adder encoding
790.11/790.48	o 7451
790.11/790.48	c fallback to adder encoding
800.87/801.23	o 7450
800.87/801.23	c fallback to adder encoding
814.04/814.41	o 7441
814.04/814.41	c fallback to adder encoding
825.96/826.34	o 7435
825.96/826.34	c fallback to adder encoding
838.13/838.52	o 7430
838.13/838.52	c fallback to adder encoding
847.67/848.10	o 7429
847.67/848.10	c fallback to adder encoding
863.30/863.70	o 7424
863.30/863.70	c fallback to adder encoding
867.87/868.29	o 7423
867.87/868.29	c fallback to adder encoding
878.36/878.77	o 7421
878.36/878.77	c fallback to adder encoding
881.47/881.87	o 7420
881.47/881.87	c fallback to adder encoding
892.96/893.30	o 7419
892.96/893.30	c fallback to adder encoding
899.80/900.20	o 7416
899.80/900.20	c fallback to adder encoding
909.65/910.09	o 7408
909.65/910.09	c fallback to adder encoding
918.64/919.06	o 7405
918.64/919.06	c fallback to adder encoding
935.34/935.77	o 7391
935.34/935.77	c fallback to adder encoding
942.13/942.54	o 7390
942.13/942.54	c fallback to adder encoding
948.26/948.67	o 7367
948.26/948.67	c fallback to adder encoding
955.74/956.16	o 7364
955.74/956.16	c fallback to adder encoding
972.72/973.16	o 7357
972.72/973.16	c fallback to adder encoding
977.28/977.71	o 7356
977.28/977.71	c fallback to adder encoding
986.91/987.34	o 7355
986.91/987.34	c fallback to adder encoding
995.12/995.55	o 7353
995.12/995.55	c fallback to adder encoding
1004.42/1004.88	o 7349
1004.42/1004.88	c fallback to adder encoding
1012.88/1013.33	o 7331
1012.88/1013.33	c fallback to adder encoding
1019.41/1019.89	o 7322
1019.41/1019.89	c fallback to adder encoding
1043.27/1043.74	o 7254
1043.27/1043.74	c fallback to adder encoding
1054.60/1055.07	o 7244
1054.60/1055.07	c fallback to adder encoding
1071.89/1072.36	o 7229
1071.89/1072.36	c fallback to adder encoding
1077.88/1078.39	o 7228
1077.88/1078.39	c fallback to adder encoding
1082.25/1082.73	o 7214
1082.25/1082.73	c fallback to adder encoding
1090.74/1091.22	o 7209
1090.74/1091.22	c fallback to adder encoding
1102.96/1103.43	o 7157
1102.96/1103.43	c fallback to adder encoding
1111.61/1112.08	o 7148
1111.61/1112.08	c fallback to adder encoding
1128.49/1128.97	o 7147
1128.49/1128.97	c fallback to adder encoding
1136.66/1137.14	o 7143
1136.66/1137.14	c fallback to adder encoding
1180.02/1180.51	o 7136
1180.02/1180.51	c fallback to adder encoding
1189.47/1189.98	o 7115
1189.47/1189.98	c fallback to adder encoding
1197.19/1197.67	o 7095
1197.19/1197.67	c fallback to adder encoding
1208.65/1209.15	o 7093
1208.65/1209.15	c fallback to adder encoding
1215.08/1215.59	o 7092
1215.08/1215.59	c fallback to adder encoding
1233.47/1233.97	o 7066
1233.47/1233.97	c fallback to adder encoding
1246.25/1246.76	o 7058
1246.25/1246.76	c fallback to adder encoding
1258.71/1259.22	o 7057
1258.71/1259.22	c fallback to adder encoding
1270.75/1271.26	o 7056
1270.75/1271.26	c fallback to adder encoding
1282.60/1283.12	o 7055
1282.60/1283.12	c fallback to adder encoding
1285.85/1286.38	o 7050
1285.85/1286.38	c fallback to adder encoding
1311.59/1312.12	o 7047
1311.59/1312.12	c fallback to adder encoding
1321.08/1321.62	o 6813
1321.08/1321.62	c fallback to adder encoding
1332.53/1333.07	o 6812
1332.53/1333.07	c fallback to adder encoding
1336.22/1336.79	o 6810
1336.22/1336.79	c fallback to adder encoding
1348.12/1348.69	o 6808
1348.12/1348.69	c fallback to adder encoding
1354.92/1355.47	o 6796
1354.92/1355.47	c fallback to adder encoding
1366.90/1367.43	o 6795
1366.90/1367.43	c fallback to adder encoding
1374.48/1375.02	o 6785
1374.48/1375.02	c fallback to adder encoding
1393.61/1394.18	o 6784
1393.61/1394.18	c fallback to adder encoding
1398.52/1399.07	o 6781
1398.52/1399.07	c fallback to adder encoding
1402.68/1403.25	o 6774
1402.68/1403.25	c fallback to adder encoding
1415.31/1415.86	o 6726
1415.31/1415.86	c fallback to adder encoding
1420.00/1420.56	o 6720
1420.00/1420.56	c fallback to adder encoding
1432.61/1433.16	o 6680
1432.61/1433.16	c fallback to adder encoding
1445.02/1446.38	o 6675
1445.02/1446.38	c fallback to adder encoding
1450.85/1452.24	o 6671
1450.85/1452.24	c fallback to adder encoding
1464.91/1466.31	o 6663
1464.91/1466.31	c fallback to adder encoding
1475.74/1477.14	o 6660
1475.74/1477.14	c fallback to adder encoding
1484.98/1486.72	o 6589
1484.98/1486.72	c fallback to adder encoding
1500.19/1501.95	o 6584
1500.19/1501.95	c fallback to adder encoding
1510.37/1512.11	o 6578
1510.37/1512.11	c fallback to adder encoding
1521.99/1523.73	o 6576
1521.99/1523.73	c fallback to adder encoding
1528.62/1530.37	o 6574
1528.62/1530.37	c fallback to adder encoding
1538.76/1540.50	o 6559
1538.76/1540.50	c fallback to adder encoding
1550.03/1551.70	o 6552
1550.03/1551.70	c fallback to adder encoding
1561.84/1563.60	o 6411
1561.84/1563.60	c fallback to adder encoding
1578.42/1580.17	o 6406
1578.42/1580.17	c fallback to adder encoding
1589.62/1591.38	o 6404
1589.62/1591.38	c fallback to adder encoding
1597.83/1599.58	o 6401
1597.83/1599.58	c fallback to adder encoding
1605.78/1607.53	o 6379
1605.78/1607.53	c fallback to adder encoding
1613.48/1615.23	o 6377
1613.48/1615.23	c fallback to adder encoding
1624.21/1625.99	o 6356
1624.21/1625.99	c fallback to adder encoding
1631.21/1632.97	o 6354
1631.21/1632.97	c fallback to adder encoding
1636.81/1638.56	o 6353
1636.81/1638.56	c fallback to adder encoding
1643.72/1645.48	o 6348
1643.72/1645.48	c fallback to adder encoding
1652.81/1654.56	o 6347
1652.81/1654.56	c fallback to adder encoding
1657.46/1659.22	o 6344
1657.46/1659.22	c fallback to adder encoding
1671.40/1673.15	o 6340
1671.40/1673.15	c fallback to adder encoding
1681.62/1683.39	o 6336
1681.62/1683.39	c fallback to adder encoding
1686.11/1687.86	o 6322
1686.11/1687.86	c fallback to adder encoding
1691.60/1693.36	o 6321
1691.60/1693.36	c fallback to adder encoding
1699.05/1700.81	o 6314
1699.05/1700.81	c fallback to adder encoding
1703.39/1705.14	o 6309
1703.39/1705.14	c fallback to adder encoding
1707.51/1709.26	o 6308
1707.51/1709.26	c fallback to adder encoding
1714.32/1716.12	o 6304
1714.32/1716.12	c fallback to adder encoding
1728.95/1730.75	o 6286
1728.95/1730.75	c fallback to adder encoding
1732.95/1734.75	o 6278
1732.95/1734.75	c fallback to adder encoding
1747.53/1749.32	o 6263
1747.53/1749.32	c fallback to adder encoding
1755.42/1757.22	o 6252
1755.42/1757.22	c fallback to adder encoding
1758.61/1760.41	o 6248
1758.61/1760.41	c fallback to adder encoding
1767.36/1769.16	o 6246
1767.36/1769.16	c fallback to adder encoding
1772.20/1774.00	o 6238
1772.20/1774.00	c fallback to adder encoding
1777.80/1779.65	o 6234
1777.80/1779.65	c fallback to adder encoding
1785.02/1786.89	o 6226
1785.02/1786.89	c fallback to adder encoding
1790.75/1792.60	o 6213
1790.75/1792.60	c fallback to adder encoding
1800.01/1801.81	./satsolver.sh: line 5:  7244 Terminated              ./glucose $1 > $2 2> /dev/null
1800.01/1801.81	c error: unexpected solver exit code
1800.01/1801.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-3753826-1339200920/watcher-3753826-1339200920 -o /tmp/evaluation-result-3753826-1339200920/solver-3753826-1339200920 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753826-1339200920.wbo 1759016844 HOME HOME 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3717
/proc/meminfo: memFree=28669184/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0

[startup+0.042288 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3717
/proc/meminfo: memFree=28669184/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100179 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3717
/proc/meminfo: memFree=28669184/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300158 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3717
/proc/meminfo: memFree=28669184/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700148 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3717
/proc/meminfo: memFree=28669184/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3731
/proc/meminfo: memFree=28618708/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=0.16 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 3763 5427 0 0 13 2 1 0 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3730] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3730/stat : 3730 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386217433 9367552 266 33554432000 4194304 5064252 140733718167648 140733718166560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3730/statm: 2287 266 226 213 0 72 0
[pid=3731] ppid=3730 vsize=28744 CPUtime=1.3 cores=1,3,5,7
/proc/3731/stat : 3731 (glucose) R 3730 3717 27509 0 -1 4202496 6842 0 0 0 129 1 0 0 20 0 1 0 386217433 29433856 6302 33554432000 4194304 5208918 140733619938000 140733619935848 4211176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3731/statm: 7186 6302 105 248 0 6935 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 67240

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3731
/proc/meminfo: memFree=28616724/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=0.16 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 3763 5427 0 0 13 2 1 0 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3730] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3730/stat : 3730 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386217433 9367552 266 33554432000 4194304 5064252 140733718167648 140733718166560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3730/statm: 2287 266 226 213 0 72 0
[pid=3731] ppid=3730 vsize=33724 CPUtime=2.9 cores=1,3,5,7
/proc/3731/stat : 3731 (glucose) R 3730 3717 27509 0 -1 4202496 7404 0 0 0 289 1 0 0 20 0 1 0 386217433 34533376 6855 33554432000 4194304 5208918 140733619938000 140733619935960 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3731/statm: 8431 6855 105 248 0 8180 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 72220

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3731
/proc/meminfo: memFree=28607692/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=0.16 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 3763 5427 0 0 13 2 1 0 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3730] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3730/stat : 3730 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386217433 9367552 266 33554432000 4194304 5064252 140733718167648 140733718166560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3730/statm: 2287 266 226 213 0 72 0
[pid=3731] ppid=3730 vsize=48276 CPUtime=6.1 cores=1,3,5,7
/proc/3731/stat : 3731 (glucose) R 3730 3717 27509 0 -1 4202496 8226 0 0 0 608 2 0 0 20 0 1 0 386217433 49434624 10310 33554432000 4194304 5208918 140733619938000 140733619935944 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3731/statm: 12069 10310 105 248 0 11818 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 86772

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3731
/proc/meminfo: memFree=28594916/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=0.16 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 3763 5427 0 0 13 2 1 0 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3730] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3730/stat : 3730 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386217433 9367552 266 33554432000 4194304 5064252 140733718167648 140733718166560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3730/statm: 2287 266 226 213 0 72 0
[pid=3731] ppid=3730 vsize=48276 CPUtime=12.5 cores=1,3,5,7
/proc/3731/stat : 3731 (glucose) R 3730 3717 27509 0 -1 4202496 8412 0 0 0 1248 2 0 0 20 0 1 0 386217433 49434624 11000 33554432000 4194304 5208918 140733619938000 140733619934376 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3731/statm: 12069 11000 105 248 0 11818 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 86772

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3738
/proc/meminfo: memFree=28601916/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=15.48 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 6085 17379 0 0 25 3 1513 7 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3737] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3737/stat : 3737 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386218966 9367552 267 33554432000 4194304 5064252 140733939381456 140733939380368 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3737/statm: 2287 267 226 213 0 72 0
[pid=3738] ppid=3737 vsize=41172 CPUtime=9.97 cores=1,3,5,7
/proc/3738/stat : 3738 (glucose) R 3737 3717 27509 0 -1 4202496 6528 0 0 0 996 1 0 0 20 0 1 0 386218966 42160128 9375 33554432000 4194304 5208918 140735354615712 140735354612088 4211537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3738/statm: 10293 9375 105 248 0 10042 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 79668

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3752
/proc/meminfo: memFree=28611872/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=47.03 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 10729 39415 0 0 50 5 4627 21 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3751] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3751/stat : 3751 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386222121 9367552 266 33554432000 4194304 5064252 140735752974016 140735752972928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3751/statm: 2287 266 226 213 0 72 0
[pid=3752] ppid=3751 vsize=29444 CPUtime=4.02 cores=1,3,5,7
/proc/3752/stat : 3752 (glucose) R 3751 3717 27509 0 -1 4202496 7416 0 0 0 401 1 0 0 20 0 1 0 386222121 30150656 6463 33554432000 4194304 5208918 140734912040544 140734912036856 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3752/statm: 7361 6463 105 248 0 7110 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 67940

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3787
/proc/meminfo: memFree=28611996/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=97.41 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 22339 99303 0 0 112 11 9566 52 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3786] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3786/stat : 3786 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386227159 9367552 265 33554432000 4194304 5064252 140734503506720 140734503505632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3786/statm: 2287 265 226 213 0 72 0
[pid=3787] ppid=3786 vsize=29540 CPUtime=4.84 cores=1,3,5,7
/proc/3787/stat : 3787 (glucose) R 3786 3717 27509 0 -1 4202496 7806 0 0 0 483 1 0 0 20 0 1 0 386227160 30248960 6449 33554432000 4194304 5208918 140734075632768 140734075630856 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3787/statm: 7385 6449 105 248 0 7134 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 68036

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 3830
/proc/meminfo: memFree=28610804/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=161.4 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 36271 169209 0 0 186 18 15845 91 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3829] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 6370
/proc/meminfo: memFree=29063648/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1355.14 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 272459 1370489 0 0 1441 143 133158 772 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=6348] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6348/stat : 6348 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386352974 9367552 267 33554432000 4194304 5064252 140735385264448 140735385263360 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6348/statm: 2287 267 226 213 0 72 0
[pid=6349] ppid=6348 vsize=29004 CPUtime=6.68 cores=1,3,5,7
/proc/6349/stat : 6349 (glucose) R 6348 3717 27509 0 -1 4202496 7353 0 0 0 667 1 0 0 20 0 1 0 386352974 29700096 6347 33554432000 4194304 5208918 140734208266256 140734208264008 4211888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6349/statm: 7251 6347 105 248 0 7000 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 67500

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 6944
/proc/meminfo: memFree=28796488/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1420.21 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 287467 1444554 0 0 1521 151 139536 813 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=6943] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6943/stat : 6943 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386359482 9367552 267 33554432000 4194304 5064252 140734496696432 140734496695344 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6943/statm: 2287 267 226 213 0 72 0
[pid=6944] ppid=6943 vsize=28076 CPUtime=1.61 cores=1,3,5,7
/proc/6944/stat : 6944 (glucose) R 6943 3717 27509 0 -1 4202496 6194 0 0 0 160 1 0 0 20 0 1 0 386359483 28749824 5816 33554432000 4194304 5208918 140733846950000 140733846947848 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6944/statm: 7019 5816 105 248 0 6768 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 66572

[startup+1482.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/184 6984
/proc/meminfo: memFree=25612772/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1475.95 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 298187 1498224 0 0 1578 156 145011 850 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=6980] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6980/stat : 6980 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386365141 9367552 266 33554432000 4194304 5064252 140733777440656 140733777439568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6980/statm: 2287 266 226 213 0 72 0
[pid=6981] ppid=6980 vsize=28556 CPUtime=4.67 cores=1,3,5,7
/proc/6981/stat : 6981 (glucose) R 6980 3717 27509 0 -1 4202496 5624 0 0 0 466 1 0 0 20 0 1 0 386365141 29241344 6304 33554432000 4194304 5208918 140737096834512 140737096832264 4465602 0 0 4096 0 0 0 0 17 3 0 0 34 0 0
/proc/6981/statm: 7139 6305 105 248 0 6888 0
Current children cumulated CPU time (s) 1480.62
Current children cumulated vsize (KiB) 67052

[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/183 7026
/proc/meminfo: memFree=25605172/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1538.96 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 311051 1562756 0 0 1646 163 151199 888 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=7025] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7025/stat : 7025 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386371477 9367552 267 33554432000 4194304 5064252 140733330519824 140733330518736 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7025/statm: 2287 267 226 213 0 72 0
[pid=7026] ppid=7025 vsize=28172 CPUtime=1.66 cores=1,3,5,7
/proc/7026/stat : 7026 (glucose) R 7025 3717 27509 0 -1 4202496 5598 0 0 0 165 1 0 0 20 0 1 0 386371477 28848128 6208 33554432000 4194304 5208918 140733532287120 140733532285080 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7026/statm: 7043 6208 105 248 0 6792 0
Current children cumulated CPU time (s) 1540.62
Current children cumulated vsize (KiB) 66668

[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 7061
/proc/meminfo: memFree=25604888/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1598.05 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 321771 1615832 0 0 1703 169 157013 920 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=7060] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7060/stat : 7060 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386377385 9367552 267 33554432000 4194304 5064252 140736777102944 140736777101856 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7060/statm: 2287 267 226 213 0 72 0
[pid=7061] ppid=7060 vsize=28728 CPUtime=2.57 cores=1,3,5,7
/proc/7061/stat : 7061 (glucose) R 7060 3717 27509 0 -1 4202496 5555 0 0 0 256 1 0 0 20 0 1 0 386377385 29417472 6275 33554432000 4194304 5208918 140733402484960 140733402482632 4211540 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7061/statm: 7182 6275 105 248 0 6931 0
Current children cumulated CPU time (s) 1600.62
Current children cumulated vsize (KiB) 67224

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 7117
/proc/meminfo: memFree=25603208/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1657.68 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 338923 1696860 0 0 1795 177 162827 969 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=7116] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7116/stat : 7116 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386383349 9367552 267 33554432000 4194304 5064252 140737203480720 140737203479632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7116/statm: 2287 267 226 213 0 72 0
[pid=7117] ppid=7116 vsize=28188 CPUtime=2.94 cores=1,3,5,7
/proc/7117/stat : 7117 (glucose) R 7116 3717 27509 0 -1 4202496 6095 0 0 0 293 1 0 0 20 0 1 0 386383349 28864512 6245 33554432000 4194304 5208918 140737057954368 140737057952040 4211632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7117/statm: 7047 6245 105 248 0 6796 0
Current children cumulated CPU time (s) 1660.62
Current children cumulated vsize (KiB) 66684

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 7174
/proc/meminfo: memFree=25596784/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1714.53 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 356075 1780490 0 0 1887 185 168366 1015 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=7173] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7173/stat : 7173 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386389039 9367552 267 33554432000 4194304 5064252 140736529626560 140736529625472 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7173/statm: 2287 267 226 213 0 72 0
[pid=7174] ppid=7173 vsize=33180 CPUtime=6.04 cores=1,3,5,7
/proc/7174/stat : 7174 (glucose) R 7173 3717 27509 0 -1 4202496 5885 0 0 0 603 1 0 0 20 0 1 0 386389039 33976320 7109 33554432000 4194304 5208918 140735571453440 140735571451192 4212445 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7174/statm: 8295 7109 105 248 0 8044 0
Current children cumulated CPU time (s) 1720.57
Current children cumulated vsize (KiB) 71676

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 7230
/proc/meminfo: memFree=25598104/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1778.01 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 373227 1862038 0 0 1978 194 174566 1063 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=7229] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7229/stat : 7229 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386395391 9367552 267 33554432000 4194304 5064252 140733703418608 140733703417520 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7229/statm: 2287 267 226 213 0 72 0
[pid=7230] ppid=7229 vsize=27920 CPUtime=2.51 cores=1,3,5,7
/proc/7230/stat : 7230 (glucose) R 7229 3717 27509 0 -1 4202496 6214 0 0 0 250 1 0 0 20 0 1 0 386395392 28590080 5828 33554432000 4194304 5208918 140736809057824 140736809055720 4211147 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7230/statm: 6980 5828 105 248 0 6729 0
Current children cumulated CPU time (s) 1780.52
Current children cumulated vsize (KiB) 66416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.81 s]
/proc/loadavg: 2.07 2.03 2.00 3/182 7244
/proc/meminfo: memFree=25587720/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1790.94 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 377515 1882601 0 0 2000 196 175824 1074 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=7243] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386396687 9367552 267 33554432000 4194304 5064252 140735466910864 140735466909776 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7243/statm: 2287 267 226 213 0 72 0
[pid=7244] ppid=7243 vsize=41004 CPUtime=9.07 cores=1,3,5,7
/proc/7244/stat : 7244 (glucose) R 7243 3717 27509 0 -1 4202496 7714 0 0 0 906 1 0 0 20 0 1 0 386396687 41988096 8566 33554432000 4194304 5208918 140733616903536 140733616901480 4205761 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7244/statm: 10251 8566 105 248 0 10000 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 79500

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1801.82
CPU time (s): 1800.06
CPU user time (s): 1787.32
CPU system time (s): 12.7411
CPU usage (%): 99.9027
Max. virtual memory (cumulated for all children) (KiB): 97844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.32
system time used= 12.7411
maximum resident set size= 53000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2268821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2671072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13988
involuntary context switches= 3878

runsolver used 3.36449 second user time and 8.25874 second system time

The end

Launcher Data

Begin job on node125 at 2012-06-09 02:15:20
IDJOB=3753826
IDBENCH=79394
IDSOLVER=2337
FILE ID=node125/3753826-1339200920
RUNJOBID= node125-1339183062-29062
PBS_JOBID= 14643842
Free space on /tmp= 70652 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh307_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753826-1339200920/watcher-3753826-1339200920 -o /tmp/evaluation-result-3753826-1339200920/solver-3753826-1339200920 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3753826-1339200920.wbo 1759016844 HOME HOME

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

MD5SUM BENCH= 944c5e420229bce90a366c23629af03a
RANDOM SEED=1759016844

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
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.90
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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
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	: 5438.54
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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28669556 kB
Buffers:          751968 kB
Cached:          2104340 kB
SwapCached:         1248 kB
Active:          2780612 kB
Inactive:         475432 kB
Active(anon):     389580 kB
Inactive(anon):     7424 kB
Active(file):    2391032 kB
Inactive(file):   468008 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108856 kB
SwapFree:       67102600 kB
Dirty:              8184 kB
Writeback:             0 kB
AnonPages:        497652 kB
Mapped:            12440 kB
Shmem:                96 kB
Slab:             808384 kB
SReclaimable:     252200 kB
SUnreclaim:       556184 kB
KernelStack:        1520 kB
PageTables:         4596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     579684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    428032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69916 MiB
End job on node125 at 2012-06-09 02:45:22