Trace number 2076534

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.8292 12.015

DiagnosticValue
CHECKS0
NODES400

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-2.xml
MD5SUM4edeb52ba8c5e270795a490c2e727147
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 benchmark2.68759
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1359
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 

10.07/10.28	c CPU-LOAD 7.24
10.07/10.28	c LOADED 400 V (1359 E), 7600 DTConstraint, arity 2, 7.24 cpu
11.73/11.95	v 595 1170 513 308 163 835 230 0 357 98 792 1260 437 1229 702 948 1041 1112 868 673 1041 265 961 165 853 432 597 663 925 788 83 550 353 436 291 0 480 1125 256 713 868 609 819 177 911 516 653 764 273 0 702 1100 1115 357 1063 428 552 88 987 93 480 595 86 1019 0 759 372 1220 812 1140 895 256 679 633 556 724 974 1244 184 393 358 628 925 425 279 474 184 178 165 383 0 1019 807 983 1201 759 92 552 519 750 653 413 0 1179 498 156 575 766 379 289 712 860 968 1048 1069 897 921 1210 626 88 498 24 303 911 1048 0 177 156 703 229 630 86 395 1111 196 551 1007 79 992 799 335 76 963 459 78 658 183 377 712 752 921 0 1220 434 395 62 141 279 503 797 726 835 802 1111 1042 944 859 396 0 308 679 852 465 159 240 621 592 1216 63 513 215 273 63 847 388 0 131 1248 537 1209 713 444 1159 985 925 349 588 655 1065 762 864 174 335 975 856 1239 893 604 1066 93 552 250 658 393 788 444 1014 474 0 724 933 357 99 1121 604 86 877 0 335 455 777 277 354 517 395 996 804 687 219 1166 812 853 0 963 696 633 996 948 990 983 291 555 196 383 975 893 759 99 933 474 0 1174 87 1152 237 357 784 425 913 1285 1069 537 955 987 854 608 534 178 711 267 98 897 630 1175 753 819 339 868 185 467 1141 558 701 396 1100 240 1063 998 1209 0 239 463 1175 159 367 59 856 1014 215 519 1149 382 913 83 739 974 88 0 592 180 938 975 187 701 788 379 210 24 434 900 608 925 90 170 289 0 589 80 1116 467 1272 762 279 1251 975 1159 900 465 372 802 533 78 1109 0 681 1053 868 1201 620 185 183 1066 1102 903 0 92 556 79 471 279 1153 443 739 895 784 367 990 630 1193 655 696 437 165 766 834 597 890 944 349 1131 1063 230 663 802 73 0 517 968 162 609 
11.73/11.96	s SATISFIABLE
11.73/11.96	d NODES 400
11.73/11.96	d CHECKS 0
11.73/11.96	c heuristic-cpu: 0.009999998
11.73/11.96	c prepro-constraint-ccks: 0
11.73/11.96	c prepro-constraint-presenceccks: 0
11.73/11.96	c prepro-cpu: 0.02
11.73/11.96	c prepro-matrix2d-ccks: 0
11.73/11.96	c prepro-matrix2d-presenceccks: 0
11.73/11.96	c prepro-removed: 0
11.73/11.96	c search-cpu: 1.2199999
11.73/11.96	c search-nps: 327.86887
11.73/11.96	c total-assgn: 400
11.73/11.96	c total-constraint-ccks: 0
11.73/11.96	c total-constraint-presence-ccks: 0
11.73/11.96	c total-cpu: 1.3
11.73/11.96	c total-matrix2d-ccks: 0
11.73/11.96	c total-matrix2d-presence-ccks: 0
11.73/11.96	c TOTAL-NODES 400
11.73/11.96	c TOTAL-CPU 1.3

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-2076534-1247714221/watcher-2076534-1247714221 -o /tmp/evaluation-result-2076534-1247714221/solver-2076534-1247714221 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2076534-1247714221.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: 1.93 2.01 1.99 4/82 11933
/proc/meminfo: memFree=812160/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 299 127 0 0 0 0 0 0 20 0 1 0 58485118 5484544 238 996147200 4194304 4889804 548682068816 18446744073709551615 271894413394 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/11933/statm: 1339 238 197 169 0 50 0
[pid=11935] ppid=11933 vsize=5356 CPUtime=0
/proc/11935/stat : 11935 (concrete.sh) R 11933 11933 10722 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 58485119 5484544 238 996147200 4194304 4889804 548682068816 18446744073709551615 271894115998 0 0 4096 65538 0 0 0 17 1 0 0
/proc/11935/statm: 1339 238 197 169 0 50 0

