Trace number 2083441

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-restart 0.3.2? (TO) 1800.13 1808.84

General information on the benchmark

Namecsp/fapp/fapp33/
normalized-fapp33-0650-7.xml
MD5SUMf7a160e85c0f22f460747e3f10500acd
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 benchmark29.3565
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of constraints8684
Maximum constraint arity2
Maximum domain size498
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8684
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.17/0.21	c Seed is 1882240712
0.17/0.21	c Constructing HOME/instance-2083441-1247723136.xml  with 54601 constraints
0.87/0.99	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-2083441-1247723136/watcher-2083441-1247723136 -o /tmp/evaluation-result-2083441-1247723136/solver-2083441-1247723136 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1882240712 HOME/instance-2083441-1247723136.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 2.00 2.00 4/82 15738
/proc/meminfo: memFree=736216/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=5356 CPUtime=0
/proc/15738/stat : 15738 (pcssolve) R 15736 15738 14325 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59373930 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 224627583647 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15738/statm: 1339 241 200 169 0 50 0
[pid=15739] ppid=15738 vsize=3676 CPUtime=0
/proc/15739/stat : 15739 (fgrep) R 15738 15738 14325 0 -1 4194304 148 0 0 0 0 0 0 0 22 0 1 0 59373930 3764224 115 996147200 4194304 4274172 548682068976 18446744073709551615 4243413 0 0 4096 0 0 0 0 17 1 0 0
/proc/15739/statm: 919 115 87 19 0 43 0

