Trace number 1082404

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 + CSP4J - WMC Engine 2008-05-30SAT 15.2647 15.3336

DiagnosticValue
CHECKS128648000
NODES4614

General information on the benchmark

Namecsp/super-os/super-os-taillard-10/
normalized-super-os-taillard-10-18.xml
MD5SUM3074edf8a49e2ed2abf95b9cd7a6a56e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.36673
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Maximum constraint arity2
Maximum domain size625
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2800
Global constraints used (with number of constraints)

Solver Data (download as text)

6.28/6.38	c CPU-LOAD 4.89
6.28/6.38	c LOADED 200 V (625 E), 2700 DTPConstraint, 100 ExtensionConstraint2D, arity 2, 4.89 cpu
15.17/15.26	v 501 500 203 195 62 60 545 544 2 6 417 416 376 382 125 129 278 277 222 221 368 377 173 170 1 3 351 350 76 75 452 451 508 510 538 539 290 292 623 624 560 556 364 366 74 65 124 136 478 464 239 240 414 416 193 190 218 64 313 309 122 127 43 45 458 457 6 5 534 535 0 436 311 317 362 361 195 198 226 225 224 223 159 136 467 468 501 500 7 6 350 353 370 367 74 110 324 329 567 569 224 223 1 3 316 315 306 305 293 292 124 126 556 557 65 62 394 390 471 469 624 522 224 229 103 462 531 508 331 61 442 427 6 8 120 121 163 167 383 614 555 563 97 508 237 235 483 485 140 138 4 3 304 305 384 389 63 61 469 462 509 510 469 464 94 88 352 350 120 122 366 370 321 323 212 211 0 5 577 575 61 59 373 370 0 3 354 357 567 569 342 339 506 505 425 426 147 148 219 217 
15.17/15.26	s SATISFIABLE
15.17/15.26	d NODES 4614
15.17/15.26	d CHECKS 128648368
15.17/15.26	c gac3-effective-revisions: 0
15.17/15.26	c gac3-useless-revisions: 5600
15.17/15.26	c local-minima: 441
15.17/15.26	c prepro-constraint-ccks: 0
15.17/15.26	c prepro-constraint-presenceccks: 0
15.17/15.26	c prepro-cpu: 0.05
15.17/15.26	c prepro-matrix2d-ccks: 115410
15.17/15.26	c prepro-matrix2d-presenceccks: 115410
15.17/15.26	c prepro-removed: 0
15.17/15.26	c total-assgn: 4614
15.17/15.26	c total-constraint-ccks: 128527408
15.17/15.26	c total-constraint-presence-ccks: 0
15.17/15.26	c total-cpu: 8.72
15.17/15.26	c total-matrix2d-ccks: 120960
15.17/15.26	c total-matrix2d-presence-ccks: 461640
15.17/15.26	c tuples: 0
15.17/15.26	c tuples-collisions: 0
15.17/15.26	c TOTAL-NODES 4614
15.17/15.26	c TOTAL-CPU 8.72

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1082404-1215222568/watcher-1082404-1215222568 -o /tmp/evaluation-result-1082404-1215222568/solver-1082404-1215222568 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1082404-1215222568.xml 

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


[startup+0 s]
/proc/loadavg: 2.56 2.20 2.06 4/72 3733
/proc/meminfo: memFree=1730280/2055920 swapFree=4180844/4192956
[pid=3733] ppid=3731 vsize=5356 CPUtime=0
/proc/3733/stat : 3733 (concrete.sh) R 3731 3733 3338 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 2001230826 5484544 230 996147200 4194304 4889804 548682068768 18446744073709551615 253307185823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/3733/statm: 1339 230 191 169 0 50 0
[pid=3734] ppid=3733 vsize=5356 CPUtime=0
/proc/3734/stat : 3734 (concrete.sh) R 3733 3733 3338 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 2001230826 5484544 230 996147200 4194304 4889804 548682068768 18446744073709551615 253307185823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/3734/statm: 1339 230 191 169 0 50 0

