Trace number 2076501

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
Concrete 2009-07-14SAT 11.1483 11.2923

DiagnosticValue
CHECKS0
NODES400

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-0.xml
MD5SUM2ac19223b2e0853d7ad9b1f32a9c1dfd
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 benchmark0.729888
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1276
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 

9.58/9.75	c CPU-LOAD 6.99
9.58/9.75	c LOADED 400 V (1276 E), 7600 DTConstraint, arity 2, 6.99 cpu
11.06/11.25	v 759 179 706 836 585 352 99 618 561 915 601 260 0 959 416 577 545 170 505 1122 906 1034 1099 777 654 443 178 969 192 367 536 98 271 812 0 711 463 1141 186 949 809 537 261 969 0 94 768 1144 915 515 987 1063 430 1161 289 368 715 170 671 601 949 919 787 755 327 0 619 592 629 424 289 867 84 985 681 93 1047 705 190 515 776 536 216 829 607 146 676 515 0 84 1166 733 416 271 1016 136 807 344 470 1099 280 838 748 442 486 1085 928 695 513 93 192 1016 959 143 652 800 883 0 577 268 498 578 944 97 621 778 852 293 363 0 197 904 1130 469 696 800 468 586 443 1033 515 166 0 245 430 463 695 561 84 1073 696 302 838 382 619 1002 800 738 345 927 400 776 762 999 515 919 178 0 671 883 473 706 247 545 191 1184 601 90 812 344 577 494 62 85 1008 637 687 852 363 953 1051 743 867 237 440 1011 166 0 646 1122 949 604 258 0 713 768 266 980 578 344 470 392 841 681 99 547 796 1095 311 197 995 765 397 498 732 443 523 676 854 352 875 183 619 891 0 969 84 254 933 1011 99 0 990 735 809 537 980 683 891 838 454 337 1102 275 216 944 413 94 618 1056 0 748 695 59 987 494 397 771 93 190 620 604 331 648 297 824 898 1122 999 922 725 0 470 170 92 851 808 1087 446 1140 549 1176 90 936 987 644 266 1033 85 363 380 658 547 733 272 81 927 179 260 1141 588 1016 788 1087 843 693 953 350 440 0 272 895 1017 713 990 293 829 1063 776 1041 463 915 654 383 864 99 529 190 0 592 454 796 93 705 854 972 711 0 739 824 360 412 489 636 367 194 549 284 771 919 788 1071 838 62 456 154 437 560 327 239 481 136 748 395 696 73 359 928 0 344 725 284 368 1144 1051 0 560 796 841 933 470 682 98 72 1099 987 383 179 621 81 
11.06/11.25	s SATISFIABLE
11.06/11.25	d NODES 400
11.06/11.25	d CHECKS 0
11.06/11.25	c heuristic-cpu: 0.0
11.06/11.25	c prepro-constraint-ccks: 0
11.06/11.25	c prepro-constraint-presenceccks: 0
11.06/11.25	c prepro-cpu: 0.009999998
11.06/11.25	c prepro-matrix2d-ccks: 0
11.06/11.25	c prepro-matrix2d-presenceccks: 0
11.06/11.25	c prepro-removed: 0
11.06/11.25	c search-cpu: 1.1400001
11.06/11.25	c search-nps: 350.87717
11.06/11.25	c total-assgn: 400
11.06/11.25	c total-constraint-ccks: 0
11.06/11.25	c total-constraint-presence-ccks: 0
11.06/11.25	c total-cpu: 1.2
11.06/11.25	c total-matrix2d-ccks: 0
11.06/11.25	c total-matrix2d-presence-ccks: 0
11.06/11.25	c TOTAL-NODES 400
11.06/11.25	c TOTAL-CPU 1.2

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076501-1247714209/watcher-2076501-1247714209 -o /tmp/evaluation-result-2076501-1247714209/solver-2076501-1247714209 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2076501-1247714209.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.15 2.09 2.02 4/72 18180
/proc/meminfo: memFree=1588592/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=18576 CPUtime=0
/proc/18180/stat : 18180 (runsolver) R 18178 18180 17061 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58484345 19021824 284 996147200 4194304 4302564 548682068512 18446744073709551615 273653755175 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18180/statm: 4644 284 249 26 0 2626 0

