Trace number 2065147

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
pcs 0.3.2? (MO) 953.71 962.854

General information on the benchmark

Namecsp/fischer/
normalized-fischer-11-13-fair.xml
MD5SUMfe19cf8ed6a3db0dbc49a8d73f628b94
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables37437
Number of constraints35472
Maximum constraint arity3
Maximum domain size20001
Number of constraints which are defined in extension0
Number of constraints which are defined in intension35472
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c has big domains
0.00/0.03	c big-domain mode
0.18/0.21	c Seed is 1075151295
0.18/0.21	c Constructing HOME/instance-2065147-1247703434.xml  with 47374 constraints
2.06/2.15	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2065147-1247703434/watcher-2065147-1247703434 -o /tmp/evaluation-result-2065147-1247703434/solver-2065147-1247703434 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1075151295 HOME/instance-2065147-1247703434.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.00 1.98 1.83 4/81 10414
/proc/meminfo: memFree=1347672/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=5356 CPUtime=0
/proc/10414/stat : 10414 (pcssolve) R 10412 10414 9343 0 -1 4194304 290 0 0 0 0 0 0 0 23 0 1 0 57410292 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 237788261023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10414/statm: 1339 241 200 169 0 50 0
[pid=10415] ppid=10414 vsize=100 CPUtime=0
/proc/10415/stat : 10415 (fgrep) R 10414 10414 9343 0 -1 4194304 24 0 0 0 0 0 0 0 24 0 1 0 57410293 102400 3 996147200 0 0 548682069725 18446744073709551615 237788261671 0 0 4096 0 0 0 0 17 1 0 0
/proc/10415/statm: 25 3 0 0 0 2 0
[pid=10416] ppid=10414 vsize=5356 CPUtime=0
/proc/10416/stat : 10416 (pcssolve) R 10414 10414 9343 0 -1 4194368 0 0 0 0 0 0 0 0 23 0 1 0 57410293 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 237788261023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10416/statm: 1339 241 200 169 0 50 0

[startup+0.087014 s]
/proc/loadavg: 2.00 1.98 1.83 4/81 10414
/proc/meminfo: memFree=1347672/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=6748 CPUtime=0.07
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 1332 657 0 0 5 0 1 1 18 0 1 0 57410292 6909952 963 996147200 134512640 135215973 4294956304 18446744073709551615 4159782521 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 1687 963 361 171 0 612 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6748

[startup+0.101325 s]
/proc/loadavg: 2.00 1.98 1.83 4/81 10414
/proc/meminfo: memFree=1347672/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=6880 CPUtime=0.08
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 1387 657 0 0 6 0 1 1 18 0 1 0 57410292 7045120 1018 996147200 134512640 135215973 4294956304 18446744073709551615 134761745 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 1720 1018 361 171 0 645 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6880

[startup+0.302375 s]
/proc/loadavg: 2.00 1.98 1.83 4/81 10414
/proc/meminfo: memFree=1347672/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=17964 CPUtime=0.28
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 3915 657 0 0 25 1 1 1 19 0 1 0 57410292 18395136 2811 996147200 134512640 135215973 4294956304 18446744073709551615 134808183 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 4491 2811 376 171 0 3416 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17964

[startup+0.701446 s]
/proc/loadavg: 2.00 1.98 1.83 4/81 10414
/proc/meminfo: memFree=1347672/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=21332 CPUtime=0.68
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 5643 657 0 0 64 2 1 1 23 0 1 0 57410292 21843968 3909 996147200 134512640 135215973 4294956304 18446744073709551615 134762900 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 5333 3909 387 171 0 4258 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21332

[startup+1.50159 s]
/proc/loadavg: 2.00 1.98 1.83 3/82 10419
/proc/meminfo: memFree=1332048/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=25444 CPUtime=1.48
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 6833 657 0 0 143 3 1 1 25 0 1 0 57410292 26054656 4809 996147200 134512640 135215973 4294956304 18446744073709551615 3072977 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 6361 4809 389 171 0 5286 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25444

[startup+3.10188 s]
/proc/loadavg: 2.00 1.98 1.83 3/82 10419
/proc/meminfo: memFree=1327312/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=38180 CPUtime=3.06
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 11515 657 0 0 299 5 1 1 25 0 1 0 57410292 39096320 8348 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 9545 8348 406 171 0 8470 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38180

[startup+6.30147 s]
/proc/loadavg: 2.16 2.01 1.84 3/82 10419
/proc/meminfo: memFree=1311504/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=43348 CPUtime=6.22
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 17111 657 0 0 613 7 1 1 25 0 1 0 57410292 44388352 9327 996147200 134512640 135215973 4294956304 18446744073709551615 134585666 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 10837 9327 409 171 0 9762 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 43348