[startup+0.0119779 s]
/proc/loadavg: 2.56 2.20 2.06 4/72 3733
/proc/meminfo: memFree=1730280/2055920 swapFree=4180844/4192956
[pid=3733] ppid=3731 vsize=5356 CPUtime=0
/proc/3733/stat : 3733 (concrete.sh) S 3731 3733 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2001230826 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3733/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.103989 s]
/proc/loadavg: 2.56 2.20 2.06 4/72 3733
/proc/meminfo: memFree=1730280/2055920 swapFree=4180844/4192956
[pid=3733] ppid=3731 vsize=5356 CPUtime=0
/proc/3733/stat : 3733 (concrete.sh) S 3731 3733 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2001230826 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3733/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.303009 s]
/proc/loadavg: 2.56 2.20 2.06 4/72 3733
/proc/meminfo: memFree=1730280/2055920 swapFree=4180844/4192956
[pid=3733] ppid=3731 vsize=5356 CPUtime=0
/proc/3733/stat : 3733 (concrete.sh) S 3731 3733 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2001230826 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3733/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701035 s]
/proc/loadavg: 2.56 2.20 2.06 4/72 3733
/proc/meminfo: memFree=1730280/2055920 swapFree=4180844/4192956
[pid=3733] ppid=3731 vsize=5356 CPUtime=0
/proc/3733/stat : 3733 (concrete.sh) S 3731 3733 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2001230826 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3733/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50111 s]
/proc/loadavg: 2.56 2.20 2.06 3/82 3744
/proc/meminfo: memFree=1718552/2055920 swapFree=4180844/4192956
[pid=3733] ppid=3731 vsize=5356 CPUtime=0
/proc/3733/stat : 3733 (concrete.sh) S 3731 3733 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2001230826 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3733/statm: 1339 242 201 169 0 50 0
[pid=3736] ppid=3733 vsize=845308 CPUtime=1.47
/proc/3736/stat : 3736 (java) S 3733 3733 3338 0 -1 0 7210 0 1 0 141 6 0 0 18 0 10 0 2001230827 865595392 6290 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3736/statm: 211327 6290 2574 9 0 205888 0
[pid=3736/tid=3737] ppid=3733 vsize=845308 CPUtime=1.14
/proc/3736/task/3737/stat : 3737 (java) R 3733 3733 3338 0 -1 64 3496 0 1 0 111 3 0 0 25 0 10 0 2001230828 865595392 6290 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3738] ppid=3733 vsize=845308 CPUtime=0.16
/proc/3736/task/3738/stat : 3738 (java) R 3733 3733 3338 0 -1 64 2456 0 0 0 15 1 0 0 16 0 10 0 2001230829 865595392 6290 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3739] ppid=3733 vsize=845308 CPUtime=0
/proc/3736/task/3739/stat : 3739 (java) S 3733 3733 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 2001230829 865595392 6290 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3740] ppid=3733 vsize=845308 CPUtime=0
/proc/3736/task/3740/stat : 3740 (java) S 3733 3733 3338 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 2001230829 865595392 6294 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3741] ppid=3733 vsize=845308 CPUtime=0
/proc/3736/task/3741/stat : 3741 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2001230831 865595392 6299 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3742] ppid=3733 vsize=845308 CPUtime=0.14
/proc/3736/task/3742/stat : 3742 (java) S 3733 3733 3338 0 -1 64 524 0 0 0 14 0 0 0 16 0 10 0 2001230832 865595392 6301 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3743] ppid=3733 vsize=845308 CPUtime=0
/proc/3736/task/3743/stat : 3743 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2001230832 865595392 6302 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3744] ppid=3733 vsize=845308 CPUtime=0
/proc/3736/task/3744/stat : 3744 (java) S 3733 3733 3338 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 2001230832 865595392 6302 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 850664