[startup+0.02518 s]
/proc/loadavg: 2.15 2.09 2.02 4/72 18180
/proc/meminfo: memFree=1588592/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=5356 CPUtime=0
/proc/18180/stat : 18180 (concrete.sh) S 18178 18180 17061 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58484345 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18180/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102174 s]
/proc/loadavg: 2.15 2.09 2.02 4/72 18180
/proc/meminfo: memFree=1588592/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=5356 CPUtime=0
/proc/18180/stat : 18180 (concrete.sh) S 18178 18180 17061 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58484345 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18180/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302189 s]
/proc/loadavg: 2.15 2.09 2.02 4/72 18180
/proc/meminfo: memFree=1588592/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=5356 CPUtime=0
/proc/18180/stat : 18180 (concrete.sh) S 18178 18180 17061 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58484345 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18180/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702216 s]
/proc/loadavg: 2.15 2.09 2.02 4/72 18180
/proc/meminfo: memFree=1588592/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=5356 CPUtime=0
/proc/18180/stat : 18180 (concrete.sh) S 18178 18180 17061 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58484345 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18180/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50127 s]
/proc/loadavg: 2.15 2.09 2.02 3/82 18193
/proc/meminfo: memFree=1573664/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=5356 CPUtime=0
/proc/18180/stat : 18180 (concrete.sh) S 18178 18180 17061 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58484345 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18180/statm: 1339 244 201 169 0 50 0
[pid=18185] ppid=18180 vsize=847592 CPUtime=1.46
/proc/18185/stat : 18185 (java) S 18180 18180 17061 0 -1 0 8038 0 1 0 141 5 0 0 18 0 9 0 58484346 867934208 7098 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18185/statm: 211898 7098 2624 9 0 206376 0
[pid=18185/tid=18186] ppid=18180 vsize=847592 CPUtime=1
/proc/18185/task/18186/stat : 18186 (java) R 18180 18180 17061 0 -1 64 3893 0 1 0 97 3 0 0 21 0 9 0 58484348 867934208 7098 996147200 134512640 134550932 4294955408 18446744073709551615 4126571778 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18187] ppid=18180 vsize=847592 CPUtime=0.12
/proc/18185/task/18187/stat : 18187 (java) S 18180 18180 17061 0 -1 64 2098 0 0 0 12 0 0 0 16 0 9 0 58484349 867934208 7098 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18188] ppid=18180 vsize=847592 CPUtime=0
/proc/18185/task/18188/stat : 18188 (java) S 18180 18180 17061 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 58484349 867934208 7098 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18189] ppid=18180 vsize=847592 CPUtime=0
/proc/18185/task/18189/stat : 18189 (java) S 18180 18180 17061 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58484349 867934208 7098 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18190] ppid=18180 vsize=847592 CPUtime=0
/proc/18185/task/18190/stat : 18190 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58484351 867934208 7098 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18191] ppid=18180 vsize=847592 CPUtime=0.3
/proc/18185/task/18191/stat : 18191 (java) S 18180 18180 17061 0 -1 64 1350 0 0 0 30 0 0 0 16 0 9 0 58484355 867934208 7098 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18192] ppid=18180 vsize=847592 CPUtime=0
/proc/18185/task/18192/stat : 18192 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58484355 867934208 7098 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18193] ppid=18180 vsize=847592 CPUtime=0
/proc/18185/task/18193/stat : 18193 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58484355 867934208 7098 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 852948

