Trace number 1074746

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
choco2_impwdeg 2008-06-26SAT 17.2204 17.24

DiagnosticValue
ASSIGNMENTS832

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-100-3.xml
MD5SUMb03ce6bb41b3c7eeec8edd1190e4268e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.19175
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data (download as text)

17.18/17.21	s SATISFIABLE
17.18/17.21	v 536 356 698 782 772 1055 222 1141 642 665 305 909 588 845 26 275 447 1223 975 1061 692 1224 1129 623 245 411 458 236 756 1033 395 944 771 943 327 187 849 536 271 475 564 292 721 1307 867 571 136 338 1127 21 0 1222 801 1031 80 504 458 432 943 638 311 1138 999 1211 1074 943 845 258 427 581 493 279 748 183 753 359 671 242 115 0 565 1142 395 1147 421 640 782 279 880 206 803 708 50 714 267 1227 484 0 1046 956 1027 1217 1121 970 424 1043 728 275 206 896 801 591 402 714 325 0 250 167 651 798 1121 1061 872 970 0 1083 945 365 843 748 1240 1169 640 546 84 361 406 474 235 174 1300 659 897 1147 1074 571 867 473 176 1028 0 1262 843 380 311 1035 50 246 93 753 941 748 401 1181 347 136 267 491 79 434 501 845 199 0 1121 1136 489 1217 657 563 1240 1174 1147 631 56 722 181 1028 96 116 0 1071 940 895 534 877 447 806 354 800 619 267 354 1078 1236 183 967 837 1199 758 434 894 490 1057 1031 536 956 84 581 0 1225 769 116 1276 301 239 491 338 183 409 1078 43 577 307 1201 879 758 748 0 666 1177 837 1118 1273 1113 1037 698 401 776 521 468 1007 642 176 1229 378 555 867 943 280 945 843 238 756 1177 1121 351 1138 49 288 115 1038 657 941 396 1083 190 561 0 465 684 769 588 849 7 391 250 322 513 167 1183 0 415 153 576 493 125 43 916 890 910 1030 1169 1129 165 684 718 534 613 1074 975 457 837 445 222 84 351 270 772 0 1053 473 939 365 1239 1007 272 1166 738 187 179 1120 91 359 0 828 687 651 683 546 513 325 242 657 417 1038 1138 1087 890 445 999 1047 809 84 0 163 613 660 944 415 1074 798 1169 963 728 402 186 565 183 364 909 1210 280 96 1046 491 0 642 591 1109 416 619 489 992 409 910 557 898 321 867 404 245 1055 692 837 144 776 78 0 1225 
17.18/17.21	d ASSIGNMENTS 832
17.18/17.21	c SAT 17120 TIME      832 NDS    922 PARSTIME      3134 BUILDPB       13064 RES       true RESTART       1 HEURISTIC

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074746-1215179597/watcher-1074746-1215179597 -o /tmp/evaluation-result-1074746-1215179597/solver-1074746-1215179597 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar HOME/instance-1074746-1215179597.xml 

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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 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: 1.95 2.02 2.00 4/74 20011
/proc/meminfo: memFree=727488/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=1804 CPUtime=0
/proc/20011/stat : 20011 (java) D 20009 20011 18998 0 -1 0 195 0 0 0 0 0 0 0 18 0 1 0 1996935359 1847296 163 996147200 134512640 134550740 4294956176 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/20011/statm: 451 163 124 9 0 93 0

[startup+0.0461171 s]
/proc/loadavg: 1.95 2.02 2.00 4/74 20011
/proc/meminfo: memFree=727488/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=862060 CPUtime=0.03
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 2400 0 1 0 2 1 0 0 18 0 5 0 1996935359 882749440 1965 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 215515 1965 905 9 0 210494 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 862060

[startup+0.101128 s]
/proc/loadavg: 1.95 2.02 2.00 4/74 20011
/proc/meminfo: memFree=727488/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=866524 CPUtime=0.09
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 3849 0 1 0 7 2 0 0 18 0 9 0 1996935359 887320576 3314 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 216631 3314 1768 9 0 211103 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866524

[startup+0.301168 s]
/proc/loadavg: 1.95 2.02 2.00 4/74 20011
/proc/meminfo: memFree=727488/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=867304 CPUtime=0.28
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 5030 0 1 0 25 3 0 0 18 0 9 0 1996935359 888119296 4483 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 216826 4483 1855 9 0 211298 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 867304

