Trace number 2076512

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.4253 11.5904

DiagnosticValue
CHECKS0
NODES400

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-8.xml
MD5SUM86b24a9ba558d9e8e32f84b5d3fc0678
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 benchmark6.42902
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1388
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.78/9.94	c CPU-LOAD 7.02
9.78/9.94	c LOADED 400 V (1388 E), 7600 DTConstraint, arity 2, 7.02 cpu
11.37/11.52	v 618 359 462 81 919 450 175 415 522 91 708 271 795 0 868 838 1162 1220 1043 964 0 539 1043 1009 813 740 1202 1099 285 805 89 389 618 186 486 721 874 832 294 270 667 77 444 973 308 0 1009 62 1181 744 713 522 565 259 1219 175 891 901 78 355 62 1159 750 0 848 68 1036 380 1110 689 294 59 1273 548 1025 457 131 937 196 985 99 776 934 247 1045 314 385 783 149 545 607 892 285 1308 983 0 1280 1220 674 465 1155 798 1108 764 467 0 366 554 436 1041 964 99 379 338 602 192 287 358 708 895 280 832 156 0 348 68 267 233 285 565 927 378 1015 623 437 720 975 195 762 519 905 1012 68 282 1141 163 849 352 173 519 429 750 802 186 961 1080 145 699 98 588 868 755 811 599 704 252 465 98 358 371 1068 985 669 539 948 1181 0 195 784 1127 835 1141 907 356 1041 997 1099 98 708 548 348 951 0 252 452 1078 1212 778 616 187 623 540 1080 708 285 975 544 95 937 895 951 467 841 378 1108 1049 777 0 192 1015 192 57 544 287 632 0 1035 618 1185 457 943 157 720 888 380 1054 855 789 754 1016 874 973 755 175 0 934 620 1085 314 1055 394 236 681 1110 452 814 1023 522 841 89 616 783 184 974 850 389 0 734 838 1166 892 539 1035 149 81 450 673 1107 279 1201 542 757 800 0 1045 617 394 89 1107 1159 187 457 673 983 1135 888 1121 247 340 379 524 850 99 1041 73 1174 681 1155 457 802 0 620 983 894 869 196 734 330 91 390 461 173 1219 0 131 848 251 156 943 805 540 1134 375 1001 951 708 69 280 973 632 849 931 566 359 486 545 1045 980 99 1194 218 0 238 669 764 1258 378 1107 620 673 0 951 461 348 999 901 385 795 617 710 285 259 544 91 274 1274 184 1166 1042 1107 1200 919 620 73 1088 905 868 356 1107 1023 976 798 699 274 542 172 279 0 429 456 
11.37/11.52	s SATISFIABLE
11.37/11.52	d NODES 400
11.37/11.52	d CHECKS 0
11.37/11.52	c heuristic-cpu: 0.0
11.37/11.52	c prepro-constraint-ccks: 0
11.37/11.52	c prepro-constraint-presenceccks: 0
11.37/11.52	c prepro-cpu: 0.02
11.37/11.52	c prepro-matrix2d-ccks: 0
11.37/11.52	c prepro-matrix2d-presenceccks: 0
11.37/11.52	c prepro-removed: 0
11.37/11.52	c search-cpu: 1.2
11.37/11.52	c search-nps: 333.3333
11.37/11.52	c total-assgn: 400
11.37/11.52	c total-constraint-ccks: 0
11.37/11.52	c total-constraint-presence-ccks: 0
11.37/11.52	c total-cpu: 1.26
11.37/11.52	c total-matrix2d-ccks: 0
11.37/11.52	c total-matrix2d-presence-ccks: 0
11.37/11.52	c TOTAL-NODES 400
11.37/11.52	c TOTAL-CPU 1.26

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-2076512-1247714210/watcher-2076512-1247714210 -o /tmp/evaluation-result-2076512-1247714210/solver-2076512-1247714210 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2076512-1247714210.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.23 2.12 2.03 3/72 17129
/proc/meminfo: memFree=1436328/2055920 swapFree=4192812/4192956
[pid=17129] ppid=17127 vsize=18576 CPUtime=0
/proc/17129/stat : 17129 (runsolver) R 17127 17129 15829 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 58484488 19021824 284 996147200 4194304 4302564 548682068512 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17129/statm: 4644 284 249 26 0 2626 0