[startup+12.7016 s]
/proc/loadavg: 2.15 2.01 1.84 3/82 10419
/proc/meminfo: memFree=1310608/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=43744 CPUtime=12.57
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 26525 657 0 0 1245 10 1 1 25 0 1 0 57410292 44793856 9545 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 10936 9545 409 171 0 9861 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 43744

[startup+25.503 s]
/proc/loadavg: 2.11 2.01 1.84 3/82 10419
/proc/meminfo: memFree=1307792/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=46700 CPUtime=25.24
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 50037 657 0 0 2504 18 1 1 25 0 1 0 57410292 47820800 10309 996147200 134512640 135215973 4294956304 18446744073709551615 134600144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 11675 10309 409 171 0 10600 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 46700

[startup+51.1027 s]
/proc/loadavg: 2.07 2.00 1.84 3/82 10419
/proc/meminfo: memFree=1295056/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=64628 CPUtime=50.6
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 142000 657 0 0 5006 52 1 1 25 0 1 0 57410292 66179072 13477 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 16157 13477 409 171 0 15082 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 64628

[startup+102.306 s]
/proc/loadavg: 2.03 2.00 1.85 3/82 10419
/proc/meminfo: memFree=1277520/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=82036 CPUtime=101.31
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 264664 657 0 0 10030 99 1 1 25 0 1 0 57410292 84004864 17825 996147200 134512640 135215973 4294956304 18446744073709551615 134648570 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 20509 17825 409 171 0 19434 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 82036

[startup+162.301 s]
/proc/loadavg: 2.01 2.00 1.86 4/82 10419
/proc/meminfo: memFree=1233872/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=126112 CPUtime=160.74
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 420302 657 0 0 15914 158 1 1 25 0 1 0 57410292 129138688 28804 996147200 134512640 135215973 4294956304 18446744073709551615 134964659 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 31528 28804 409 171 0 30453 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 126112

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/82 10419
/proc/meminfo: memFree=1188752/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=168560 CPUtime=220.17
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 544121 657 0 0 21810 205 1 1 25 0 1 0 57410292 172605440 40027 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 42140 40027 409 171 0 41065 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 168560

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.87 4/82 10419
/proc/meminfo: memFree=1126736/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=230836 CPUtime=279.6
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 674856 657 0 0 27704 254 1 1 25 0 1 0 57410292 236376064 55533 996147200 134512640 135215973 4294956304 18446744073709551615 134677894 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 57709 55533 409 171 0 56634 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 230836

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.87 4/82 10419
/proc/meminfo: memFree=1083792/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=273336 CPUtime=339.04
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 784394 657 0 0 33606 296 1 1 25 0 1 0 57410292 279896064 66247 996147200 134512640 135215973 4294956304 18446744073709551615 134610629 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 68334 66247 409 171 0 67259 0
Current children cumulated CPU time (s) 339.04
Current children cumulated vsize (KiB) 273336

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.88 3/82 10419
/proc/meminfo: memFree=1036624/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=324056 CPUtime=398.47
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 891665 657 0 0 39503 342 1 1 25 0 1 0 57410292 331833344 77915 996147200 134512640 135215973 4294956304 18446744073709551615 134533346 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 81014 77915 409 171 0 79939 0
Current children cumulated CPU time (s) 398.47
Current children cumulated vsize (KiB) 324056

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 1.88 3/82 10419
/proc/meminfo: memFree=992528/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=368168 CPUtime=457.91
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 1009706 657 0 0 45396 393 1 1 25 0 1 0 57410292 377004032 89080 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 92042 89080 409 171 0 90967 0
Current children cumulated CPU time (s) 457.91
Current children cumulated vsize (KiB) 368168

[startup+522.301 s]
/proc/loadavg: 2.05 2.01 1.90 3/82 10419
/proc/meminfo: memFree=912144/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=447872 CPUtime=517.33
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 1175125 657 0 0 51281 450 1 1 25 0 1 0 57410292 458620928 109167 996147200 134512640 135215973 4294956304 18446744073709551615 134907454 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 111968 109167 409 171 0 110893 0
Current children cumulated CPU time (s) 517.33
Current children cumulated vsize (KiB) 447872

[startup+582.302 s]
/proc/loadavg: 2.02 2.01 1.90 3/82 10419
/proc/meminfo: memFree=859024/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=499504 CPUtime=576.77
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 1301164 657 0 0 57171 504 1 1 25 0 1 0 57410292 511492096 122258 996147200 134512640 135215973 4294956304 18446744073709551615 134583409 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 124876 122258 409 171 0 123801 0
Current children cumulated CPU time (s) 576.77
Current children cumulated vsize (KiB) 499504

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 10419
/proc/meminfo: memFree=776272/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=585424 CPUtime=636.2
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 1458917 657 0 0 63058 560 1 1 25 0 1 0 57410292 599474176 142894 996147200 134512640 135215973 4294956304 18446744073709551615 134583266 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 146356 142894 409 171 0 145281 0
Current children cumulated CPU time (s) 636.2
Current children cumulated vsize (KiB) 585424

