Trace number 3711927

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
toysat 2012-05-17? (TO) 1800.05 1800.41

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
spot5/normalized-spot5-408_wcsp.wbo
MD5SUM48ac1863348303136e0aa9da5ae3256d
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark6241
Best CPU time to get the best result obtained on this benchmark1800.07
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables528
Total number of constraints3349
Number of soft constraints3149
Number of constraints which are clauses3149
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 9311
Min constraint cost 1
Max constraint cost 9311
Sum of constraints costs 27467449
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.09/1.16	c 2012-05-28T21:50:19+0200
1.09/1.16	c arch = x86_64
1.09/1.16	c os = linux
1.09/1.16	c compiler = ghc 7.4
1.09/1.16	c packages:
1.09/1.16	c   OptDir-0.0.1
1.09/1.16	c   array-0.4.0.0
1.09/1.16	c   base-4.5.0.0
1.09/1.16	c   bytestring-0.9.2.1
1.09/1.16	c   containers-0.4.2.1
1.09/1.16	c   deepseq-1.3.0.0
1.09/1.16	c   mtl-2.1.1
1.09/1.16	c   old_locale-1.0.0.4
1.09/1.16	c   parse_dimacs-1.2
1.09/1.16	c   parsec-3.1.2
1.09/1.16	c   queue-0.1.2
1.09/1.16	c   stm-2.3
1.09/1.16	c   time-1.4
1.09/1.16	c command line = ["--wbo","HOME/instance-3711927-1338234619.wbo"]
1.09/1.16	c #vars 528
1.09/1.16	c #constraints 3349
1.09/1.16	c Solving starts ...
1.09/1.19	c solving time = 0.030s
1.09/1.19	c #decision = 54
1.09/1.19	c #conflict = 0
1.09/1.19	c #restart = 0
1.09/1.19	o 6235
1.09/1.20	c Solving starts ...
13.78/13.89	c learnt constraints deletion: 8836 -> 4418
21.18/21.25	c learnt constraints deletion: 9436 -> 4718
29.18/29.29	c learnt constraints deletion: 10042 -> 5021
37.28/37.36	c learnt constraints deletion: 10129 -> 5066
45.77/45.85	c learnt constraints deletion: 10788 -> 5394
54.37/54.40	c learnt constraints deletion: 10715 -> 5359
63.57/63.60	c learnt constraints deletion: 11500 -> 5750
72.37/72.46	c learnt constraints deletion: 11511 -> 5757
80.27/80.36	c learnt constraints deletion: 11467 -> 5734
89.66/89.78	c learnt constraints deletion: 12350 -> 6175
98.76/98.82	c learnt constraints deletion: 12344 -> 6174
108.16/108.22	c learnt constraints deletion: 12297 -> 6150
116.75/116.80	c learnt constraints deletion: 12313 -> 6157
125.55/125.66	c learnt constraints deletion: 12314 -> 6159
135.45/135.56	c learnt constraints deletion: 13222 -> 6611
145.65/145.73	c learnt constraints deletion: 13263 -> 6633
155.44/155.53	c learnt constraints deletion: 13236 -> 6620
165.54/165.67	c learnt constraints deletion: 13221 -> 6611
176.14/176.20	c learnt constraints deletion: 13250 -> 6626
185.54/185.62	c learnt constraints deletion: 13230 -> 6616
196.93/197.09	c learnt constraints deletion: 14277 -> 7140
207.13/207.25	c learnt constraints deletion: 14292 -> 7146
217.53/217.60	c learnt constraints deletion: 14284 -> 7146
228.64/228.79	c learnt constraints deletion: 14308 -> 7156
239.03/239.17	c learnt constraints deletion: 14355 -> 7181
249.83/249.91	c learnt constraints deletion: 14311 -> 7157
261.02/261.16	c learnt constraints deletion: 14287 -> 7145
271.33/271.49	c learnt constraints deletion: 14232 -> 7116
281.72/281.88	c learnt constraints deletion: 14245 -> 7124
293.01/293.18	c learnt constraints deletion: 15371 -> 7688
304.42/304.50	c learnt constraints deletion: 15331 -> 7666
316.72/316.86	c learnt constraints deletion: 15372 -> 7686
329.11/329.27	c learnt constraints deletion: 15381 -> 7694
340.30/340.40	c learnt constraints deletion: 15355 -> 7678
353.79/353.90	c learnt constraints deletion: 15371 -> 7687
364.69/364.85	c learnt constraints deletion: 15360 -> 7680
376.00/376.14	c learnt constraints deletion: 15373 -> 7688
387.49/387.63	c learnt constraints deletion: 15455 -> 7729
401.59/401.79	c learnt constraints deletion: 15369 -> 7686
413.79/413.96	c learnt constraints deletion: 15363 -> 7683
426.89/427.03	c learnt constraints deletion: 15355 -> 7678
440.28/440.45	c learnt constraints deletion: 15334 -> 7668
454.19/454.37	c learnt constraints deletion: 16646 -> 8325
468.88/469.05	c learnt constraints deletion: 16591 -> 8296
481.98/482.15	c learnt constraints deletion: 16589 -> 8296
494.88/495.03	c learnt constraints deletion: 16634 -> 8320
508.68/508.84	c learnt constraints deletion: 16619 -> 8312
522.28/522.46	c learnt constraints deletion: 16576 -> 8289
535.97/536.19	c learnt constraints deletion: 16564 -> 8283
551.67/551.88	c learnt constraints deletion: 16554 -> 8280
564.47/564.65	c learnt constraints deletion: 16615 -> 8308
577.76/577.95	c learnt constraints deletion: 16626 -> 8315
590.06/590.27	c learnt constraints deletion: 16632 -> 8317
604.66/604.82	c learnt constraints deletion: 16676 -> 8341
620.06/620.24	c learnt constraints deletion: 16675 -> 8340
634.66/634.87	c learnt constraints deletion: 16622 -> 8314
649.25/649.48	c learnt constraints deletion: 16616 -> 8309
663.35/663.51	c learnt constraints deletion: 16579 -> 8293
676.55/676.74	c learnt constraints deletion: 16617 -> 8311
692.04/692.20	c learnt constraints deletion: 16637 -> 8321
709.25/709.43	c learnt constraints deletion: 17889 -> 8945
723.93/724.19	c learnt constraints deletion: 18007 -> 9005
737.94/738.16	c learnt constraints deletion: 18021 -> 9011
751.04/751.30	c learnt constraints deletion: 17940 -> 8973
764.83/765.04	c learnt constraints deletion: 17945 -> 8974
779.52/779.76	c learnt constraints deletion: 18014 -> 9009
793.22/793.43	c learnt constraints deletion: 17970 -> 8988
806.61/806.87	c learnt constraints deletion: 17951 -> 8977
821.31/821.56	c learnt constraints deletion: 18027 -> 9016
836.11/836.39	c learnt constraints deletion: 18035 -> 9020
850.51/850.74	c learnt constraints deletion: 17920 -> 8961
864.91/865.11	c learnt constraints deletion: 17948 -> 8976
879.31/879.57	c learnt constraints deletion: 17988 -> 8996
894.20/894.49	c learnt constraints deletion: 17949 -> 8977
909.90/910.12	c learnt constraints deletion: 18029 -> 9020
924.00/924.29	c learnt constraints deletion: 18043 -> 9024
938.60/938.85	c learnt constraints deletion: 18003 -> 9007
953.99/954.20	c learnt constraints deletion: 18051 -> 9034
968.80/969.10	c learnt constraints deletion: 18024 -> 9019
984.89/985.19	c learnt constraints deletion: 17937 -> 8970
1001.68/1001.90	c learnt constraints deletion: 18040 -> 9025
1017.29/1017.52	c learnt constraints deletion: 17985 -> 8994
1034.28/1034.56	c learnt constraints deletion: 17919 -> 8961
1051.48/1051.76	c learnt constraints deletion: 18000 -> 9003
1069.38/1069.68	c learnt constraints deletion: 19608 -> 9806
1084.87/1085.13	c learnt constraints deletion: 19418 -> 9710
1100.06/1100.36	c learnt constraints deletion: 19453 -> 9728
1117.06/1117.33	c learnt constraints deletion: 19458 -> 9730
1133.35/1133.68	c learnt constraints deletion: 19466 -> 9735
1148.15/1148.41	c learnt constraints deletion: 19454 -> 9729
1166.05/1166.37	c learnt constraints deletion: 19478 -> 9741
1180.94/1181.27	c learnt constraints deletion: 19435 -> 9720
1196.24/1196.51	c learnt constraints deletion: 19396 -> 9699
1212.34/1212.61	c learnt constraints deletion: 19480 -> 9742
1227.74/1228.01	c learnt constraints deletion: 19464 -> 9734
1244.23/1244.51	c learnt constraints deletion: 19487 -> 9748
1259.23/1259.52	c learnt constraints deletion: 19509 -> 9758
1275.73/1276.02	c learnt constraints deletion: 19440 -> 9722
1293.73/1294.07	c learnt constraints deletion: 19452 -> 9728
1309.62/1309.94	c learnt constraints deletion: 19467 -> 9737
1325.42/1325.76	c learnt constraints deletion: 19438 -> 9722
1342.42/1342.79	c learnt constraints deletion: 19436 -> 9721
1359.62/1359.98	c learnt constraints deletion: 19421 -> 9712
1374.62/1374.96	c learnt constraints deletion: 19431 -> 9718
1391.81/1392.13	c learnt constraints deletion: 19478 -> 9741
1409.11/1409.47	c learnt constraints deletion: 19435 -> 9720
1427.41/1427.76	c learnt constraints deletion: 19479 -> 9743
1442.81/1443.19	c learnt constraints deletion: 19499 -> 9754
1459.40/1459.79	c learnt constraints deletion: 19406 -> 9705
1475.60/1475.94	c learnt constraints deletion: 19428 -> 9717
1493.69/1494.05	c learnt constraints deletion: 19421 -> 9714
1512.99/1513.34	c learnt constraints deletion: 19370 -> 9688
1528.28/1528.61	c learnt constraints deletion: 19424 -> 9716
1544.27/1544.60	c learnt constraints deletion: 19541 -> 9778
1561.47/1561.86	c learnt constraints deletion: 19431 -> 9719
1579.76/1580.12	c learnt constraints deletion: 19458 -> 9733
1596.06/1596.45	c learnt constraints deletion: 19528 -> 9773
1612.16/1612.54	c learnt constraints deletion: 19443 -> 9726
1632.06/1632.49	c learnt constraints deletion: 21049 -> 10531
1648.85/1649.29	c learnt constraints deletion: 21062 -> 10532
1667.16/1667.54	c learnt constraints deletion: 21034 -> 10519
1683.55/1683.94	c learnt constraints deletion: 21091 -> 10549
1699.54/1699.90	c learnt constraints deletion: 21067 -> 10536
1715.55/1715.94	c learnt constraints deletion: 21075 -> 10540
1732.24/1732.69	c learnt constraints deletion: 21003 -> 10503
1749.53/1749.94	c learnt constraints deletion: 21025 -> 10515
1766.33/1766.72	c learnt constraints deletion: 21117 -> 10566
1782.53/1782.91	c learnt constraints deletion: 21031 -> 10519

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-3711927-1338234619/watcher-3711927-1338234619 -o /tmp/evaluation-result-3711927-1338234619/solver-3711927-1338234619 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3711927-1338234619.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.06 2.00 3/176 7074
/proc/meminfo: memFree=30626684/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 788 0 0 0 0 0 0 0 20 0 1 0 289586720 6356992 709 33554432000 4194304 8973514 140735511003712 140735887936472 4212523 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7074/statm: 1552 712 423 1167 0 333 0

