Trace number 3493862

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
PicoMUS 941No Cert. 1800.09 1800.11

General information on the benchmark

NameSAT02/industrial/biere/
dinphil/dp09u08.shuffled.cnf
MD5SUM6b942b91b984614b2486ef59f1f9cebb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables5475
Number of clauses16207
Sum of the clauses size38163
Maximum clause length9
Minimum clause length1
Number of clauses of size 118
Number of clauses of size 210428
Number of clauses of size 35760
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 5475 16207
13.10/13.20	s UNSATISFIABLE
13.29/13.30	c [picomus] extracted core 1 of size 7824 out of 16207 (48%) after 13.3 sec
32.58/32.62	c [picomus] extracted core 2 of size 6356 out of 16207 (39%) after 32.6 sec
44.00/44.01	c [picomus] extracted core 3 of size 5649 out of 16207 (35%) after 44.0 sec
54.78/54.81	c [picomus] extracted core 4 of size 5215 out of 16207 (32%) after 54.8 sec
75.99/76.01	c [picomus] extracted core 5 of size 5042 out of 16207 (31%) after 76.0 sec
94.89/94.92	c [picomus] extracted core 6 of size 4950 out of 16207 (31%) after 94.9 sec
110.29/110.38	c [picomus] extracted core 7 of size 4916 out of 16207 (30%) after 110.4 sec
133.09/133.11	c [picomus] extracted core 8 of size 4865 out of 16207 (30%) after 133.1 sec
165.79/165.89	c [picomus] extracted core 9 of size 4847 out of 16207 (30%) after 165.9 sec
185.89/185.97	c [picomus] extracted core 10 of size 4833 out of 16207 (30%) after 186.0 sec
193.39/193.41	c [picomus] extracted core 11 of size 4569 out of 16207 (28%) after 193.4 sec
211.69/211.72	c [picomus] extracted core 12 of size 4544 out of 16207 (28%) after 211.7 sec
232.39/232.48	c [picomus] extracted core 13 of size 4529 out of 16207 (28%) after 232.5 sec
244.90/244.96	c [picomus] extracted core 14 of size 4515 out of 16207 (28%) after 245.0 sec
276.29/276.30	c [picomus] extracted core 15 of size 4495 out of 16207 (28%) after 276.3 sec
292.60/292.64	c [picomus] extracted core 16 of size 4475 out of 16207 (28%) after 292.6 sec
302.29/302.35	c [picomus] extracted core 17 of size 4421 out of 16207 (27%) after 302.4 sec
325.79/325.85	c [picomus] extracted core 18 of size 4413 out of 16207 (27%) after 325.9 sec
347.79/347.83	c [picomus] extracted core 19 of size 4406 out of 16207 (27%) after 347.8 sec
366.20/366.22	c [picomus] extracted core 20 of size 4390 out of 16207 (27%) after 366.2 sec
380.10/380.17	c [picomus] extracted core 21 of size 4376 out of 16207 (27%) after 380.2 sec
388.39/388.42	c [picomus] extracted core 22 of size 4369 out of 16207 (27%) after 388.4 sec
407.59/407.65	c [picomus] extracted core 23 of size 4342 out of 16207 (27%) after 407.7 sec
422.99/423.06	c [picomus] extracted core 24 of size 4320 out of 16207 (27%) after 423.1 sec
439.49/439.55	c [picomus] extracted core 25 of size 4304 out of 16207 (27%) after 439.6 sec
455.99/456.07	c [picomus] extracted core 26 of size 4303 out of 16207 (27%) after 456.1 sec
505.49/505.56	c [picomus] reduction 1 to 4226 out of 16207 (26%) after 505.6 sec
538.79/538.82	c [picomus] reduction 2 to 4078 out of 16207 (25%) after 538.8 sec
558.50/558.51	c [picomus] reduction 3 to 4006 out of 16207 (25%) after 558.5 sec
581.90/581.97	c [picomus] reduction 4 to 3952 out of 16207 (24%) after 582.0 sec
606.30/606.39	c [picomus] reduction 5 to 3909 out of 16207 (24%) after 606.4 sec
632.09/632.15	c [picomus] reduction 6 to 3873 out of 16207 (24%) after 632.2 sec
650.99/651.00	c [picomus] reduction 7 to 3820 out of 16207 (24%) after 651.0 sec
676.79/676.86	c [picomus] reduction 8 to 3805 out of 16207 (23%) after 676.9 sec
697.09/697.16	c [picomus] reduction 9 to 3797 out of 16207 (23%) after 697.2 sec
701.59/701.68	c [picomus] reduction 10 to 3786 out of 16207 (23%) after 701.7 sec
722.70/722.73	c [picomus] reduction 11 to 3760 out of 16207 (23%) after 722.7 sec
745.19/745.24	c [picomus] reduction 12 to 3746 out of 16207 (23%) after 745.3 sec
760.59/760.62	c [picomus] reduction 13 to 3737 out of 16207 (23%) after 760.6 sec
776.29/776.31	c [picomus] reduction 14 to 3725 out of 16207 (23%) after 776.3 sec
788.09/788.15	c [picomus] reduction 15 to 3700 out of 16207 (23%) after 788.2 sec
798.79/798.82	c [picomus] reduction 16 to 3692 out of 16207 (23%) after 798.8 sec
806.19/806.24	c [picomus] reduction 17 to 3691 out of 16207 (23%) after 806.2 sec
816.10/816.20	c [picomus] reduction 18 to 3672 out of 16207 (23%) after 816.2 sec
828.00/828.03	c [picomus] reduction 19 to 3621 out of 16207 (22%) after 828.0 sec
838.40/838.45	c [picomus] reduction 20 to 3620 out of 16207 (22%) after 838.5 sec
848.70/848.77	c [picomus] reduction 21 to 3614 out of 16207 (22%) after 848.8 sec
859.20/859.27	c [picomus] reduction 22 to 3606 out of 16207 (22%) after 859.3 sec
869.10/869.11	c [picomus] reduction 23 to 3602 out of 16207 (22%) after 869.1 sec
879.00/879.01	c [picomus] reduction 24 to 3596 out of 16207 (22%) after 879.0 sec
892.80/892.87	c [picomus] reduction 25 to 3578 out of 16207 (22%) after 892.9 sec
906.19/906.21	c [picomus] reduction 26 to 3567 out of 16207 (22%) after 906.2 sec
921.49/921.58	c [picomus] reduction 27 to 3555 out of 16207 (22%) after 921.6 sec
934.90/934.96	c [picomus] reduction 28 to 3547 out of 16207 (22%) after 935.0 sec
945.39/945.42	c [picomus] reduction 29 to 3538 out of 16207 (22%) after 945.4 sec
947.99/948.04	c [picomus] reduction 30 to 3535 out of 16207 (22%) after 948.0 sec
956.79/956.87	c [picomus] reduction 31 to 3528 out of 16207 (22%) after 956.9 sec
966.39/966.40	c [picomus] reduction 32 to 3524 out of 16207 (22%) after 966.4 sec
975.89/975.95	c [picomus] reduction 33 to 3522 out of 16207 (22%) after 975.9 sec
984.99/985.02	c [picomus] reduction 34 to 3507 out of 16207 (22%) after 985.0 sec
992.69/992.78	c [picomus] reduction 35 to 3506 out of 16207 (22%) after 992.8 sec
999.09/999.17	c [picomus] reduction 36 to 3501 out of 16207 (22%) after 999.2 sec
1007.19/1007.27	c [picomus] reduction 37 to 3486 out of 16207 (22%) after 1007.3 sec
1014.99/1015.06	c [picomus] reduction 38 to 3482 out of 16207 (21%) after 1015.1 sec
1021.29/1021.38	c [picomus] reduction 39 to 3476 out of 16207 (21%) after 1021.4 sec
1029.79/1029.87	c [picomus] reduction 40 to 3469 out of 16207 (21%) after 1029.9 sec
1037.69/1037.76	c [picomus] reduction 41 to 3465 out of 16207 (21%) after 1037.8 sec
1044.89/1044.93	c [picomus] reduction 42 to 3445 out of 16207 (21%) after 1044.9 sec
1051.49/1051.56	c [picomus] reduction 43 to 3444 out of 16207 (21%) after 1051.6 sec
1058.59/1058.66	c [picomus] reduction 44 to 3443 out of 16207 (21%) after 1058.7 sec
1064.49/1064.58	c [picomus] reduction 45 to 3442 out of 16207 (21%) after 1064.6 sec
1075.59/1075.65	c [picomus] reduction 46 to 3441 out of 16207 (21%) after 1075.6 sec
1086.89/1086.98	c [picomus] reduction 47 to 3440 out of 16207 (21%) after 1087.0 sec
1095.89/1095.94	c [picomus] reduction 48 to 3439 out of 16207 (21%) after 1095.9 sec
1105.99/1106.03	c [picomus] reduction 49 to 3432 out of 16207 (21%) after 1106.0 sec
1114.39/1114.45	c [picomus] reduction 50 to 3429 out of 16207 (21%) after 1114.5 sec
1121.99/1122.08	c [picomus] reduction 51 to 3428 out of 16207 (21%) after 1122.1 sec
1130.49/1130.54	c [picomus] reduction 52 to 3421 out of 16207 (21%) after 1130.5 sec
1138.59/1138.64	c [picomus] reduction 53 to 3413 out of 16207 (21%) after 1138.6 sec
1144.99/1145.09	c [picomus] reduction 54 to 3411 out of 16207 (21%) after 1145.1 sec
1150.59/1150.68	c [picomus] reduction 55 to 3410 out of 16207 (21%) after 1150.7 sec
1160.29/1160.36	c [picomus] reduction 56 to 3403 out of 16207 (21%) after 1160.4 sec
1168.39/1168.40	c [picomus] reduction 57 to 3402 out of 16207 (21%) after 1168.4 sec
1176.69/1176.73	c [picomus] reduction 58 to 3399 out of 16207 (21%) after 1176.7 sec
1188.38/1188.46	c [picomus] reduction 59 to 3397 out of 16207 (21%) after 1188.5 sec
1201.09/1201.10	c [picomus] reduction 60 to 3392 out of 16207 (21%) after 1201.1 sec
1210.68/1210.72	c [picomus] reduction 61 to 3384 out of 16207 (21%) after 1210.7 sec
1221.48/1221.56	c [picomus] reduction 62 to 3379 out of 16207 (21%) after 1221.6 sec
1228.78/1228.89	c [picomus] reduction 63 to 3373 out of 16207 (21%) after 1228.9 sec
1237.49/1237.57	c [picomus] reduction 64 to 3371 out of 16207 (21%) after 1237.6 sec
1246.58/1246.64	c [picomus] reduction 65 to 3362 out of 16207 (21%) after 1246.6 sec
1251.68/1251.72	c [picomus] reduction 66 to 3360 out of 16207 (21%) after 1251.7 sec
1259.28/1259.39	c [picomus] reduction 67 to 3353 out of 16207 (21%) after 1259.4 sec
1268.18/1268.30	c [picomus] reduction 68 to 3352 out of 16207 (21%) after 1268.3 sec
1278.28/1278.34	c [picomus] reduction 69 to 3346 out of 16207 (21%) after 1278.3 sec
1289.98/1290.08	c [picomus] reduction 70 to 3344 out of 16207 (21%) after 1290.1 sec
1298.98/1299.00	c [picomus] reduction 71 to 3323 out of 16207 (21%) after 1299.0 sec
1314.68/1314.79	c [picomus] reduction 72 to 3321 out of 16207 (20%) after 1314.8 sec
1330.48/1330.54	c [picomus] reduction 73 to 3319 out of 16207 (20%) after 1330.5 sec
1347.18/1347.25	c [picomus] reduction 74 to 3318 out of 16207 (20%) after 1347.2 sec
1365.78/1365.83	c [picomus] reduction 75 to 3317 out of 16207 (20%) after 1365.8 sec
1383.38/1383.47	c [picomus] reduction 76 to 3315 out of 16207 (20%) after 1383.5 sec
1402.49/1402.52	c [picomus] reduction 77 to 3310 out of 16207 (20%) after 1402.5 sec
1405.79/1405.83	c [picomus] reduction 78 to 3307 out of 16207 (20%) after 1405.8 sec
1421.88/1421.94	c [picomus] reduction 79 to 3306 out of 16207 (20%) after 1421.9 sec
1443.48/1443.52	c [picomus] reduction 80 to 3293 out of 16207 (20%) after 1443.5 sec
1465.48/1465.59	c [picomus] reduction 81 to 3288 out of 16207 (20%) after 1465.6 sec
1486.58/1486.61	c [picomus] reduction 82 to 3286 out of 16207 (20%) after 1486.6 sec
1506.58/1506.62	c [picomus] reduction 83 to 3279 out of 16207 (20%) after 1506.6 sec
1522.88/1522.90	c [picomus] reduction 84 to 3271 out of 16207 (20%) after 1522.9 sec
1537.38/1537.41	c [picomus] reduction 85 to 3265 out of 16207 (20%) after 1537.4 sec
1553.78/1553.84	c [picomus] reduction 86 to 3264 out of 16207 (20%) after 1553.8 sec
1571.98/1572.06	c [picomus] reduction 87 to 3261 out of 16207 (20%) after 1572.1 sec
1606.48/1606.54	c [picomus] reduction 88 to 3258 out of 16207 (20%) after 1606.5 sec
1627.88/1627.92	c [picomus] reduction 89 to 3257 out of 16207 (20%) after 1627.9 sec
1664.38/1664.44	c [picomus] reduction 90 to 3253 out of 16207 (20%) after 1664.4 sec
1690.58/1690.65	c [picomus] reduction 91 to 3252 out of 16207 (20%) after 1690.6 sec
1720.57/1720.65	c [picomus] reduction 92 to 3250 out of 16207 (20%) after 1720.6 sec
1750.57/1750.66	c [picomus] reduction 93 to 3248 out of 16207 (20%) after 1750.6 sec
1768.97/1769.02	c [picomus] reduction 94 to 3246 out of 16207 (20%) after 1769.0 sec