[startup+0.108033 s]
/proc/loadavg: 1.93 2.01 1.99 4/82 11933
/proc/meminfo: memFree=812160/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58485118 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11933/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.20104 s]
/proc/loadavg: 1.93 2.01 1.99 4/82 11933
/proc/meminfo: memFree=812160/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58485118 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11933/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301056 s]
/proc/loadavg: 1.93 2.01 1.99 4/82 11933
/proc/meminfo: memFree=812160/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58485118 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11933/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701088 s]
/proc/loadavg: 1.93 2.01 1.99 4/82 11933
/proc/meminfo: memFree=812160/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58485118 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11933/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50218 s]
/proc/loadavg: 1.93 2.01 1.99 4/92 11946
/proc/meminfo: memFree=796840/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58485118 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11933/statm: 1339 244 201 169 0 50 0
[pid=11938] ppid=11933 vsize=847592 CPUtime=1.45
/proc/11938/stat : 11938 (java) S 11933 11933 10722 0 -1 0 8036 0 1 0 140 5 0 0 18 0 9 0 58485119 867934208 7097 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11938/statm: 211898 7097 2624 9 0 206376 0
[pid=11938/tid=11939] ppid=11933 vsize=847592 CPUtime=0.97
/proc/11938/task/11939/stat : 11939 (java) R 11933 11933 10722 0 -1 64 3895 0 1 0 94 3 0 0 21 0 9 0 58485120 867934208 7097 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11940] ppid=11933 vsize=847592 CPUtime=0.13
/proc/11938/task/11940/stat : 11940 (java) R 11933 11933 10722 0 -1 64 2097 0 0 0 13 0 0 0 16 0 9 0 58485122 867934208 7097 996147200 134512640 134550932 4294955408 18446744073709551615 102724708 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11941] ppid=11933 vsize=847592 CPUtime=0
/proc/11938/task/11941/stat : 11941 (java) S 11933 11933 10722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58485122 867934208 7097 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11942] ppid=11933 vsize=847592 CPUtime=0
/proc/11938/task/11942/stat : 11942 (java) S 11933 11933 10722 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58485122 867934208 7097 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11943] ppid=11933 vsize=847592 CPUtime=0
/proc/11938/task/11943/stat : 11943 (java) S 11933 11933 10722 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 58485124 867934208 7097 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11944] ppid=11933 vsize=847592 CPUtime=0.32
/proc/11938/task/11944/stat : 11944 (java) S 11933 11933 10722 0 -1 64 1347 0 0 0 32 0 0 0 16 0 9 0 58485128 867934208 7097 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11945] ppid=11933 vsize=847592 CPUtime=0
/proc/11938/task/11945/stat : 11945 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58485128 867934208 7097 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11946] ppid=11933 vsize=847592 CPUtime=0
/proc/11938/task/11946/stat : 11946 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58485128 867934208 7097 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 852948