[startup+0.701249 s]
/proc/loadavg: 1.95 2.02 2.00 4/74 20011
/proc/meminfo: memFree=727488/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=867432 CPUtime=0.69
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 9135 0 1 0 63 6 0 0 18 0 9 0 1996935359 888250368 8574 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 216858 8575 1903 9 0 211330 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867432

[startup+1.5024 s]
/proc/loadavg: 1.95 2.02 2.00 3/83 20020
/proc/meminfo: memFree=674104/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=867488 CPUtime=1.49
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 20352 0 1 0 138 11 0 0 18 0 9 0 1996935359 888307712 19756 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 216872 19756 1981 9 0 211344 0
[pid=20011/tid=20013] ppid=20009 vsize=867488 CPUtime=1.15
/proc/20011/task/20013/stat : 20013 (java) R 20009 20011 18998 0 -1 64 15451 0 1 0 107 8 0 0 25 0 9 0 1996935360 888307712 19756 996147200 134512640 134550740 4294956016 18446744073709551615 4126823792 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=867488 CPUtime=0.1
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18998 0 -1 64 3590 0 0 0 9 1 0 0 17 0 9 0 1996935361 888307712 19756 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=867488 CPUtime=0
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18998 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996935361 888307712 19756 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=867488 CPUtime=0
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18998 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996935361 888307712 19756 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=867488 CPUtime=0
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18998 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1996935363 888307712 19756 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=867488 CPUtime=0.2
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18998 0 -1 64 583 0 0 0 20 0 0 0 16 0 9 0 1996935363 888307712 19756 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=867488 CPUtime=0
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18998 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1996935363 888307712 19756 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=867488 CPUtime=0
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18998 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996935363 888307712 19756 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867488

[startup+3.10172 s]
/proc/loadavg: 1.95 2.02 2.00 3/83 20020
/proc/meminfo: memFree=641592/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=867488 CPUtime=3.08
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 21884 0 1 0 297 11 0 0 18 0 9 0 1996935359 888307712 21281 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 216872 21281 1982 9 0 211344 0
[pid=20011/tid=20013] ppid=20009 vsize=867488 CPUtime=2.67
/proc/20011/task/20013/stat : 20013 (java) R 20009 20011 18998 0 -1 64 15459 0 1 0 259 8 0 0 25 0 9 0 1996935360 888307712 21281 996147200 134512640 134550740 4294956016 18446744073709551615 4126919400 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=867488 CPUtime=0.14
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18998 0 -1 64 5080 0 0 0 13 1 0 0 16 0 9 0 1996935361 888307712 21281 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=867488 CPUtime=0
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18998 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996935361 888307712 21281 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=867488 CPUtime=0
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18998 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996935361 888307712 21281 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=867488 CPUtime=0
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18998 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1996935363 888307712 21281 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=867488 CPUtime=0.24
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18998 0 -1 64 617 0 0 0 24 0 0 0 16 0 9 0 1996935363 888307712 21281 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=867488 CPUtime=0
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18998 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1996935363 888307712 21281 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=867488 CPUtime=0
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18998 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996935363 888307712 21281 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867488

[startup+6.30235 s]
/proc/loadavg: 1.95 2.02 2.00 3/83 20020
/proc/meminfo: memFree=614520/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=867740 CPUtime=6.28
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 25857 0 1 0 613 15 0 0 18 0 9 0 1996935359 888565760 25237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 216935 25237 1998 9 0 211407 0
[pid=20011/tid=20013] ppid=20009 vsize=867740 CPUtime=5.54
/proc/20011/task/20013/stat : 20013 (java) R 20009 20011 18998 0 -1 64 15652 0 1 0 545 9 0 0 25 0 9 0 1996935360 888565760 25237 996147200 134512640 134550740 4294956016 18446744073709551615 4127332176 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=867740 CPUtime=0.29
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18998 0 -1 64 8736 0 0 0 26 3 0 0 17 0 9 0 1996935361 888565760 25237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18998 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 25237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18998 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 25237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18998 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1996935363 888565760 25237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=867740 CPUtime=0.42
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18998 0 -1 64 741 0 0 0 41 1 0 0 15 0 9 0 1996935363 888565760 25237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18998 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1996935363 888565760 25237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18998 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996935363 888565760 25237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867740

