Trace number 2083969

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.12 1808.47

General information on the benchmark

Namecsp/fapp/fapp27/
normalized-fapp27-2550-6.xml
MD5SUMef7d7c637f2d266a95f48fc11eb03b09
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 benchmark31.9491
Satisfiable
(Un)Satisfiability was proved
Number of variables2550
Number of constraints10886
Maximum constraint arity2
Maximum domain size242
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10886
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.04	c Seed is 1693940795
0.00/0.04	c Constructing HOME/instance-2083969-1247724077.xml  with 66327 constraints
1.17/1.21	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-2083969-1247724077/watcher-2083969-1247724077 -o /tmp/evaluation-result-2083969-1247724077/solver-2083969-1247724077 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1693940795 HOME/instance-2083969-1247724077.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.24 2.16 2.07 4/75 19500
/proc/meminfo: memFree=1597864/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=5260 CPUtime=0
/proc/19500/stat : 19500 (pcssolve) R 19498 19500 19342 0 -1 4194304 68 0 0 0 0 0 0 0 20 0 1 0 59470419 5386240 51 996147200 4194304 4889804 548682068800 18446744073709551615 209557966640 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 1315 51 37 169 0 14 0

[startup+0.0142531 s]
/proc/loadavg: 2.24 2.16 2.07 4/75 19500
/proc/meminfo: memFree=1597864/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=5356 CPUtime=0
/proc/19500/stat : 19500 (pcssolve) R 19498 19500 19342 0 -1 4194304 309 317 0 0 0 0 0 0 21 0 1 0 59470419 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 209560595103 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19500/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101269 s]
/proc/loadavg: 2.24 2.16 2.07 4/75 19500
/proc/meminfo: memFree=1597864/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=7000 CPUtime=0.07
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 1429 661 0 0 7 0 0 0 18 0 1 0 59470419 7168000 969 996147200 134512640 135215973 4294956304 18446744073709551615 9166356 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 1750 969 386 171 0 675 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7000

[startup+0.301308 s]
/proc/loadavg: 2.24 2.16 2.07 4/75 19500
/proc/meminfo: memFree=1597864/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=12412 CPUtime=0.27
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2864 661 0 0 26 1 0 0 19 0 1 0 59470419 12709888 2015 996147200 134512640 135215973 4294956304 18446744073709551615 9168507 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 3103 2015 386 171 0 2028 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 12412

[startup+0.701371 s]
/proc/loadavg: 2.24 2.16 2.07 4/75 19500
/proc/meminfo: memFree=1597864/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=21692 CPUtime=0.67
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 6131 661 0 0 64 3 0 0 23 0 1 0 59470419 22212608 3926 996147200 134512640 135215973 4294956304 18446744073709551615 4158960272 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 5423 3926 386 171 0 4348 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21692

[startup+1.5015 s]
/proc/loadavg: 2.24 2.16 2.07 3/76 19505
/proc/meminfo: memFree=1578144/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=36216 CPUtime=1.47
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 12312 661 0 0 140 7 0 0 25 0 1 0 59470419 37085184 7709 996147200 134512640 135215973 4294956304 18446744073709551615 134600082 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 9054 7709 410 171 0 7979 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 36216

[startup+3.10177 s]
/proc/loadavg: 2.24 2.16 2.07 3/76 19505
/proc/meminfo: memFree=1567904/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=36636 CPUtime=3.06
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 12461 661 0 0 299 7 0 0 25 0 1 0 59470419 37515264 7805 996147200 134512640 135215973 4294956304 18446744073709551615 134600073 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 9159 7805 410 171 0 8084 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 36636

[startup+6.30131 s]
/proc/loadavg: 2.22 2.16 2.07 3/76 19505
/proc/meminfo: memFree=1565088/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=39600 CPUtime=6.25
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 13366 661 0 0 617 8 0 0 25 0 1 0 59470419 40550400 8396 996147200 134512640 135215973 4294956304 18446744073709551615 134583949 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 9900 8396 410 171 0 8825 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 39600

[startup+12.7014 s]
/proc/loadavg: 2.20 2.15 2.07 3/76 19505
/proc/meminfo: memFree=1561760/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=41448 CPUtime=12.62
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 13943 661 0 0 1254 8 0 0 25 0 1 0 59470419 42442752 8973 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 10362 8973 410 171 0 9287 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 41448

