Trace number 4114403

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
minisatp 2012-10-02 git-d91742b? (TO) 1800.11 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__2048.opb
MD5SUM5a6a489f861071b99676244553a9826e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45008
Best CPU time to get the best result obtained on this benchmark19.671
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables204848
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint2048
Maximum length of a constraint18433
Number of terms in the objective function 204800
Biggest coefficient in the objective function 126454
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 6874183680
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 126454
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 6874183680
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
6.39/6.45	c Converting 200 PB-constraints to clauses...
6.39/6.48	c   -- Unit propagations: (none)
6.39/6.49	c   -- Detecting intervals from adjacent constraints: ##################################################
6.49/6.57	c   -- Clauses(.)/Splits(s): (none)
6.49/6.57	c ---[ 198]---> BDD-cost:36861
73.58/73.63	c ---[ 196]---> BDD-cost: 8189
76.78/76.86	c ---[ 194]---> BDD-cost:49149
143.77/143.85	c ---[ 192]---> BDD-cost:43005
194.95/195.06	c ---[ 190]---> BDD-cost:49152
279.74/279.81	c ---[ 188]---> BDD-cost:55293
363.23/363.36	c ---[ 186]---> BDD-cost:55293
446.71/446.82	c ---[ 184]---> BDD-cost:18429
455.91/456.09	c ---[ 182]---> BDD-cost:36861
493.00/493.14	c ---[ 180]---> BDD-cost:55293
576.49/576.63	c ---[ 178]---> BDD-cost:18429
585.69/585.89	c ---[ 176]---> BDD-cost:18429
594.99/595.15	c ---[ 174]---> BDD-cost:43005
645.38/645.58	c ---[ 172]---> BDD-cost:49149
711.37/711.54	c ---[ 170]---> BDD-cost:24573
727.87/728.02	c ---[ 168]---> BDD-cost:18429
737.06/737.29	c ---[ 166]---> BDD-cost:24573
753.56/753.77	c ---[ 164]---> BDD-cost:24573
770.06/770.25	c ---[ 162]---> BDD-cost:36861
807.15/807.31	c ---[ 160]---> BDD-cost:24573
823.66/823.82	c ---[ 158]---> BDD-cost:30717
849.35/849.57	c ---[ 156]---> BDD-cost:18429
858.65/858.84	c ---[ 154]---> BDD-cost:30717
884.35/884.59	c ---[ 152]---> BDD-cost:18429
893.64/893.85	c ---[ 150]---> BDD-cost:18429
902.95/903.12	c ---[ 148]---> BDD-cost:24573
919.34/919.60	c ---[ 146]---> BDD-cost:18429
928.64/928.87	c ---[ 144]---> BDD-cost:30717
954.43/954.61	c ---[ 142]---> BDD-cost:12285
958.53/958.73	c ---[ 140]---> BDD-cost:18429
967.73/968.00	c ---[ 138]---> BDD-cost:18429
977.03/977.27	c ---[ 136]---> BDD-cost:12285
981.14/981.38	c ---[ 134]---> BDD-cost:12285
985.33/985.50	c ---[ 132]---> BDD-cost:12285
989.43/989.62	c ---[ 130]---> BDD-cost:24573
1005.83/1006.09	c ---[ 128]---> BDD-cost:24573
1022.32/1022.57	c ---[ 126]---> BDD-cost:12285
1026.42/1026.69	c ---[ 124]---> BDD-cost:12285
1030.63/1030.81	c ---[ 122]---> BDD-cost:12285
1034.72/1034.92	c ---[ 120]---> BDD-cost:12285
1038.82/1039.04	c ---[ 118]---> BDD-cost:12285
1042.92/1043.16	c ---[ 116]---> BDD-cost:12285
1047.03/1047.27	c ---[ 114]---> BDD-cost:12285
1051.12/1051.39	c ---[ 112]---> BDD-cost:24573
1067.62/1067.87	c ---[ 110]---> BDD-cost:12285
1071.71/1071.99	c ---[ 108]---> BDD-cost:12285
1075.91/1076.11	c ---[ 106]---> BDD-cost:12285
1080.02/1080.23	c ---[ 104]---> BDD-cost:12285
1084.11/1084.34	c ---[ 102]---> BDD-cost:12285
1088.21/1088.46	c ---[ 100]---> BDD-cost:12285
1092.31/1092.58	c ---[  99]---> BDD-cost: 2046
1093.11/1093.37	c ---[  98]---> BDD-cost: 2046
1093.91/1094.17	c ---[  97]---> BDD-cost: 2046
1094.71/1094.96	c ---[  96]---> BDD-cost: 4093
1095.52/1095.75	c ---[  95]---> BDD-cost: 2046
1096.31/1096.55	c ---[  94]---> BDD-cost: 4093
1097.11/1097.34	c ---[  93]---> BDD-cost: 2046
1097.91/1098.14	c ---[  92]---> BDD-cost: 4093
1098.72/1098.93	c ---[  91]---> BDD-cost: 2046
1099.51/1099.73	c ---[  90]---> BDD-cost: 4093
1100.31/1100.52	c ---[  89]---> BDD-cost: 2046
1101.11/1101.32	c ---[  88]---> BDD-cost: 4093
1101.91/1102.11	c ---[  87]---> BDD-cost: 2047
1102.71/1102.91	c ---[  86]---> BDD-cost: 4093
1103.51/1103.70	c ---[  85]---> BDD-cost: 2046
1104.22/1104.49	c ---[  84]---> BDD-cost: 4093
1105.01/1105.29	c ---[  83]---> BDD-cost: 2046
1105.81/1106.08	c ---[  82]---> BDD-cost: 4093
1106.61/1106.88	c ---[  81]---> BDD-cost: 2046
1107.41/1107.67	c ---[  80]---> BDD-cost: 4093
1108.21/1108.47	c ---[  79]---> BDD-cost: 2046
1109.01/1109.26	c ---[  78]---> BDD-cost: 4093
1109.81/1110.06	c ---[  77]---> BDD-cost: 2046
1110.61/1110.85	c ---[  76]---> BDD-cost: 4093
1111.41/1111.64	c ---[  75]---> BDD-cost: 2046
1112.21/1112.44	c ---[  74]---> BDD-cost: 4093
1113.01/1113.23	c ---[  73]---> BDD-cost: 2046
1113.81/1114.03	c ---[  72]---> BDD-cost: 4093
1114.61/1114.82	c ---[  71]---> BDD-cost: 2046
1115.41/1115.62	c ---[  70]---> BDD-cost: 4093
1116.20/1116.41	c ---[  69]---> BDD-cost: 2046
1117.00/1117.21	c ---[  68]---> BDD-cost: 4093
1117.80/1118.00	c ---[  67]---> BDD-cost: 2046
1118.51/1118.80	c ---[  66]---> BDD-cost: 4093
1119.30/1119.59	c ---[  65]---> BDD-cost: 2046
1120.10/1120.38	c ---[  64]---> BDD-cost: 4093
1120.90/1121.18	c ---[  63]---> BDD-cost: 2046
1121.70/1121.97	c ---[  62]---> BDD-cost: 4093
1122.50/1122.77	c ---[  61]---> BDD-cost: 2046
1123.30/1123.56	c ---[  60]---> BDD-cost: 4093
1124.11/1124.36	c ---[  59]---> BDD-cost: 2046
1124.90/1125.15	c ---[  58]---> BDD-cost: 4093
1125.70/1125.95	c ---[  57]---> BDD-cost: 2046
1126.50/1126.74	c ---[  56]---> BDD-cost: 4093
1127.31/1127.54	c ---[  55]---> BDD-cost: 2046
1128.10/1128.33	c ---[  54]---> BDD-cost: 4093
1128.90/1129.12	c ---[  53]---> BDD-cost: 2046
1129.70/1129.92	c ---[  52]---> BDD-cost: 4093
1130.50/1130.71	c ---[  51]---> BDD-cost: 2046
1131.30/1131.51	c ---[  50]---> BDD-cost: 4093
1132.10/1132.39	c ---[  49]---> BDD-cost: 2046
1132.91/1133.18	c ---[  48]---> BDD-cost: 4093
1133.70/1133.98	c ---[  47]---> BDD-cost: 2046
1134.50/1134.77	c ---[  46]---> BDD-cost: 4093
1135.30/1135.57	c ---[  45]---> BDD-cost: 2046
1136.11/1136.36	c ---[  44]---> BDD-cost: 4093
1136.90/1137.16	c ---[  43]---> BDD-cost: 2046
1137.70/1137.95	c ---[  42]---> BDD-cost: 4093
1138.50/1138.75	c ---[  41]---> BDD-cost: 2046
1139.30/1139.54	c ---[  40]---> BDD-cost: 4093
1140.10/1140.33	c ---[  39]---> BDD-cost: 2046
1140.90/1141.13	c ---[  38]---> BDD-cost: 4093
1141.71/1141.92	c ---[  37]---> BDD-cost: 2046
1142.50/1142.72	c ---[  36]---> BDD-cost: 4093
1143.30/1143.51	c ---[  35]---> BDD-cost: 2046
1144.10/1144.31	c ---[  34]---> BDD-cost: 4093
1144.80/1145.10	c ---[  33]---> BDD-cost: 2046
1145.70/1145.90	c ---[  32]---> BDD-cost: 4093
1146.40/1146.69	c ---[  31]---> BDD-cost: 2046
1147.21/1147.49	c ---[  30]---> BDD-cost: 4093
1148.00/1148.28	c ---[  29]---> BDD-cost: 2046
1148.80/1149.07	c ---[  28]---> BDD-cost: 4093
1149.60/1149.87	c ---[  27]---> BDD-cost: 2046
1150.41/1150.66	c ---[  26]---> BDD-cost: 4093
1151.20/1151.46	c ---[  25]---> BDD-cost: 2046
1152.00/1152.25	c ---[  24]---> BDD-cost: 4093
1152.80/1153.05	c ---[  23]---> BDD-cost: 2046
1153.60/1153.84	c ---[  22]---> BDD-cost: 4093
1154.40/1154.64	c ---[  21]---> BDD-cost: 2046
1155.20/1155.43	c ---[  20]---> BDD-cost: 4093
1156.01/1156.23	c ---[  19]---> BDD-cost: 2046
1156.80/1157.02	c ---[  18]---> BDD-cost: 4093
1157.60/1157.82	c ---[  17]---> BDD-cost: 2046
1158.40/1158.61	c ---[  16]---> BDD-cost: 4093
1159.21/1159.41	c ---[  15]---> BDD-cost: 2046
1160.00/1160.20	c ---[  14]---> BDD-cost: 4093
1160.80/1161.00	c ---[  13]---> BDD-cost: 2047
1161.51/1161.79	c ---[  12]---> BDD-cost: 4093
1162.30/1162.58	c ---[  11]---> BDD-cost: 2046
1163.10/1163.38	c ---[  10]---> BDD-cost: 4093
1163.90/1164.17	c ---[   9]---> BDD-cost: 2046
1164.70/1164.97	c ---[   8]---> BDD-cost: 4093
1165.50/1165.76	c ---[   7]---> BDD-cost: 2046
1166.30/1166.56	c ---[   6]---> BDD-cost: 4093
1167.10/1167.35	c ---[   5]---> BDD-cost: 2046
1167.90/1168.15	c ---[   4]---> BDD-cost: 4093
1168.70/1168.94	c ---[   3]---> BDD-cost: 4093
1169.50/1169.74	c ---[   2]---> BDD-cost: 4093
1170.30/1170.53	c ---[   1]---> BDD-cost: 4093
1171.09/1171.33	c ---[   0]---> BDD-cost: 4093
1800.09/1800.40	|  Eliminated clauses:           0.01 Mb                                      |
1800.09/1800.40	============================[ Search Statistics ]==============================
1800.09/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.09/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.09/1800.40	===============================================================================
1800.09/1800.40	|       100 | 1713152  4014110 11018596 |  1471840      100     24 |  0.009 % |
1800.09/1800.40	|       250 | 1713152  4014110 11018596 |  1619024      250     12 |  0.009 % |
1800.09/1800.40	|       475 | 1713152  4014110 11018596 |  1780926      475      8 |  0.009 % |
1800.09/1800.40	|       812 | 1713152  4014110 11018596 |  1959019      812      6 |  0.009 % |
1800.09/1800.40	|      1318 | 1713152  4014110 11018596 |  2154921     1318      5 |  0.009 % |
1800.09/1800.40	|      2077 | 1713152  4014110 11018596 |  2370413     2077      5 |  0.009 % |
1800.09/1800.40	|      3216 | 1713152  4014110 11018596 |  2607454     3216     32 |  0.009 % |
1800.09/1800.40	|      4924 | 1713152  4014110 11018596 |  2868200     4924     25 |  0.009 % |
1800.09/1800.40	|      7486 | 1713151  4014110 11018596 |  3155020     5438     25 |  0.009 % |
1800.09/1800.40	|     11330 | 1713150  4014110 11018596 |  3470522     9281     60 |  0.009 % |
1800.09/1800.40	|     17096 | 1713150  4014110 11018596 |  3817574    15047    122 |  0.009 % |
1800.09/1800.40	|     25745 | 1713149  4014110 11018596 |  4199332    23695    243 |  0.009 % |
1800.09/1800.40	|     38719 | 1713148  4014110 11018596 |  4619265    36668    520 |  0.009 % |
1800.09/1800.40	|     58180 | 1713148  4014110 11018596 |  5081192    56129    398 |  0.009 % |
1800.09/1800.40	|     87372 | 1713147  4014110 11018596 |  5589311    85320    308 |  0.009 % |
1800.09/1800.40	c 
1800.09/1800.40	c *** TERMINATED ***
1800.09/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4114403-1466582762/watcher-4114403-1466582762 -o /tmp/evaluation-result-4114403-1466582762/solver-4114403-1466582762 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466551497-19417 --watchdog 1960 minisatp HOME/instance-4114403-1466582762.opb 