[startup+12.7016 s]
/proc/loadavg: 1.96 2.02 2.00 3/83 20020
/proc/meminfo: memFree=583032/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=867740 CPUtime=12.69
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 27353 0 1 0 1251 18 0 0 18 0 9 0 1996935359 888565760 26730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 216935 26730 1998 9 0 211407 0
[pid=20011/tid=20013] ppid=20009 vsize=867740 CPUtime=11.88
/proc/20011/task/20013/stat : 20013 (java) R 20009 20011 18998 0 -1 64 15655 0 1 0 1177 11 0 0 25 0 9 0 1996935360 888565760 26730 996147200 134512640 134550740 4294956016 18446744073709551615 4127363347 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=867740 CPUtime=0.35
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18998 0 -1 64 10227 0 0 0 31 4 0 0 16 0 9 0 1996935361 888565760 26730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18998 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 26730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18998 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 26730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18998 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1996935363 888565760 26730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=867740 CPUtime=0.43
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18998 0 -1 64 743 0 0 0 42 1 0 0 16 0 9 0 1996935363 888565760 26730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18998 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1996935363 888565760 26730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18998 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996935363 888565760 26730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 867740

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

[startup+14.3069 s]
/proc/loadavg: 1.96 2.02 2.00 3/83 20020
/proc/meminfo: memFree=574648/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=867740 CPUtime=14.29
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 27358 0 1 0 1411 18 0 0 18 0 9 0 1996935359 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 216935 26734 1998 9 0 211407 0
[pid=20011/tid=20013] ppid=20009 vsize=867740 CPUtime=13.47
/proc/20011/task/20013/stat : 20013 (java) R 20009 20011 18998 0 -1 64 15657 0 1 0 1336 11 0 0 25 0 9 0 1996935360 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4127607099 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=867740 CPUtime=0.36
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18998 0 -1 64 10227 0 0 0 32 4 0 0 16 0 9 0 1996935361 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18998 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18998 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18998 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1996935363 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=867740 CPUtime=0.43
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18998 0 -1 64 746 0 0 0 42 1 0 0 16 0 9 0 1996935363 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18998 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1996935363 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18998 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996935363 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 867740

[startup+15.9022 s]
/proc/loadavg: 1.96 2.02 2.00 3/83 20020
/proc/meminfo: memFree=570488/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=867740 CPUtime=15.88
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 27360 0 1 0 1570 18 0 0 18 0 9 0 1996935359 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 216935 26734 1998 9 0 211407 0
[pid=20011/tid=20013] ppid=20009 vsize=867740 CPUtime=15.05
/proc/20011/task/20013/stat : 20013 (java) R 20009 20011 18998 0 -1 64 15659 0 1 0 1494 11 0 0 25 0 9 0 1996935360 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4127334696 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=867740 CPUtime=0.37
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18998 0 -1 64 10227 0 0 0 33 4 0 0 16 0 9 0 1996935361 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18998 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18998 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18998 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1996935363 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=867740 CPUtime=0.43
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18998 0 -1 64 746 0 0 0 42 1 0 0 16 0 9 0 1996935363 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18998 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1996935363 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18998 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996935363 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 867740

[startup+16.7024 s]
/proc/loadavg: 1.96 2.02 2.00 3/83 20020
/proc/meminfo: memFree=566264/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=867740 CPUtime=16.68
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 27360 0 1 0 1650 18 0 0 18 0 9 0 1996935359 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 216935 26734 1998 9 0 211407 0
[pid=20011/tid=20013] ppid=20009 vsize=867740 CPUtime=15.85
/proc/20011/task/20013/stat : 20013 (java) R 20009 20011 18998 0 -1 64 15659 0 1 0 1574 11 0 0 25 0 9 0 1996935360 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4127372160 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=867740 CPUtime=0.37
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18998 0 -1 64 10227 0 0 0 33 4 0 0 16 0 9 0 1996935361 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18998 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18998 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18998 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1996935363 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=867740 CPUtime=0.43
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18998 0 -1 64 746 0 0 0 42 1 0 0 16 0 9 0 1996935363 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18998 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1996935363 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18998 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996935363 888565760 26734 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.68
Current children cumulated vsize (KiB) 867740