[startup+702.302 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 10419
/proc/meminfo: memFree=701008/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=660328 CPUtime=695.64
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 1615779 657 0 0 68943 619 1 1 25 0 1 0 57410292 676175872 161816 996147200 134512640 135215973 4294956304 18446744073709551615 134953774 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 165082 161816 409 171 0 164007 0
Current children cumulated CPU time (s) 695.64
Current children cumulated vsize (KiB) 660328

[startup+762.308 s]
/proc/loadavg: 2.05 2.01 1.91 3/83 10462
/proc/meminfo: memFree=678400/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=698296 CPUtime=755.05
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 1704067 657 0 0 74848 655 1 1 25 0 1 0 57410292 715055104 171476 996147200 134512640 135215973 4294956304 18446744073709551615 4158960029 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 174574 171476 409 171 0 173499 0
Current children cumulated CPU time (s) 755.05
Current children cumulated vsize (KiB) 698296

[startup+822.302 s]
/proc/loadavg: 2.02 2.01 1.91 4/83 10462
/proc/meminfo: memFree=614912/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=752720 CPUtime=814.49
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 1819254 657 0 0 80745 702 1 1 25 0 1 0 57410292 770785280 185287 996147200 134512640 135215973 4294956304 18446744073709551615 134960189 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 188180 185287 409 171 0 187105 0
Current children cumulated CPU time (s) 814.49
Current children cumulated vsize (KiB) 752720

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 10462
/proc/meminfo: memFree=518976/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=842472 CPUtime=873.91
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 1979997 657 0 0 86628 761 1 1 25 0 1 0 57410292 862691328 207914 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 210618 207914 409 171 0 209543 0
Current children cumulated CPU time (s) 873.91
Current children cumulated vsize (KiB) 842472

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 10462
/proc/meminfo: memFree=460160/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=900940 CPUtime=933.35
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 2096567 657 0 0 92525 808 1 1 25 0 1 0 57410292 922562560 222756 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 225235 222756 409 171 0 224160 0
Current children cumulated CPU time (s) 933.35
Current children cumulated vsize (KiB) 900940



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+962.702 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 10462
/proc/meminfo: memFree=438080/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=921796 CPUtime=953.55
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4194304 2145680 657 0 0 94526 827 1 1 25 0 1 0 57410292 943919104 228045 996147200 134512640 135215973 4294956304 18446744073709551615 134686799 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 230449 228045 409 171 0 229374 0
Current children cumulated CPU time (s) 953.55
Current children cumulated vsize (KiB) 921796

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+962.807 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 10462
/proc/meminfo: memFree=438080/2055920 swapFree=4192812/4192956
[pid=10414] ppid=10412 vsize=0 CPUtime=953.65
/proc/10414/stat : 10414 (pcs.big) R 10412 10414 9343 0 -1 4195332 2145680 657 0 0 94526 837 1 1 25 0 1 0 57410292 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/10414/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 953.65
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 962.854
CPU time (s): 953.71
CPU user time (s): 945.276
CPU system time (s): 8.43372
CPU usage (%): 99.0503
Max. virtual memory (cumulated for all children) (KiB): 921796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 945.276
system time used= 8.43372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2146337
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 38018

runsolver used 1.25481 second user time and 3.13252 second system time

The end

Launcher Data 

Begin job on node24 at 2009-07-16 02:17:15
IDJOB=2065147
IDBENCH=54311
IDSOLVER=733
FILE ID=node24/2065147-1247703434
PBS_JOBID= 9521260
Free space on /tmp= 66400 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fischer/normalized-fischer-11-13-fair.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2065147-1247703434/watcher-2065147-1247703434 -o /tmp/evaluation-result-2065147-1247703434/solver-2065147-1247703434 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1075151295 HOME/instance-2065147-1247703434.xml

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

MD5SUM BENCH= fe19cf8ed6a3db0dbc49a8d73f628b94
RANDOM SEED=1075151295

node24.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.287
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.287
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:       1348088 kB
Buffers:         76976 kB
Cached:         500276 kB
SwapCached:          0 kB
Active:         244000 kB
Inactive:       396048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1348088 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            8044 kB
Writeback:           0 kB
Mapped:          83156 kB
Slab:            52680 kB
Committed_AS:   624400 kB
PageTables:       1988 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= 66404 MiB
End job on node24 at 2009-07-16 02:33:19