pid=25101
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.05 2.07 3/176 25104
/proc/meminfo: memFree=31367624/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=7420 CPUtime=0 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 528 0 0 0 0 0 0 0 20 0 1 0 60321702 7598080 405 33554432000 4194304 5646918 140737265374736 140736093512952 4430317 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 1855 405 84 355 0 1496 0

[startup+0.100174 s]
/proc/loadavg: 2.00 2.05 2.07 3/176 25104
/proc/meminfo: memFree=31367624/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=26132 CPUtime=0.09 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 4824 0 0 0 9 0 0 0 20 0 1 0 60321702 26759168 4383 33554432000 4194304 5646918 140737265374736 140736093512952 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 6533 4385 84 355 0 6174 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26132

[startup+0.200371 s]
/proc/loadavg: 2.00 2.05 2.07 3/176 25104
/proc/meminfo: memFree=31367624/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=45556 CPUtime=0.18 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 9285 0 0 0 18 0 0 0 20 0 1 0 60321702 46649344 8961 33554432000 4194304 5646918 140737265374736 140736093512952 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 11389 8968 84 355 0 11030 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 45556

[startup+0.300356 s]
/proc/loadavg: 2.00 2.05 2.07 3/176 25104
/proc/meminfo: memFree=31367624/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=66540 CPUtime=0.28 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 14229 0 0 0 27 1 0 0 20 0 1 0 60321702 68136960 13697 33554432000 4194304 5646918 140737265374736 140736093512952 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 16635 13697 84 355 0 16276 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 66540