[startup+3.10232 s]
/proc/loadavg: 1.93 2.01 1.99 3/92 11946
/proc/meminfo: memFree=791720/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58485118 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11933/statm: 1339 244 201 169 0 50 0
[pid=11938] ppid=11933 vsize=847592 CPUtime=3.04
/proc/11938/stat : 11938 (java) S 11933 11933 10722 0 -1 0 8951 0 1 0 298 6 0 0 18 0 9 0 58485119 867934208 7994 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11938/statm: 211898 7994 2624 9 0 206376 0
[pid=11938/tid=11939] ppid=11933 vsize=847592 CPUtime=2.4
/proc/11938/task/11939/stat : 11939 (java) R 11933 11933 10722 0 -1 64 3913 0 1 0 237 3 0 0 25 0 9 0 58485120 867934208 7994 996147200 134512640 134550932 4294955408 18446744073709551615 4126203765 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11940] ppid=11933 vsize=847592 CPUtime=0.28
/proc/11938/task/11940/stat : 11940 (java) S 11933 11933 10722 0 -1 64 2994 0 0 0 27 1 0 0 16 0 9 0 58485122 867934208 7994 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11941] ppid=11933 vsize=847592 CPUtime=0
/proc/11938/task/11941/stat : 11941 (java) S 11933 11933 10722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58485122 867934208 7994 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11942] ppid=11933 vsize=847592 CPUtime=0
/proc/11938/task/11942/stat : 11942 (java) S 11933 11933 10722 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58485122 867934208 7994 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11943] ppid=11933 vsize=847592 CPUtime=0
/proc/11938/task/11943/stat : 11943 (java) S 11933 11933 10722 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 58485124 867934208 7994 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11944] ppid=11933 vsize=847592 CPUtime=0.32
/proc/11938/task/11944/stat : 11944 (java) S 11933 11933 10722 0 -1 64 1347 0 0 0 32 0 0 0 16 0 9 0 58485128 867934208 7994 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11945] ppid=11933 vsize=847592 CPUtime=0
/proc/11938/task/11945/stat : 11945 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58485128 867934208 7994 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11946] ppid=11933 vsize=847592 CPUtime=0
/proc/11938/task/11946/stat : 11946 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58485128 867934208 7994 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.30264 s]
/proc/loadavg: 1.94 2.01 1.99 4/93 11947
/proc/meminfo: memFree=750240/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58485118 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11933/statm: 1339 244 201 169 0 50 0
[pid=11938] ppid=11933 vsize=850604 CPUtime=6.2
/proc/11938/stat : 11938 (java) S 11933 11933 10722 0 -1 0 24045 0 1 0 603 17 0 0 18 0 10 0 58485119 871018496 19359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11938/statm: 212651 19359 2627 9 0 207129 0
[pid=11938/tid=11939] ppid=11933 vsize=850604 CPUtime=4.26
/proc/11938/task/11939/stat : 11939 (java) R 11933 11933 10722 0 -1 64 4421 0 1 0 421 5 0 0 25 0 10 0 58485120 871018496 19359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11940] ppid=11933 vsize=850604 CPUtime=1.26
/proc/11938/task/11940/stat : 11940 (java) S 11933 11933 10722 0 -1 64 16969 0 0 0 117 9 0 0 16 0 10 0 58485122 871018496 19359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11941] ppid=11933 vsize=850604 CPUtime=0
/proc/11938/task/11941/stat : 11941 (java) S 11933 11933 10722 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58485122 871018496 19359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11942] ppid=11933 vsize=850604 CPUtime=0
/proc/11938/task/11942/stat : 11942 (java) S 11933 11933 10722 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58485122 871018496 19359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11943] ppid=11933 vsize=850604 CPUtime=0
/proc/11938/task/11943/stat : 11943 (java) S 11933 11933 10722 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58485124 871018496 19359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11944] ppid=11933 vsize=850604 CPUtime=0.65
/proc/11938/task/11944/stat : 11944 (java) R 11933 11933 10722 0 -1 64 1954 0 0 0 63 2 0 0 16 0 10 0 58485128 871018496 19359 996147200 134512640 134550932 4294955408 18446744073709551615 5969477 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11945] ppid=11933 vsize=850604 CPUtime=0
/proc/11938/task/11945/stat : 11945 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58485128 871018496 19359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11946] ppid=11933 vsize=850604 CPUtime=0
/proc/11938/task/11946/stat : 11946 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58485128 871018496 19359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11947] ppid=11933 vsize=850604 CPUtime=0
/proc/11938/task/11947/stat : 11947 (java) S 11933 11933 10722 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 58485549 871018496 19359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 855960

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

