Trace number 2083100

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.11 1812.65

General information on the benchmark

Namecsp/fapp/fapp08/
normalized-fapp08-0700-5.xml
MD5SUMfa37dee04ffe0cd0af7a8fde9f661bf5
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 benchmark48.6576
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of constraints7122
Maximum constraint arity2
Maximum domain size282
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7122
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 1090314214
0.00/0.02	c Constructing HOME/instance-2083100-1247722427.xml  with 44620 constraints
0.67/0.78	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-2083100-1247722427/watcher-2083100-1247722427 -o /tmp/evaluation-result-2083100-1247722427/solver-2083100-1247722427 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1090314214 HOME/instance-2083100-1247722427.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.15 2.16 2.32 4/72 15514
/proc/meminfo: memFree=1530976/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=18576 CPUtime=0
/proc/15514/stat : 15514 (runsolver) R 15512 15514 12861 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59306909 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 255539604775 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15514/statm: 4644 284 249 26 0 2626 0

[startup+0.0683659 s]
/proc/loadavg: 2.15 2.16 2.32 4/72 15514
/proc/meminfo: memFree=1530976/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=5904 CPUtime=0.04
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 1111 664 0 0 4 0 0 0 23 0 1 0 59306909 6045696 742 996147200 134512640 135215973 4294956304 18446744073709551615 4159729116 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 1476 742 386 171 0 401 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5904

[startup+0.102363 s]
/proc/loadavg: 2.15 2.16 2.32 4/72 15514
/proc/meminfo: memFree=1530976/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=6676 CPUtime=0.08
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 1337 664 0 0 8 0 0 0 23 0 1 0 59306909 6836224 894 996147200 134512640 135215973 4294956304 18446744073709551615 134761780 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 1669 894 386 171 0 594 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6676

[startup+0.302395 s]
/proc/loadavg: 2.15 2.16 2.32 4/72 15514
/proc/meminfo: memFree=1530976/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=11360 CPUtime=0.28
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 2844 664 0 0 27 1 0 0 25 0 1 0 59306909 11632640 1918 996147200 134512640 135215973 4294956304 18446744073709551615 134533372 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 2840 1918 386 171 0 1765 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11360

[startup+0.703481 s]
/proc/loadavg: 2.15 2.16 2.32 4/72 15514
/proc/meminfo: memFree=1530976/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=22040 CPUtime=0.67
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 6228 664 0 0 65 2 0 0 25 0 1 0 59306909 22568960 3868 996147200 134512640 135215973 4294956304 18446744073709551615 4159350097 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 5510 3868 386 171 0 4435 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22040

[startup+1.50149 s]
/proc/loadavg: 2.15 2.16 2.32 3/73 15519
/proc/meminfo: memFree=1511256/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=26224 CPUtime=1.47
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 8397 664 0 0 143 4 0 0 25 0 1 0 59306909 26853376 5339 996147200 134512640 135215973 4294956304 18446744073709551615 134585628 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 6556 5339 410 171 0 5481 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 26224

[startup+3.10164 s]
/proc/loadavg: 2.14 2.15 2.32 3/73 15519
/proc/meminfo: memFree=1510680/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=26848 CPUtime=3.05
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 8637 664 0 0 301 4 0 0 25 0 1 0 59306909 27492352 5421 996147200 134512640 135215973 4294956304 18446744073709551615 134600809 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 6712 5421 410 171 0 5637 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 26848

[startup+6.30194 s]
/proc/loadavg: 2.14 2.15 2.32 3/73 15519
/proc/meminfo: memFree=1507864/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=29924 CPUtime=6.23
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 9495 664 0 0 619 4 0 0 25 0 1 0 59306909 30642176 6070 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 7481 6070 410 171 0 6406 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 29924

[startup+12.7015 s]
/proc/loadavg: 2.12 2.15 2.32 3/73 15519
/proc/meminfo: memFree=1506648/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=33172 CPUtime=12.57
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 10541 664 0 0 1253 4 0 0 25 0 1 0 59306909 33968128 6699 996147200 134512640 135215973 4294956304 18446744073709551615 134590016 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 8293 6699 410 171 0 7218 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 33172

[startup+25.5027 s]
/proc/loadavg: 2.10 2.14 2.31 3/73 15519
/proc/meminfo: memFree=1504280/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=33300 CPUtime=25.26
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 17169 664 0 0 2520 6 0 0 25 0 1 0 59306909 34099200 6753 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 8325 6753 413 171 0 7250 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 33300