[startup+0.0562669 s]
/proc/loadavg: 2.05 2.06 2.00 3/176 7074
/proc/meminfo: memFree=30626684/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=9280 CPUtime=0.05 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 1598 0 0 0 5 0 0 0 20 0 1 0 289586720 9502720 1519 33554432000 4194304 8973514 140735511003712 140735887936472 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7074/statm: 2320 1519 427 1167 0 1101 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9280

[startup+0.100266 s]
/proc/loadavg: 2.05 2.06 2.00 3/176 7074
/proc/meminfo: memFree=30626684/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=14400 CPUtime=0.09 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 2649 0 0 0 9 0 0 0 20 0 1 0 289586720 14745600 2570 33554432000 4194304 8973514 140735511003712 140735887936472 4441949 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7074/statm: 3600 2570 442 1167 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14400

[startup+0.30018 s]
/proc/loadavg: 2.05 2.06 2.00 3/176 7074
/proc/meminfo: memFree=30626684/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=14400 CPUtime=0.29 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 2651 0 0 0 29 0 0 0 20 0 1 0 289586720 14745600 2572 33554432000 4194304 8973514 140735511003712 140735887936472 4481760 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7074/statm: 3600 2572 444 1167 0 2381 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14400

[startup+0.700174 s]
/proc/loadavg: 2.05 2.06 2.00 3/176 7074
/proc/meminfo: memFree=30626684/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=14400 CPUtime=0.69 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 2651 0 0 0 69 0 0 0 20 0 1 0 289586720 14745600 2572 33554432000 4194304 8973514 140735511003712 140735511003208 4447480 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7074/statm: 3600 2572 444 1167 0 2381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14400