Verifier Data 

ERROR: no value line found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3493862-1307810345/watcher-3493862-1307810345 -o /tmp/evaluation-result-3493862-1307810345/solver-3493862-1307810345 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493862-1307810345.cnf 

running on 2 cores: 1,3

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.98 1.65 2.53 5/180 17368
/proc/meminfo: memFree=31396816/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=1248 CPUtime=0 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 217 0 0 0 0 0 0 0 24 0 1 0 892636905 1277952 171 33554432000 134512640 135072097 4287388016 18446744073709551615 134705502 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 312 172 53 137 0 173 0

[startup+0.0582901 s]
/proc/loadavg: 0.98 1.65 2.53 5/180 17368
/proc/meminfo: memFree=31396816/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=2316 CPUtime=0.05 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 511 0 0 0 5 0 0 0 24 0 1 0 892636905 2371584 464 33554432000 134512640 135072097 4287388016 18446744073709551615 134558229 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 579 464 69 137 0 440 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2316

[startup+0.10028 s]
/proc/loadavg: 0.98 1.65 2.53 5/180 17368
/proc/meminfo: memFree=31396816/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=2448 CPUtime=0.09 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 531 0 0 0 9 0 0 0 24 0 1 0 892636905 2506752 484 33554432000 134512640 135072097 4287388016 18446744073709551615 134543596 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 612 484 69 137 0 473 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2448