[startup+0.0848231 s]
/proc/loadavg: 2.23 2.12 2.03 3/72 17129
/proc/meminfo: memFree=1436328/2055920 swapFree=4192812/4192956
[pid=17129] ppid=17127 vsize=5356 CPUtime=0
/proc/17129/stat : 17129 (concrete.sh) S 17127 17129 15829 0 -1 4194304 341 291 0 0 0 0 0 0 22 0 1 0 58484488 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17129/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101827 s]
/proc/loadavg: 2.23 2.12 2.03 3/72 17129
/proc/meminfo: memFree=1436328/2055920 swapFree=4192812/4192956
[pid=17129] ppid=17127 vsize=5356 CPUtime=0
/proc/17129/stat : 17129 (concrete.sh) S 17127 17129 15829 0 -1 4194304 341 291 0 0 0 0 0 0 22 0 1 0 58484488 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17129/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301846 s]
/proc/loadavg: 2.23 2.12 2.03 3/72 17129
/proc/meminfo: memFree=1436328/2055920 swapFree=4192812/4192956
[pid=17129] ppid=17127 vsize=5356 CPUtime=0
/proc/17129/stat : 17129 (concrete.sh) S 17127 17129 15829 0 -1 4194304 341 291 0 0 0 0 0 0 22 0 1 0 58484488 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17129/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.70188 s]
/proc/loadavg: 2.23 2.12 2.03 3/72 17129
/proc/meminfo: memFree=1436328/2055920 swapFree=4192812/4192956
[pid=17129] ppid=17127 vsize=5356 CPUtime=0
/proc/17129/stat : 17129 (concrete.sh) S 17127 17129 15829 0 -1 4194304 341 291 0 0 0 0 0 0 22 0 1 0 58484488 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17129/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50196 s]
/proc/loadavg: 2.23 2.12 2.03 3/82 17142
/proc/meminfo: memFree=1421592/2055920 swapFree=4192812/4192956
[pid=17129] ppid=17127 vsize=5356 CPUtime=0
/proc/17129/stat : 17129 (concrete.sh) S 17127 17129 15829 0 -1 4194304 341 291 0 0 0 0 0 0 22 0 1 0 58484488 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17129/statm: 1339 244 201 169 0 50 0
[pid=17134] ppid=17129 vsize=847592 CPUtime=1.46
/proc/17134/stat : 17134 (java) S 17129 17129 15829 0 -1 0 8038 0 1 0 140 6 0 0 18 0 9 0 58484489 867934208 7099 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17134/statm: 211898 7099 2624 9 0 206376 0
[pid=17134/tid=17135] ppid=17129 vsize=847592 CPUtime=0.99
/proc/17134/task/17135/stat : 17135 (java) R 17129 17129 15829 0 -1 64 3895 0 1 0 96 3 0 0 25 0 9 0 58484490 867934208 7099 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17136] ppid=17129 vsize=847592 CPUtime=0.12
/proc/17134/task/17136/stat : 17136 (java) R 17129 17129 15829 0 -1 64 2099 0 0 0 12 0 0 0 16 0 9 0 58484491 867934208 7099 996147200 134512640 134550932 4294955408 18446744073709551615 104191133 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17137] ppid=17129 vsize=847592 CPUtime=0
/proc/17134/task/17137/stat : 17137 (java) S 17129 17129 15829 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58484492 867934208 7099 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17138] ppid=17129 vsize=847592 CPUtime=0
/proc/17134/task/17138/stat : 17138 (java) S 17129 17129 15829 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58484492 867934208 7099 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17139] ppid=17129 vsize=847592 CPUtime=0
/proc/17134/task/17139/stat : 17139 (java) S 17129 17129 15829 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58484494 867934208 7099 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17140] ppid=17129 vsize=847592 CPUtime=0.33
/proc/17134/task/17140/stat : 17140 (java) S 17129 17129 15829 0 -1 64 1348 0 0 0 32 1 0 0 16 0 9 0 58484497 867934208 7099 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17141] ppid=17129 vsize=847592 CPUtime=0
/proc/17134/task/17141/stat : 17141 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58484498 867934208 7099 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17142] ppid=17129 vsize=847592 CPUtime=0
/proc/17134/task/17142/stat : 17142 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 58484498 867934208 7099 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.10111 s]
/proc/loadavg: 2.21 2.12 2.03 3/82 17142
/proc/meminfo: memFree=1416152/2055920 swapFree=4192812/4192956
[pid=17129] ppid=17127 vsize=5356 CPUtime=0
/proc/17129/stat : 17129 (concrete.sh) S 17127 17129 15829 0 -1 4194304 341 291 0 0 0 0 0 0 22 0 1 0 58484488 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17129/statm: 1339 244 201 169 0 50 0
[pid=17134] ppid=17129 vsize=847592 CPUtime=3.05
/proc/17134/stat : 17134 (java) S 17129 17129 15829 0 -1 0 9011 0 1 0 298 7 0 0 18 0 9 0 58484489 867934208 8053 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17134/statm: 211898 8053 2624 9 0 206376 0
[pid=17134/tid=17135] ppid=17129 vsize=847592 CPUtime=2.42
/proc/17134/task/17135/stat : 17135 (java) R 17129 17129 15829 0 -1 64 3914 0 1 0 239 3 0 0 25 0 9 0 58484490 867934208 8053 996147200 134512640 134550932 4294955408 18446744073709551615 4126466981 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17136] ppid=17129 vsize=847592 CPUtime=0.27
/proc/17134/task/17136/stat : 17136 (java) S 17129 17129 15829 0 -1 64 3053 0 0 0 26 1 0 0 16 0 9 0 58484491 867934208 8053 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17137] ppid=17129 vsize=847592 CPUtime=0
/proc/17134/task/17137/stat : 17137 (java) S 17129 17129 15829 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58484492 867934208 8053 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17138] ppid=17129 vsize=847592 CPUtime=0
/proc/17134/task/17138/stat : 17138 (java) S 17129 17129 15829 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58484492 867934208 8053 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17139] ppid=17129 vsize=847592 CPUtime=0
/proc/17134/task/17139/stat : 17139 (java) S 17129 17129 15829 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58484494 867934208 8053 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17140] ppid=17129 vsize=847592 CPUtime=0.33
/proc/17134/task/17140/stat : 17140 (java) S 17129 17129 15829 0 -1 64 1348 0 0 0 32 1 0 0 16 0 9 0 58484497 867934208 8053 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17141] ppid=17129 vsize=847592 CPUtime=0
/proc/17134/task/17141/stat : 17141 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58484498 867934208 8053 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17142] ppid=17129 vsize=847592 CPUtime=0
/proc/17134/task/17142/stat : 17142 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 58484498 867934208 8053 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 852948