[startup+51.1021 s]
/proc/loadavg: 2.06 2.13 2.30 3/73 15519
/proc/meminfo: memFree=1499032/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=36468 CPUtime=50.66
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 36468 664 0 0 5053 13 0 0 25 0 1 0 59306909 37343232 7546 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 9117 7546 413 171 0 8042 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 36468

[startup+102.307 s]
/proc/loadavg: 2.02 2.11 2.28 3/73 15519
/proc/meminfo: memFree=1484056/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=46096 CPUtime=101.45
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 86361 664 0 0 10115 30 0 0 25 0 1 0 59306909 47202304 9977 996147200 134512640 135215973 4294956304 18446744073709551615 134591393 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 11524 9977 413 171 0 10449 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 46096

[startup+162.303 s]
/proc/loadavg: 2.01 2.08 2.26 3/73 15519
/proc/meminfo: memFree=1469848/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=53752 CPUtime=160.98
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 124843 664 0 0 16056 42 0 0 25 0 1 0 59306909 55042048 12055 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 13438 12055 413 171 0 12363 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 53752

[startup+222.302 s]
/proc/loadavg: 2.00 2.07 2.24 3/73 15519
/proc/meminfo: memFree=1452440/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=57844 CPUtime=220.5
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 150961 664 0 0 21999 51 0 0 25 0 1 0 59306909 59232256 13093 996147200 134512640 135215973 4294956304 18446744073709551615 134585681 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 14461 13093 413 171 0 13386 0
Current children cumulated CPU time (s) 220.5
Current children cumulated vsize (KiB) 57844

[startup+282.304 s]
/proc/loadavg: 2.00 2.05 2.23 3/73 15519
/proc/meminfo: memFree=1440344/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=59320 CPUtime=280.04
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 169725 664 0 0 27947 57 0 0 25 0 1 0 59306909 60743680 13465 996147200 134512640 135215973 4294956304 18446744073709551615 134591870 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 14830 13465 413 171 0 13755 0
Current children cumulated CPU time (s) 280.04
Current children cumulated vsize (KiB) 59320

[startup+342.302 s]
/proc/loadavg: 2.00 2.04 2.21 3/73 15519
/proc/meminfo: memFree=1425624/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=64456 CPUtime=339.58
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 203164 664 0 0 33889 69 0 0 25 0 1 0 59306909 66002944 14756 996147200 134512640 135215973 4294956304 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 16114 14756 413 171 0 15039 0
Current children cumulated CPU time (s) 339.58
Current children cumulated vsize (KiB) 64456

[startup+402.302 s]
/proc/loadavg: 2.00 2.03 2.19 3/73 15519
/proc/meminfo: memFree=1399640/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=76864 CPUtime=399.12
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 260335 664 0 0 39824 88 0 0 25 0 1 0 59306909 78708736 17853 996147200 134512640 135215973 4294956304 18446744073709551615 134591364 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 19216 17853 413 171 0 18141 0
Current children cumulated CPU time (s) 399.12
Current children cumulated vsize (KiB) 76864

[startup+462.303 s]
/proc/loadavg: 2.00 2.02 2.18 3/73 15519
/proc/meminfo: memFree=1377496/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=85304 CPUtime=458.65
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 304335 664 0 0 45763 102 0 0 25 0 1 0 59306909 87351296 19977 996147200 134512640 135215973 4294956304 18446744073709551615 134592352 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 21326 19977 413 171 0 20251 0
Current children cumulated CPU time (s) 458.65
Current children cumulated vsize (KiB) 85304