[startup+0.300259 s]
/proc/loadavg: 0.98 1.65 2.53 5/180 17368
/proc/meminfo: memFree=31396816/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=2844 CPUtime=0.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 643 0 0 0 29 0 0 0 25 0 1 0 892636905 2912256 596 33554432000 134512640 135072097 4287388016 18446744073709551615 134520271 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 711 596 69 137 0 572 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2844

[startup+0.700167 s]
/proc/loadavg: 0.98 1.65 2.53 5/180 17368
/proc/meminfo: memFree=31396816/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=3636 CPUtime=0.69 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 849 0 0 0 69 0 0 0 25 0 1 0 892636905 3723264 802 33554432000 134512640 135072097 4287388016 18446744073709551615 134543764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 909 802 69 137 0 770 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3636

[startup+1.50102 s]
/proc/loadavg: 0.98 1.65 2.53 5/190 17399
/proc/meminfo: memFree=31298224/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=5404 CPUtime=1.49 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 1283 0 0 0 149 0 0 0 25 0 1 0 892636905 5533696 1236 33554432000 134512640 135072097 4287388016 18446744073709551615 134558253 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 1351 1236 69 137 0 1212 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5404

[startup+3.10072 s]
/proc/loadavg: 0.98 1.65 2.53 5/190 17399
/proc/meminfo: memFree=31292396/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=8836 CPUtime=3.09 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 2121 0 0 0 309 0 0 0 25 0 1 0 892636905 9048064 2074 33554432000 134512640 135072097 4287388016 18446744073709551615 134558352 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 2209 2074 69 137 0 2070 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8836