[startup+17.1025 s]
/proc/loadavg: 1.96 2.02 2.00 3/83 20020
/proc/meminfo: memFree=566264/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=867740 CPUtime=17.08
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 27362 0 1 0 1690 18 0 0 18 0 9 0 1996935359 888565760 26735 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 216935 26735 1998 9 0 211407 0
[pid=20011/tid=20013] ppid=20009 vsize=867740 CPUtime=16.25
/proc/20011/task/20013/stat : 20013 (java) R 20009 20011 18998 0 -1 64 15660 0 1 0 1614 11 0 0 25 0 9 0 1996935360 888565760 26735 996147200 134512640 134550740 4294956016 18446744073709551615 4126577991 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=867740 CPUtime=0.37
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18998 0 -1 64 10227 0 0 0 33 4 0 0 17 0 9 0 1996935361 888565760 26735 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18998 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 26735 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18998 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 26735 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18998 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1996935363 888565760 26735 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=867740 CPUtime=0.43
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18998 0 -1 64 747 0 0 0 42 1 0 0 16 0 9 0 1996935363 888565760 26735 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18998 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1996935363 888565760 26735 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18998 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996935363 888565760 26735 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.08
Current children cumulated vsize (KiB) 867740

[startup+17.2025 s]
/proc/loadavg: 1.96 2.02 2.00 3/83 20020
/proc/meminfo: memFree=566264/2055920 swapFree=4179472/4192956
[pid=20011] ppid=20009 vsize=867740 CPUtime=17.18
/proc/20011/stat : 20011 (java) S 20009 20011 18998 0 -1 0 27364 0 1 0 1700 18 0 0 18 0 9 0 1996935359 888565760 26737 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20011/statm: 216935 26737 2000 9 0 211407 0
[pid=20011/tid=20013] ppid=20009 vsize=867740 CPUtime=16.34
/proc/20011/task/20013/stat : 20013 (java) R 20009 20011 18998 0 -1 64 15660 0 1 0 1623 11 0 0 25 0 9 0 1996935360 888565760 26737 996147200 134512640 134550740 4294956016 18446744073709551615 4127366440 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=867740 CPUtime=0.37
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18998 0 -1 64 10227 0 0 0 33 4 0 0 17 0 9 0 1996935361 888565760 26737 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18998 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 26737 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18998 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996935361 888565760 26737 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18998 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1996935363 888565760 26737 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=867740 CPUtime=0.43
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18998 0 -1 64 749 0 0 0 42 1 0 0 16 0 9 0 1996935363 888565760 26737 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18998 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1996935363 888565760 26737 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=867740 CPUtime=0
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18998 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996935363 888565760 26737 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.18
Current children cumulated vsize (KiB) 867740

Child status: 0
Real time (s): 17.24
CPU time (s): 17.2204
CPU user time (s): 17.0164
CPU system time (s): 0.203968
CPU usage (%): 99.8862
Max. virtual memory (cumulated for all children) (KiB): 867740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0164
system time used= 0.203968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27377
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2903
involuntary context switches= 2869

runsolver used 0.022996 second user time and 0.06299 second system time

The end

Launcher Data (download as text)

Begin job on node1 at 2008-07-04 15:53:17
IDJOB=1074746
IDBENCH=56436
IDSOLVER=348
FILE ID=node1/1074746-1215179597
PBS_JOBID= 7881518
Free space on /tmp= 66104 MiB

SOLVER NAME= choco2_impwdeg 2008-06-26
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-100-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074746-1215179597/watcher-1074746-1215179597 -o /tmp/evaluation-result-1074746-1215179597/solver-1074746-1215179597 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar HOME/instance-1074746-1215179597.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= b03ce6bb41b3c7eeec8edd1190e4268e
RANDOM SEED=761781896

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

/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.265
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.265
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:        728032 kB
Buffers:         68040 kB
Cached:         620800 kB
SwapCached:       7548 kB
Active:        1170656 kB
Inactive:        91680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        728032 kB
SwapTotal:     4192956 kB
SwapFree:      4179472 kB
Dirty:            6996 kB
Writeback:           0 kB
Mapped:         580516 kB
Slab:            49704 kB
Committed_AS:  3694876 kB
PageTables:       3104 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= 66100 MiB
End job on node1 at 2008-07-04 15:53:35