[startup+6.30241 s]
/proc/loadavg: 2.21 2.12 2.03 3/83 17143
/proc/meminfo: memFree=1371728/2055920 swapFree=4192812/4192956
[pid=17129] ppid=17127 vsize=5356 CPUtime=0
/proc/17129/stat : 17129 (concrete.sh) S 17127 17129 15829 0 -1 4194304 341 291 0 0 0 0 0 0 22 0 1 0 58484488 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17129/statm: 1339 244 201 169 0 50 0
[pid=17134] ppid=17129 vsize=851284 CPUtime=6.22
/proc/17134/stat : 17134 (java) S 17129 17129 15829 0 -1 0 23574 0 1 0 607 15 0 0 18 0 10 0 58484489 871714816 20093 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17134/statm: 212821 20093 2629 9 0 207299 0
[pid=17134/tid=17135] ppid=17129 vsize=851284 CPUtime=4.31
/proc/17134/task/17135/stat : 17135 (java) R 17129 17129 15829 0 -1 64 4442 0 1 0 428 3 0 0 25 0 10 0 58484490 871714816 20093 996147200 134512640 134550932 4294955408 18446744073709551615 4126543806 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17136] ppid=17129 vsize=851284 CPUtime=1.18
/proc/17134/task/17136/stat : 17136 (java) S 17129 17129 15829 0 -1 64 16121 0 0 0 110 8 0 0 16 0 10 0 58484491 871714816 20093 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17137] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17137/stat : 17137 (java) S 17129 17129 15829 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58484492 871714816 20093 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17138] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17138/stat : 17138 (java) S 17129 17129 15829 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58484492 871714816 20093 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17139] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17139/stat : 17139 (java) S 17129 17129 15829 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58484494 871714816 20093 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17140] ppid=17129 vsize=851284 CPUtime=0.7
/proc/17134/task/17140/stat : 17140 (java) S 17129 17129 15829 0 -1 64 2311 0 0 0 68 2 0 0 16 0 10 0 58484497 871714816 20093 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17141] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17141/stat : 17141 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58484498 871714816 20093 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17142] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17142/stat : 17142 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 58484498 871714816 20093 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17143] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17143/stat : 17143 (java) S 17129 17129 15829 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 58484909 871714816 20093 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 856640

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