[startup+6.30011 s]
/proc/loadavg: 1.22 1.69 2.53 5/190 17399
/proc/meminfo: memFree=31289356/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=15824 CPUtime=6.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 3847 0 0 0 629 0 0 0 25 0 1 0 892636905 16203776 3800 33554432000 134512640 135072097 4287388016 18446744073709551615 134543834 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 3956 3800 69 137 0 3817 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15824

[startup+12.7009 s]
/proc/loadavg: 1.44 1.73 2.54 5/190 17399
/proc/meminfo: memFree=31281772/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=29404 CPUtime=12.69 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 7185 0 0 0 1268 1 0 0 25 0 1 0 892636905 30109696 7138 33554432000 134512640 135072097 4287388016 18446744073709551615 134520079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 7351 7138 69 137 0 7212 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29404

[startup+25.5005 s]
/proc/loadavg: 2.01 1.84 2.56 5/190 17399
/proc/meminfo: memFree=31241372/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=40268 CPUtime=25.49 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 16767 0 0 0 2546 3 0 0 25 0 1 0 892636905 41234432 9719 33554432000 134512640 135072097 4287388016 18446744073709551615 134520197 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 10067 9719 76 137 0 9928 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40268

[startup+51.1006 s]
/proc/loadavg: 2.69 2.01 2.60 5/190 17400
/proc/meminfo: memFree=31238976/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=27264 CPUtime=51.09 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 37067 0 0 0 5101 8 0 0 25 0 1 0 892636905 27918336 6682 33554432000 134512640 135072097 4287388016 18446744073709551615 134543764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 6816 6682 76 137 0 6677 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27264