[startup+3.10138 s]
/proc/loadavg: 2.21 2.11 2.02 3/82 18193
/proc/meminfo: memFree=1568096/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=5356 CPUtime=0
/proc/18180/stat : 18180 (concrete.sh) S 18178 18180 17061 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58484345 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18180/statm: 1339 244 201 169 0 50 0
[pid=18185] ppid=18180 vsize=847592 CPUtime=3.04
/proc/18185/stat : 18185 (java) S 18180 18180 17061 0 -1 0 9009 0 1 0 298 6 0 0 18 0 9 0 58484346 867934208 8051 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18185/statm: 211898 8051 2624 9 0 206376 0
[pid=18185/tid=18186] ppid=18180 vsize=847592 CPUtime=2.44
/proc/18185/task/18186/stat : 18186 (java) R 18180 18180 17061 0 -1 64 3911 0 1 0 241 3 0 0 25 0 9 0 58484348 867934208 8051 996147200 134512640 134550932 4294955408 18446744073709551615 4126466268 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18187] ppid=18180 vsize=847592 CPUtime=0.26
/proc/18185/task/18187/stat : 18187 (java) S 18180 18180 17061 0 -1 64 3051 0 0 0 25 1 0 0 16 0 9 0 58484349 867934208 8051 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18188] ppid=18180 vsize=847592 CPUtime=0
/proc/18185/task/18188/stat : 18188 (java) S 18180 18180 17061 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 58484349 867934208 8051 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18189] ppid=18180 vsize=847592 CPUtime=0
/proc/18185/task/18189/stat : 18189 (java) S 18180 18180 17061 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58484349 867934208 8051 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18190] ppid=18180 vsize=847592 CPUtime=0
/proc/18185/task/18190/stat : 18190 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58484351 867934208 8051 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18191] ppid=18180 vsize=847592 CPUtime=0.3
/proc/18185/task/18191/stat : 18191 (java) S 18180 18180 17061 0 -1 64 1350 0 0 0 30 0 0 0 16 0 9 0 58484355 867934208 8051 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18192] ppid=18180 vsize=847592 CPUtime=0
/proc/18185/task/18192/stat : 18192 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58484355 867934208 8051 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18193] ppid=18180 vsize=847592 CPUtime=0
/proc/18185/task/18193/stat : 18193 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58484355 867934208 8051 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 852948

[startup+6.30259 s]
/proc/loadavg: 2.21 2.11 2.02 3/83 18194
/proc/meminfo: memFree=1525848/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=5356 CPUtime=0
/proc/18180/stat : 18180 (concrete.sh) S 18178 18180 17061 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58484345 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18180/statm: 1339 244 201 169 0 50 0
[pid=18185] ppid=18180 vsize=851256 CPUtime=6.21
/proc/18185/stat : 18185 (java) S 18180 18180 17061 0 -1 0 22969 0 1 0 608 13 0 0 18 0 10 0 58484346 871686144 19487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18185/statm: 212814 19487 2629 9 0 207292 0
[pid=18185/tid=18186] ppid=18180 vsize=851256 CPUtime=4.38
/proc/18185/task/18186/stat : 18186 (java) R 18180 18180 17061 0 -1 64 4488 0 1 0 434 4 0 0 25 0 10 0 58484348 871686144 19487 996147200 134512640 134550932 4294955408 18446744073709551615 4126625312 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18187] ppid=18180 vsize=851256 CPUtime=1.11
/proc/18185/task/18187/stat : 18187 (java) S 18180 18180 17061 0 -1 64 15472 0 0 0 105 6 0 0 16 0 10 0 58484349 871686144 19487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18188] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18188/stat : 18188 (java) S 18180 18180 17061 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 58484349 871686144 19487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18189] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18189/stat : 18189 (java) S 18180 18180 17061 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58484349 871686144 19487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18190] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18190/stat : 18190 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58484351 871686144 19487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18191] ppid=18180 vsize=851256 CPUtime=0.68
/proc/18185/task/18191/stat : 18191 (java) S 18180 18180 17061 0 -1 64 2308 0 0 0 67 1 0 0 15 0 10 0 58484355 871686144 19487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18192] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18192/stat : 18192 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58484355 871686144 19487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18193] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18193/stat : 18193 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58484355 871686144 19487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18194] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18194/stat : 18194 (java) S 18180 18180 17061 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 58484763 871686144 19487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 856612

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