[startup+3.10125 s]
/proc/loadavg: 2.56 2.20 2.06 4/83 3745
/proc/meminfo: memFree=1707856/2055920 swapFree=4180844/4192956
[pid=3733] ppid=3731 vsize=5356 CPUtime=0
/proc/3733/stat : 3733 (concrete.sh) S 3731 3733 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2001230826 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3733/statm: 1339 242 201 169 0 50 0
[pid=3736] ppid=3733 vsize=850948 CPUtime=3.07
/proc/3736/stat : 3736 (java) S 3733 3733 3338 0 -1 0 11068 0 1 0 298 9 0 0 18 0 10 0 2001230827 871370752 9931 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3736/statm: 212737 9931 2588 9 0 207297 0
[pid=3736/tid=3737] ppid=3733 vsize=850948 CPUtime=2.23
/proc/3736/task/3737/stat : 3737 (java) R 3733 3733 3338 0 -1 64 3770 0 1 0 220 3 0 0 25 0 10 0 2001230828 871370752 9931 996147200 134512640 134550740 4294956016 18446744073709551615 4127246008 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3738] ppid=3733 vsize=850948 CPUtime=0.31
/proc/3736/task/3738/stat : 3738 (java) S 3733 3733 3338 0 -1 64 4278 0 0 0 28 3 0 0 16 0 10 0 2001230829 871370752 9931 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3739] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3739/stat : 3739 (java) S 3733 3733 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 2001230829 871370752 9931 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3740] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3740/stat : 3740 (java) S 3733 3733 3338 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 2001230829 871370752 9931 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3741] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3741/stat : 3741 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2001230831 871370752 9931 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3742] ppid=3733 vsize=850948 CPUtime=0.51
/proc/3736/task/3742/stat : 3742 (java) S 3733 3733 3338 0 -1 64 2283 0 0 0 50 1 0 0 15 0 10 0 2001230832 871370752 9931 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3743] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3743/stat : 3743 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2001230832 871370752 9931 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3744] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3744/stat : 3744 (java) S 3733 3733 3338 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 2001230832 871370752 9931 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3745] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3745/stat : 3745 (java) S 3733 3733 3338 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 2001230975 871370752 9931 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 856304

[startup+6.30254 s]
/proc/loadavg: 2.51 2.19 2.06 3/83 3745
/proc/meminfo: memFree=1696400/2055920 swapFree=4180844/4192956
[pid=3733] ppid=3731 vsize=5356 CPUtime=0
/proc/3733/stat : 3733 (concrete.sh) S 3731 3733 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2001230826 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3733/statm: 1339 242 201 169 0 50 0
[pid=3736] ppid=3733 vsize=850948 CPUtime=6.28
/proc/3736/stat : 3736 (java) S 3733 3733 3338 0 -1 0 18973 0 1 0 615 13 0 0 18 0 10 0 2001230827 871370752 17483 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3736/statm: 212737 17483 2585 9 0 207297 0
[pid=3736/tid=3737] ppid=3733 vsize=850948 CPUtime=4.94
/proc/3736/task/3737/stat : 3737 (java) R 3733 3733 3338 0 -1 64 4427 0 1 0 490 4 0 0 25 0 10 0 2001230828 871370752 17483 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3738] ppid=3733 vsize=850948 CPUtime=0.73
/proc/3736/task/3738/stat : 3738 (java) R 3733 3733 3338 0 -1 64 11491 0 0 0 68 5 0 0 16 0 10 0 2001230829 871370752 17483 996147200 134512640 134550740 4294956016 18446744073709551615 104179135 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3739] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3739/stat : 3739 (java) S 3733 3733 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 2001230829 871370752 17483 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3740] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3740/stat : 3740 (java) S 3733 3733 3338 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 2001230829 871370752 17483 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3741] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3741/stat : 3741 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2001230831 871370752 17483 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3742] ppid=3733 vsize=850948 CPUtime=0.57
/proc/3736/task/3742/stat : 3742 (java) S 3733 3733 3338 0 -1 64 2318 0 0 0 55 2 0 0 15 0 10 0 2001230832 871370752 17483 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3743] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3743/stat : 3743 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2001230832 871370752 17483 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3744] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3744/stat : 3744 (java) S 3733 3733 3338 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 2001230832 871370752 17483 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3745] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3745/stat : 3745 (java) S 3733 3733 3338 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 2001230975 871370752 17483 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 856304