[startup+102.307 s]
/proc/loadavg: 3.43 2.32 2.67 5/190 17401
/proc/meminfo: memFree=31217356/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=29280 CPUtime=102.3 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 85093 0 0 0 10212 18 0 0 25 0 1 0 892636905 29982720 7193 33554432000 134512640 135072097 4287388016 18446744073709551615 134543899 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 7320 7193 76 137 0 7181 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 29280

[startup+162.301 s]
/proc/loadavg: 3.87 2.64 2.76 5/190 17403
/proc/meminfo: memFree=31137712/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=110088 CPUtime=162.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 138624 0 0 0 16200 29 0 0 25 0 1 0 892636905 112730112 27230 33554432000 134512640 135072097 4287388016 18446744073709551615 134537985 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 27522 27230 76 137 0 27383 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 110088

[startup+222.3 s]
/proc/loadavg: 4.02 2.90 2.84 5/190 17405
/proc/meminfo: memFree=31202276/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=44496 CPUtime=222.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 194569 0 0 0 22189 40 0 0 25 0 1 0 892636905 45563904 10862 33554432000 134512640 135072097 4287388016 18446744073709551615 134558408 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 11124 10862 76 137 0 10985 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 44496

[startup+282.301 s]
/proc/loadavg: 4.04 3.11 2.91 5/190 17406
/proc/meminfo: memFree=31221716/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=25972 CPUtime=282.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 250172 0 0 0 28177 52 0 0 25 0 1 0 892636905 26595328 6361 33554432000 134512640 135072097 4287388016 18446744073709551615 134556443 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 6493 6361 76 137 0 6354 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 25972