[startup+25.5016 s]
/proc/loadavg: 2.16 2.14 2.07 3/76 19505
/proc/meminfo: memFree=1557472/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=44564 CPUtime=25.35
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 16335 661 0 0 2526 9 0 0 25 0 1 0 59470419 45633536 9730 996147200 134512640 135215973 4294956304 18446744073709551615 134583622 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 11141 9730 413 171 0 10066 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 44564

[startup+51.1019 s]
/proc/loadavg: 2.10 2.13 2.06 3/76 19505
/proc/meminfo: memFree=1549856/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=49444 CPUtime=50.82
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 52448 661 0 0 5063 19 0 0 25 0 1 0 59470419 50630656 10927 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 12361 10927 413 171 0 11286 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 49444

[startup+102.307 s]
/proc/loadavg: 2.04 2.11 2.06 3/76 19505
/proc/meminfo: memFree=1536736/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=57904 CPUtime=101.78
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 121448 661 0 0 10140 38 0 0 25 0 1 0 59470419 59293696 13053 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 14476 13053 413 171 0 13401 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 57904

[startup+162.303 s]
/proc/loadavg: 2.01 2.09 2.05 3/76 19505
/proc/meminfo: memFree=1520544/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=69776 CPUtime=161.48
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 194728 661 0 0 16090 58 0 0 25 0 1 0 59470419 71450624 16037 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 17444 16037 413 171 0 16369 0
Current children cumulated CPU time (s) 161.48
Current children cumulated vsize (KiB) 69776

[startup+222.302 s]
/proc/loadavg: 2.00 2.07 2.05 3/76 19505
/proc/meminfo: memFree=1510048/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=76896 CPUtime=221.19
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 246917 661 0 0 22047 72 0 0 25 0 1 0 59470419 78741504 17824 996147200 134512640 135215973 4294956304 18446744073709551615 134583510 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 19224 17824 413 171 0 18149 0
Current children cumulated CPU time (s) 221.19
Current children cumulated vsize (KiB) 76896