[startup+9.5028 s]
/proc/loadavg: 2.20 2.10 2.02 4/83 18194
/proc/meminfo: memFree=1498520/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=5356 CPUtime=0
/proc/18180/stat : 18180 (concrete.sh) S 18178 18180 17061 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58484345 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18180/statm: 1339 244 201 169 0 50 0
[pid=18185] ppid=18180 vsize=851256 CPUtime=9.38
/proc/18185/stat : 18185 (java) S 18180 18180 17061 0 -1 0 25320 0 1 0 923 15 0 0 18 0 10 0 58484346 871686144 21531 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18185/statm: 212814 21531 2627 9 0 207292 0
[pid=18185/tid=18186] ppid=18180 vsize=851256 CPUtime=7.02
/proc/18185/task/18186/stat : 18186 (java) R 18180 18180 17061 0 -1 64 4885 0 1 0 698 4 0 0 25 0 10 0 58484348 871686144 21531 996147200 134512640 134550932 4294955408 18446744073709551615 4158824593 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18187] ppid=18180 vsize=851256 CPUtime=1.61
/proc/18185/task/18187/stat : 18187 (java) S 18180 18180 17061 0 -1 64 17401 0 0 0 154 7 0 0 16 0 10 0 58484349 871686144 21531 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18188] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18188/stat : 18188 (java) S 18180 18180 17061 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 58484349 871686144 21531 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18189] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18189/stat : 18189 (java) S 18180 18180 17061 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58484349 871686144 21531 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18190] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18190/stat : 18190 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58484351 871686144 21531 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18191] ppid=18180 vsize=851256 CPUtime=0.71
/proc/18185/task/18191/stat : 18191 (java) S 18180 18180 17061 0 -1 64 2333 0 0 0 70 1 0 0 16 0 10 0 58484355 871686144 21531 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18192] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18192/stat : 18192 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58484355 871686144 21531 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18193] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18193/stat : 18193 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58484355 871686144 21531 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18194] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18194/stat : 18194 (java) S 18180 18180 17061 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 58484763 871686144 21531 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.38
Current children cumulated vsize (KiB) 856612

[startup+10.3019 s]
/proc/loadavg: 2.20 2.10 2.02 4/82 18194
/proc/meminfo: memFree=1496664/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=5356 CPUtime=0
/proc/18180/stat : 18180 (concrete.sh) S 18178 18180 17061 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58484345 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18180/statm: 1339 244 201 169 0 50 0
[pid=18185] ppid=18180 vsize=851256 CPUtime=10.17
/proc/18185/stat : 18185 (java) S 18180 18180 17061 0 -1 0 25502 0 1 0 1002 15 0 0 18 0 9 0 58484346 871686144 21704 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18185/statm: 212814 21704 2628 9 0 207292 0
[pid=18185/tid=18186] ppid=18180 vsize=851256 CPUtime=7.56
/proc/18185/task/18186/stat : 18186 (java) R 18180 18180 17061 0 -1 64 4917 0 1 0 751 5 0 0 25 0 9 0 58484348 871686144 21704 996147200 134512640 134550932 4294955408 18446744073709551615 4127771162 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18187] ppid=18180 vsize=851256 CPUtime=1.82
/proc/18185/task/18187/stat : 18187 (java) S 18180 18180 17061 0 -1 64 17523 0 0 0 175 7 0 0 16 0 9 0 58484349 871686144 21704 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18188] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18188/stat : 18188 (java) S 18180 18180 17061 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 58484349 871686144 21704 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18189] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18189/stat : 18189 (java) S 18180 18180 17061 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 58484349 871686144 21704 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18190] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18190/stat : 18190 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58484351 871686144 21704 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18191] ppid=18180 vsize=851256 CPUtime=0.75
/proc/18185/task/18191/stat : 18191 (java) S 18180 18180 17061 0 -1 64 2358 0 0 0 74 1 0 0 15 0 9 0 58484355 871686144 21704 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18192] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18192/stat : 18192 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58484355 871686144 21704 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18193] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18193/stat : 18193 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58484355 871686144 21704 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.17
Current children cumulated vsize (KiB) 856612

