Trace number 2084376

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.06 1807.64

General information on the benchmark

Namecsp/rlfapScens11/
normalized-scen11-f6.xml
MD5SUM163d0acbf2787f2fb72755b9c783567a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.6446
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Maximum constraint arity2
Maximum domain size38
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4103
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 743016542
0.00/0.02	c Constructing HOME/instance-2084376-1247724627.xml  with 11969 constraints
0.17/0.28	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-2084376-1247724627/watcher-2084376-1247724627 -o /tmp/evaluation-result-2084376-1247724627/solver-2084376-1247724627 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 743016542 HOME/instance-2084376-1247724627.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.09 2.02 2.01 4/72 15985
/proc/meminfo: memFree=934424/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=5356 CPUtime=0
/proc/15985/stat : 15985 (pcssolve) R 15983 15985 15802 0 -1 4194304 290 0 0 0 0 0 0 0 24 0 1 0 59525800 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 226238196383 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15985/statm: 1339 241 200 169 0 50 0
[pid=15986] ppid=15985 vsize=5356 CPUtime=0
/proc/15986/stat : 15986 (pcssolve) R 15985 15985 15802 0 -1 4194368 22 0 0 0 0 0 0 0 25 0 1 0 59525800 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 226238197031 0 0 4096 0 0 0 0 17 1 0 0
/proc/15986/statm: 1339 243 202 169 0 50 0
[pid=15987] ppid=15985 vsize=5356 CPUtime=0
/proc/15987/stat : 15987 (pcssolve) R 15985 15985 15802 0 -1 4194368 0 0 0 0 0 0 0 0 24 0 1 0 59525800 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 226238196383 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15987/statm: 1339 241 200 169 0 50 0

[startup+0.0603501 s]
/proc/loadavg: 2.09 2.02 2.01 4/72 15985
/proc/meminfo: memFree=934424/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=6956 CPUtime=0.03
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 1404 662 0 0 3 0 0 0 25 0 1 0 59525800 7122944 1035 996147200 134512640 135215973 4294956304 18446744073709551615 4159137394 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 1739 1035 385 171 0 664 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6956

[startup+0.102358 s]
/proc/loadavg: 2.09 2.02 2.01 4/72 15985
/proc/meminfo: memFree=934424/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=7608 CPUtime=0.07
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 1543 662 0 0 7 0 0 0 25 0 1 0 59525800 7790592 1174 996147200 134512640 135215973 4294956304 18446744073709551615 134632035 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 1902 1174 385 171 0 827 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7608

[startup+0.301374 s]
/proc/loadavg: 2.09 2.02 2.01 4/72 15985
/proc/meminfo: memFree=934424/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=11424 CPUtime=0.28
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 2772 662 0 0 27 1 0 0 25 0 1 0 59525800 11698176 2045 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 2856 2045 401 171 0 1781 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11424

[startup+0.701403 s]
/proc/loadavg: 2.09 2.02 2.01 4/72 15985
/proc/meminfo: memFree=934424/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=13312 CPUtime=0.67
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 3246 662 0 0 66 1 0 0 25 0 1 0 59525800 13631488 2519 996147200 134512640 135215973 4294956304 18446744073709551615 134583644 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 3328 2519 401 171 0 2253 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13312

[startup+1.50148 s]
/proc/loadavg: 2.09 2.02 2.01 3/73 15990
/proc/meminfo: memFree=921744/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=24292 CPUtime=1.47
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 5987 662 0 0 145 2 0 0 25 0 1 0 59525800 24875008 5207 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 6073 5207 401 171 0 4998 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 24292

[startup+3.10161 s]
/proc/loadavg: 2.09 2.02 2.01 3/73 15990
/proc/meminfo: memFree=911568/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=39096 CPUtime=3.05
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 9744 662 0 0 302 3 0 0 25 0 1 0 59525800 40034304 8859 996147200 134512640 135215973 4294956304 18446744073709551615 134583622 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 9774 8859 401 171 0 8699 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 39096