[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.04 3/76 19505
/proc/meminfo: memFree=1485984/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=89948 CPUtime=280.9
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 347936 661 0 0 27987 103 0 0 25 0 1 0 59470419 92106752 21080 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 22487 21080 413 171 0 21412 0
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (KiB) 89948

[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.04 3/76 19505
/proc/meminfo: memFree=1469224/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=99308 CPUtime=340.6
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 456366 661 0 0 33923 137 0 0 25 0 1 0 59470419 101691392 23428 996147200 134512640 135215973 4294956304 18446744073709551615 134590075 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 24827 23428 413 171 0 23752 0
Current children cumulated CPU time (s) 340.6
Current children cumulated vsize (KiB) 99308

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.03 3/76 19505
/proc/meminfo: memFree=1453800/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=108664 CPUtime=400.31
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 562303 661 0 0 39866 165 0 0 25 0 1 0 59470419 111271936 25777 996147200 134512640 135215973 4294956304 18446744073709551615 134583667 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 27166 25777 413 171 0 26091 0
Current children cumulated CPU time (s) 400.31
Current children cumulated vsize (KiB) 108664

[startup+462.302 s]
/proc/loadavg: 2.00 2.02 2.02 3/76 19505
/proc/meminfo: memFree=1437224/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=119080 CPUtime=460.03
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 633384 661 0 0 45816 187 0 0 25 0 1 0 59470419 121937920 28418 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 29770 28418 413 171 0 28695 0
Current children cumulated CPU time (s) 460.03
Current children cumulated vsize (KiB) 119080

[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.02 3/76 19505
/proc/meminfo: memFree=1408424/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=139404 CPUtime=519.73
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 822774 661 0 0 51730 243 0 0 25 0 1 0 59470419 142749696 33542 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 34851 33542 413 171 0 33776 0
Current children cumulated CPU time (s) 519.73
Current children cumulated vsize (KiB) 139404

[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.01 3/76 19505
/proc/meminfo: memFree=1383400/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=158008 CPUtime=579.44
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 982185 661 0 0 57656 288 0 0 25 0 1 0 59470419 161800192 38209 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 39502 38209 413 171 0 38427 0
Current children cumulated CPU time (s) 579.44
Current children cumulated vsize (KiB) 158008

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.01 3/76 19505
/proc/meminfo: memFree=1359528/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=174872 CPUtime=639.15
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 1132218 661 0 0 63580 335 0 0 25 0 1 0 59470419 179068928 42430 996147200 134512640 135215973 4294956304 18446744073709551615 134583634 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 43718 42430 413 171 0 42643 0
Current children cumulated CPU time (s) 639.15
Current children cumulated vsize (KiB) 174872

[startup+702.301 s]

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

[startup+822.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 19505
/proc/meminfo: memFree=1287784/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=227948 CPUtime=818.27
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 1500914 661 0 0 81380 447 0 0 25 0 1 0 59470419 233418752 55760 996147200 134512640 135215973 4294956304 18446744073709551615 134589807 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 56987 55760 413 171 0 55912 0
Current children cumulated CPU time (s) 818.27
Current children cumulated vsize (KiB) 227948

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 19505
/proc/meminfo: memFree=1253032/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=258036 CPUtime=877.97
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 1701973 661 0 0 87285 512 0 0 25 0 1 0 59470419 264228864 63331 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 64509 63331 413 171 0 63434 0
Current children cumulated CPU time (s) 877.97
Current children cumulated vsize (KiB) 258036

[startup+942.302 s]
/proc/loadavg: 2.04 2.01 2.00 3/76 19505
/proc/meminfo: memFree=1240488/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=265808 CPUtime=937.69
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 1776945 661 0 0 93233 536 0 0 25 0 1 0 59470419 272187392 65281 996147200 134512640 135215973 4294956304 18446744073709551615 135094898 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 66452 65281 413 171 0 65377 0
Current children cumulated CPU time (s) 937.69
Current children cumulated vsize (KiB) 265808

[startup+1002.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/76 19505
/proc/meminfo: memFree=1224040/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=277024 CPUtime=997.39
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 1901672 661 0 0 99166 573 0 0 25 0 1 0 59470419 283672576 68092 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 69256 68092 413 171 0 68181 0
Current children cumulated CPU time (s) 997.39
Current children cumulated vsize (KiB) 277024

[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/76 19505
/proc/meminfo: memFree=1212584/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=284676 CPUtime=1057.11
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 1981838 661 0 0 105114 597 0 0 25 0 1 0 59470419 291508224 70016 996147200 134512640 135215973 4294956304 18446744073709551615 135094922 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 71169 70016 413 171 0 70094 0
Current children cumulated CPU time (s) 1057.11
Current children cumulated vsize (KiB) 284676

[startup+1122.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/76 19505
/proc/meminfo: memFree=1199272/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=292856 CPUtime=1116.82
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2065638 661 0 0 111060 622 0 0 25 0 1 0 59470419 299884544 72094 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 73214 72094 413 171 0 72139 0
Current children cumulated CPU time (s) 1116.82
Current children cumulated vsize (KiB) 292856

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/76 19505
/proc/meminfo: memFree=1184872/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=302340 CPUtime=1176.52
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2133714 661 0 0 117009 643 0 0 25 0 1 0 59470419 309596160 74456 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 75585 74456 413 171 0 74510 0
Current children cumulated CPU time (s) 1176.52
Current children cumulated vsize (KiB) 302340

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 19505
/proc/meminfo: memFree=1171368/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=310512 CPUtime=1236.22
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2178908 661 0 0 122965 657 0 0 25 0 1 0 59470419 317964288 76498 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 77628 76498 413 171 0 76553 0
Current children cumulated CPU time (s) 1236.22
Current children cumulated vsize (KiB) 310512

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 19505
/proc/meminfo: memFree=1157480/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=318428 CPUtime=1295.94
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2224106 661 0 0 128923 671 0 0 25 0 1 0 59470419 326070272 78486 996147200 134512640 135215973 4294956304 18446744073709551615 134597679 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 79607 78486 413 171 0 78532 0
Current children cumulated CPU time (s) 1295.94
Current children cumulated vsize (KiB) 318428

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 19505
/proc/meminfo: memFree=1145512/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=326336 CPUtime=1355.64
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2281487 661 0 0 134875 689 0 0 25 0 1 0 59470419 334168064 80477 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 81584 80477 413 171 0 80509 0
Current children cumulated CPU time (s) 1355.64
Current children cumulated vsize (KiB) 326336

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 19505
/proc/meminfo: memFree=1137000/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=334512 CPUtime=1415.35
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2355879 661 0 0 140825 710 0 0 25 0 1 0 59470419 342540288 82543 996147200 134512640 135215973 4294956304 18446744073709551615 134591592 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 83628 82543 413 171 0 82553 0
Current children cumulated CPU time (s) 1415.35
Current children cumulated vsize (KiB) 334512

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 19505
/proc/meminfo: memFree=1123240/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=345448 CPUtime=1475.06
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2419765 661 0 0 146776 730 0 0 25 0 1 0 59470419 353738752 85297 996147200 134512640 135215973 4294956304 18446744073709551615 134583510 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 86362 85297 413 171 0 85287 0
Current children cumulated CPU time (s) 1475.06
Current children cumulated vsize (KiB) 345448

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 19505
/proc/meminfo: memFree=1110248/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=354280 CPUtime=1534.76
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2496626 661 0 0 152725 751 0 0 25 0 1 0 59470419 362782720 87512 996147200 134512640 135215973 4294956304 18446744073709551615 134600785 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 88570 87512 413 171 0 87495 0
Current children cumulated CPU time (s) 1534.76
Current children cumulated vsize (KiB) 354280

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/76 19505
/proc/meminfo: memFree=1091880/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=362196 CPUtime=1594.47
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2541823 661 0 0 158682 765 0 0 25 0 1 0 59470419 370888704 89499 996147200 134512640 135215973 4294956304 18446744073709551615 134585741 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 90549 89499 413 171 0 89474 0
Current children cumulated CPU time (s) 1594.47
Current children cumulated vsize (KiB) 362196

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/76 19505
/proc/meminfo: memFree=1074728/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=369704 CPUtime=1654.18
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2583825 661 0 0 164641 777 0 0 25 0 1 0 59470419 378576896 91365 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/19500/statm: 92426 91365 413 171 0 91351 0
Current children cumulated CPU time (s) 1654.18
Current children cumulated vsize (KiB) 369704

[startup+1722.3 s]
/proc/loadavg: 1.94 1.99 1.99 3/85 19580
/proc/meminfo: memFree=1214688/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=377224 CPUtime=1713.96
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2627136 661 0 0 170604 792 0 0 25 0 1 0 59470419 386277376 93264 996147200 134512640 135215973 4294956304 18446744073709551615 134599883 0 0 4096 0 0 0 0 17 0 0 0
/proc/19500/statm: 94306 93264 413 171 0 93231 0
Current children cumulated CPU time (s) 1713.96
Current children cumulated vsize (KiB) 377224

[startup+1782.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/85 19580
/proc/meminfo: memFree=1204896/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=386588 CPUtime=1773.93
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2725431 661 0 0 176572 821 0 0 25 0 1 0 59470419 395866112 95627 996147200 134512640 135215973 4294956304 18446744073709551615 134597363 0 0 4096 0 0 0 0 17 0 0 0
/proc/19500/statm: 96647 95627 413 171 0 95572 0
Current children cumulated CPU time (s) 1773.93
Current children cumulated vsize (KiB) 386588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.41 s]
/proc/loadavg: 1.98 1.99 1.99 3/85 19580
/proc/meminfo: memFree=1197728/2055920 swapFree=4192812/4192956
[pid=19500] ppid=19498 vsize=393800 CPUtime=1800.03
/proc/19500/stat : 19500 (pcs.big) R 19498 19500 19342 0 -1 4194304 2777868 661 0 0 179168 835 0 0 25 0 1 0 59470419 403251200 97430 996147200 134512640 135215973 4294956304 18446744073709551615 134590027 0 0 4096 0 0 0 0 17 0 0 0
/proc/19500/statm: 98450 97430 413 171 0 97375 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 393800

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): 1808.47
CPU time (s): 1800.12
CPU user time (s): 1791.69
CPU system time (s): 8.42172
CPU usage (%): 99.5379
Max. virtual memory (cumulated for all children) (KiB): 393800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.69
system time used= 8.42172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2778529
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= 21
involuntary context switches= 20103

runsolver used 2.16467 second user time and 6.06708 second system time

The end

Launcher Data 

Begin job on node68 at 2009-07-16 08:01:17
IDJOB=2083969
IDBENCH=57993
IDSOLVER=734
FILE ID=node68/2083969-1247724077
PBS_JOBID= 9521510
Free space on /tmp= 66420 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp27/normalized-fapp27-2550-6.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083969-1247724077/watcher-2083969-1247724077 -o /tmp/evaluation-result-2083969-1247724077/solver-2083969-1247724077 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1693940795 HOME/instance-2083969-1247724077.xml

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

MD5SUM BENCH= ef7d7c637f2d266a95f48fc11eb03b09
RANDOM SEED=1693940795

node68.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.258
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.258
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:       1598344 kB
Buffers:         74292 kB
Cached:         269312 kB
SwapCached:          0 kB
Active:         124932 kB
Inactive:       264516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1598344 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3292 kB
Writeback:           0 kB
Mapped:          57632 kB
Slab:            53208 kB
Committed_AS:   618812 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= 66416 MiB
End job on node68 at 2009-07-16 08:31:28