[startup+9.50272 s]
/proc/loadavg: 2.36 2.15 2.04 3/83 17143
/proc/meminfo: memFree=1356752/2055920 swapFree=4192812/4192956
[pid=17129] ppid=17127 vsize=5356 CPUtime=0
/proc/17129/stat : 17129 (concrete.sh) S 17127 17129 15829 0 -1 4194304 341 291 0 0 0 0 0 0 22 0 1 0 58484488 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17129/statm: 1339 244 201 169 0 50 0
[pid=17134] ppid=17129 vsize=851284 CPUtime=9.39
/proc/17134/stat : 17134 (java) S 17129 17129 15829 0 -1 0 26704 0 1 0 923 16 0 0 18 0 10 0 58484489 871714816 22593 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17134/statm: 212821 22593 2627 9 0 207299 0
[pid=17134/tid=17135] ppid=17129 vsize=851284 CPUtime=6.95
/proc/17134/task/17135/stat : 17135 (java) R 17129 17129 15829 0 -1 64 4869 0 1 0 691 4 0 0 25 0 10 0 58484490 871714816 22593 996147200 134512640 134550932 4294955408 18446744073709551615 4127658036 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17136] ppid=17129 vsize=851284 CPUtime=1.69
/proc/17134/task/17136/stat : 17136 (java) S 17129 17129 15829 0 -1 64 18799 0 0 0 160 9 0 0 16 0 10 0 58484491 871714816 22593 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17137] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17137/stat : 17137 (java) S 17129 17129 15829 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58484492 871714816 22593 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17138] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17138/stat : 17138 (java) S 17129 17129 15829 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58484492 871714816 22593 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17139] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17139/stat : 17139 (java) S 17129 17129 15829 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58484494 871714816 22593 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17140] ppid=17129 vsize=851284 CPUtime=0.73
/proc/17134/task/17140/stat : 17140 (java) S 17129 17129 15829 0 -1 64 2336 0 0 0 71 2 0 0 16 0 10 0 58484497 871714816 22593 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17141] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17141/stat : 17141 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58484498 871714816 22593 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17142] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17142/stat : 17142 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 58484498 871714816 22593 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17143] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17143/stat : 17143 (java) S 17129 17129 15829 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 58484909 871714816 22593 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 856640

[startup+10.3018 s]
/proc/loadavg: 2.36 2.15 2.04 3/83 17143
/proc/meminfo: memFree=1354896/2055920 swapFree=4192812/4192956
[pid=17129] ppid=17127 vsize=5356 CPUtime=0
/proc/17129/stat : 17129 (concrete.sh) S 17127 17129 15829 0 -1 4194304 341 291 0 0 0 0 0 0 22 0 1 0 58484488 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17129/statm: 1339 244 201 169 0 50 0
[pid=17134] ppid=17129 vsize=851284 CPUtime=10.18
/proc/17134/stat : 17134 (java) S 17129 17129 15829 0 -1 0 27624 0 1 0 1001 17 0 0 18 0 9 0 58484489 871714816 23500 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17134/statm: 212821 23500 2628 9 0 207299 0
[pid=17134/tid=17135] ppid=17129 vsize=851284 CPUtime=7.43
/proc/17134/task/17135/stat : 17135 (java) R 17129 17129 15829 0 -1 64 4906 0 1 0 739 4 0 0 25 0 9 0 58484490 871714816 23500 996147200 134512640 134550932 4294955408 18446744073709551615 4127793136 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17136] ppid=17129 vsize=851284 CPUtime=1.95
/proc/17134/task/17136/stat : 17136 (java) S 17129 17129 15829 0 -1 64 19656 0 0 0 186 9 0 0 16 0 9 0 58484491 871714816 23500 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17137] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17137/stat : 17137 (java) S 17129 17129 15829 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58484492 871714816 23500 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17138] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17138/stat : 17138 (java) S 17129 17129 15829 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58484492 871714816 23500 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17139] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17139/stat : 17139 (java) S 17129 17129 15829 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58484494 871714816 23500 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17140] ppid=17129 vsize=851284 CPUtime=0.77
/proc/17134/task/17140/stat : 17140 (java) S 17129 17129 15829 0 -1 64 2360 0 0 0 75 2 0 0 15 0 9 0 58484497 871714816 23500 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17141] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17141/stat : 17141 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58484498 871714816 23500 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17142] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17142/stat : 17142 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 58484498 871714816 23500 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.18
Current children cumulated vsize (KiB) 856640

