Trace number 2083430

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.09 1804.24

General information on the benchmark

Namecsp/fapp/fapp33/
normalized-fapp33-0650-4.xml
MD5SUM2cc28b346b93b18fcce435b65b3fd1cc
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 benchmark24.6143
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.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.02	c Seed is 1748930127
0.00/0.02	c Constructing HOME/instance-2083430-1247723124.xml  with 54601 constraints
0.86/0.97	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-2083430-1247723124/watcher-2083430-1247723124 -o /tmp/evaluation-result-2083430-1247723124/solver-2083430-1247723124 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1748930127 HOME/instance-2083430-1247723124.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/83 21442
/proc/meminfo: memFree=1500768/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=5356 CPUtime=0
/proc/21442/stat : 21442 (pcssolve) R 21440 21442 19656 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59003693 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 264519608991 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/21442/statm: 1339 241 200 169 0 50 0
[pid=21443] ppid=21442 vsize=0 CPUtime=0
/proc/21443/stat : 21443 (pcssolve) R 21442 21442 19656 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 59003693 0 0 996147200 0 0 0 18446744073709551615 264519609639 0 0 4096 0 0 0 0 17 1 0 0
/proc/21443/statm: 0 0 0 0 0 0 0
[pid=21444] ppid=21442 vsize=5356 CPUtime=0
/proc/21444/stat : 21444 (pcssolve) R 21442 21442 19656 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59003693 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 264519608991 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/21444/statm: 1339 241 200 169 0 50 0