[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.17 3/73 15519
/proc/meminfo: memFree=1349336/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=97032 CPUtime=518.19
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 354037 664 0 0 51703 116 0 0 25 0 1 0 59306909 99360768 22901 996147200 134512640 135215973 4294956304 18446744073709551615 4158960181 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 24258 22901 413 171 0 23183 0
Current children cumulated CPU time (s) 518.19
Current children cumulated vsize (KiB) 97032

[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.15 3/73 15519
/proc/meminfo: memFree=1329048/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=104944 CPUtime=577.71
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 401045 664 0 0 57642 129 0 0 25 0 1 0 59306909 107462656 24917 996147200 134512640 135215973 4294956304 18446744073709551615 4158960001 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 26236 24917 413 171 0 25161 0
Current children cumulated CPU time (s) 577.71
Current children cumulated vsize (KiB) 104944

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.14 3/73 15519
/proc/meminfo: memFree=1308248/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=114572 CPUtime=637.24
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 439448 664 0 0 63583 141 0 0 25 0 1 0 59306909 117321728 27334 996147200 134512640 135215973 4294956304 18446744073709551615 134600785 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 28643 27334 413 171 0 27568 0
Current children cumulated CPU time (s) 637.24
Current children cumulated vsize (KiB) 114572

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.11 3/73 15519
/proc/meminfo: memFree=1251416/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=136576 CPUtime=815.83
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 551640 664 0 0 81407 176 0 0 25 0 1 0 59306909 139853824 32865 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 34144 32865 413 171 0 33069 0
Current children cumulated CPU time (s) 815.83
Current children cumulated vsize (KiB) 136576

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.09 3/73 15519
/proc/meminfo: memFree=1240344/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=141976 CPUtime=875.36
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 582042 664 0 0 87350 186 0 0 25 0 1 0 59306909 145383424 34235 996147200 134512640 135215973 4294956304 18446744073709551615 134585741 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 35494 34235 413 171 0 34419 0
Current children cumulated CPU time (s) 875.36
Current children cumulated vsize (KiB) 141976

[startup+942.303 s]
/proc/loadavg: 2.00 2.00 2.09 3/73 15519
/proc/meminfo: memFree=1220888/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=150284 CPUtime=934.88
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 614170 664 0 0 93293 195 0 0 25 0 1 0 59306909 153890816 36305 996147200 134512640 135215973 4294956304 18446744073709551615 134585882 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 37571 36305 413 171 0 36496 0
Current children cumulated CPU time (s) 934.88
Current children cumulated vsize (KiB) 150284

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/73 15519
/proc/meminfo: memFree=1207960/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=155032 CPUtime=994.4
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 642407 664 0 0 99236 204 0 0 25 0 1 0 59306909 158752768 37524 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 38758 37524 413 171 0 37683 0
Current children cumulated CPU time (s) 994.4
Current children cumulated vsize (KiB) 155032

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/73 15519
/proc/meminfo: memFree=1201368/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=160572 CPUtime=1053.92
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 676694 664 0 0 105177 215 0 0 25 0 1 0 59306909 164425728 38903 996147200 134512640 135215973 4294956304 18446744073709551615 134587971 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 40143 38903 413 171 0 39068 0
Current children cumulated CPU time (s) 1053.92
Current children cumulated vsize (KiB) 160572

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/73 15521
/proc/meminfo: memFree=1192984/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=165312 CPUtime=1113.43
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 705524 664 0 0 111118 225 0 0 25 0 1 0 59306909 169279488 40107 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 41328 40107 413 171 0 40253 0
Current children cumulated CPU time (s) 1113.43
Current children cumulated vsize (KiB) 165312

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/73 15521
/proc/meminfo: memFree=1184472/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=171776 CPUtime=1172.95
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 729338 664 0 0 117063 232 0 0 25 0 1 0 59306909 175898624 41729 996147200 134512640 135215973 4294956304 18446744073709551615 134597394 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 42944 41729 413 171 0 41869 0
Current children cumulated CPU time (s) 1172.95
Current children cumulated vsize (KiB) 171776

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.06 3/73 15521
/proc/meminfo: memFree=1163352/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=178632 CPUtime=1232.47
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 753225 664 0 0 123007 240 0 0 25 0 1 0 59306909 182919168 43424 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 44658 43424 413 171 0 43583 0
Current children cumulated CPU time (s) 1232.47
Current children cumulated vsize (KiB) 178632

[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.06 3/73 15521
/proc/meminfo: memFree=1151768/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=185480 CPUtime=1291.99
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 777853 664 0 0 128951 248 0 0 25 0 1 0 59306909 189931520 45111 996147200 134512640 135215973 4294956304 18446744073709551615 134597408 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 46370 45111 413 171 0 45295 0
Current children cumulated CPU time (s) 1291.99
Current children cumulated vsize (KiB) 185480

[startup+1362.3 s]
/proc/loadavg: 2.24 2.08 2.08 3/73 15521
/proc/meminfo: memFree=1139864/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=191408 CPUtime=1351.5
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 801731 664 0 0 134895 255 0 0 25 0 1 0 59306909 196001792 46607 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 47852 46607 413 171 0 46777 0
Current children cumulated CPU time (s) 1351.5
Current children cumulated vsize (KiB) 191408

[startup+1422.31 s]
/proc/loadavg: 2.14 2.08 2.08 3/73 15521
/proc/meminfo: memFree=1130584/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=197604 CPUtime=1411.02
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 826023 664 0 0 140840 262 0 0 25 0 1 0 59306909 202346496 48175 996147200 134512640 135215973 4294956304 18446744073709551615 135097662 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 49401 48175 413 171 0 48326 0
Current children cumulated CPU time (s) 1411.02
Current children cumulated vsize (KiB) 197604

[startup+1482.3 s]
/proc/loadavg: 2.17 2.09 2.08 3/73 15521
/proc/meminfo: memFree=1118616/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=207940 CPUtime=1470.54
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 850432 664 0 0 146784 270 0 0 25 0 1 0 59306909 212930560 50103 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 51985 50103 413 171 0 50910 0
Current children cumulated CPU time (s) 1470.54
Current children cumulated vsize (KiB) 207940

[startup+1542.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/83 15595
/proc/meminfo: memFree=1294152/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=211104 CPUtime=1530.26
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 879633 664 0 0 152748 278 0 0 25 0 1 0 59306909 216170496 50918 996147200 134512640 135215973 4294956304 18446744073709551615 134970897 0 0 4096 0 0 0 0 17 0 0 0
/proc/15514/statm: 52776 50918 413 171 0 51701 0
Current children cumulated CPU time (s) 1530.26
Current children cumulated vsize (KiB) 211104

[startup+1602.3 s]
/proc/loadavg: 2.20 2.11 2.09 3/83 15637
/proc/meminfo: memFree=1299976/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=220068 CPUtime=1589.94
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 939225 664 0 0 158694 300 0 0 25 0 1 0 59306909 225349632 53168 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/15514/statm: 55017 53168 413 171 0 53942 0
Current children cumulated CPU time (s) 1589.94
Current children cumulated vsize (KiB) 220068

[startup+1662.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/73 15676
/proc/meminfo: memFree=1331088/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=232476 CPUtime=1649.81
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 1004433 664 0 0 164660 321 0 0 25 0 1 0 59306909 238055424 56284 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 0 0 0
/proc/15514/statm: 58119 56284 413 171 0 57044 0
Current children cumulated CPU time (s) 1649.81
Current children cumulated vsize (KiB) 232476

[startup+1722.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/73 15676
/proc/meminfo: memFree=1306576/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=249368 CPUtime=1709.78
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 1064305 664 0 0 170638 340 0 0 25 0 1 0 59306909 255352832 60524 996147200 134512640 135215973 4294956304 18446744073709551615 134585804 0 0 4096 0 0 0 0 17 0 0 0
/proc/15514/statm: 62342 60524 413 171 0 61267 0
Current children cumulated CPU time (s) 1709.78
Current children cumulated vsize (KiB) 249368

[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/73 15676
/proc/meminfo: memFree=1282576/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=260308 CPUtime=1769.76
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 1110234 664 0 0 176621 355 0 0 25 0 1 0 59306909 266555392 63247 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/15514/statm: 65077 63247 413 171 0 64002 0
Current children cumulated CPU time (s) 1769.76
Current children cumulated vsize (KiB) 260308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.6 s]
/proc/loadavg: 2.00 2.04 2.07 3/73 15676
/proc/meminfo: memFree=1273936/2055920 swapFree=4192812/4192956
[pid=15514] ppid=15512 vsize=265980 CPUtime=1800.05
/proc/15514/stat : 15514 (pcs.big) R 15512 15514 12861 0 -1 4194304 1133395 664 0 0 179643 362 0 0 25 0 1 0 59306909 272363520 64672 996147200 134512640 135215973 4294956304 18446744073709551615 134590086 0 0 4096 0 0 0 0 17 0 0 0
/proc/15514/statm: 66495 64672 413 171 0 65420 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 265980

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.65
CPU time (s): 1800.11
CPU user time (s): 1796.44
CPU system time (s): 3.67344
CPU usage (%): 99.3083
Max. virtual memory (cumulated for all children) (KiB): 265980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.44
system time used= 3.67344
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1134059
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= 26
involuntary context switches= 32321

runsolver used 1.90771 second user time and 5.31719 second system time

The end

Launcher Data 

Begin job on node48 at 2009-07-16 07:33:48
IDJOB=2083100
IDBENCH=57704
IDSOLVER=734
FILE ID=node48/2083100-1247722427
PBS_JOBID= 9521317
Free space on /tmp= 66368 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp08/normalized-fapp08-0700-5.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083100-1247722427/watcher-2083100-1247722427 -o /tmp/evaluation-result-2083100-1247722427/solver-2083100-1247722427 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1090314214 HOME/instance-2083100-1247722427.xml

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

MD5SUM BENCH= fa37dee04ffe0cd0af7a8fde9f661bf5
RANDOM SEED=1090314214

node48.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.237
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.237
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:       1531456 kB
Buffers:         76072 kB
Cached:         291944 kB
SwapCached:          0 kB
Active:         154512 kB
Inactive:       293768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1531456 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2708 kB
Writeback:           0 kB
Mapped:          91816 kB
Slab:            61376 kB
Committed_AS:   633800 kB
PageTables:       1840 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= 66368 MiB
End job on node48 at 2009-07-16 08:04:02