[startup+11.1019 s]
/proc/loadavg: 2.36 2.15 2.04 3/82 17144
/proc/meminfo: memFree=1351504/2055920 swapFree=4192812/4192956
[pid=17129] ppid=17127 vsize=5356 CPUtime=0
/proc/17129/stat : 17129 (concrete.sh) S 17127 17129 15829 0 -1 4194304 341 291 0 0 0 0 0 0 22 0 1 0 58484488 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17129/statm: 1339 244 201 169 0 50 0
[pid=17134] ppid=17129 vsize=851284 CPUtime=10.97
/proc/17134/stat : 17134 (java) S 17129 17129 15829 0 -1 0 27650 0 1 0 1080 17 0 0 18 0 9 0 58484489 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17134/statm: 212821 23522 2628 9 0 207299 0
[pid=17134/tid=17135] ppid=17129 vsize=851284 CPUtime=8.16
/proc/17134/task/17135/stat : 17135 (java) R 17129 17129 15829 0 -1 64 4910 0 1 0 812 4 0 0 25 0 9 0 58484490 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4127772068 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17136] ppid=17129 vsize=851284 CPUtime=2.01
/proc/17134/task/17136/stat : 17136 (java) S 17129 17129 15829 0 -1 64 19677 0 0 0 192 9 0 0 16 0 9 0 58484491 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17137] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17137/stat : 17137 (java) S 17129 17129 15829 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58484492 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17138] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17138/stat : 17138 (java) S 17129 17129 15829 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58484492 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17139] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17139/stat : 17139 (java) S 17129 17129 15829 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58484494 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17140] ppid=17129 vsize=851284 CPUtime=0.77
/proc/17134/task/17140/stat : 17140 (java) S 17129 17129 15829 0 -1 64 2361 0 0 0 75 2 0 0 15 0 9 0 58484497 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17141] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17141/stat : 17141 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58484498 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17142] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17142/stat : 17142 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 58484498 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (KiB) 856640

[startup+11.5029 s]
/proc/loadavg: 2.36 2.15 2.04 3/82 17144
/proc/meminfo: memFree=1351504/2055920 swapFree=4192812/4192956
[pid=17129] ppid=17127 vsize=5356 CPUtime=0
/proc/17129/stat : 17129 (concrete.sh) S 17127 17129 15829 0 -1 4194304 341 291 0 0 0 0 0 0 22 0 1 0 58484488 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17129/statm: 1339 244 201 169 0 50 0
[pid=17134] ppid=17129 vsize=851284 CPUtime=11.37
/proc/17134/stat : 17134 (java) S 17129 17129 15829 0 -1 0 27654 0 1 0 1120 17 0 0 18 0 9 0 58484489 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17134/statm: 212821 23522 2628 9 0 207299 0
[pid=17134/tid=17135] ppid=17129 vsize=851284 CPUtime=8.49
/proc/17134/task/17135/stat : 17135 (java) R 17129 17129 15829 0 -1 64 4914 0 1 0 845 4 0 0 25 0 9 0 58484490 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4127798281 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17136] ppid=17129 vsize=851284 CPUtime=2.07
/proc/17134/task/17136/stat : 17136 (java) S 17129 17129 15829 0 -1 64 19677 0 0 0 198 9 0 0 16 0 9 0 58484491 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17137] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17137/stat : 17137 (java) S 17129 17129 15829 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58484492 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17138] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17138/stat : 17138 (java) S 17129 17129 15829 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58484492 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17139] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17139/stat : 17139 (java) S 17129 17129 15829 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58484494 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17140] ppid=17129 vsize=851284 CPUtime=0.77
/proc/17134/task/17140/stat : 17140 (java) S 17129 17129 15829 0 -1 64 2361 0 0 0 75 2 0 0 15 0 9 0 58484497 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17141] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17141/stat : 17141 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58484498 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17134/tid=17142] ppid=17129 vsize=851284 CPUtime=0
/proc/17134/task/17142/stat : 17142 (java) S 17129 17129 15829 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 58484498 871714816 23522 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (KiB) 856640

Child status: 0
Real time (s): 11.5904
CPU time (s): 11.4253
CPU user time (s): 11.2343
CPU system time (s): 0.19097
CPU usage (%): 98.5753
Max. virtual memory (cumulated for all children) (KiB): 857928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2343
system time used= 0.19097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28306
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= 3969
involuntary context switches= 4139

runsolver used 0.025996 second user time and 0.042993 second system time

The end

Launcher Data 

Begin job on node61 at 2009-07-16 05:16:50
IDJOB=2076512
IDBENCH=56445
IDSOLVER=735
FILE ID=node61/2076512-1247714210
PBS_JOBID= 9521385
Free space on /tmp= 66356 MiB

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

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

MD5SUM BENCH= 86b24a9ba558d9e8e32f84b5d3fc0678
RANDOM SEED=1846204220

node61.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.229
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.229
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:       1436744 kB
Buffers:        103304 kB
Cached:         308028 kB
SwapCached:          0 kB
Active:         204040 kB
Inactive:       314408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1436744 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2472 kB
Writeback:           0 kB
Mapped:         118556 kB
Slab:            85944 kB
Committed_AS:   630072 kB
PageTables:       1964 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66356 MiB
End job on node61 at 2009-07-16 05:17:02