[startup+12.7011 s]
/proc/loadavg: 2.47 2.19 2.05 3/82 3746
/proc/meminfo: memFree=1656456/2055920 swapFree=4180844/4192956
[pid=3733] ppid=3731 vsize=5356 CPUtime=0
/proc/3733/stat : 3733 (concrete.sh) S 3731 3733 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2001230826 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3733/statm: 1339 242 201 169 0 50 0
[pid=3736] ppid=3733 vsize=850948 CPUtime=12.67
/proc/3736/stat : 3736 (java) S 3733 3733 3338 0 -1 0 22266 0 1 0 1253 14 0 0 18 0 9 0 2001230827 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3736/statm: 212737 20766 2587 9 0 207297 0
[pid=3736/tid=3737] ppid=3733 vsize=850948 CPUtime=11.14
/proc/3736/task/3737/stat : 3737 (java) R 3733 3733 3338 0 -1 64 4441 0 1 0 1110 4 0 0 25 0 9 0 2001230828 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4127413357 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3738] ppid=3733 vsize=850948 CPUtime=0.88
/proc/3736/task/3738/stat : 3738 (java) S 3733 3733 3338 0 -1 64 14749 0 0 0 82 6 0 0 16 0 9 0 2001230829 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3739] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3739/stat : 3739 (java) S 3733 3733 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2001230829 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3740] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3740/stat : 3740 (java) S 3733 3733 3338 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2001230829 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3741] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3741/stat : 3741 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001230831 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3742] ppid=3733 vsize=850948 CPUtime=0.62
/proc/3736/task/3742/stat : 3742 (java) S 3733 3733 3338 0 -1 64 2337 0 0 0 60 2 0 0 15 0 9 0 2001230832 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3743] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3743/stat : 3743 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001230832 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3744] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3744/stat : 3744 (java) S 3733 3733 3338 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2001230832 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 856304

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

[startup+14.3063 s]
/proc/loadavg: 2.43 2.19 2.05 3/82 3746
/proc/meminfo: memFree=1656456/2055920 swapFree=4180844/4192956
[pid=3733] ppid=3731 vsize=5356 CPUtime=0
/proc/3733/stat : 3733 (concrete.sh) S 3731 3733 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2001230826 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3733/statm: 1339 242 201 169 0 50 0
[pid=3736] ppid=3733 vsize=850948 CPUtime=14.27
/proc/3736/stat : 3736 (java) S 3733 3733 3338 0 -1 0 22266 0 1 0 1413 14 0 0 18 0 9 0 2001230827 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3736/statm: 212737 20766 2587 9 0 207297 0
[pid=3736/tid=3737] ppid=3733 vsize=850948 CPUtime=12.74
/proc/3736/task/3737/stat : 3737 (java) R 3733 3733 3338 0 -1 64 4441 0 1 0 1270 4 0 0 25 0 9 0 2001230828 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4127301398 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3738] ppid=3733 vsize=850948 CPUtime=0.88
/proc/3736/task/3738/stat : 3738 (java) S 3733 3733 3338 0 -1 64 14749 0 0 0 82 6 0 0 16 0 9 0 2001230829 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3739] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3739/stat : 3739 (java) S 3733 3733 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2001230829 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3740] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3740/stat : 3740 (java) S 3733 3733 3338 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2001230829 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3741] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3741/stat : 3741 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001230831 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3742] ppid=3733 vsize=850948 CPUtime=0.62
/proc/3736/task/3742/stat : 3742 (java) S 3733 3733 3338 0 -1 64 2337 0 0 0 60 2 0 0 16 0 9 0 2001230832 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3743] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3743/stat : 3743 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001230832 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3744] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3744/stat : 3744 (java) S 3733 3733 3338 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2001230832 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.27
Current children cumulated vsize (KiB) 856304

[startup+15.1023 s]
/proc/loadavg: 2.43 2.19 2.05 3/82 3746
/proc/meminfo: memFree=1656456/2055920 swapFree=4180844/4192956
[pid=3733] ppid=3731 vsize=5356 CPUtime=0
/proc/3733/stat : 3733 (concrete.sh) S 3731 3733 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2001230826 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3733/statm: 1339 242 201 169 0 50 0
[pid=3736] ppid=3733 vsize=850948 CPUtime=15.07
/proc/3736/stat : 3736 (java) S 3733 3733 3338 0 -1 0 22266 0 1 0 1493 14 0 0 18 0 9 0 2001230827 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3736/statm: 212737 20766 2587 9 0 207297 0
[pid=3736/tid=3737] ppid=3733 vsize=850948 CPUtime=13.54
/proc/3736/task/3737/stat : 3737 (java) R 3733 3733 3338 0 -1 64 4441 0 1 0 1350 4 0 0 25 0 9 0 2001230828 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4127301801 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3738] ppid=3733 vsize=850948 CPUtime=0.88
/proc/3736/task/3738/stat : 3738 (java) S 3733 3733 3338 0 -1 64 14749 0 0 0 82 6 0 0 17 0 9 0 2001230829 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3739] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3739/stat : 3739 (java) S 3733 3733 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2001230829 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3740] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3740/stat : 3740 (java) S 3733 3733 3338 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2001230829 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3741] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3741/stat : 3741 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001230831 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3742] ppid=3733 vsize=850948 CPUtime=0.62
/proc/3736/task/3742/stat : 3742 (java) S 3733 3733 3338 0 -1 64 2337 0 0 0 60 2 0 0 16 0 9 0 2001230832 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3743] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3743/stat : 3743 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001230832 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3744] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3744/stat : 3744 (java) S 3733 3733 3338 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2001230832 871370752 20766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.07
Current children cumulated vsize (KiB) 856304