[startup+0.700305 s]
/proc/loadavg: 2.00 2.05 2.07 3/176 25104
/proc/meminfo: memFree=31367624/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=85520 CPUtime=0.69 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 19655 0 0 0 67 2 0 0 20 0 1 0 60321702 87572480 18722 33554432000 4194304 5646918 140737265374736 140737265372936 4462232 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 21380 18722 94 355 0 21021 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85520

[startup+1.50031 s]
/proc/loadavg: 2.00 2.05 2.07 3/177 25105
/proc/meminfo: memFree=31285736/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=97484 CPUtime=1.49 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 24736 0 0 0 146 3 0 0 20 0 1 0 60321702 99823616 21260 33554432000 4194304 5646918 140737265374736 140737265372936 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 24371 21260 94 355 0 24012 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97484

[startup+3.10029 s]
/proc/loadavg: 2.00 2.05 2.07 3/177 25105
/proc/meminfo: memFree=31265896/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=142104 CPUtime=3.09 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 46562 0 0 0 302 7 0 0 20 0 1 0 60321702 145514496 31860 33554432000 4194304 5646918 140737265374736 140737265372936 4462415 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 35526 31860 94 355 0 35167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142104

[startup+6.30025 s]
/proc/loadavg: 2.00 2.05 2.07 3/177 25105
/proc/meminfo: memFree=31181648/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=223308 CPUtime=6.29 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 67898 0 0 0 619 10 0 0 20 0 1 0 60321702 228667392 51965 33554432000 4194304 5646918 140737265374736 140737265372936 4459831 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 55827 51965 94 355 0 55468 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 223308