[startup+0.0225661 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 21442
/proc/meminfo: memFree=1500768/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=3076 CPUtime=0
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 400 663 0 0 0 0 0 0 23 0 1 0 59003693 3149824 46 996147200 134512640 135215973 4294956304 18446744073709551615 6910756 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 769 46 35 171 0 10 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3076

[startup+0.101578 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 21442
/proc/meminfo: memFree=1500768/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=6696 CPUtime=0.07
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 1329 663 0 0 7 0 0 0 23 0 1 0 59003693 6856704 886 996147200 134512640 135215973 4294956304 18446744073709551615 7377873 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 1674 886 386 171 0 599 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6696

[startup+0.301609 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 21442
/proc/meminfo: memFree=1500768/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=11584 CPUtime=0.27
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 2680 663 0 0 26 1 0 0 25 0 1 0 59003693 11862016 1878 996147200 134512640 135215973 4294956304 18446744073709551615 134636717 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 2896 1878 386 171 0 1821 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11584

[startup+0.70166 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 21442
/proc/meminfo: memFree=1500768/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=21304 CPUtime=0.67
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 6051 663 0 0 65 2 0 0 25 0 1 0 59003693 21815296 3848 996147200 134512640 135215973 4294956304 18446744073709551615 7376518 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 5326 3848 386 171 0 4251 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21304

[startup+1.50175 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 21447
/proc/meminfo: memFree=1483480/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=29764 CPUtime=1.46
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 10224 663 0 0 141 5 0 0 25 0 1 0 59003693 30478336 6431 996147200 134512640 135215973 4294956304 18446744073709551615 134589769 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 7441 6431 410 171 0 6366 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29764

[startup+3.10196 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 21447
/proc/meminfo: memFree=1476184/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=30092 CPUtime=3.04
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 10346 663 0 0 299 5 0 0 25 0 1 0 59003693 30814208 6483 996147200 134512640 135215973 4294956304 18446744073709551615 135094304 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 7523 6483 410 171 0 6448 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 30092

[startup+6.30138 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 21447
/proc/meminfo: memFree=1475608/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=30508 CPUtime=6.21
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 10537 663 0 0 616 5 0 0 25 0 1 0 59003693 31240192 6569 996147200 134512640 135215973 4294956304 18446744073709551615 4158960177 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 7627 6569 410 171 0 6552 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 30508

[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 21447
/proc/meminfo: memFree=1472608/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=33980 CPUtime=12.56
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 11512 663 0 0 1250 6 0 0 25 0 1 0 59003693 34795520 7335 996147200 134512640 135215973 4294956304 18446744073709551615 134591602 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 8495 7335 410 171 0 7420 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 33980

[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 21447
/proc/meminfo: memFree=1471968/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=34240 CPUtime=25.23
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 14632 663 0 0 2516 7 0 0 25 0 1 0 59003693 35061760 7494 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 8560 7494 413 171 0 7485 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 34240

[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 21447
/proc/meminfo: memFree=1469344/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=36744 CPUtime=50.59
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 32670 663 0 0 5046 13 0 0 25 0 1 0 59003693 37625856 8189 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 9186 8189 413 171 0 8111 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 36744

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/84 21447
/proc/meminfo: memFree=1462432/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=44740 CPUtime=101.31
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 46139 663 0 0 10114 17 0 0 25 0 1 0 59003693 45813760 9867 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 11185 9867 413 171 0 10110 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 44740

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 21447
/proc/meminfo: memFree=1456288/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=50952 CPUtime=160.75
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 58821 663 0 0 16053 22 0 0 25 0 1 0 59003693 52174848 11410 996147200 134512640 135215973 4294956304 18446744073709551615 134585677 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 12738 11410 413 171 0 11663 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 50952

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 21447
/proc/meminfo: memFree=1448288/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=58756 CPUtime=220.19
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 81351 663 0 0 21989 30 0 0 25 0 1 0 59003693 60166144 13401 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 14689 13401 413 171 0 13614 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 58756

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 21447
/proc/meminfo: memFree=1440288/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=68552 CPUtime=279.62
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 102720 663 0 0 27925 37 0 0 25 0 1 0 59003693 70197248 15372 996147200 134512640 135215973 4294956304 18446744073709551615 134591795 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 17138 15372 413 171 0 16063 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 68552

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 21447
/proc/meminfo: memFree=1438176/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=70660 CPUtime=339.06
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 119362 663 0 0 33864 42 0 0 25 0 1 0 59003693 72355840 15893 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/21442/statm: 17665 15893 413 171 0 16590 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 70660

[startup+402.302 s]
/proc/loadavg: 1.95 1.98 1.99 3/75 21513
/proc/meminfo: memFree=1439272/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=77384 CPUtime=398.73
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 139459 663 0 0 39825 48 0 0 25 0 1 0 59003693 79241216 17566 996147200 134512640 135215973 4294956304 18446744073709551615 134969622 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 19346 17566 413 171 0 18271 0
Current children cumulated CPU time (s) 398.73
Current children cumulated vsize (KiB) 77384

[startup+462.301 s]
/proc/loadavg: 1.98 1.98 1.99 3/75 21513
/proc/meminfo: memFree=1426472/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=79232 CPUtime=458.7
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 148114 663 0 0 45818 52 0 0 25 0 1 0 59003693 81133568 18043 996147200 134512640 135215973 4294956304 18446744073709551615 134969690 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 19808 18043 413 171 0 18733 0
Current children cumulated CPU time (s) 458.7
Current children cumulated vsize (KiB) 79232

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21513
/proc/meminfo: memFree=1407912/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=84508 CPUtime=518.67
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 159196 663 0 0 51811 56 0 0 25 0 1 0 59003693 86536192 19349 996147200 134512640 135215973 4294956304 18446744073709551615 134590016 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 21127 19349 413 171 0 20052 0
Current children cumulated CPU time (s) 518.67
Current children cumulated vsize (KiB) 84508

[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21515
/proc/meminfo: memFree=1396520/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=91768 CPUtime=578.65
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 169606 663 0 0 57807 58 0 0 25 0 1 0 59003693 93970432 21158 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 22942 21158 413 171 0 21867 0
Current children cumulated CPU time (s) 578.65
Current children cumulated vsize (KiB) 91768

[startup+642.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21515
/proc/meminfo: memFree=1382632/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=92688 CPUtime=638.62

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21515
/proc/meminfo: memFree=1339048/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=108396 CPUtime=818.55
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 201092 663 0 0 81785 70 0 0 25 0 1 0 59003693 110997504 25337 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 27099 25337 413 171 0 26024 0
Current children cumulated CPU time (s) 818.55
Current children cumulated vsize (KiB) 108396

[startup+882.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21515
/proc/meminfo: memFree=1335400/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=111828 CPUtime=878.52
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 209330 663 0 0 87780 72 0 0 25 0 1 0 59003693 114511872 26196 996147200 134512640 135215973 4294956304 18446744073709551615 134600887 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 27957 26196 413 171 0 26882 0
Current children cumulated CPU time (s) 878.52
Current children cumulated vsize (KiB) 111828

[startup+942.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1326888/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=117240 CPUtime=938.5
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 216181 663 0 0 93775 75 0 0 25 0 1 0 59003693 120053760 27548 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 29310 27548 413 171 0 28235 0
Current children cumulated CPU time (s) 938.5
Current children cumulated vsize (KiB) 117240

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1318312/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=123444 CPUtime=998.47
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 223036 663 0 0 99770 77 0 0 25 0 1 0 59003693 126406656 29092 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 30861 29092 413 171 0 29786 0
Current children cumulated CPU time (s) 998.47
Current children cumulated vsize (KiB) 123444

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1311784/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=129516 CPUtime=1058.44
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 229574 663 0 0 105765 79 0 0 25 0 1 0 59003693 132624384 30601 996147200 134512640 135215973 4294956304 18446744073709551615 134585830 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 32379 30601 413 171 0 31304 0
Current children cumulated CPU time (s) 1058.44
Current children cumulated vsize (KiB) 129516

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1306024/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=131628 CPUtime=1118.42
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 234786 663 0 0 111761 81 0 0 25 0 1 0 59003693 134787072 31160 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 32907 31160 413 171 0 31832 0
Current children cumulated CPU time (s) 1118.42
Current children cumulated vsize (KiB) 131628

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1290024/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=138548 CPUtime=1178.39
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 245203 663 0 0 117756 83 0 0 25 0 1 0 59003693 141873152 32882 996147200 134512640 135215973 4294956304 18446744073709551615 134591607 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 34637 32882 413 171 0 33562 0
Current children cumulated CPU time (s) 1178.39
Current children cumulated vsize (KiB) 138548

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1257768/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=145480 CPUtime=1238.36
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 252332 663 0 0 123750 86 0 0 25 0 1 0 59003693 148971520 34606 996147200 134512640 135215973 4294956304 18446744073709551615 134589807 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 36370 34606 413 171 0 35295 0
Current children cumulated CPU time (s) 1238.36
Current children cumulated vsize (KiB) 145480

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1247208/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=151420 CPUtime=1298.35
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 262127 663 0 0 129746 89 0 0 25 0 1 0 59003693 155054080 36082 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 37855 36082 413 171 0 36780 0
Current children cumulated CPU time (s) 1298.35
Current children cumulated vsize (KiB) 151420

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1231272/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=159208 CPUtime=1358.32
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 270063 663 0 0 135740 92 0 0 25 0 1 0 59003693 163028992 38049 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 39802 38049 413 171 0 38727 0
Current children cumulated CPU time (s) 1358.32
Current children cumulated vsize (KiB) 159208

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1215848/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=165012 CPUtime=1418.29
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 278984 663 0 0 141735 94 0 0 25 0 1 0 59003693 168972288 39497 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 41253 39497 413 171 0 40178 0
Current children cumulated CPU time (s) 1418.29
Current children cumulated vsize (KiB) 165012

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1197992/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=171612 CPUtime=1478.26
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 288782 663 0 0 147728 98 0 0 25 0 1 0 59003693 175730688 41164 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 42903 41164 413 171 0 41828 0
Current children cumulated CPU time (s) 1478.26
Current children cumulated vsize (KiB) 171612

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1180264/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=179136 CPUtime=1538.24
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 294968 663 0 0 153722 102 0 0 25 0 1 0 59003693 183435264 43026 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 44784 43026 413 171 0 43709 0
Current children cumulated CPU time (s) 1538.24
Current children cumulated vsize (KiB) 179136

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1161896/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=186524 CPUtime=1598.21
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 301909 663 0 0 159717 104 0 0 25 0 1 0 59003693 191000576 44858 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 46631 44858 413 171 0 45556 0
Current children cumulated CPU time (s) 1598.21
Current children cumulated vsize (KiB) 186524

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1140072/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=194180 CPUtime=1658.19
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 309040 663 0 0 165712 107 0 0 25 0 1 0 59003693 198840320 46772 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 48545 46772 413 171 0 47470 0
Current children cumulated CPU time (s) 1658.19
Current children cumulated vsize (KiB) 194180

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1117160/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=201440 CPUtime=1718.16
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 315235 663 0 0 171707 109 0 0 25 0 1 0 59003693 206274560 48596 996147200 134512640 135215973 4294956304 18446744073709551615 4158960129 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 50360 48596 413 171 0 49285 0
Current children cumulated CPU time (s) 1718.16
Current children cumulated vsize (KiB) 201440

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1084136/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=209096 CPUtime=1778.14
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 322841 663 0 0 177701 113 0 0 25 0 1 0 59003693 214114304 50515 996147200 134512640 135215973 4294956304 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 52274 50515 413 171 0 51199 0
Current children cumulated CPU time (s) 1778.14
Current children cumulated vsize (KiB) 209096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.2 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 21521
/proc/meminfo: memFree=1074664/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=212264 CPUtime=1800.04
/proc/21442/stat : 21442 (pcs.big) R 21440 21442 19656 0 -1 4194304 326007 663 0 0 179890 114 0 0 25 0 1 0 59003693 217358336 51284 996147200 134512640 135215973 4294956304 18446744073709551615 134591783 0 0 4096 0 0 0 0 17 0 0 0
/proc/21442/statm: 53066 51284 413 171 0 51991 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 212264

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): 1804.24
CPU time (s): 1800.09
CPU user time (s): 1798.9
CPU system time (s): 1.18382
CPU usage (%): 99.77
Max. virtual memory (cumulated for all children) (KiB): 212264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.18382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326670
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= 22
involuntary context switches= 19031

runsolver used 2.30565 second user time and 5.2752 second system time

The end

Launcher Data 

Begin job on node40 at 2009-07-16 07:45:24
IDJOB=2083430
IDBENCH=57815
IDSOLVER=734
FILE ID=node40/2083430-1247723124
PBS_JOBID= 9521416
Free space on /tmp= 66244 MiB

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

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

MD5SUM BENCH= 2cc28b346b93b18fcce435b65b3fd1cc
RANDOM SEED=1748930127

node40.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.213
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.213
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:       1501248 kB
Buffers:         64900 kB
Cached:         363296 kB
SwapCached:          0 kB
Active:          80948 kB
Inactive:       384596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1501248 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2968 kB
Writeback:           0 kB
Mapped:          58008 kB
Slab:            73984 kB
Committed_AS:   709232 kB
PageTables:       1964 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= 66240 MiB
End job on node40 at 2009-07-16 08:15:30