[startup+1.50018 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 7075
/proc/meminfo: memFree=30618360/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=15424 CPUtime=1.49 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 3181 0 0 0 149 0 0 0 20 0 1 0 289586720 15794176 3102 33554432000 4194304 8973514 140735511003712 140735511003208 4459152 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7074/statm: 3856 3102 468 1167 0 2637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15424

[startup+3.10026 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 7075
/proc/meminfo: memFree=30613028/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=22592 CPUtime=3.09 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 4777 0 0 0 308 1 0 0 20 0 1 0 289586720 23134208 4698 33554432000 4194304 8973514 140735511003712 140735511003208 4459404 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7074/statm: 5648 4698 468 1167 0 4429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22592

[startup+6.30019 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 7075
/proc/meminfo: memFree=30602480/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=31808 CPUtime=6.29 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 7277 0 0 0 626 3 0 0 20 0 1 0 289586720 32571392 7198 33554432000 4194304 8973514 140735511003712 140735511002976 4212545 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7074/statm: 7952 7198 468 1167 0 6733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31808

[startup+12.7003 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 7075
/proc/meminfo: memFree=30581656/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=51264 CPUtime=12.68 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 12141 0 0 0 1261 7 0 0 20 0 1 0 289586720 52494336 12062 33554432000 4194304 8973514 140735511003712 140735511003208 4438409 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 12816 12062 468 1167 0 11597 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 51264

[startup+25.5003 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 7076
/proc/meminfo: memFree=30567452/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=62528 CPUtime=25.48 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 14960 0 0 0 2536 12 0 0 20 0 1 0 289586720 64028672 14879 33554432000 4194304 8973514 140735511003712 140735511003208 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 15632 14879 469 1167 0 14413 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62528

[startup+51.1003 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 7076
/proc/meminfo: memFree=30563632/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=66624 CPUtime=51.07 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 16764 0 0 0 5084 23 0 0 20 0 1 0 289586720 68222976 15903 33554432000 4194304 8973514 140735511003712 140735511003208 4414924 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 16656 15903 469 1167 0 15437 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66624

[startup+102.306 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 7076
/proc/meminfo: memFree=30550544/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=78912 CPUtime=102.26 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 25212 0 0 0 10179 47 0 0 20 0 1 0 289586720 80805888 18975 33554432000 4194304 8973514 140735511003712 140735511003208 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 19728 18975 469 1167 0 18509 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 78912

[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 7076
/proc/meminfo: memFree=30540844/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=87104 CPUtime=162.24 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 32651 0 0 0 16149 75 0 0 20 0 1 0 289586720 89194496 21023 33554432000 4194304 8973514 140735511003712 140735511003208 4434742 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 21776 21023 469 1167 0 20557 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 87104

[startup+222.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 7114
/proc/meminfo: memFree=30464736/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=95296 CPUtime=222.23 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 39563 0 0 0 22119 104 0 0 20 0 1 0 289586720 97583104 23071 33554432000 4194304 8973514 140735511003712 140735511003208 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 23824 23071 469 1167 0 22605 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 95296

[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 7114
/proc/meminfo: memFree=30448352/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=103488 CPUtime=282.22 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 55692 0 0 0 28088 134 0 0 20 0 1 0 289586720 105971712 25119 33554432000 4194304 8973514 140735511003712 140735510986808 4436280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 25872 25119 469 1167 0 24653 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 103488

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 7115
/proc/meminfo: memFree=30460692/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=89152 CPUtime=342.2 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 62363 0 0 0 34058 162 0 0 20 0 1 0 289586720 91291648 21535 33554432000 4194304 8973514 140735511003712 140735511003208 6570455 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 22288 21535 469 1167 0 21069 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 89152

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7115
/proc/meminfo: memFree=30419024/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=108608 CPUtime=402.19 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 73627 0 0 0 40029 190 0 0 20 0 1 0 289586720 111214592 26399 33554432000 4194304 8973514 140735511003712 140735510986808 4436448 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 27152 26399 469 1167 0 25933 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 108608

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7115
/proc/meminfo: memFree=30375912/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=111680 CPUtime=462.18 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 81819 0 0 0 46000 218 0 0 20 0 1 0 289586720 114360320 27167 33554432000 4194304 8973514 140735511003712 140735511003208 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 27920 27167 469 1167 0 26701 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 111680

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7115
/proc/meminfo: memFree=30328480/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=118848 CPUtime=522.17 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 86688 0 0 0 51972 245 0 0 20 0 1 0 289586720 121700352 28959 33554432000 4194304 8973514 140735511003712 140735511003208 7717280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 29712 28959 469 1167 0 28493 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 118848

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7115
/proc/meminfo: memFree=30306384/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=99392 CPUtime=582.16 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 96928 0 0 0 57943 273 0 0 20 0 1 0 289586720 101777408 24095 33554432000 4194304 8973514 140735511003712 140735511002976 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 24848 24095 469 1167 0 23629 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 99392

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7142
/proc/meminfo: memFree=30196624/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=128064 CPUtime=822.11 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 138676 0 0 0 81831 380 0 0 20 0 1 0 289586720 131137536 31263 33554432000 4194304 8973514 140735511003712 140735510986808 6570552 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 32016 31263 469 1167 0 30797 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 128064

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7142
/proc/meminfo: memFree=30191688/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=107584 CPUtime=882.11 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 141748 0 0 0 87803 408 0 0 20 0 1 0 289586720 110166016 26143 33554432000 4194304 8973514 140735511003712 140735511003208 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 26896 26143 469 1167 0 25677 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 107584

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7143
/proc/meminfo: memFree=30159788/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=119872 CPUtime=942.1 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 162484 0 0 0 93773 437 0 0 20 0 1 0 289586720 122748928 29215 33554432000 4194304 8973514 140735511003712 140735511003208 4434773 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 29968 29215 469 1167 0 28749 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 119872

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 7143
/proc/meminfo: memFree=30134240/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=123968 CPUtime=1002.09 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 163764 0 0 0 99746 463 0 0 20 0 1 0 289586720 126943232 30239 33554432000 4194304 8973514 140735511003712 140735510986808 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 30992 30239 469 1167 0 29773 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 123968

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7143
/proc/meminfo: memFree=30117928/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=95296 CPUtime=1062.08 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 169148 0 0 0 105719 489 0 0 20 0 1 0 289586720 97583104 23071 33554432000 4194304 8973514 140735511003712 140735511003208 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 23824 23071 469 1167 0 22605 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 95296

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7143
/proc/meminfo: memFree=30076688/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=136256 CPUtime=1122.06 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 186831 0 0 0 111689 517 0 0 20 0 1 0 289586720 139526144 33311 33554432000 4194304 8973514 140735511003712 140735511003208 4427744 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 34064 33311 469 1167 0 32845 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 136256

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7143
/proc/meminfo: memFree=30062540/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=138304 CPUtime=1182.04 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 197088 0 0 0 117661 543 0 0 20 0 1 0 289586720 141623296 33823 33554432000 4194304 8973514 140735511003712 140735511002976 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 34576 33823 469 1167 0 33357 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 138304

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7147
/proc/meminfo: memFree=30053180/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=133184 CPUtime=1242.03 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 199648 0 0 0 123633 570 0 0 20 0 1 0 289586720 136380416 32543 33554432000 4194304 8973514 140735511003712 140735511003208 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 33296 32543 469 1167 0 32077 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 133184

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7147
/proc/meminfo: memFree=30050928/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=115776 CPUtime=1302.03 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 204768 0 0 0 129607 596 0 0 20 0 1 0 289586720 118554624 28191 33554432000 4194304 8973514 140735511003712 140735511002976 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 28944 28191 469 1167 0 27725 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 115776

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7147
/proc/meminfo: memFree=30035812/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=112704 CPUtime=1362.02 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 211936 0 0 0 135580 622 0 0 20 0 1 0 289586720 115408896 27423 33554432000 4194304 8973514 140735511003712 140735511003208 7408376 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 28176 27423 469 1167 0 26957 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 112704

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7147
/proc/meminfo: memFree=30016800/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=115776 CPUtime=1422.02 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 222176 0 0 0 141555 647 0 0 20 0 1 0 289586720 118554624 28191 33554432000 4194304 8973514 140735511003712 140735511003208 4441520 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 28944 28191 469 1167 0 27725 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 115776

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 7147
/proc/meminfo: memFree=30005996/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=113728 CPUtime=1481.99 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 225248 0 0 0 147529 670 0 0 20 0 1 0 289586720 116457472 27679 33554432000 4194304 8973514 140735511003712 140735511003208 4434665 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 28432 27679 469 1167 0 27213 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 113728

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7148
/proc/meminfo: memFree=29970148/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=135232 CPUtime=1541.97 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 240885 0 0 0 153502 695 0 0 20 0 1 0 289586720 138477568 33055 33554432000 4194304 8973514 140735511003712 140735511003208 7601797 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 33808 33055 469 1167 0 32589 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 135232

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7148
/proc/meminfo: memFree=29962836/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=123968 CPUtime=1601.96 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 248843 0 0 0 159475 721 0 0 20 0 1 0 289586720 126943232 30239 33554432000 4194304 8973514 140735511003712 140735511002976 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 30992 30239 469 1167 0 29773 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 123968

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7148
/proc/meminfo: memFree=29916060/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=122944 CPUtime=1661.94 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 258571 0 0 0 165447 747 0 0 20 0 1 0 289586720 125894656 29983 33554432000 4194304 8973514 140735511003712 140735511002976 7672539 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 30736 29983 469 1167 0 29517 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 122944

[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 7148
/proc/meminfo: memFree=29926872/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=111680 CPUtime=1721.94 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 267019 0 0 0 171421 773 0 0 20 0 1 0 289586720 114360320 27167 33554432000 4194304 8973514 140735511003712 140735511003208 6570518 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 27920 27167 469 1167 0 26701 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 111680

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7148
/proc/meminfo: memFree=29922668/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=115776 CPUtime=1781.93 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 271883 0 0 0 177395 798 0 0 20 0 1 0 289586720 118554624 28191 33554432000 4194304 8973514 140735511003712 140735511003208 4427744 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 28944 28191 469 1167 0 27725 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 115776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 7151
/proc/meminfo: memFree=29931100/32873844 swapFree=6600/6600
[pid=7074] ppid=7072 vsize=107584 CPUtime=1800.03 cores=0,2,4,6
/proc/7074/stat : 7074 (toysat) R 7072 7074 6458 0 -1 4202496 271883 0 0 0 179198 805 0 0 20 0 1 0 289586720 110166016 26143 33554432000 4194304 8973514 140735511003712 140735511003208 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/7074/statm: 26896 26143 469 1167 0 25677 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 107584

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1791.99
CPU system time (s): 8.06077
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 159808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.99
system time used= 8.06077
maximum resident set size= 156796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271883
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= 168
involuntary context switches= 2089

runsolver used 3.03154 second user time and 9.03263 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-28 21:50:19
IDJOB=3711927
IDBENCH=79606
IDSOLVER=2291
FILE ID=node140/3711927-1338234619
RUNJOBID= node140-1338229108-6474
PBS_JOBID= 14624641
Free space on /tmp= 71328 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-408_wcsp.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711927-1338234619/watcher-3711927-1338234619 -o /tmp/evaluation-result-3711927-1338234619/solver-3711927-1338234619 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3711927-1338234619.wbo

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

MD5SUM BENCH= 48ac1863348303136e0aa9da5ae3256d
RANDOM SEED=644691784

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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.92
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		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.88
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		: 2667.094
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.90
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		: 2667.094
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:       32873844 kB
MemFree:        30627288 kB
Buffers:          550580 kB
Cached:           786540 kB
SwapCached:         1516 kB
Active:          1043592 kB
Inactive:         318460 kB
Active(anon):      16344 kB
Inactive(anon):     8636 kB
Active(file):    1027248 kB
Inactive(file):   309824 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105308 kB
Dirty:              7416 kB
Writeback:             0 kB
AnonPages:         27684 kB
Mapped:            13360 kB
Shmem:                 8 kB
Slab:             744464 kB
SReclaimable:     186652 kB
SUnreclaim:       557812 kB
KernelStack:        1456 kB
PageTables:         3484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     137524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71320 MiB
End job on node140 at 2012-05-28 22:20:21