[startup+12.7003 s]
/proc/loadavg: 2.08 2.07 2.07 4/177 25105
/proc/meminfo: memFree=31135940/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=246296 CPUtime=12.69 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 74263 0 0 0 1258 11 0 0 20 0 1 0 60321702 252207104 57751 33554432000 4194304 5646918 140737265374736 140737265373400 4823346 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 61574 57751 111 355 0 61215 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 246296

[startup+25.5003 s]
/proc/loadavg: 2.06 2.06 2.07 3/177 25105
/proc/meminfo: memFree=31136196/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=246296 CPUtime=25.49 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 74263 0 0 0 2538 11 0 0 20 0 1 0 60321702 252207104 57751 33554432000 4194304 5646918 140737265374736 140737265373400 4832048 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 61574 57751 111 355 0 61215 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 246296

[startup+51.1004 s]
/proc/loadavg: 2.04 2.06 2.07 3/177 25105
/proc/meminfo: memFree=31136324/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=246296 CPUtime=51.09 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 74263 0 0 0 5098 11 0 0 20 0 1 0 60321702 252207104 57751 33554432000 4194304 5646918 140737265374736 140737265373400 4560508 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 61574 57751 111 355 0 61215 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 246296

[startup+102.3 s]
/proc/loadavg: 2.02 2.05 2.06 4/177 25106
/proc/meminfo: memFree=31048328/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=246888 CPUtime=102.29 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 74384 0 0 0 10218 11 0 0 20 0 1 0 60321702 252813312 57872 33554432000 4194304 5646918 140737265374736 140737265373400 4831232 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 61722 57872 112 355 0 61363 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 246888

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/177 25107
/proc/meminfo: memFree=31006912/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=254708 CPUtime=162.26 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 76253 0 0 0 16215 11 0 0 20 0 1 0 60321702 260820992 59741 33554432000 4194304 5646918 140737265374736 140737265373400 4831247 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 63677 59741 112 355 0 63318 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 254708