[startup+342.301 s]
/proc/loadavg: 4.01 3.27 2.98 5/190 17408
/proc/meminfo: memFree=31171948/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=69704 CPUtime=342.3 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 307691 0 0 0 34167 63 0 0 25 0 1 0 892636905 71376896 16833 33554432000 134512640 135072097 4287388016 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 17426 16833 76 137 0 17287 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 69704

[startup+402.3 s]
/proc/loadavg: 4.00 3.40 3.04 5/190 17409
/proc/meminfo: memFree=31188764/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=57480 CPUtime=402.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 367354 0 0 0 40153 76 0 0 25 0 1 0 892636905 58859520 14229 33554432000 134512640 135072097 4287388016 18446744073709551615 134556265 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 14370 14230 76 137 0 14231 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 57480

[startup+462.301 s]
/proc/loadavg: 4.00 3.51 3.10 5/190 17411
/proc/meminfo: memFree=31213048/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=24924 CPUtime=462.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 425594 0 0 0 46139 90 0 0 25 0 1 0 892636905 25522176 6132 33554432000 134512640 135072097 4287388016 18446744073709551615 134559059 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 6231 6132 76 137 0 6092 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 24924

[startup+522.3 s]
/proc/loadavg: 4.00 3.59 3.15 5/190 17413
/proc/meminfo: memFree=31176408/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=63540 CPUtime=522.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 435223 0 0 0 52137 92 0 0 25 0 1 0 892636905 65064960 15757 33554432000 134512640 135072097 4287388016 18446744073709551615 134518013 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 15885 15757 77 137 0 15746 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 63540

[startup+582.3 s]
/proc/loadavg: 4.00 3.66 3.20 5/190 17414
/proc/meminfo: memFree=31156900/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=81032 CPUtime=582.3 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 440046 0 0 0 58137 93 0 0 25 0 1 0 892636905 82976768 20163 33554432000 134512640 135072097 4287388016 18446744073709551615 134520266 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 20258 20163 77 137 0 20119 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 81032

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 4.00 3.88 3.41 5/190 17422
/proc/meminfo: memFree=31010936/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=95052 CPUtime=882.3 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 445545 0 0 0 88136 94 0 0 25 0 1 0 892636905 97333248 23671 33554432000 134512640 135072097 4287388016 18446744073709551615 134556237 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 23763 23671 77 137 0 23624 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 95052

[startup+942.301 s]
/proc/loadavg: 4.04 3.91 3.45 5/190 17424
/proc/meminfo: memFree=30987084/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=94116 CPUtime=942.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 445545 0 0 0 94135 94 0 0 25 0 1 0 892636905 96374784 23437 33554432000 134512640 135072097 4287388016 18446744073709551615 134518179 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 23529 23437 77 137 0 23390 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 94116

[startup+1002.3 s]
/proc/loadavg: 4.01 3.93 3.48 5/190 17425
/proc/meminfo: memFree=30979332/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=93720 CPUtime=1002.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 445546 0 0 0 100135 94 0 0 25 0 1 0 892636905 95969280 23339 33554432000 134512640 135072097 4287388016 18446744073709551615 134517981 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 23430 23339 77 137 0 23291 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 93720