[startup+10.7019 s]
/proc/loadavg: 2.20 2.10 2.02 4/82 18194
/proc/meminfo: memFree=1496664/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=5356 CPUtime=0
/proc/18180/stat : 18180 (concrete.sh) S 18178 18180 17061 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58484345 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18180/statm: 1339 244 201 169 0 50 0
[pid=18185] ppid=18180 vsize=851256 CPUtime=10.57
/proc/18185/stat : 18185 (java) S 18180 18180 17061 0 -1 0 25526 0 1 0 1042 15 0 0 18 0 9 0 58484346 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18185/statm: 212814 21725 2628 9 0 207292 0
[pid=18185/tid=18186] ppid=18180 vsize=851256 CPUtime=7.92
/proc/18185/task/18186/stat : 18186 (java) R 18180 18180 17061 0 -1 64 4920 0 1 0 787 5 0 0 25 0 9 0 58484348 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4127794105 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18187] ppid=18180 vsize=851256 CPUtime=1.86
/proc/18185/task/18187/stat : 18187 (java) S 18180 18180 17061 0 -1 64 17544 0 0 0 179 7 0 0 16 0 9 0 58484349 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18188] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18188/stat : 18188 (java) S 18180 18180 17061 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 58484349 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18189] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18189/stat : 18189 (java) S 18180 18180 17061 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 58484349 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18190] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18190/stat : 18190 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58484351 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18191] ppid=18180 vsize=851256 CPUtime=0.75
/proc/18185/task/18191/stat : 18191 (java) S 18180 18180 17061 0 -1 64 2358 0 0 0 74 1 0 0 15 0 9 0 58484355 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18192] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18192/stat : 18192 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58484355 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18193] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18193/stat : 18193 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58484355 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.57
Current children cumulated vsize (KiB) 856612

[startup+11.1019 s]
/proc/loadavg: 2.20 2.10 2.02 4/82 18195
/proc/meminfo: memFree=1496216/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=5356 CPUtime=0
/proc/18180/stat : 18180 (concrete.sh) S 18178 18180 17061 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58484345 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18180/statm: 1339 244 201 169 0 50 0
[pid=18185] ppid=18180 vsize=851256 CPUtime=10.96
/proc/18185/stat : 18185 (java) S 18180 18180 17061 0 -1 0 25529 0 1 0 1081 15 0 0 18 0 9 0 58484346 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18185/statm: 212814 21725 2628 9 0 207292 0
[pid=18185/tid=18186] ppid=18180 vsize=851256 CPUtime=8.27
/proc/18185/task/18186/stat : 18186 (java) R 18180 18180 17061 0 -1 64 4923 0 1 0 822 5 0 0 25 0 9 0 58484348 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4127805140 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18187] ppid=18180 vsize=851256 CPUtime=1.91
/proc/18185/task/18187/stat : 18187 (java) S 18180 18180 17061 0 -1 64 17544 0 0 0 184 7 0 0 16 0 9 0 58484349 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18188] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18188/stat : 18188 (java) S 18180 18180 17061 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 58484349 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18189] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18189/stat : 18189 (java) S 18180 18180 17061 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 58484349 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18190] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18190/stat : 18190 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58484351 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18191] ppid=18180 vsize=851256 CPUtime=0.75
/proc/18185/task/18191/stat : 18191 (java) S 18180 18180 17061 0 -1 64 2358 0 0 0 74 1 0 0 15 0 9 0 58484355 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18192] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18192/stat : 18192 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58484355 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18193] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18193/stat : 18193 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58484355 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.96
Current children cumulated vsize (KiB) 856612

