Trace number 2083034

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 1812.45

General information on the benchmark

Namecsp/fapp/fapp34/
normalized-fapp34-0750-10.xml
MD5SUMc2cac25a9d0eff8b4d5c2c7d14b32353
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.9604
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of constraints8639
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8639
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.02	c Seed is 1666247339
0.00/0.02	c Constructing HOME/instance-2083034-1247722135.xml  with 54264 constraints
0.78/0.88	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-2083034-1247722135/watcher-2083034-1247722135 -o /tmp/evaluation-result-2083034-1247722135/solver-2083034-1247722135 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1666247339 HOME/instance-2083034-1247722135.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.03 2.01 2.00 4/82 17844
/proc/meminfo: memFree=1492656/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=5356 CPUtime=0
/proc/17844/stat : 17844 (pcssolve) R 17842 17844 16857 0 -1 4194304 290 0 0 0 0 0 0 0 20 0 1 0 59278137 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 226686986911 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/17844/statm: 1339 241 200 169 0 50 0
[pid=17845] ppid=17844 vsize=3676 CPUtime=0
/proc/17845/stat : 17845 (fgrep) R 17844 17844 16857 0 -1 4194304 148 0 0 0 0 0 0 0 20 0 1 0 59278138 3764224 115 996147200 4194304 4274172 548682068976 18446744073709551615 4243325 0 0 4096 0 0 0 0 17 1 0 0
/proc/17845/statm: 919 115 87 19 0 43 0
[pid=17846] ppid=17844 vsize=5356 CPUtime=0
/proc/17846/stat : 17846 (pcssolve) R 17844 17844 16857 0 -1 4194368 19 0 0 0 0 0 0 0 20 0 1 0 59278138 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 226687154789 0 0 4100 65536 0 0 0 17 0 0 0
/proc/17846/statm: 1339 243 202 169 0 50 0