[startup+1062.3 s]
/proc/loadavg: 4.00 3.94 3.51 5/190 17427
/proc/meminfo: memFree=30979908/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=93720 CPUtime=1062.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 445546 0 0 0 106135 94 0 0 25 0 1 0 892636905 95969280 23339 33554432000 134512640 135072097 4287388016 18446744073709551615 134518017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 23430 23339 77 137 0 23291 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 93720

[startup+1122.3 s]
/proc/loadavg: 4.00 3.95 3.54 5/190 17429
/proc/meminfo: memFree=30980100/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=93720 CPUtime=1122.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 445546 0 0 0 112135 94 0 0 25 0 1 0 892636905 95969280 23339 33554432000 134512640 135072097 4287388016 18446744073709551615 134517936 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 23430 23339 77 137 0 23291 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 93720

[startup+1182.3 s]
/proc/loadavg: 4.00 3.95 3.57 5/190 17430
/proc/meminfo: memFree=30980196/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=93720 CPUtime=1182.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 445546 0 0 0 118135 94 0 0 25 0 1 0 892636905 95969280 23339 33554432000 134512640 135072097 4287388016 18446744073709551615 134517946 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 23430 23339 77 137 0 23291 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 93720

[startup+1242.3 s]
/proc/loadavg: 4.06 3.97 3.60 5/190 17432
/proc/meminfo: memFree=30974816/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=98820 CPUtime=1242.28 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 446807 0 0 0 124134 94 0 0 25 0 1 0 892636905 101191680 24600 33554432000 134512640 135072097 4287388016 18446744073709551615 134559213 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 24705 24600 77 137 0 24566 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 98820

[startup+1302.3 s]
/proc/loadavg: 4.14 4.00 3.63 5/190 17433
/proc/meminfo: memFree=30974896/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=98820 CPUtime=1302.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 446807 0 0 0 130135 94 0 0 25 0 1 0 892636905 101191680 24600 33554432000 134512640 135072097 4287388016 18446744073709551615 134518015 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 24705 24600 77 137 0 24566 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 98820

[startup+1362.3 s]
/proc/loadavg: 4.05 4.00 3.65 5/190 17444
/proc/meminfo: memFree=30975000/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=98820 CPUtime=1362.28 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 446807 0 0 0 136134 94 0 0 25 0 1 0 892636905 101191680 24600 33554432000 134512640 135072097 4287388016 18446744073709551615 134518112 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 24705 24600 77 137 0 24566 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 98820

[startup+1422.31 s]
/proc/loadavg: 4.02 4.00 3.67 5/190 17446
/proc/meminfo: memFree=30974964/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=98820 CPUtime=1422.29 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 446807 0 0 0 142135 94 0 0 25 0 1 0 892636905 101191680 24600 33554432000 134512640 135072097 4287388016 18446744073709551615 134541037 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 24705 24600 77 137 0 24566 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 98820

[startup+1482.3 s]
/proc/loadavg: 4.00 4.00 3.68 5/190 17450
/proc/meminfo: memFree=30974656/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=98820 CPUtime=1482.28 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 446807 0 0 0 148134 94 0 0 25 0 1 0 892636905 101191680 24600 33554432000 134512640 135072097 4287388016 18446744073709551615 134557104 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 24705 24600 77 137 0 24566 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 98820

[startup+1542.3 s]
/proc/loadavg: 4.00 4.00 3.70 5/190 17452
/proc/meminfo: memFree=30969628/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=104952 CPUtime=1542.28 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 448315 0 0 0 154134 94 0 0 25 0 1 0 892636905 107470848 26106 33554432000 134512640 135072097 4287388016 18446744073709551615 134556250 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 26238 26106 77 137 0 26099 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 104952