[startup+11.2019 s]
/proc/loadavg: 2.20 2.10 2.02 4/82 18195
/proc/meminfo: memFree=1496216/2055920 swapFree=4192812/4192956
[pid=18180] ppid=18178 vsize=5356 CPUtime=0
/proc/18180/stat : 18180 (concrete.sh) S 18178 18180 17061 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58484345 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18180/statm: 1339 244 201 169 0 50 0
[pid=18185] ppid=18180 vsize=851256 CPUtime=11.06
/proc/18185/stat : 18185 (java) S 18180 18180 17061 0 -1 0 25530 0 1 0 1091 15 0 0 18 0 9 0 58484346 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18185/statm: 212814 21725 2628 9 0 207292 0
[pid=18185/tid=18186] ppid=18180 vsize=851256 CPUtime=8.35
/proc/18185/task/18186/stat : 18186 (java) R 18180 18180 17061 0 -1 64 4924 0 1 0 830 5 0 0 25 0 9 0 58484348 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4127793947 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18187] ppid=18180 vsize=851256 CPUtime=1.92
/proc/18185/task/18187/stat : 18187 (java) S 18180 18180 17061 0 -1 64 17544 0 0 0 185 7 0 0 16 0 9 0 58484349 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18188] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18188/stat : 18188 (java) S 18180 18180 17061 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 58484349 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18189] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18189/stat : 18189 (java) S 18180 18180 17061 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 58484349 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18190] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18190/stat : 18190 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58484351 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18191] ppid=18180 vsize=851256 CPUtime=0.75
/proc/18185/task/18191/stat : 18191 (java) S 18180 18180 17061 0 -1 64 2358 0 0 0 74 1 0 0 15 0 9 0 58484355 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18192] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18192/stat : 18192 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58484355 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18185/tid=18193] ppid=18180 vsize=851256 CPUtime=0
/proc/18185/task/18193/stat : 18193 (java) S 18180 18180 17061 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58484355 871686144 21725 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.06
Current children cumulated vsize (KiB) 856612

Child status: 0
Real time (s): 11.2923
CPU time (s): 11.1483
CPU user time (s): 10.9673
CPU system time (s): 0.180972
CPU usage (%): 98.7248
Max. virtual memory (cumulated for all children) (KiB): 857260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9673
system time used= 0.180972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26182
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= 4264
involuntary context switches= 4360

runsolver used 0.014997 second user time and 0.049992 second system time

The end

Launcher Data 

Begin job on node52 at 2009-07-16 05:16:49
IDJOB=2076501
IDBENCH=56437
IDSOLVER=735
FILE ID=node52/2076501-1247714209
PBS_JOBID= 9521458
Free space on /tmp= 66184 MiB

SOLVER NAME= Concrete 2009-06-10
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-0.xml
COMMAND LINE= HOME/concrete.sh -c BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076501-1247714209/watcher-2076501-1247714209 -o /tmp/evaluation-result-2076501-1247714209/solver-2076501-1247714209 -C 1800 -W 2000 -M 900  HOME/concrete.sh -c HOME/instance-2076501-1247714209.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 2ac19223b2e0853d7ad9b1f32a9c1dfd
RANDOM SEED=732969187

node52.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.236
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.236
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:       1589072 kB
Buffers:         72716 kB
Cached:         230224 kB
SwapCached:          0 kB
Active:         167584 kB
Inactive:       230740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1589072 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2248 kB
Writeback:           0 kB
Mapped:         106896 kB
Slab:            53676 kB
Committed_AS:   735036 kB
PageTables:       2048 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= 66184 MiB
End job on node52 at 2009-07-16 05:17:00