[startup+0.0735441 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 17844
/proc/meminfo: memFree=1492656/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=5972 CPUtime=0.05
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 1139 667 0 0 5 0 0 0 22 0 1 0 59278137 6115328 770 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 1493 770 386 171 0 418 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5972

[startup+0.101546 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 17844
/proc/meminfo: memFree=1492656/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=6860 CPUtime=0.08
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 1365 667 0 0 8 0 0 0 22 0 1 0 59278137 7024640 922 996147200 134512640 135215973 4294956304 18446744073709551615 134739766 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 1715 922 386 171 0 640 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6860

[startup+0.301593 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 17844
/proc/meminfo: memFree=1492656/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=13080 CPUtime=0.28
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 3054 667 0 0 27 1 0 0 24 0 1 0 59278137 13393920 2111 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 3270 2111 386 171 0 2195 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13080

[startup+0.701675 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 17844
/proc/meminfo: memFree=1492656/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=21844 CPUtime=0.67
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 6276 667 0 0 65 2 0 0 25 0 1 0 59278137 22368256 4053 996147200 134512640 135215973 4294956304 18446744073709551615 4159166518 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 5461 4053 386 171 0 4386 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21844

[startup+1.50183 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 17849
/proc/meminfo: memFree=1469480/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=28888 CPUtime=1.47
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 9488 667 0 0 143 4 0 0 25 0 1 0 59278137 29581312 6209 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 7222 6209 411 171 0 6147 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28888

[startup+3.10115 s]
/proc/loadavg: 2.02 2.01 2.00 3/83 17849
/proc/meminfo: memFree=1468968/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=29216 CPUtime=3.07
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 9610 667 0 0 303 4 0 0 25 0 1 0 59278137 29917184 6261 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 7304 6261 411 171 0 6229 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29216

[startup+6.30181 s]
/proc/loadavg: 2.02 2.01 2.00 3/83 17849
/proc/meminfo: memFree=1467432/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=30424 CPUtime=6.26
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 9965 667 0 0 622 4 0 0 25 0 1 0 59278137 31154176 6511 996147200 134512640 135215973 4294956304 18446744073709551615 134592736 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 7606 6511 411 171 0 6531 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 30424

[startup+12.7011 s]
/proc/loadavg: 2.02 2.01 2.00 3/83 17849
/proc/meminfo: memFree=1462376/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=33896 CPUtime=12.62
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 10980 667 0 0 1258 4 0 0 25 0 1 0 59278137 34709504 7317 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 8474 7317 411 171 0 7399 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 33896

[startup+25.5017 s]
/proc/loadavg: 2.09 2.02 2.00 3/83 17849
/proc/meminfo: memFree=1455784/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=37012 CPUtime=25.38
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 12141 667 0 0 2533 5 0 0 25 0 1 0 59278137 37900288 7826 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 9253 7826 414 171 0 8178 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 37012

[startup+51.1019 s]
/proc/loadavg: 2.06 2.02 2.00 3/83 17849
/proc/meminfo: memFree=1448680/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=37804 CPUtime=50.87
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 26823 667 0 0 5077 10 0 0 25 0 1 0 59278137 38711296 8126 996147200 134512640 135215973 4294956304 18446744073709551615 4158960169 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 9451 8126 414 171 0 8376 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 37804

[startup+102.305 s]
/proc/loadavg: 2.02 2.02 2.00 3/84 17850
/proc/meminfo: memFree=1416160/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=42028 CPUtime=101.87
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 53067 667 0 0 10168 19 0 0 25 0 1 0 59278137 43036672 9178 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 10507 9178 414 171 0 9432 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 42028

[startup+162.302 s]
/proc/loadavg: 2.05 2.03 2.00 3/84 17850
/proc/meminfo: memFree=1379488/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=46456 CPUtime=161.63
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 83482 667 0 0 16135 28 0 0 25 0 1 0 59278137 47570944 10312 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 11614 10312 414 171 0 10539 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 46456

[startup+222.302 s]
/proc/loadavg: 2.02 2.02 2.00 3/84 17850
/proc/meminfo: memFree=1270496/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=60844 CPUtime=221.39
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 115093 667 0 0 22103 36 0 0 25 0 1 0 59278137 62304256 13911 996147200 134512640 135215973 4294956304 18446744073709551615 134597380 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 15211 13911 414 171 0 14136 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 60844

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/84 17850
/proc/meminfo: memFree=1064864/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=71584 CPUtime=281.15
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 144954 667 0 0 28069 46 0 0 25 0 1 0 59278137 73302016 16747 996147200 134512640 135215973 4294956304 18446744073709551615 134588663 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 17896 16747 414 171 0 16821 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 71584

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/84 17850
/proc/meminfo: memFree=847392/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=76408 CPUtime=340.91
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 166890 667 0 0 34037 54 0 0 25 0 1 0 59278137 78241792 17956 996147200 134512640 135215973 4294956304 18446744073709551615 134590088 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 19102 17956 414 171 0 18027 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 76408

[startup+402.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/84 17850
/proc/meminfo: memFree=735520/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=81684 CPUtime=400.66
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 189368 667 0 0 40005 61 0 0 25 0 1 0 59278137 83644416 19284 996147200 134512640 135215973 4294956304 18446744073709551615 135094304 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 20421 19284 414 171 0 19346 0
Current children cumulated CPU time (s) 400.66
Current children cumulated vsize (KiB) 81684

[startup+462.302 s]
/proc/loadavg: 2.06 2.03 2.00 3/74 17883
/proc/meminfo: memFree=1393840/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=84984 CPUtime=460.27
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 217225 667 0 0 45957 70 0 0 25 0 1 0 59278137 87023616 20116 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 21246 20116 414 171 0 20171 0
Current children cumulated CPU time (s) 460.27
Current children cumulated vsize (KiB) 84984

[startup+522.302 s]
/proc/loadavg: 2.22 2.08 2.02 3/74 17883
/proc/meminfo: memFree=1383792/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=90124 CPUtime=519.81
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 255491 667 0 0 51899 82 0 0 25 0 1 0 59278137 92286976 21393 996147200 134512640 135215973 4294956304 18446744073709551615 134585745 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 22531 21393 414 171 0 21456 0
Current children cumulated CPU time (s) 519.81
Current children cumulated vsize (KiB) 90124

[startup+582.301 s]
/proc/loadavg: 2.12 2.08 2.02 3/74 17883
/proc/meminfo: memFree=1361648/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=107168 CPUtime=579.36
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 292930 667 0 0 57842 94 0 0 25 0 1 0 59278137 109740032 25005 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 26792 25005 414 171 0 25717 0
Current children cumulated CPU time (s) 579.36
Current children cumulated vsize (KiB) 107168

[startup+642.301 s]
/proc/loadavg: 2.15 2.09 2.02 3/74 17883
/proc/meminfo: memFree=1345264/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=120232 CPUtime=638.9

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

[startup+822.302 s]
/proc/loadavg: 2.11 2.09 2.02 3/74 17883
/proc/meminfo: memFree=1289456/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=152564 CPUtime=817.52
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 448871 667 0 0 81610 142 0 0 25 0 1 0 59278137 156225536 36374 996147200 134512640 135215973 4294956304 18446744073709551615 134585600 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 38141 36374 414 171 0 37066 0
Current children cumulated CPU time (s) 817.52
Current children cumulated vsize (KiB) 152564

[startup+882.301 s]
/proc/loadavg: 2.09 2.08 2.02 3/74 17883
/proc/meminfo: memFree=1267184/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=166028 CPUtime=877.06
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 488589 667 0 0 87552 154 0 0 25 0 1 0 59278137 170012672 39761 996147200 134512640 135215973 4294956304 18446744073709551615 134583525 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 41507 39761 414 171 0 40432 0
Current children cumulated CPU time (s) 877.06
Current children cumulated vsize (KiB) 166028

[startup+942.302 s]
/proc/loadavg: 2.09 2.08 2.02 3/74 17883
/proc/meminfo: memFree=1244016/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=181472 CPUtime=936.61
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 525768 667 0 0 93495 166 0 0 25 0 1 0 59278137 185827328 43664 996147200 134512640 135215973 4294956304 18446744073709551615 134587914 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 45368 43664 414 171 0 44293 0
Current children cumulated CPU time (s) 936.61
Current children cumulated vsize (KiB) 181472

[startup+1002.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/74 17883
/proc/meminfo: memFree=1230320/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=188200 CPUtime=996.14
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 555359 667 0 0 99438 176 0 0 25 0 1 0 59278137 192716800 45384 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 47050 45384 414 171 0 45975 0
Current children cumulated CPU time (s) 996.14
Current children cumulated vsize (KiB) 188200

[startup+1062.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/74 17883
/proc/meminfo: memFree=1215216/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=195460 CPUtime=1055.69
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 577137 667 0 0 105388 181 0 0 25 0 1 0 59278137 200151040 47328 996147200 134512640 135215973 4294956304 18446744073709551615 134583456 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 48865 47328 414 171 0 47790 0
Current children cumulated CPU time (s) 1055.69
Current children cumulated vsize (KiB) 195460

[startup+1122.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/74 17883
/proc/meminfo: memFree=1197296/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=208712 CPUtime=1115.23
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 613751 667 0 0 111331 192 0 0 25 0 1 0 59278137 213721088 50088 996147200 134512640 135215973 4294956304 18446744073709551615 135094860 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 52178 50088 414 171 0 51103 0
Current children cumulated CPU time (s) 1115.23
Current children cumulated vsize (KiB) 208712

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/74 17883
/proc/meminfo: memFree=1186800/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=213592 CPUtime=1174.77
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 644095 667 0 0 117276 201 0 0 25 0 1 0 59278137 218718208 51386 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 53398 51386 414 171 0 52323 0
Current children cumulated CPU time (s) 1174.77
Current children cumulated vsize (KiB) 213592

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 17883
/proc/meminfo: memFree=1174768/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=219920 CPUtime=1234.32
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 671864 667 0 0 123221 211 0 0 25 0 1 0 59278137 225198080 53023 996147200 134512640 135215973 4294956304 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 54980 53023 414 171 0 53905 0
Current children cumulated CPU time (s) 1234.32
Current children cumulated vsize (KiB) 219920

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 17883
/proc/meminfo: memFree=1156016/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=234704 CPUtime=1293.86
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 703435 667 0 0 129165 221 0 0 25 0 1 0 59278137 240336896 56770 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 58676 56770 414 171 0 57601 0
Current children cumulated CPU time (s) 1293.86
Current children cumulated vsize (KiB) 234704

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 17883
/proc/meminfo: memFree=1141936/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=245920 CPUtime=1353.4
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 727638 667 0 0 135111 229 0 0 25 0 1 0 59278137 251822080 59635 996147200 134512640 135215973 4294956304 18446744073709551615 134590043 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 61480 59635 414 171 0 60405 0
Current children cumulated CPU time (s) 1353.4
Current children cumulated vsize (KiB) 245920

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 17885
/proc/meminfo: memFree=1128048/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=253704 CPUtime=1412.94
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 749643 667 0 0 141059 235 0 0 25 0 1 0 59278137 259792896 61571 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 63426 61571 414 171 0 62351 0
Current children cumulated CPU time (s) 1412.94
Current children cumulated vsize (KiB) 253704

[startup+1482.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/74 17885
/proc/meminfo: memFree=1115824/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=258060 CPUtime=1472.48
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 767093 667 0 0 147007 241 0 0 25 0 1 0 59278137 264253440 62665 996147200 134512640 135215973 4294956304 18446744073709551615 134970808 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 64515 62665 414 171 0 63440 0
Current children cumulated CPU time (s) 1472.48
Current children cumulated vsize (KiB) 258060

[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/74 17885
/proc/meminfo: memFree=1106672/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=263208 CPUtime=1532.02
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 781751 667 0 0 152955 247 0 0 25 0 1 0 59278137 269524992 63975 996147200 134512640 135215973 4294956304 18446744073709551615 134585752 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 65802 63975 414 171 0 64727 0
Current children cumulated CPU time (s) 1532.02
Current children cumulated vsize (KiB) 263208

[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/74 17885
/proc/meminfo: memFree=1096112/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=269804 CPUtime=1591.57
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 797297 667 0 0 158905 252 0 0 25 0 1 0 59278137 276279296 65576 996147200 134512640 135215973 4294956304 18446744073709551615 134600828 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 67451 65576 414 171 0 66376 0
Current children cumulated CPU time (s) 1591.57
Current children cumulated vsize (KiB) 269804

[startup+1662.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/74 17885
/proc/meminfo: memFree=1087472/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=273368 CPUtime=1651.11
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 811734 667 0 0 164855 256 0 0 25 0 1 0 59278137 279928832 66477 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 68342 66477 414 171 0 67267 0
Current children cumulated CPU time (s) 1651.11
Current children cumulated vsize (KiB) 273368

[startup+1722.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/74 17885
/proc/meminfo: memFree=1077872/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=276664 CPUtime=1710.65
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 832540 667 0 0 170805 260 0 0 25 0 1 0 59278137 283303936 67308 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 69166 67308 414 171 0 68091 0
Current children cumulated CPU time (s) 1710.65
Current children cumulated vsize (KiB) 276664

[startup+1782.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/74 17885
/proc/meminfo: memFree=1062320/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=278504 CPUtime=1770.2
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 854208 667 0 0 176752 268 0 0 25 0 1 0 59278137 285188096 67779 996147200 134512640 135215973 4294956304 18446744073709551615 134591790 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 69626 67779 414 171 0 68551 0
Current children cumulated CPU time (s) 1770.2
Current children cumulated vsize (KiB) 278504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.4 s]
/proc/loadavg: 2.06 2.06 2.01 3/74 17885
/proc/meminfo: memFree=1056112/2055920 swapFree=4192812/4192956
[pid=17844] ppid=17842 vsize=279160 CPUtime=1800.07
/proc/17844/stat : 17844 (pcs.big) R 17842 17844 16857 0 -1 4194304 863980 667 0 0 179736 271 0 0 25 0 1 0 59278137 285859840 67963 996147200 134512640 135215973 4294956304 18446744073709551615 134583528 0 0 4096 0 0 0 0 17 1 0 0
/proc/17844/statm: 69790 67963 414 171 0 68715 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 279160

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.45
CPU time (s): 1800.13
CPU user time (s): 1797.36
CPU system time (s): 2.76358
CPU usage (%): 99.3202
Max. virtual memory (cumulated for all children) (KiB): 279216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.36
system time used= 2.76358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 864647
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= 30
involuntary context switches= 35264

runsolver used 1.67075 second user time and 4.94725 second system time

The end

Launcher Data 

Begin job on node80 at 2009-07-16 07:28:56
IDJOB=2083034
IDBENCH=57683
IDSOLVER=734
FILE ID=node80/2083034-1247722135
PBS_JOBID= 9521430
Free space on /tmp= 66312 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp34/normalized-fapp34-0750-10.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083034-1247722135/watcher-2083034-1247722135 -o /tmp/evaluation-result-2083034-1247722135/solver-2083034-1247722135 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1666247339 HOME/instance-2083034-1247722135.xml

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

MD5SUM BENCH= c2cac25a9d0eff8b4d5c2c7d14b32353
RANDOM SEED=1666247339

node80.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.285
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.285
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1493144 kB
Buffers:         75172 kB
Cached:         324872 kB
SwapCached:          0 kB
Active:         159312 kB
Inactive:       318196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1493144 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2916 kB
Writeback:           0 kB
Mapped:          97964 kB
Slab:            70356 kB
Committed_AS:   614672 kB
PageTables:       1972 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= 66316 MiB
End job on node80 at 2009-07-16 07:59:10