[startup+6.30189 s]
/proc/loadavg: 2.08 2.02 2.00 3/73 15990
/proc/meminfo: memFree=892112/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=46488 CPUtime=6.23
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 11641 662 0 0 619 4 0 0 25 0 1 0 59525800 47603712 10756 996147200 134512640 135215973 4294956304 18446744073709551615 134600115 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 11622 10756 401 171 0 10547 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 46488

[startup+12.7015 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 15990
/proc/meminfo: memFree=880656/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=55596 CPUtime=12.58
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 13957 662 0 0 1253 5 0 0 25 0 1 0 59525800 56930304 13072 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 13899 13072 401 171 0 12824 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 55596

[startup+25.5016 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 15990
/proc/meminfo: memFree=844496/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=86392 CPUtime=25.28
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 21717 662 0 0 2520 8 0 0 25 0 1 0 59525800 88465408 20623 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 21598 20623 401 171 0 20523 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 86392

[startup+51.1018 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 15990
/proc/meminfo: memFree=820496/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=101572 CPUtime=50.68
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 25661 662 0 0 5057 11 0 0 25 0 1 0 59525800 104009728 24567 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 25393 24567 401 171 0 24318 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 101572

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 15990
/proc/meminfo: memFree=725328/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=179384 CPUtime=101.48
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45210 662 0 0 10130 18 0 0 25 0 1 0 59525800 183689216 43699 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 44846 43699 404 171 0 43771 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 179384

[startup+162.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 15990
/proc/meminfo: memFree=716880/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=179384 CPUtime=160.99
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45212 662 0 0 16081 18 0 0 25 0 1 0 59525800 183689216 43701 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 44846 43701 404 171 0 43771 0
Current children cumulated CPU time (s) 160.99
Current children cumulated vsize (KiB) 179384

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15990
/proc/meminfo: memFree=707728/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=179520 CPUtime=220.49
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45239 662 0 0 22031 18 0 0 25 0 1 0 59525800 183828480 43728 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 44880 43728 404 171 0 43805 0
Current children cumulated CPU time (s) 220.49
Current children cumulated vsize (KiB) 179520

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15990
/proc/meminfo: memFree=699856/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=179520 CPUtime=280
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45259 662 0 0 27981 19 0 0 25 0 1 0 59525800 183828480 43748 996147200 134512640 135215973 4294956304 18446744073709551615 134590545 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 44880 43748 404 171 0 43805 0
Current children cumulated CPU time (s) 280
Current children cumulated vsize (KiB) 179520

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15990
/proc/meminfo: memFree=691864/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=179616 CPUtime=339.49
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45286 662 0 0 33930 19 0 0 25 0 1 0 59525800 183926784 43775 996147200 134512640 135215973 4294956304 18446744073709551615 134583636 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 44904 43775 404 171 0 43829 0
Current children cumulated CPU time (s) 339.49
Current children cumulated vsize (KiB) 179616

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15990
/proc/meminfo: memFree=652056/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=179748 CPUtime=398.99
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45308 662 0 0 39880 19 0 0 25 0 1 0 59525800 184061952 43797 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 44937 43797 404 171 0 43862 0
Current children cumulated CPU time (s) 398.99
Current children cumulated vsize (KiB) 179748

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15990
/proc/meminfo: memFree=651224/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=179904 CPUtime=458.49
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45333 662 0 0 45830 19 0 0 25 0 1 0 59525800 184221696 43822 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 44976 43822 404 171 0 43901 0
Current children cumulated CPU time (s) 458.49
Current children cumulated vsize (KiB) 179904

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15990
/proc/meminfo: memFree=649688/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=179904 CPUtime=518
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45351 662 0 0 51781 19 0 0 25 0 1 0 59525800 184221696 43840 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 44976 43840 404 171 0 43901 0
Current children cumulated CPU time (s) 518
Current children cumulated vsize (KiB) 179904

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15990
/proc/meminfo: memFree=648920/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=180000 CPUtime=577.48
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45382 662 0 0 57729 19 0 0 25 0 1 0 59525800 184320000 43871 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 45000 43871 404 171 0 43925 0
Current children cumulated CPU time (s) 577.48
Current children cumulated vsize (KiB) 180000

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15990
/proc/meminfo: memFree=648472/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=180096 CPUtime=636.98

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

[startup+822.302 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 15990
/proc/meminfo: memFree=638488/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=180420 CPUtime=815.46
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45474 662 0 0 81526 20 0 0 25 0 1 0 59525800 184750080 43963 996147200 134512640 135215973 4294956304 18446744073709551615 134597380 0 0 4096 0 0 0 0 17 1 0 0
/proc/15985/statm: 45105 43963 404 171 0 44030 0
Current children cumulated CPU time (s) 815.46
Current children cumulated vsize (KiB) 180420

[startup+882.302 s]
/proc/loadavg: 1.98 2.01 2.00 5/74 16126
/proc/meminfo: memFree=1085960/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=180516 CPUtime=875.05
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45507 662 0 0 87483 22 0 0 25 0 1 0 59525800 184848384 43996 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45129 43996 404 171 0 44054 0
Current children cumulated CPU time (s) 875.05
Current children cumulated vsize (KiB) 180516

[startup+942.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/82 16244
/proc/meminfo: memFree=1053440/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=180616 CPUtime=935.03
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45533 662 0 0 93480 23 0 0 25 0 1 0 59525800 184950784 44022 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45154 44022 404 171 0 44079 0
Current children cumulated CPU time (s) 935.03
Current children cumulated vsize (KiB) 180616

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 16244
/proc/meminfo: memFree=1053248/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=180712 CPUtime=995.02
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45560 662 0 0 99478 24 0 0 25 0 1 0 59525800 185049088 44049 996147200 134512640 135215973 4294956304 18446744073709551615 134596224 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45178 44049 404 171 0 44103 0
Current children cumulated CPU time (s) 995.02
Current children cumulated vsize (KiB) 180712

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 16244
/proc/meminfo: memFree=1053184/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=180808 CPUtime=1054.99
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45585 662 0 0 105475 24 0 0 25 0 1 0 59525800 185147392 44074 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45202 44074 404 171 0 44127 0
Current children cumulated CPU time (s) 1054.99
Current children cumulated vsize (KiB) 180808

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16244
/proc/meminfo: memFree=1053184/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=180904 CPUtime=1114.97
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45605 662 0 0 111473 24 0 0 25 0 1 0 59525800 185245696 44094 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45226 44094 404 171 0 44151 0
Current children cumulated CPU time (s) 1114.97
Current children cumulated vsize (KiB) 180904

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16244
/proc/meminfo: memFree=1052864/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=181128 CPUtime=1174.95
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45688 662 0 0 117471 24 0 0 25 0 1 0 59525800 185475072 44144 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45282 44144 404 171 0 44207 0
Current children cumulated CPU time (s) 1174.95
Current children cumulated vsize (KiB) 181128

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16244
/proc/meminfo: memFree=1052736/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=181416 CPUtime=1234.92
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45760 662 0 0 123468 24 0 0 25 0 1 0 59525800 185769984 44216 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45354 44216 404 171 0 44279 0
Current children cumulated CPU time (s) 1234.92
Current children cumulated vsize (KiB) 181416

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16244
/proc/meminfo: memFree=1052480/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=181612 CPUtime=1294.9
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45808 662 0 0 129466 24 0 0 25 0 1 0 59525800 185970688 44264 996147200 134512640 135215973 4294956304 18446744073709551615 4158960060 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45403 44264 404 171 0 44328 0
Current children cumulated CPU time (s) 1294.9
Current children cumulated vsize (KiB) 181612

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16244
/proc/meminfo: memFree=1052416/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=181708 CPUtime=1354.87
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45827 662 0 0 135463 24 0 0 25 0 1 0 59525800 186068992 44283 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45427 44283 404 171 0 44352 0
Current children cumulated CPU time (s) 1354.87
Current children cumulated vsize (KiB) 181708

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16244
/proc/meminfo: memFree=1052352/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=181708 CPUtime=1414.85
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45848 662 0 0 141461 24 0 0 25 0 1 0 59525800 186068992 44304 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45427 44304 404 171 0 44352 0
Current children cumulated CPU time (s) 1414.85
Current children cumulated vsize (KiB) 181708

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16244
/proc/meminfo: memFree=1052288/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=181804 CPUtime=1474.82
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 45871 662 0 0 147458 24 0 0 25 0 1 0 59525800 186167296 44327 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45451 44327 404 171 0 44376 0
Current children cumulated CPU time (s) 1474.82
Current children cumulated vsize (KiB) 181804

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16244
/proc/meminfo: memFree=1051584/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=182944 CPUtime=1534.81
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 46137 662 0 0 153456 25 0 0 25 0 1 0 59525800 187334656 44464 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45736 44464 404 171 0 44661 0
Current children cumulated CPU time (s) 1534.81
Current children cumulated vsize (KiB) 182944

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16244
/proc/meminfo: memFree=1051584/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=182944 CPUtime=1594.79
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 46142 662 0 0 159454 25 0 0 25 0 1 0 59525800 187334656 44469 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45736 44469 404 171 0 44661 0
Current children cumulated CPU time (s) 1594.79
Current children cumulated vsize (KiB) 182944

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16244
/proc/meminfo: memFree=1051520/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=183040 CPUtime=1654.77
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 46168 662 0 0 165452 25 0 0 25 0 1 0 59525800 187432960 44495 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45760 44495 404 171 0 44685 0
Current children cumulated CPU time (s) 1654.77
Current children cumulated vsize (KiB) 183040

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16244
/proc/meminfo: memFree=1051520/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=183136 CPUtime=1714.74
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 46202 662 0 0 171449 25 0 0 25 0 1 0 59525800 187531264 44529 996147200 134512640 135215973 4294956304 18446744073709551615 134583459 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45784 44529 404 171 0 44709 0
Current children cumulated CPU time (s) 1714.74
Current children cumulated vsize (KiB) 183136

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 16244
/proc/meminfo: memFree=1051328/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=183232 CPUtime=1774.72
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 46224 662 0 0 177447 25 0 0 25 0 1 0 59525800 187629568 44551 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45808 44551 404 171 0 44733 0
Current children cumulated CPU time (s) 1774.72
Current children cumulated vsize (KiB) 183232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.6 s]
/proc/loadavg: 2.04 2.01 2.00 4/82 16244
/proc/meminfo: memFree=1051264/2055920 swapFree=4192812/4192956
[pid=15985] ppid=15983 vsize=183232 CPUtime=1800.01
/proc/15985/stat : 15985 (pcs.big) R 15983 15985 15802 0 -1 4194304 46233 662 0 0 179976 25 0 0 25 0 1 0 59525800 187629568 44560 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/15985/statm: 45808 44560 404 171 0 44733 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 183232

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): 1807.64
CPU time (s): 1800.06
CPU user time (s): 1799.77
CPU system time (s): 0.287956
CPU usage (%): 99.5808
Max. virtual memory (cumulated for all children) (KiB): 183232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.287956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46895
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= 17
involuntary context switches= 22056

runsolver used 2.48062 second user time and 5.36518 second system time

The end

Launcher Data 

Begin job on node58 at 2009-07-16 08:10:27
IDJOB=2084376
IDBENCH=58072
IDSOLVER=734
FILE ID=node58/2084376-1247724627
PBS_JOBID= 9521517
Free space on /tmp= 66240 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rlfapScens11/normalized-scen11-f6.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2084376-1247724627/watcher-2084376-1247724627 -o /tmp/evaluation-result-2084376-1247724627/solver-2084376-1247724627 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 743016542 HOME/instance-2084376-1247724627.xml

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

MD5SUM BENCH= 163d0acbf2787f2fb72755b9c783567a
RANDOM SEED=743016542

node58.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:        934904 kB
Buffers:         84844 kB
Cached:         621812 kB
SwapCached:          0 kB
Active:         537544 kB
Inactive:       510248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        934904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2236 kB
Writeback:           0 kB
Mapped:         352604 kB
Slab:            57956 kB
Committed_AS:   841920 kB
PageTables:       2384 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= 66244 MiB
End job on node58 at 2009-07-16 08:40:36