Trace number 334693

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, and are wall clock time (not CPU 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
ornithorynque 0.1 alpha? (TO) 1200.09 605.066

General information on the benchmark

Namecrafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf
MD5SUM7b512e3533a048c6d67b6f8a4c658d50
Bench CategoryCRAFTED (crafted 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 variables16476
Number of clauses2507763
Sum of the clauses size5027938
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22505731
Number of clauses of size 30
Number of clauses of size 415
Number of clauses of size 59
Number of clauses of size over 52008

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
4.79/4.88	c ...done
4.79/4.88	c nbVar=16476 nbClause=2507763
5.79/5.89	c nbVar=16476 nbClause=2507763
7.09/7.19	c complete search running
7.09/7.19	c local search running
8.00/7.62	c flip 0 nbSat=1863922 maxSat=0
12.39/9.87	c flip 10000 nbSat=2504800 maxSat=2505136
17.17/12.25	c flip 20000 nbSat=2504912 maxSat=2505188
21.96/14.66	c flip 30000 nbSat=2504995 maxSat=2505313
26.75/17.09	c flip 40000 nbSat=2505001 maxSat=2505411
31.74/19.53	c flip 50000 nbSat=2505063 maxSat=2505431
36.73/22.01	c flip 60000 nbSat=2505112 maxSat=2505431
41.51/24.47	c flip 70000 nbSat=2505314 maxSat=2505591
46.50/26.90	c flip 80000 nbSat=2505325 maxSat=2505591
51.29/29.33	c flip 90000 nbSat=2505186 maxSat=2505591
56.06/31.77	c flip 100000 nbSat=2505057 maxSat=2505591
61.04/34.22	c flip 110000 nbSat=2505259 maxSat=2505602
65.83/36.68	c flip 120000 nbSat=2505222 maxSat=2505602
70.82/39.13	c flip 130000 nbSat=2505342 maxSat=2505605
75.61/41.59	c flip 140000 nbSat=2505298 maxSat=2505651
80.61/44.07	c flip 150000 nbSat=2505349 maxSat=2505651
85.59/46.52	c flip 160000 nbSat=2505125 maxSat=2505651
90.38/48.97	c flip 170000 nbSat=2505277 maxSat=2505674
95.37/51.42	c flip 180000 nbSat=2505699 maxSat=2505757
100.16/53.87	c flip 190000 nbSat=2505311 maxSat=2505757
105.14/56.33	c flip 200000 nbSat=2505248 maxSat=2505771
109.93/58.79	c flip 210000 nbSat=2505591 maxSat=2505771
114.92/61.25	c flip 220000 nbSat=2505154 maxSat=2505771
119.92/63.71	c flip 230000 nbSat=2505333 maxSat=2505771
124.69/66.17	c flip 240000 nbSat=2505486 maxSat=2505771
129.67/68.62	c flip 250000 nbSat=2505404 maxSat=2505783
134.46/71.05	c flip 260000 nbSat=2505381 maxSat=2505799
139.25/73.48	c flip 270000 nbSat=2505225 maxSat=2505799
144.26/75.94	c flip 280000 nbSat=2505553 maxSat=2505799
149.04/78.37	c flip 290000 nbSat=2505389 maxSat=2505886
153.83/80.80	c flip 300000 nbSat=2505697 maxSat=2505904
158.82/83.22	c flip 310000 nbSat=2505488 maxSat=2505904
163.61/85.62	c flip 320000 nbSat=2505234 maxSat=2505904
169.20/88.41	c flip 0 nbSat=1891297 maxSat=2505904
173.99/90.89	c flip 10000 nbSat=2510745 maxSat=2511047
179.57/93.66	c flip 20000 nbSat=2510695 maxSat=2511054
185.16/96.48	c flip 30000 nbSat=2510914 maxSat=2511136
190.75/99.28	c flip 40000 nbSat=2510942 maxSat=2511264
196.54/102.15	c flip 50000 nbSat=2510965 maxSat=2511272
202.32/105.00	c flip 60000 nbSat=2510976 maxSat=2511329
207.92/107.84	c flip 70000 nbSat=2511152 maxSat=2511401
213.70/110.71	c flip 80000 nbSat=2510771 maxSat=2511401
218.47/113.19	c nbDecision=10000 #clauses=2515136
219.47/113.64	c flip 90000 nbSat=2510970 maxSat=2511401
225.06/116.50	c flip 100000 nbSat=2511192 maxSat=2511493
230.84/119.34	c flip 110000 nbSat=2511179 maxSat=2511493
236.63/122.26	c flip 120000 nbSat=2511121 maxSat=2511493
242.42/125.10	c flip 130000 nbSat=2511444 maxSat=2511647
248.00/127.93	c flip 140000 nbSat=2511444 maxSat=2511647
253.59/130.74	c flip 150000 nbSat=2511291 maxSat=2511647
259.38/133.62	c flip 160000 nbSat=2511349 maxSat=2511647
265.17/136.51	c flip 170000 nbSat=2511280 maxSat=2511647
270.96/139.42	c flip 180000 nbSat=2511019 maxSat=2511647
276.74/142.32	c flip 190000 nbSat=2511304 maxSat=2511647
282.34/145.19	c flip 200000 nbSat=2511088 maxSat=2511647
288.12/148.05	c flip 210000 nbSat=2511146 maxSat=2511647
293.90/150.92	c flip 220000 nbSat=2511347 maxSat=2511647
299.49/153.76	c flip 230000 nbSat=2511048 maxSat=2511647
305.49/156.71	c flip 240000 nbSat=2511353 maxSat=2511647
311.25/159.63	c flip 250000 nbSat=2511351 maxSat=2511647
317.04/162.53	c flip 260000 nbSat=2511231 maxSat=2511647
322.83/165.48	c flip 270000 nbSat=2511333 maxSat=2511647
328.82/168.40	c flip 280000 nbSat=2511198 maxSat=2511647
334.40/171.28	c flip 290000 nbSat=2511234 maxSat=2511659
340.19/174.19	c flip 300000 nbSat=2511254 maxSat=2511659
346.18/177.11	c flip 310000 nbSat=2511369 maxSat=2511659
351.97/180.00	c flip 320000 nbSat=2511274 maxSat=2511682
358.36/183.22	c flip 0 nbSat=1893262 maxSat=2511702
363.75/185.93	c flip 10000 nbSat=2515868 maxSat=2516005
370.14/189.18	c flip 20000 nbSat=2516047 maxSat=2516142
376.92/192.50	c flip 30000 nbSat=2516057 maxSat=2516227
383.31/195.74	c flip 40000 nbSat=2516111 maxSat=2516278
389.90/199.03	c flip 50000 nbSat=2515932 maxSat=2516298
396.48/202.32	c flip 60000 nbSat=2516044 maxSat=2516370
402.84/205.52	c flip 70000 nbSat=2516292 maxSat=2516439
409.03/208.70	c flip 80000 nbSat=2516265 maxSat=2516577
415.61/211.98	c flip 90000 nbSat=2515810 maxSat=2516577
422.00/215.11	c flip 100000 nbSat=2516354 maxSat=2516715
428.39/218.30	c flip 110000 nbSat=2516172 maxSat=2516715
434.97/221.68	c flip 120000 nbSat=2516387 maxSat=2516715
441.36/224.89	c flip 130000 nbSat=2516452 maxSat=2516715
448.14/228.26	c flip 140000 nbSat=2516117 maxSat=2516715
454.73/231.50	c flip 150000 nbSat=2516433 maxSat=2516740
461.11/234.79	c flip 160000 nbSat=2516020 maxSat=2516740
467.91/238.10	c flip 170000 nbSat=2516274 maxSat=2516740
474.49/241.47	c flip 180000 nbSat=2515957 maxSat=2516740
481.27/244.82	c flip 190000 nbSat=2516345 maxSat=2516740
487.85/248.19	c flip 200000 nbSat=2516167 maxSat=2516740
494.83/251.60	c flip 210000 nbSat=2516565 maxSat=2516740
501.41/254.94	c flip 220000 nbSat=2516481 maxSat=2516740
508.00/258.21	c flip 230000 nbSat=2516183 maxSat=2516788
514.38/261.40	c flip 240000 nbSat=2516550 maxSat=2516882
520.57/264.59	c flip 250000 nbSat=2516682 maxSat=2516882
526.96/267.73	c flip 260000 nbSat=2516314 maxSat=2516882
533.55/271.00	c flip 270000 nbSat=2516398 maxSat=2516882
540.13/274.36	c flip 280000 nbSat=2516119 maxSat=2516882
546.92/277.76	c flip 290000 nbSat=2516307 maxSat=2516882
553.70/281.14	c flip 300000 nbSat=2516309 maxSat=2516882
560.09/284.36	c flip 310000 nbSat=2516463 maxSat=2516882
566.67/287.63	c flip 320000 nbSat=2516267 maxSat=2516882
573.66/291.11	c flip 0 nbSat=1890493 maxSat=2516882
579.43/294.07	c flip 10000 nbSat=2520570 maxSat=2520752
587.41/298.02	c flip 20000 nbSat=2520624 maxSat=2520828
595.40/302.06	c flip 30000 nbSat=2520673 maxSat=2520939
603.58/306.13	c flip 40000 nbSat=2520639 maxSat=2521064
608.77/308.74	c nbDecision=20000 #clauses=2524463
611.57/310.17	c flip 50000 nbSat=2520741 maxSat=2521064
619.55/314.18	c flip 60000 nbSat=2520941 maxSat=2521116
627.73/318.26	c flip 70000 nbSat=2520894 maxSat=2521180
635.92/322.33	c flip 80000 nbSat=2520988 maxSat=2521190
643.89/326.38	c flip 90000 nbSat=2520704 maxSat=2521249
651.87/330.30	c flip 100000 nbSat=2520838 maxSat=2521367
659.86/334.32	c flip 110000 nbSat=2521233 maxSat=2521367
667.23/338.05	c flip 120000 nbSat=2521032 maxSat=2521464
674.81/341.86	c flip 130000 nbSat=2520573 maxSat=2521464
683.19/346.05	c flip 140000 nbSat=2520852 maxSat=2521464
691.57/350.25	c flip 150000 nbSat=2520563 maxSat=2521464
699.75/354.30	c flip 160000 nbSat=2520758 maxSat=2521464
707.74/358.32	c flip 170000 nbSat=2521000 maxSat=2521464
715.13/362.05	c flip 180000 nbSat=2520962 maxSat=2521464
722.31/365.70	c flip 190000 nbSat=2520610 maxSat=2521464
730.30/369.66	c flip 200000 nbSat=2521135 maxSat=2521464
738.08/373.52	c flip 210000 nbSat=2520916 maxSat=2521464
746.26/377.62	c flip 220000 nbSat=2520658 maxSat=2521464
754.45/381.70	c flip 230000 nbSat=2521159 maxSat=2521464
762.22/385.67	c flip 240000 nbSat=2520996 maxSat=2521464
770.19/389.67	c flip 250000 nbSat=2520739 maxSat=2521464
778.38/393.78	c flip 260000 nbSat=2520991 maxSat=2521464
786.36/397.72	c flip 270000 nbSat=2521160 maxSat=2521464
794.74/401.91	c flip 280000 nbSat=2520750 maxSat=2521464
802.53/405.85	c flip 290000 nbSat=2520936 maxSat=2521464
810.50/409.80	c flip 300000 nbSat=2520911 maxSat=2521464
818.48/413.84	c flip 310000 nbSat=2520807 maxSat=2521464
826.67/417.94	c flip 320000 nbSat=2520826 maxSat=2521464
835.26/422.25	c flip 0 nbSat=1888978 maxSat=2521464
842.05/425.66	c flip 10000 nbSat=2527290 maxSat=2527556
850.82/430.09	c flip 20000 nbSat=2527466 maxSat=2527694
860.18/434.71	c flip 30000 nbSat=2527613 maxSat=2527884
869.56/439.41	c flip 40000 nbSat=2527792 maxSat=2527884
879.54/444.40	c flip 50000 nbSat=2527750 maxSat=2527912
889.12/449.24	c flip 60000 nbSat=2527416 maxSat=2528019
898.50/453.98	c flip 70000 nbSat=2527812 maxSat=2528054
908.08/458.78	c flip 80000 nbSat=2527665 maxSat=2528206
917.86/463.64	c flip 90000 nbSat=2527577 maxSat=2528206
927.24/468.37	c flip 100000 nbSat=2527846 maxSat=2528206
936.81/473.10	c flip 110000 nbSat=2527391 maxSat=2528222
946.18/477.80	c flip 120000 nbSat=2527819 maxSat=2528222
955.56/482.58	c flip 130000 nbSat=2527817 maxSat=2528222
964.74/487.18	c flip 140000 nbSat=2527557 maxSat=2528222
974.72/492.14	c flip 150000 nbSat=2527774 maxSat=2528222
984.09/496.87	c flip 160000 nbSat=2527580 maxSat=2528222
993.68/501.66	c flip 170000 nbSat=2528030 maxSat=2528222
1003.06/506.32	c flip 180000 nbSat=2527737 maxSat=2528222
1012.84/511.20	c flip 190000 nbSat=2527751 maxSat=2528222
1013.44/511.55	c nbDecision=30000 #clauses=2533823
1022.61/516.18	c flip 200000 nbSat=2527919 maxSat=2528222
1032.19/520.92	c flip 210000 nbSat=2528095 maxSat=2528232
1041.77/525.77	c flip 220000 nbSat=2527974 maxSat=2528245
1051.34/530.56	c flip 230000 nbSat=2527837 maxSat=2528245
1061.32/535.50	c flip 240000 nbSat=2527975 maxSat=2528245
1070.89/540.31	c flip 250000 nbSat=2528057 maxSat=2528345
1080.67/545.28	c flip 260000 nbSat=2527836 maxSat=2528345
1089.85/549.85	c flip 270000 nbSat=2528131 maxSat=2528345
1099.24/554.57	c flip 280000 nbSat=2527746 maxSat=2528351
1108.62/559.21	c flip 290000 nbSat=2527907 maxSat=2528364
1118.38/564.10	c flip 300000 nbSat=2528253 maxSat=2528364
1127.96/568.91	c flip 310000 nbSat=2527760 maxSat=2528364
1137.14/573.59	c flip 320000 nbSat=2528131 maxSat=2528375
1146.52/578.29	c flip 0 nbSat=1910377 maxSat=2528375
1153.91/581.95	c flip 10000 nbSat=2532894 maxSat=2533191
1164.69/587.38	c flip 20000 nbSat=2533043 maxSat=2533191
1175.66/592.84	c flip 30000 nbSat=2533221 maxSat=2533264
1187.03/598.57	c flip 40000 nbSat=2533179 maxSat=2533459
1198.00/604.06	c flip 50000 nbSat=2533192 maxSat=2533514

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node4/watcher-334693-1173587505 -o ROOT/results/node4/solver-334693-1173587505 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/334693-1173587505/ornithorynque /tmp/evaluation/334693-1173587505/instance-334693-1173587505.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 30119
/proc/meminfo: memFree=1434920/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=23220 CPUtime=0
/proc/30119/stat : 30119 (ornithorynque) R 30117 30119 30018 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 378705854 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259910563466 0 0 4096 0 0 0 0 17 1 0 0
/proc/30119/statm: 5805 266 219 42 0 45 0

[startup+0.0237241 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 30119
/proc/meminfo: memFree=1434920/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=24316 CPUtime=0.01
/proc/30119/stat : 30119 (ornithorynque) R 30117 30119 30018 0 -1 4194304 706 0 0 0 1 0 0 0 18 0 1 0 378705854 24899584 667 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259913094714 0 0 4096 1088 0 0 0 17 1 0 0
/proc/30119/statm: 6079 667 377 42 0 331 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 24316

[startup+0.101732 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 30119
/proc/meminfo: memFree=1434920/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=27868 CPUtime=0.09
/proc/30119/stat : 30119 (ornithorynque) R 30117 30119 30018 0 -1 4194304 1691 0 0 0 9 0 0 0 18 0 1 0 378705854 28536832 1554 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259913061089 0 0 4096 1088 0 0 0 17 1 0 0
/proc/30119/statm: 6967 1555 377 42 0 1219 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27868

[startup+0.301751 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 30119
/proc/meminfo: memFree=1434920/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=37720 CPUtime=0.29
/proc/30119/stat : 30119 (ornithorynque) R 30117 30119 30018 0 -1 4194304 4360 0 0 0 28 1 0 0 19 0 1 0 378705854 38625280 3837 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259913061089 0 0 4096 1088 0 0 0 17 1 0 0
/proc/30119/statm: 9430 3838 377 42 0 3682 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37720

[startup+0.701788 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 30119
/proc/meminfo: memFree=1434920/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=56400 CPUtime=0.69
/proc/30119/stat : 30119 (ornithorynque) R 30117 30119 30018 0 -1 4194304 9457 0 0 0 65 4 0 0 23 0 1 0 378705854 57753600 8421 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259913061089 0 0 4096 1088 0 0 0 17 1 0 0
/proc/30119/statm: 14100 8421 377 42 0 8352 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56400

[startup+1.50186 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30120
/proc/meminfo: memFree=1389024/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=93892 CPUtime=1.49
/proc/30119/stat : 30119 (ornithorynque) R 30117 30119 30018 0 -1 4194304 19659 0 0 0 139 10 0 0 25 0 1 0 378705854 96145408 17598 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259913061089 0 0 4096 1088 0 0 0 17 1 0 0
/proc/30119/statm: 23473 17599 377 42 0 17725 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93892

[startup+3.10202 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30120
/proc/meminfo: memFree=1338400/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=168876 CPUtime=3.09
/proc/30119/stat : 30119 (ornithorynque) R 30117 30119 30018 0 -1 4194304 40069 0 0 0 290 19 0 0 25 0 1 0 378705854 172929024 35959 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259913061089 0 0 4096 1088 0 0 0 17 1 0 0
/proc/30119/statm: 42219 35959 377 42 0 36471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 168876

[startup+6.30132 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30120
/proc/meminfo: memFree=1192288/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=335912 CPUtime=6.29
/proc/30119/stat : 30119 (ornithorynque) R 30117 30119 30018 0 -1 4194304 88396 0 0 0 587 42 0 0 25 0 1 0 378705854 343973888 72023 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259913061089 0 0 4096 1088 0 0 0 17 1 0 0
/proc/30119/statm: 83978 72023 382 42 0 78230 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 335912

[startup+12.7029 s]
/proc/loadavg: 1.07 1.00 1.00 3/80 30122
/proc/meminfo: memFree=1127120/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=386260 CPUtime=18.17
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 95864 0 0 0 1772 45 0 0 25 0 3 0 378705854 395530240 77042 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 96565 77042 387 42 0 90817 0
[pid=30119/tid=30121] ppid=30117 vsize=386260 CPUtime=5.5
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 2471 0 0 0 549 1 0 0 25 0 3 0 378706573 395530240 77042 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=386260 CPUtime=5.48
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 2 0 0 0 548 0 0 0 25 0 3 0 378706573 395530240 77042 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.17
Current children cumulated vsize (KiB) 386260

[startup+25.5012 s]
/proc/loadavg: 1.22 1.03 1.01 3/80 30122
/proc/meminfo: memFree=1127120/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=386260 CPUtime=43.7
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 95867 0 0 0 4324 46 0 0 25 0 3 0 378705854 395530240 77045 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 96565 77045 387 42 0 90817 0
[pid=30119/tid=30121] ppid=30117 vsize=386260 CPUtime=18.29
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 2474 0 0 0 1828 1 0 0 25 0 3 0 378706573 395530240 77045 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=386260 CPUtime=18.21
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 2 0 0 0 1821 0 0 0 25 0 3 0 378706573 395530240 77045 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 43.7
Current children cumulated vsize (KiB) 386260

[startup+51.1016 s]
/proc/loadavg: 1.48 1.11 1.03 3/80 30122
/proc/meminfo: memFree=1127184/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=386260 CPUtime=94.77
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 95873 0 0 0 9431 46 0 0 25 0 3 0 378705854 395530240 77051 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 96565 77051 387 42 0 90817 0
[pid=30119/tid=30121] ppid=30117 vsize=386260 CPUtime=43.89
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 2480 0 0 0 4388 1 0 0 25 0 3 0 378706573 395530240 77051 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=386260 CPUtime=43.68
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 2 0 0 0 4368 0 0 0 25 0 3 0 378706573 395530240 77051 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 94.77
Current children cumulated vsize (KiB) 386260

[startup+102.306 s]
/proc/loadavg: 1.79 1.26 1.09 3/80 30122
/proc/meminfo: memFree=1124624/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=394800 CPUtime=196.94
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 97865 0 0 0 19646 48 0 0 25 0 3 0 378705854 404275200 77741 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 98700 77741 387 42 0 92952 0
[pid=30119/tid=30121] ppid=30117 vsize=394800 CPUtime=95.08
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 2556 0 0 0 9506 2 0 0 25 0 3 0 378706573 404275200 77741 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=394800 CPUtime=94.66
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 1918 0 0 0 9465 1 0 0 25 0 3 0 378706573 404275200 77741 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 196.94
Current children cumulated vsize (KiB) 394800

[startup+162.301 s]
/proc/loadavg: 1.92 1.39 1.14 3/80 30122
/proc/meminfo: memFree=1123536/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=395976 CPUtime=316.64
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 98147 0 0 0 31615 49 0 0 25 0 3 0 378705854 405479424 78023 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 98994 78023 387 42 0 93246 0
[pid=30119/tid=30121] ppid=30117 vsize=395976 CPUtime=155.06
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 2838 0 0 0 15503 3 0 0 25 0 3 0 378706573 405479424 78023 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=395976 CPUtime=154.38
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 1918 0 0 0 15437 1 0 0 25 0 3 0 378706573 405479424 78023 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242647 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 316.64
Current children cumulated vsize (KiB) 395976

[startup+222.302 s]
/proc/loadavg: 1.97 1.50 1.19 3/80 30122
/proc/meminfo: memFree=1119440/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=400372 CPUtime=436.37
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 99155 0 0 0 43587 50 0 0 25 0 3 0 378705854 409980928 79031 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 100093 79031 387 42 0 94345 0
[pid=30119/tid=30121] ppid=30117 vsize=400372 CPUtime=215.05
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 3189 0 0 0 21501 4 0 0 25 0 3 0 378706573 409980928 79031 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311635 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=400372 CPUtime=214.13
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 2575 0 0 0 21411 2 0 0 25 0 3 0 378706573 409980928 79031 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 436.37
Current children cumulated vsize (KiB) 400372

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.24 3/80 30122
/proc/meminfo: memFree=1118032/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=401824 CPUtime=556.1
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 99511 0 0 0 55558 52 0 0 25 0 3 0 378705854 411467776 79387 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 100456 79387 387 42 0 94708 0
[pid=30119/tid=30121] ppid=30117 vsize=401824 CPUtime=275.03
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 3545 0 0 0 27498 5 0 0 25 0 3 0 378706573 411467776 79387 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=401824 CPUtime=273.87
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 2575 0 0 0 27385 2 0 0 25 0 3 0 378706573 411467776 79387 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 556.1
Current children cumulated vsize (KiB) 401824

[startup+342.301 s]
/proc/loadavg: 1.99 1.66 1.29 3/80 30122
/proc/meminfo: memFree=1113744/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=406348 CPUtime=675.8
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 100585 0 0 0 67527 53 0 0 25 0 3 0 378705854 416100352 80461 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 101587 80461 387 42 0 95839 0
[pid=30119/tid=30121] ppid=30117 vsize=406348 CPUtime=335.02
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 3905 0 0 0 33496 6 0 0 25 0 3 0 378706573 416100352 80461 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=406348 CPUtime=333.6
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 3289 0 0 0 33357 3 0 0 25 0 3 0 378706573 416100352 80461 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 675.8
Current children cumulated vsize (KiB) 406348

[startup+402.301 s]
/proc/loadavg: 1.99 1.72 1.33 3/80 30122
/proc/meminfo: memFree=1112464/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=407544 CPUtime=795.54
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 100911 0 0 0 79500 54 0 0 25 0 3 0 378705854 417325056 80787 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 101886 80787 387 42 0 96138 0
[pid=30119/tid=30121] ppid=30117 vsize=407544 CPUtime=395
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 4231 0 0 0 39494 6 0 0 25 0 3 0 378706573 417325056 80787 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=407544 CPUtime=393.34
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 3289 0 0 0 39331 3 0 0 25 0 3 0 378706573 417325056 80787 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 795.54
Current children cumulated vsize (KiB) 407544

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.37 3/80 30122
/proc/meminfo: memFree=1108496/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=411996 CPUtime=915.26
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 101903 0 0 0 91471 55 0 0 25 0 3 0 378705854 421883904 81779 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 102999 81779 387 42 0 97251 0
[pid=30119/tid=30121] ppid=30117 vsize=411996 CPUtime=454.98
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 4570 0 0 0 45491 7 0 0 25 0 3 0 378706573 421883904 81779 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=411996 CPUtime=453.08
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 3942 0 0 0 45305 3 0 0 25 0 3 0 378706573 421883904 81779 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283762 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 915.26
Current children cumulated vsize (KiB) 411996

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.40 3/80 30122
/proc/meminfo: memFree=1107216/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=413312 CPUtime=1034.98
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 102223 0 0 0 103442 56 0 0 25 0 3 0 378705854 423231488 82099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 103328 82099 387 42 0 97580 0
[pid=30119/tid=30121] ppid=30117 vsize=413312 CPUtime=514.97
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 4890 0 0 0 51489 8 0 0 25 0 3 0 378706573 423231488 82099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=413312 CPUtime=512.81
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 3942 0 0 0 51278 3 0 0 25 0 3 0 378706573 423231488 82099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241539 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1034.98
Current children cumulated vsize (KiB) 413312

[startup+582.301 s]
/proc/loadavg: 1.99 1.84 1.44 3/80 30122
/proc/meminfo: memFree=1102672/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=418464 CPUtime=1154.7
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 103398 0 0 0 115412 58 0 0 25 0 3 0 378705854 428507136 83274 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 104616 83274 387 42 0 98868 0
[pid=30119/tid=30121] ppid=30117 vsize=418464 CPUtime=574.95
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 5180 0 0 0 57486 9 0 0 25 0 3 0 378706573 428507136 83274 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=418464 CPUtime=572.55
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 4827 0 0 0 57251 4 0 0 25 0 3 0 378706573 428507136 83274 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1154.7
Current children cumulated vsize (KiB) 418464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+605.006 s]
/proc/loadavg: 1.99 1.85 1.45 3/80 30122
/proc/meminfo: memFree=1102096/2055920 swapFree=4153224/4192956
[pid=30119] ppid=30117 vsize=419000 CPUtime=1200.01
/proc/30119/stat : 30119 (ornithorynque) S 30117 30119 30018 0 -1 4194304 103518 0 0 0 119943 58 0 0 25 0 3 0 378705854 429056000 83394 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259922095995 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/30119/statm: 104750 83394 387 42 0 99002 0
[pid=30119/tid=30121] ppid=30117 vsize=419000 CPUtime=597.65
/proc/30119/task/30121/stat : 30121 (ornithorynque) R 30117 30119 30018 0 -1 4194368 5300 0 0 0 59756 9 0 0 25 0 3 0 378706573 429056000 83394 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=30119/tid=30122] ppid=30117 vsize=419000 CPUtime=595.16
/proc/30119/task/30122/stat : 30122 (ornithorynque) R 30117 30119 30018 0 -1 4194368 4827 0 0 0 59512 4 0 0 25 0 3 0 378706573 429056000 83394 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 419000

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): 605.066
CPU time (s): 1200.09
CPU user time (s): 1199.45
CPU system time (s): 0.635903
CPU usage (%): 198.34
Max. virtual memory (cumulated for all children) (KiB): 419000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.45
system time used= 0.635903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103518
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= 17
involuntary context switches= 22885

runsolver used 0.564914 second user time and 1.65775 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Sun Mar 11 04:31:50 UTC 2007

IDJOB= 334693
IDBENCH= 24633
IDSOLVER= 139
FILE ID= node4/334693-1173587505

PBS_JOBID= 4101229

Free space on /tmp= 66507 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/334693-1173587505/ornithorynque /tmp/evaluation/334693-1173587505/instance-334693-1173587505.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-334693-1173587505 -o ROOT/results/node4/solver-334693-1173587505 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/334693-1173587505/ornithorynque /tmp/evaluation/334693-1173587505/instance-334693-1173587505.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  7b512e3533a048c6d67b6f8a4c658d50

RANDOM SEED= 761545616

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1435392 kB
Buffers:         49252 kB
Cached:         489860 kB
SwapCached:       2984 kB
Active:         370736 kB
Inactive:       192224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1435392 kB
SwapTotal:     4192956 kB
SwapFree:      4153224 kB
Dirty:           33848 kB
Writeback:           0 kB
Mapped:          30268 kB
Slab:            43164 kB
Committed_AS:  1315216 kB
PageTables:       1768 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66507 MiB

End job on node4 on Sun Mar 11 04:41:57 UTC 2007