[startup+15.3024 s]
/proc/loadavg: 2.43 2.19 2.05 2/82 3747
/proc/meminfo: memFree=1656456/2055920 swapFree=4180844/4192956
[pid=3733] ppid=3731 vsize=5356 CPUtime=0
/proc/3733/stat : 3733 (concrete.sh) S 3731 3733 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2001230826 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3733/statm: 1339 242 201 169 0 50 0
[pid=3736] ppid=3733 vsize=850948 CPUtime=15.24
/proc/3736/stat : 3736 (java) S 3733 3733 3338 0 -1 0 22271 0 1 0 1510 14 0 0 18 0 9 0 2001230827 871370752 20769 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3736/statm: 212737 20769 2587 9 0 207297 0
[pid=3736/tid=3737] ppid=3733 vsize=850948 CPUtime=13.7
/proc/3736/task/3737/stat : 3737 (java) S 3733 3733 3338 0 -1 64 4444 0 1 0 1366 4 0 0 25 0 9 0 2001230828 871370752 20769 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3738] ppid=3733 vsize=850948 CPUtime=0.88
/proc/3736/task/3738/stat : 3738 (java) S 3733 3733 3338 0 -1 64 14749 0 0 0 82 6 0 0 17 0 9 0 2001230829 871370752 20769 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3739] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3739/stat : 3739 (java) S 3733 3733 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2001230829 871370752 20769 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3740] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3740/stat : 3740 (java) S 3733 3733 3338 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2001230829 871370752 20769 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3741] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3741/stat : 3741 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001230831 871370752 20769 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3742] ppid=3733 vsize=850948 CPUtime=0.63
/proc/3736/task/3742/stat : 3742 (java) S 3733 3733 3338 0 -1 64 2337 0 0 0 61 2 0 0 16 0 9 0 2001230832 871370752 20769 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3736/tid=3743] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3743/stat : 3743 (java) S 3733 3733 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001230832 871370752 20769 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3736/tid=3744] ppid=3733 vsize=850948 CPUtime=0
/proc/3736/task/3744/stat : 3744 (java) S 3733 3733 3338 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2001230832 871370752 20769 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.24
Current children cumulated vsize (KiB) 856304

Child status: 0
Real time (s): 15.3336
CPU time (s): 15.2647
CPU user time (s): 15.1027
CPU system time (s): 0.161975
CPU usage (%): 99.5506
Max. virtual memory (cumulated for all children) (KiB): 857588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.1027
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22725
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= 4395
involuntary context switches= 4053

runsolver used 0.023996 second user time and 0.056991 second system time

The end

Launcher Data (download as text)

Begin job on node25 at 2008-07-05 03:49:28
IDJOB=1082404
IDBENCH=57249
IDSOLVER=304
FILE ID=node25/1082404-1215222568
PBS_JOBID= 7881825
Free space on /tmp= 66528 MiB

SOLVER NAME= Concrete + CSP4J - WMC Engine 2008-05-30
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-10/normalized-super-os-taillard-10-18.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s WMC BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1082404-1215222568/watcher-1082404-1215222568 -o /tmp/evaluation-result-1082404-1215222568/solver-1082404-1215222568 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1082404-1215222568.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 3074edf8a49e2ed2abf95b9cd7a6a56e
RANDOM SEED=1635743079

node25.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.234
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.234
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:       1730824 kB
Buffers:         62624 kB
Cached:         195088 kB
SwapCached:       6196 kB
Active:         186316 kB
Inactive:        83156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1730824 kB
SwapTotal:     4192956 kB
SwapFree:      4180844 kB
Dirty:            1112 kB
Writeback:           0 kB
Mapped:          18984 kB
Slab:            40872 kB
Committed_AS:  3514852 kB
PageTables:       1896 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= 66528 MiB
End job on node25 at 2008-07-05 03:49:43