[startup+6.40265 s]
/proc/loadavg: 1.94 2.01 1.99 4/93 11947
/proc/meminfo: memFree=750240/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58485118 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11933/statm: 1339 244 201 169 0 50 0
[pid=11938] ppid=11933 vsize=851232 CPUtime=6.29
/proc/11938/stat : 11938 (java) S 11933 11933 10722 0 -1 0 24464 0 1 0 612 17 0 0 18 0 10 0 58485119 871661568 19693 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11938/statm: 212808 19693 2629 9 0 207286 0
[pid=11938/tid=11939] ppid=11933 vsize=851232 CPUtime=4.31
/proc/11938/task/11939/stat : 11939 (java) R 11933 11933 10722 0 -1 64 4423 0 1 0 426 5 0 0 25 0 10 0 58485120 871661568 19693 996147200 134512640 134550932 4294955408 18446744073709551615 4126421731 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11940] ppid=11933 vsize=851232 CPUtime=1.26
/proc/11938/task/11940/stat : 11940 (java) S 11933 11933 10722 0 -1 64 17038 0 0 0 117 9 0 0 16 0 10 0 58485122 871661568 19693 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11941] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11941/stat : 11941 (java) S 11933 11933 10722 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58485122 871661568 19693 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11942] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11942/stat : 11942 (java) S 11933 11933 10722 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58485122 871661568 19693 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11943] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11943/stat : 11943 (java) S 11933 11933 10722 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58485124 871661568 19693 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11944] ppid=11933 vsize=851232 CPUtime=0.69
/proc/11938/task/11944/stat : 11944 (java) S 11933 11933 10722 0 -1 64 2302 0 0 0 67 2 0 0 16 0 10 0 58485128 871661568 19693 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11945] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11945/stat : 11945 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58485128 871661568 19693 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11946] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11946/stat : 11946 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58485128 871661568 19693 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11947] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11947/stat : 11947 (java) S 11933 11933 10722 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 58485549 871661568 19693 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 856588

[startup+9.60296 s]
/proc/loadavg: 1.94 2.01 1.99 3/93 11947
/proc/meminfo: memFree=733992/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58485118 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11933/statm: 1339 244 201 169 0 50 0
[pid=11938] ppid=11933 vsize=851232 CPUtime=9.47
/proc/11938/stat : 11938 (java) S 11933 11933 10722 0 -1 0 27622 0 1 0 927 20 0 0 18 0 10 0 58485119 871661568 22253 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11938/statm: 212808 22253 2627 9 0 207286 0
[pid=11938/tid=11939] ppid=11933 vsize=851232 CPUtime=6.93
/proc/11938/task/11939/stat : 11939 (java) R 11933 11933 10722 0 -1 64 4865 0 1 0 688 5 0 0 25 0 10 0 58485120 871661568 22253 996147200 134512640 134550932 4294955408 18446744073709551615 4126251044 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11940] ppid=11933 vsize=851232 CPUtime=1.78
/proc/11938/task/11940/stat : 11940 (java) S 11933 11933 10722 0 -1 64 19734 0 0 0 167 11 0 0 16 0 10 0 58485122 871661568 22253 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11941] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11941/stat : 11941 (java) S 11933 11933 10722 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58485122 871661568 22253 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11942] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11942/stat : 11942 (java) S 11933 11933 10722 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58485122 871661568 22253 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11943] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11943/stat : 11943 (java) S 11933 11933 10722 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58485124 871661568 22253 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11944] ppid=11933 vsize=851232 CPUtime=0.71
/proc/11938/task/11944/stat : 11944 (java) S 11933 11933 10722 0 -1 64 2322 0 0 0 69 2 0 0 16 0 10 0 58485128 871661568 22253 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11945] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11945/stat : 11945 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58485128 871661568 22253 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11946] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11946/stat : 11946 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58485128 871661568 22253 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11947] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11947/stat : 11947 (java) S 11933 11933 10722 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 58485549 871661568 22253 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (KiB) 856588

[startup+11.2031 s]
/proc/loadavg: 1.94 2.01 1.99 4/92 11948
/proc/meminfo: memFree=725680/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58485118 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11933/statm: 1339 244 201 169 0 50 0
[pid=11938] ppid=11933 vsize=851232 CPUtime=11.04
/proc/11938/stat : 11938 (java) S 11933 11933 10722 0 -1 0 28783 0 1 0 1083 21 0 0 18 0 9 0 58485119 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11938/statm: 212808 23375 2628 9 0 207286 0
[pid=11938/tid=11939] ppid=11933 vsize=851232 CPUtime=8.09
/proc/11938/task/11939/stat : 11939 (java) R 11933 11933 10722 0 -1 64 4912 0 1 0 803 6 0 0 25 0 9 0 58485120 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11940] ppid=11933 vsize=851232 CPUtime=2.15
/proc/11938/task/11940/stat : 11940 (java) R 11933 11933 10722 0 -1 64 20816 0 0 0 203 12 0 0 16 0 9 0 58485122 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 102759216 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11941] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11941/stat : 11941 (java) S 11933 11933 10722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58485122 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11942] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11942/stat : 11942 (java) S 11933 11933 10722 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58485122 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11943] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11943/stat : 11943 (java) S 11933 11933 10722 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 58485124 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11944] ppid=11933 vsize=851232 CPUtime=0.77
/proc/11938/task/11944/stat : 11944 (java) S 11933 11933 10722 0 -1 64 2352 0 0 0 75 2 0 0 15 0 9 0 58485128 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11945] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11945/stat : 11945 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58485128 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11946] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11946/stat : 11946 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58485128 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.04
Current children cumulated vsize (KiB) 856588