[startup+1602.3 s]
/proc/loadavg: 4.00 4.00 3.72 5/190 17453
/proc/meminfo: memFree=30964132/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=104332 CPUtime=1602.28 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 448315 0 0 0 160134 94 0 0 25 0 1 0 892636905 106835968 25980 33554432000 134512640 135072097 4287388016 18446744073709551615 134518015 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 26083 25980 77 137 0 25944 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 104332

[startup+1662.3 s]
/proc/loadavg: 4.00 4.00 3.73 5/190 17455
/proc/meminfo: memFree=30946108/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=105936 CPUtime=1662.28 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 448690 0 0 0 166134 94 0 0 25 0 1 0 892636905 108478464 26355 33554432000 134512640 135072097 4287388016 18446744073709551615 134557214 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 26484 26355 77 137 0 26345 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 105936

[startup+1722.3 s]
/proc/loadavg: 4.00 4.00 3.75 5/190 17457
/proc/meminfo: memFree=30945328/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=106584 CPUtime=1722.27 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 449344 0 0 0 172133 94 0 0 25 0 1 0 892636905 109142016 26516 33554432000 134512640 135072097 4287388016 18446744073709551615 134518013 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 26646 26516 77 137 0 26507 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 106584

[startup+1782.3 s]
/proc/loadavg: 4.00 4.00 3.76 5/190 17458
/proc/meminfo: memFree=30944540/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=106140 CPUtime=1782.27 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 449344 0 0 0 178133 94 0 0 25 0 1 0 892636905 108687360 26432 33554432000 134512640 135072097 4287388016 18446744073709551615 134557532 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 26535 26432 77 137 0 26396 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 106140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 4.07 4.02 3.77 4/189 17460
/proc/meminfo: memFree=30987040/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=106140 CPUtime=1800.08 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 449344 0 0 0 179914 94 0 0 25 0 1 0 892636905 108687360 26432 33554432000 134512640 135072097 4287388016 18446744073709551615 134518015 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 26535 26432 77 137 0 26396 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 106140

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

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

[startup+1800.1 s]
/proc/loadavg: 4.07 4.02 3.77 4/189 17460
/proc/meminfo: memFree=30987040/32951124 swapFree=67050520/67111528
[pid=17368] ppid=17366 vsize=106140 CPUtime=1800.08 cores=1,3
/proc/17368/stat : 17368 (picomus) R 17366 17368 14141 0 -1 4202496 449344 0 0 0 179914 94 0 0 25 0 1 0 892636905 108687360 26432 33554432000 134512640 135072097 4287388016 18446744073709551615 134518015 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17368/statm: 26535 26432 77 137 0 26396 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 106140

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.11
CPU time (s): 1800.09
CPU user time (s): 1799.14
CPU system time (s): 0.950855
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 122428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 0.950855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 449344
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= 4
involuntary context switches= 5288

runsolver used 2.79957 second user time and 7.03793 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-11 18:39:06
IDJOB=3493862
IDBENCH=88072
IDSOLVER=1974
FILE ID=node102/3493862-1307810345
RUNJOBID= node102-1307810345-17342
PBS_JOBID= 13551074
Free space on /tmp= 74140 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT02/industrial/biere/dinphil/dp09u08.shuffled.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493862-1307810345/watcher-3493862-1307810345 -o /tmp/evaluation-result-3493862-1307810345/solver-3493862-1307810345 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493862-1307810345.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 6b942b91b984614b2486ef59f1f9cebb
RANDOM SEED=429040751

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31398624 kB
Buffers:        299384 kB
Cached:        1004800 kB
SwapCached:      25172 kB
Active:         536652 kB
Inactive:       808972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31398624 kB
SwapTotal:    67111528 kB
SwapFree:     67050520 kB
Dirty:            3896 kB
Writeback:           0 kB
AnonPages:       39224 kB
Mapped:           8844 kB
Slab:           142176 kB
PageTables:       5200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   204968 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74120 MiB
End job on node102 at 2011-06-11 19:09:08