[startup+0.100845 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 15738
/proc/meminfo: memFree=736216/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=6696 CPUtime=0.07
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 1326 663 0 0 7 0 0 0 18 0 1 0 59373930 6856704 883 996147200 134512640 135215973 4294956304 18446744073709551615 4243945 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 1674 883 386 171 0 599 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6696

[startup+0.202862 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 15738
/proc/meminfo: memFree=736216/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=8820 CPUtime=0.17
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 1992 663 0 0 16 1 0 0 18 0 1 0 59373930 9031680 1352 996147200 134512640 135215973 4294956304 18446744073709551615 134689557 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 2205 1352 386 171 0 1130 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8820

[startup+0.302883 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 15738
/proc/meminfo: memFree=736216/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=10556 CPUtime=0.27
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 2611 663 0 0 26 1 0 0 19 0 1 0 59373930 10809344 1809 996147200 134512640 135215973 4294956304 18446744073709551615 134886122 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 2639 1809 386 171 0 1564 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10556

[startup+0.701932 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 15738
/proc/meminfo: memFree=736216/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=21296 CPUtime=0.67
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 6001 663 0 0 63 4 0 0 23 0 1 0 59373930 21807104 3798 996147200 134512640 135215973 4294956304 18446744073709551615 134532902 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 5324 3798 386 171 0 4249 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21296

[startup+1.50104 s]
/proc/loadavg: 2.08 2.02 2.01 3/83 15743
/proc/meminfo: memFree=712144/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=29764 CPUtime=1.46
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 10208 663 0 0 140 6 0 0 25 0 1 0 59373930 30478336 6416 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 7441 6416 410 171 0 6366 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29764

[startup+3.10127 s]
/proc/loadavg: 2.08 2.02 2.01 3/83 15743
/proc/meminfo: memFree=711696/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=30092 CPUtime=3.05
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 10343 663 0 0 299 6 0 0 25 0 1 0 59373930 30814208 6481 996147200 134512640 135215973 4294956304 18446744073709551615 135096358 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 7523 6481 410 171 0 6448 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 30092

[startup+6.30172 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 15743
/proc/meminfo: memFree=711120/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=30508 CPUtime=6.22
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 10531 663 0 0 616 6 0 0 25 0 1 0 59373930 31240192 6564 996147200 134512640 135215973 4294956304 18446744073709551615 134583949 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 7627 6564 410 171 0 6552 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 30508

[startup+12.7016 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 15743
/proc/meminfo: memFree=708112/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=33980 CPUtime=12.55
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 11511 663 0 0 1249 6 0 0 25 0 1 0 59373930 34795520 7335 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 8495 7335 410 171 0 7420 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 33980

[startup+25.5025 s]
/proc/loadavg: 2.05 2.01 2.00 3/83 15743
/proc/meminfo: memFree=707344/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=34244 CPUtime=25.23
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 13985 663 0 0 2516 7 0 0 25 0 1 0 59373930 35065856 7506 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 8561 7506 413 171 0 7486 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 34244

[startup+51.1021 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 15743
/proc/meminfo: memFree=677456/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=36224 CPUtime=50.6
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 26588 663 0 0 5048 12 0 0 25 0 1 0 59373930 37093376 8030 996147200 134512640 135215973 4294956304 18446744073709551615 134591592 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 9056 8030 413 171 0 7981 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 36224

[startup+102.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 15743
/proc/meminfo: memFree=669648/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=45544 CPUtime=101.32
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 36481 663 0 0 10117 15 0 0 25 0 1 0 59373930 46637056 9986 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 11386 9986 413 171 0 10311 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 45544

[startup+162.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15743
/proc/meminfo: memFree=650960/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=53068 CPUtime=160.76
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 47329 663 0 0 16057 19 0 0 25 0 1 0 59373930 54341632 11998 996147200 134512640 135215973 4294956304 18446744073709551615 135094898 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 13267 11998 413 171 0 12192 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 53068

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15743
/proc/meminfo: memFree=642320/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=61516 CPUtime=220.2
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 60159 663 0 0 21997 23 0 0 25 0 1 0 59373930 62992384 14112 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 15379 14112 413 171 0 14304 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 61516

[startup+282.303 s]
/proc/loadavg: 2.04 2.01 2.00 4/83 15743
/proc/meminfo: memFree=627088/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=61656 CPUtime=279.64
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 79831 663 0 0 27934 30 0 0 25 0 1 0 59373930 63135744 14185 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 15414 14185 413 171 0 14339 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 61656

[startup+342.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 15743
/proc/meminfo: memFree=617040/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=62176 CPUtime=339.06
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 102043 663 0 0 33868 38 0 0 25 0 1 0 59373930 63668224 14307 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 15544 14307 413 171 0 14469 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 62176

[startup+402.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15743
/proc/meminfo: memFree=609680/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=69696 CPUtime=398.51
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 117945 663 0 0 39807 44 0 0 25 0 1 0 59373930 71368704 16203 996147200 134512640 135215973 4294956304 18446744073709551615 135097572 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 17424 16203 413 171 0 16349 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 69696

[startup+462.303 s]
/proc/loadavg: 2.19 2.05 2.01 3/83 15745
/proc/meminfo: memFree=599632/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=81468 CPUtime=457.94
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 158646 663 0 0 45736 58 0 0 25 0 1 0 59373930 83423232 18612 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 20367 18612 413 171 0 19292 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 81468

[startup+522.301 s]
/proc/loadavg: 2.25 2.08 2.02 3/83 15787
/proc/meminfo: memFree=1264072/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=87272 CPUtime=517.57
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 171641 663 0 0 51693 64 0 0 25 0 1 0 59373930 89366528 20045 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/15738/statm: 21818 20045 413 171 0 20743 0
Current children cumulated CPU time (s) 517.57
Current children cumulated vsize (KiB) 87272

[startup+582.302 s]
/proc/loadavg: 2.22 2.10 2.03 3/73 15851
/proc/meminfo: memFree=1286360/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=91360 CPUtime=577.54
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 182817 663 0 0 57685 69 0 0 25 0 1 0 59373930 93552640 21069 996147200 134512640 135215973 4294956304 18446744073709551615 134585798 0 0 4096 0 0 0 0 17 0 0 0
/proc/15738/statm: 22840 21069 413 171 0 21765 0
Current children cumulated CPU time (s) 577.54
Current children cumulated vsize (KiB) 91360

[startup+642.301 s]
/proc/loadavg: 2.08 2.08 2.02 3/83 15892
/proc/meminfo: memFree=1217024/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=92020 CPUtime=637.51
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 191313 663 0 0 63678 73 0 0 25 0 1 0 59373930 94228480 21246 996147200 134512640 135215973 4294956304 18446744073709551615 134583442 0 0 4096 0 0 0 0 17 0 0 0
/proc/15738/statm: 23005 21246 413 171 0 21930 0
Current children cumulated CPU time (s) 637.51

################
# More data... #
################

[startup+882.306 s]
/proc/loadavg: 2.04 2.05 2.01 3/83 15892
/proc/meminfo: memFree=998592/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=103620 CPUtime=877.42
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 225107 663 0 0 87657 85 0 0 25 0 1 0 59373930 106106880 24161 996147200 134512640 135215973 4294956304 18446744073709551615 134597371 0 0 4096 0 0 0 0 17 0 0 0
/proc/15738/statm: 25905 24161 413 171 0 24830 0
Current children cumulated CPU time (s) 877.42
Current children cumulated vsize (KiB) 103620

[startup+942.302 s]
/proc/loadavg: 2.01 2.04 2.00 3/83 15898
/proc/meminfo: memFree=966912/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=111136 CPUtime=937.38
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 243003 663 0 0 93646 92 0 0 25 0 1 0 59373930 113803264 26030 996147200 134512640 135215973 4294956304 18446744073709551615 134585600 0 0 4096 0 0 0 0 17 0 0 0
/proc/15738/statm: 27784 26030 413 171 0 26709 0
Current children cumulated CPU time (s) 937.38
Current children cumulated vsize (KiB) 111136

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/83 15898
/proc/meminfo: memFree=936896/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=117592 CPUtime=997.36
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 256899 663 0 0 99639 97 0 0 25 0 1 0 59373930 120414208 27626 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 0 0 0
/proc/15738/statm: 29398 27626 413 171 0 28323 0
Current children cumulated CPU time (s) 997.36
Current children cumulated vsize (KiB) 117592

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 15898
/proc/meminfo: memFree=903424/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=124192 CPUtime=1057.18
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 270637 663 0 0 105616 102 0 0 25 0 1 0 59373930 127172608 29285 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/15738/statm: 31048 29285 413 171 0 29973 0
Current children cumulated CPU time (s) 1057.18
Current children cumulated vsize (KiB) 124192

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 15898
/proc/meminfo: memFree=877952/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=129604 CPUtime=1116.89
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 283833 663 0 0 111583 106 0 0 25 0 1 0 59373930 132714496 30637 996147200 134512640 135215973 4294956304 18446744073709551615 134969500 0 0 4096 0 0 0 0 17 0 0 0
/proc/15738/statm: 32401 30637 413 171 0 31326 0
Current children cumulated CPU time (s) 1116.89
Current children cumulated vsize (KiB) 129604

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/83 15898
/proc/meminfo: memFree=840384/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=135676 CPUtime=1176.59
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 302683 663 0 0 117546 113 0 0 25 0 1 0 59373930 138932224 32191 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/15738/statm: 33919 32191 413 171 0 32844 0
Current children cumulated CPU time (s) 1176.59
Current children cumulated vsize (KiB) 135676

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/83 15898
/proc/meminfo: memFree=827656/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=140548 CPUtime=1236.29
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 323643 663 0 0 123511 118 0 0 25 0 1 0 59373930 143921152 33411 996147200 134512640 135215973 4294956304 18446744073709551615 135095366 0 0 4096 0 0 0 0 17 0 0 0
/proc/15738/statm: 35137 33411 413 171 0 34062 0
Current children cumulated CPU time (s) 1236.29
Current children cumulated vsize (KiB) 140548

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 15898
/proc/meminfo: memFree=807816/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=145152 CPUtime=1296
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 341011 663 0 0 129476 124 0 0 25 0 1 0 59373930 148635648 34499 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 36288 34499 413 171 0 35213 0
Current children cumulated CPU time (s) 1296
Current children cumulated vsize (KiB) 145152

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 15898
/proc/meminfo: memFree=788424/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=149764 CPUtime=1355.72
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 357491 663 0 0 135441 131 0 0 25 0 1 0 59373930 153358336 35657 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 37441 35657 413 171 0 36366 0
Current children cumulated CPU time (s) 1355.72
Current children cumulated vsize (KiB) 149764

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=775368/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=153456 CPUtime=1415.43
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 370339 663 0 0 141407 136 0 0 25 0 1 0 59373930 157138944 36567 996147200 134512640 135215973 4294956304 18446744073709551615 134599825 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 38364 36567 413 171 0 37289 0
Current children cumulated CPU time (s) 1415.43
Current children cumulated vsize (KiB) 153456

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=762248/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=155832 CPUtime=1475.14
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 381143 663 0 0 147373 141 0 0 25 0 1 0 59373930 159571968 37172 996147200 134512640 135215973 4294956304 18446744073709551615 134584048 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 38958 37172 413 171 0 37883 0
Current children cumulated CPU time (s) 1475.14
Current children cumulated vsize (KiB) 155832

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=747208/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=160184 CPUtime=1534.86
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 395382 663 0 0 153341 145 0 0 25 0 1 0 59373930 164028416 38251 996147200 134512640 135215973 4294956304 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 40046 38251 413 171 0 38971 0
Current children cumulated CPU time (s) 1534.86
Current children cumulated vsize (KiB) 160184

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=734664/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=165068 CPUtime=1594.57
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 411054 663 0 0 159306 151 0 0 25 0 1 0 59373930 169029632 39964 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 41267 39964 413 171 0 40192 0
Current children cumulated CPU time (s) 1594.57
Current children cumulated vsize (KiB) 165068

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=724936/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=166908 CPUtime=1654.28
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 421324 663 0 0 165274 154 0 0 25 0 1 0 59373930 170913792 40411 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 41727 40411 413 171 0 40652 0
Current children cumulated CPU time (s) 1654.28
Current children cumulated vsize (KiB) 166908

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=712776/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=172040 CPUtime=1713.99
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 432709 663 0 0 171241 158 0 0 25 0 1 0 59373930 176168960 41691 996147200 134512640 135215973 4294956304 18446744073709551615 134591360 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 43010 41691 413 171 0 41935 0
Current children cumulated CPU time (s) 1713.99
Current children cumulated vsize (KiB) 172040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=700424/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=175460 CPUtime=1773.71
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 451756 663 0 0 177206 165 0 0 25 0 1 0 59373930 179671040 42549 996147200 134512640 135215973 4294956304 18446744073709551615 134583539 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 43865 42549 413 171 0 42790 0
Current children cumulated CPU time (s) 1773.71
Current children cumulated vsize (KiB) 175460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=696264/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=177176 CPUtime=1800.08
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 456476 663 0 0 179842 166 0 0 25 0 1 0 59373930 181428224 42992 996147200 134512640 135215973 4294956304 18446744073709551615 135094881 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 44294 42992 413 171 0 43219 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 177176

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

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

[startup+1808.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=696264/2055920 swapFree=4192812/4192956
[pid=15738] ppid=15736 vsize=177176 CPUtime=1800.08
/proc/15738/stat : 15738 (pcs.big) R 15736 15738 14325 0 -1 4194304 456476 663 0 0 179842 166 0 0 25 0 1 0 59373930 181428224 42992 996147200 134512640 135215973 4294956304 18446744073709551615 135094881 0 0 4096 0 0 0 0 17 1 0 0
/proc/15738/statm: 44294 42992 413 171 0 43219 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 177176

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.84
CPU time (s): 1800.13
CPU user time (s): 1798.43
CPU system time (s): 1.69974
CPU usage (%): 99.5186
Max. virtual memory (cumulated for all children) (KiB): 177364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.43
system time used= 1.69974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 457139
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= 23
involuntary context switches= 41776

runsolver used 2.6276 second user time and 5.51516 second system time

The end

Launcher Data 

Begin job on node49 at 2009-07-16 07:45:36
IDJOB=2083441
IDBENCH=57817
IDSOLVER=734
FILE ID=node49/2083441-1247723136
PBS_JOBID= 9521444
Free space on /tmp= 66376 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp33/normalized-fapp33-0650-7.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083441-1247723136/watcher-2083441-1247723136 -o /tmp/evaluation-result-2083441-1247723136/solver-2083441-1247723136 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1882240712 HOME/instance-2083441-1247723136.xml

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

MD5SUM BENCH= f7a160e85c0f22f460747e3f10500acd
RANDOM SEED=1882240712

node49.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        736696 kB
Buffers:         60600 kB
Cached:         489520 kB
SwapCached:          0 kB
Active:         814188 kB
Inactive:       440976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        736696 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2924 kB
Writeback:           0 kB
Mapped:         725472 kB
Slab:            47648 kB
Committed_AS:  1306920 kB
PageTables:       3184 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66376 MiB
End job on node49 at 2009-07-16 08:15:47