[startup+11.6022 s]
/proc/loadavg: 1.94 2.01 1.99 4/92 11948
/proc/meminfo: memFree=725680/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58485118 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11933/statm: 1339 244 201 169 0 50 0
[pid=11938] ppid=11933 vsize=851232 CPUtime=11.43
/proc/11938/stat : 11938 (java) S 11933 11933 10722 0 -1 0 28785 0 1 0 1122 21 0 0 18 0 9 0 58485119 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11938/statm: 212808 23375 2628 9 0 207286 0
[pid=11938/tid=11939] ppid=11933 vsize=851232 CPUtime=8.44
/proc/11938/task/11939/stat : 11939 (java) R 11933 11933 10722 0 -1 64 4914 0 1 0 838 6 0 0 25 0 9 0 58485120 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4127793166 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11940] ppid=11933 vsize=851232 CPUtime=2.2
/proc/11938/task/11940/stat : 11940 (java) S 11933 11933 10722 0 -1 64 20816 0 0 0 208 12 0 0 16 0 9 0 58485122 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11941] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11941/stat : 11941 (java) S 11933 11933 10722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58485122 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11942] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11942/stat : 11942 (java) S 11933 11933 10722 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58485122 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11943] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11943/stat : 11943 (java) S 11933 11933 10722 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 58485124 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11944] ppid=11933 vsize=851232 CPUtime=0.77
/proc/11938/task/11944/stat : 11944 (java) S 11933 11933 10722 0 -1 64 2352 0 0 0 75 2 0 0 15 0 9 0 58485128 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11945] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11945/stat : 11945 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58485128 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11938/tid=11946] ppid=11933 vsize=851232 CPUtime=0
/proc/11938/task/11946/stat : 11946 (java) S 11933 11933 10722 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58485128 871661568 23375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.43
Current children cumulated vsize (KiB) 856588

[startup+12.0024 s]
/proc/loadavg: 1.94 2.01 1.99 4/92 11948
/proc/meminfo: memFree=725680/2055920 swapFree=4192812/4192956
[pid=11933] ppid=11931 vsize=5356 CPUtime=0
/proc/11933/stat : 11933 (concrete.sh) S 11931 11933 10722 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 58485118 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11933/statm: 1339 244 201 169 0 50 0
[pid=11938] ppid=11933 vsize=0 CPUtime=11.8
/proc/11938/stat : 11938 (java) Z 11933 11933 10722 0 -1 12 28799 0 1 0 1158 22 0 0 16 0 2 0 58485119 0 0 996147200 0 0 0 0 0 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11938/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.8
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 12.015
CPU time (s): 11.8292
CPU user time (s): 11.5892
CPU system time (s): 0.239963
CPU usage (%): 98.4538
Max. virtual memory (cumulated for all children) (KiB): 857876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5892
system time used= 0.239963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29441
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= 4184
involuntary context switches= 4497

runsolver used 0.023996 second user time and 0.049992 second system time

The end

Launcher Data 

Begin job on node60 at 2009-07-16 05:17:01
IDJOB=2076534
IDBENCH=56450
IDSOLVER=735
FILE ID=node60/2076534-1247714221
PBS_JOBID= 9521351
Free space on /tmp= 66424 MiB

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

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

MD5SUM BENCH= 4edeb52ba8c5e270795a490c2e727147
RANDOM SEED=1018789435

node60.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.232
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.232
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:        812640 kB
Buffers:         73804 kB
Cached:         372276 kB
SwapCached:          0 kB
Active:         787592 kB
Inactive:       370764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        812640 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2308 kB
Writeback:           0 kB
Mapped:         732708 kB
Slab:            68592 kB
Committed_AS:  1266480 kB
PageTables:       3388 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= 66420 MiB
End job on node60 at 2009-07-16 05:17:13