[startup+222.307 s]
/proc/loadavg: 2.04 2.04 2.06 3/176 25108
/proc/meminfo: memFree=30999904/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=254708 CPUtime=222.26 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 76348 0 0 0 22215 11 0 0 20 0 1 0 60321702 260820992 61379 33554432000 4194304 5646918 140737265374736 140737265373400 4823374 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 63677 61379 112 355 0 63318 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 254708

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/178 25113
/proc/meminfo: memFree=30993768/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=260336 CPUtime=282.24 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 77245 0 0 0 28213 11 0 0 20 0 1 0 60321702 266584064 63037 33554432000 4194304 5646918 140737265374736 140737265373400 4823289 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 65084 63037 112 355 0 64725 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 260336

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/177 25114
/proc/meminfo: memFree=30990328/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=262664 CPUtime=342.23 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 77269 0 0 0 34211 12 0 0 20 0 1 0 60321702 268967936 63826 33554432000 4194304 5646918 140737265374736 140737259038456 4817703 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 65666 63826 112 355 0 65307 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 262664

[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/177 25115
/proc/meminfo: memFree=30990212/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=262664 CPUtime=402.22 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 77269 0 0 0 40210 12 0 0 20 0 1 0 60321702 268967936 63826 33554432000 4194304 5646918 140737265374736 140737265373400 4819040 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 65666 63826 112 355 0 65307 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 262664

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.04 4/177 25116
/proc/meminfo: memFree=30986684/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=268132 CPUtime=462.21 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 77656 0 0 0 46209 12 0 0 20 0 1 0 60321702 274567168 64724 33554432000 4194304 5646918 140737265374736 140737265373400 4831366 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 67033 64724 112 355 0 66674 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 268132

[startup+522.3 s]
/proc/loadavg: 2.20 2.07 2.05 3/177 25117
/proc/meminfo: memFree=30976388/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=278676 CPUtime=522.2 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 78248 0 0 0 52208 12 0 0 20 0 1 0 60321702 285364224 67360 33554432000 4194304 5646918 140737265374736 140737265373400 4823257 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 69669 67360 112 355 0 69310 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 278676

[startup+582.3 s]
/proc/loadavg: 2.07 2.05 2.04 3/177 25119
/proc/meminfo: memFree=30976272/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=278676 CPUtime=582.19 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 78248 0 0 0 58207 12 0 0 20 0 1 0 60321702 285364224 67360 33554432000 4194304 5646918 140737265374736 140737265373400 4817512 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 69669 67360 112 355 0 69310 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 278676


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


[startup+882.307 s]
/proc/loadavg: 2.14 2.07 2.04 3/178 25128
/proc/meminfo: memFree=30981840/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=301528 CPUtime=882.15 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 79497 0 0 0 88202 13 0 0 20 0 1 0 60321702 308764672 72859 33554432000 4194304 5646918 140737265374736 140737265373400 4823361 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 75382 72859 112 355 0 75023 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 301528

[startup+942.3 s]
/proc/loadavg: 2.05 2.06 2.04 3/177 25129
/proc/meminfo: memFree=30979932/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=301528 CPUtime=942.14 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 79498 0 0 0 94201 13 0 0 20 0 1 0 60321702 308764672 73371 33554432000 4194304 5646918 140737265374736 140737265373400 4823289 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 75382 73371 112 355 0 75023 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 301528

[startup+1002.3 s]
/proc/loadavg: 2.14 2.07 2.04 4/177 25130
/proc/meminfo: memFree=30980064/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=301528 CPUtime=1002.13 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 79498 0 0 0 100200 13 0 0 20 0 1 0 60321702 308764672 73371 33554432000 4194304 5646918 140737265374736 140737265373400 4831366 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 75382 73371 112 355 0 75023 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 301528

[startup+1062.3 s]
/proc/loadavg: 2.05 2.06 2.04 3/177 25131
/proc/meminfo: memFree=30979448/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=307680 CPUtime=1062.12 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 79674 0 0 0 106199 13 0 0 20 0 1 0 60321702 315064320 73547 33554432000 4194304 5646918 140737265374736 140737265373400 4823326 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 76920 73547 112 355 0 76561 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 307680

[startup+1122.3 s]
/proc/loadavg: 2.14 2.07 2.04 3/177 25132
/proc/meminfo: memFree=30973684/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=310084 CPUtime=1122.1 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 80602 0 0 0 112197 13 0 0 20 0 1 0 60321702 317526016 74986 33554432000 4194304 5646918 140737265374736 140737265373400 4460922 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 77521 74986 112 355 0 77162 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 310084

[startup+1182.3 s]
/proc/loadavg: 2.05 2.06 2.03 3/177 25134
/proc/meminfo: memFree=30534944/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=784780 CPUtime=1182.09 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 119974 0 0 0 118185 24 0 0 20 0 1 0 60321702 803614720 184580 33554432000 4194304 5646918 140737265374736 140737265372840 4403184 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 196195 184580 146 355 0 195836 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 784780

[startup+1242.3 s]
/proc/loadavg: 2.02 2.05 2.03 3/177 25135
/proc/meminfo: memFree=30418132/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=977496 CPUtime=1242.08 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 131124 0 0 0 124182 26 0 0 20 0 1 0 60321702 1000955904 213614 33554432000 4194304 5646918 140737265374736 140737265373432 4403167 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 244374 213614 146 355 0 244015 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 977496

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/177 25136
/proc/meminfo: memFree=30403612/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=979492 CPUtime=1302.08 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 131988 0 0 0 130181 27 0 0 20 0 1 0 60321702 1002999808 215500 33554432000 4194304 5646918 140737265374736 140737265372872 4403136 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 244873 215500 146 355 0 244514 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 979492

[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.02 4/176 25192
/proc/meminfo: memFree=30371492/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=986420 CPUtime=1362.07 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 133715 0 0 0 136179 28 0 0 20 0 1 0 60321702 1010094080 219271 33554432000 4194304 5646918 140737265374736 140737265372872 4403184 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 246605 219271 146 355 0 246246 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 986420

[startup+1422.3 s]
/proc/loadavg: 2.09 2.06 2.03 3/177 25194
/proc/meminfo: memFree=30365172/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=989888 CPUtime=1422.07 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 134567 0 0 0 142179 28 0 0 20 0 1 0 60321702 1013645312 220634 33554432000 4194304 5646918 140737265374736 140737265372872 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 247472 220634 146 355 0 247113 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 989888

[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.02 3/178 25199
/proc/meminfo: memFree=30358944/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=992384 CPUtime=1482.05 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 135169 0 0 0 148177 28 0 0 20 0 1 0 60321702 1016201216 221994 33554432000 4194304 5646918 140737265374736 140737265372872 4403170 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 248096 221994 146 355 0 247737 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 992384

[startup+1542.31 s]
/proc/loadavg: 2.09 2.05 2.02 4/177 25200
/proc/meminfo: memFree=30349560/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=994620 CPUtime=1542.04 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 135716 0 0 0 154176 28 0 0 20 0 1 0 60321702 1018490880 224320 33554432000 4194304 5646918 140737265374736 140737265372872 4403173 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 248655 224320 146 355 0 248296 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 994620

[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.02 3/177 25201
/proc/meminfo: memFree=30344420/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=995824 CPUtime=1602.04 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 136044 0 0 0 160175 29 0 0 20 0 1 0 60321702 1019723776 225553 33554432000 4194304 5646918 140737265374736 140737265372872 4403176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 248956 225553 146 355 0 248597 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 995824

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/178 25203
/proc/meminfo: memFree=30294836/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=1025008 CPUtime=1662.01 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 143287 0 0 0 166170 31 0 0 20 0 1 0 60321702 1049608192 237963 33554432000 4194304 5646918 140737265374736 140737265372872 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 256252 237963 146 355 0 255893 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1025008

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.01 4/177 25204
/proc/meminfo: memFree=30262736/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=1048664 CPUtime=1722.01 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 148090 0 0 0 172169 32 0 0 20 0 1 0 60321702 1073831936 245980 33554432000 4194304 5646918 140737265374736 140737265372840 4403167 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 262166 245980 146 355 0 261807 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1048664

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/177 25206
/proc/meminfo: memFree=30260584/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=1048664 CPUtime=1782 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 148093 0 0 0 178168 32 0 0 20 0 1 0 60321702 1073831936 246492 33554432000 4194304 5646918 140737265374736 140737265372840 4403176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 262166 246492 146 355 0 261807 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1048664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.03 2.01 3/177 25207
/proc/meminfo: memFree=30260520/32872528 swapFree=497380/530084
[pid=25104] ppid=25101 vsize=1048664 CPUtime=1800.09 cores=1,3,5,7
/proc/25104/stat : 25104 (minisatp) R 25101 25104 19400 0 -1 4202496 148093 0 0 0 179977 32 0 0 20 0 1 0 60321702 1073831936 246492 33554432000 4194304 5646918 140737265374736 140737265372840 4403164 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25104/statm: 262166 246492 146 355 0 261807 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1048664

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25104 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.78
CPU system time (s): 0.334949
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 1048664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.334949
maximum resident set size= 985968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47332 second user time and 7.03193 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-22 10:06:03
IDJOB=4114403
IDBENCH=71870
IDSOLVER=2555
FILE ID=node141/4114403-1466582762
RUNJOBID= node141-1466551497-19417
PBS_JOBID= 19943327
Free space on /tmp= 71716 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__2048.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114403-1466582762/watcher-4114403-1466582762 -o /tmp/evaluation-result-4114403-1466582762/solver-4114403-1466582762 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466551497-19417 --watchdog 1960  minisatp HOME/instance-4114403-1466582762.opb

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

MD5SUM BENCH= 5a6a489f861071b99676244553a9826e
RANDOM SEED=1674383896

node141.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.547
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.09
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.547
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	: 5332.55
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.547
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	: 5332.54
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.547
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	: 5332.55
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.547
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	: 5332.56
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.547
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	: 5332.55
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.547
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	: 5332.55
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.547
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31367944 kB
Buffers:           79188 kB
Cached:           114660 kB
SwapCached:         4160 kB
Active:           107000 kB
Inactive:         129724 kB
Active(anon):      39848 kB
Inactive(anon):     5452 kB
Active(file):      67152 kB
Inactive(file):   124272 kB
Unevictable:      530084 kB
Mlocked:          497380 kB
SwapTotal:      67108856 kB
SwapFree:       67097640 kB
Dirty:             13104 kB
Writeback:             0 kB
AnonPages:        570688 kB
Mapped:             9500 kB
Shmem:                 0 kB
Slab:             606096 kB
SReclaimable:      49476 kB
SUnreclaim:       556620 kB
KernelStack:        1440 kB
PageTables:         5272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     689048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4114403-1466582762.opb

Free space on /tmp at the end= 71712 MiB
End job on node141 at 2016-06-22 10:36:03