Trace number 2083221

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 1802.86

General information on the benchmark

Namecsp/fapp/fapp12/
normalized-fapp12-1500-0.xml
MD5SUM34c3ac733a64f710448acdb70b41fbc9
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 benchmark28.9816
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
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.03	c Seed is 183642899
0.00/0.03	c Constructing HOME/instance-2083221-1247722687.xml  with 160409 constraints
2.94/3.03	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-2083221-1247722687/watcher-2083221-1247722687 -o /tmp/evaluation-result-2083221-1247722687/solver-2083221-1247722687 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 183642899 HOME/instance-2083221-1247722687.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.06 2.01 2.00 4/82 12308
/proc/meminfo: memFree=487568/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=18576 CPUtime=0
/proc/12308/stat : 12308 (runsolver) R 12306 12308 10520 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59332766 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 266890439975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12308/statm: 4644 284 249 26 0 2626 0

[startup+0.0304139 s]
/proc/loadavg: 2.06 2.01 2.00 4/82 12308
/proc/meminfo: memFree=487568/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=4404 CPUtime=0
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 522 662 0 0 0 0 0 0 22 0 1 0 59332766 4509696 165 996147200 134512640 135215973 4294956304 18446744073709551615 8576004 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 1101 165 140 171 0 14 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4404

[startup+0.101424 s]
/proc/loadavg: 2.06 2.01 2.00 4/82 12308
/proc/meminfo: memFree=487568/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=6592 CPUtime=0.06
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 1295 662 0 0 6 0 0 0 22 0 1 0 59332766 6750208 885 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 1648 885 386 171 0 573 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6592

[startup+0.301448 s]
/proc/loadavg: 2.06 2.01 2.00 4/82 12308
/proc/meminfo: memFree=487568/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=10664 CPUtime=0.27
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 2682 662 0 0 26 1 0 0 24 0 1 0 59332766 10919936 1872 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 2666 1872 386 171 0 1591 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10664

[startup+0.701492 s]
/proc/loadavg: 2.06 2.01 2.00 4/82 12308
/proc/meminfo: memFree=487568/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=22020 CPUtime=0.67
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 6196 662 0 0 64 3 0 0 25 0 1 0 59332766 22548480 3813 996147200 134512640 135215973 4294956304 18446744073709551615 9039996 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 5505 3813 386 171 0 4430 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22020

[startup+1.50158 s]
/proc/loadavg: 2.06 2.01 2.00 3/83 12313
/proc/meminfo: memFree=467848/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=39852 CPUtime=1.45
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 12188 662 0 0 139 6 0 0 25 0 1 0 59332766 40808448 7399 996147200 134512640 135215973 4294956304 18446744073709551615 4159198342 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 9963 7399 386 171 0 8888 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 39852

[startup+3.10176 s]
/proc/loadavg: 2.06 2.01 2.00 3/83 12313
/proc/meminfo: memFree=447496/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=59664 CPUtime=3.04
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 23656 662 0 0 291 13 0 0 25 0 1 0 59332766 61095936 11640 996147200 134512640 135215973 4294956304 18446744073709551615 9039959 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 14916 11640 395 171 0 13841 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 59664

[startup+6.30111 s]
/proc/loadavg: 2.05 2.01 2.00 3/83 12313
/proc/meminfo: memFree=416264/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=85788 CPUtime=6.21
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 30289 662 0 0 604 17 0 0 25 0 1 0 59332766 87846912 18098 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 21447 18098 410 171 0 20372 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 85788

[startup+12.7018 s]
/proc/loadavg: 2.05 2.01 2.00 3/83 12313
/proc/meminfo: memFree=412552/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=86620 CPUtime=12.55
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 30722 662 0 0 1238 17 0 0 25 0 1 0 59332766 88698880 18322 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 21655 18322 410 171 0 20580 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 86620

[startup+25.5013 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 12313
/proc/meminfo: memFree=389960/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=94092 CPUtime=25.23
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 33017 662 0 0 2505 18 0 0 25 0 1 0 59332766 96350208 20200 996147200 134512640 135215973 4294956304 18446744073709551615 134600828 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 23523 20200 410 171 0 22448 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 94092

[startup+51.1011 s]
/proc/loadavg: 2.02 2.01 2.00 4/83 12313
/proc/meminfo: memFree=386056/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=99664 CPUtime=50.6
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 41412 662 0 0 5038 22 0 0 25 0 1 0 59332766 102055936 20928 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 24916 20928 413 171 0 23841 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 99664

[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 4/83 12313
/proc/meminfo: memFree=384904/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=100720 CPUtime=101.32
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 80405 662 0 0 10096 36 0 0 25 0 1 0 59332766 103137280 21195 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 25180 21195 413 171 0 24105 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 100720

[startup+162.302 s]
/proc/loadavg: 2.13 2.04 2.01 3/83 12313
/proc/meminfo: memFree=379080/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=105860 CPUtime=160.78
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 138143 662 0 0 16020 58 0 0 25 0 1 0 59332766 108400640 22653 996147200 134512640 135215973 4294956304 18446744073709551615 134589774 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 26465 22653 413 171 0 25390 0
Current children cumulated CPU time (s) 160.78
Current children cumulated vsize (KiB) 105860

[startup+222.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/83 12313
/proc/meminfo: memFree=374472/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=110216 CPUtime=220.22
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 229302 662 0 0 21934 88 0 0 25 0 1 0 59332766 112861184 23764 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/12308/statm: 27554 23764 413 171 0 26479 0
Current children cumulated CPU time (s) 220.22
Current children cumulated vsize (KiB) 110216

[startup+282.302 s]
/proc/loadavg: 2.07 2.05 2.01 3/73 12345
/proc/meminfo: memFree=1094744/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=114968 CPUtime=280.13
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 306074 662 0 0 27904 109 0 0 25 0 1 0 59332766 117727232 24960 996147200 134512640 135215973 4294956304 18446744073709551615 134585677 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 28742 24960 413 171 0 27667 0
Current children cumulated CPU time (s) 280.13
Current children cumulated vsize (KiB) 114968

[startup+342.302 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 12345
/proc/meminfo: memFree=1077528/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=125392 CPUtime=340.11
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 417764 662 0 0 33867 144 0 0 25 0 1 0 59332766 128401408 27708 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 31348 27708 413 171 0 30273 0
Current children cumulated CPU time (s) 340.11
Current children cumulated vsize (KiB) 125392

[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 12345
/proc/meminfo: memFree=1065560/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=132768 CPUtime=400.09
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 491970 662 0 0 39845 164 0 0 25 0 1 0 59332766 135954432 29554 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 33192 29554 413 171 0 32117 0
Current children cumulated CPU time (s) 400.09
Current children cumulated vsize (KiB) 132768

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 12345
/proc/meminfo: memFree=1057304/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=135408 CPUtime=460.07
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 542600 662 0 0 45826 181 0 0 25 0 1 0 59332766 138657792 30202 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 33852 30202 413 171 0 32777 0
Current children cumulated CPU time (s) 460.07
Current children cumulated vsize (KiB) 135408

[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 12345
/proc/meminfo: memFree=1046936/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=140148 CPUtime=520.05
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 592049 662 0 0 51808 197 0 0 25 0 1 0 59332766 143511552 31378 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 35037 31378 413 171 0 33962 0
Current children cumulated CPU time (s) 520.05
Current children cumulated vsize (KiB) 140148

[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 12345
/proc/meminfo: memFree=1033240/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=148328 CPUtime=580.02
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 681350 662 0 0 57781 221 0 0 25 0 1 0 59332766 151887872 33445 996147200 134512640 135215973 4294956304 18446744073709551615 134583366 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 37082 33445 413 171 0 36007 0
Current children cumulated CPU time (s) 580.02
Current children cumulated vsize (KiB) 148328

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 12345
/proc/meminfo: memFree=1017368/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=159548 CPUtime=640
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 857033 662 0 0 63726 274 0 0 25 0 1 0 59332766 163377152 36268 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 39887 36268 413 171 0 38812 0
Current children cumulated CPU time (s) 640
Current children cumulated vsize (KiB) 159548

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12347
/proc/meminfo: memFree=986008/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=176284 CPUtime=819.93
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 1166503 662 0 0 81631 362 0 0 25 0 1 0 59332766 180514816 40486 996147200 134512640 135215973 4294956304 18446744073709551615 134591693 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 44071 40486 413 171 0 42996 0
Current children cumulated CPU time (s) 819.93
Current children cumulated vsize (KiB) 176284

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12347
/proc/meminfo: memFree=972504/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=185256 CPUtime=879.9
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 1251027 662 0 0 87603 387 0 0 25 0 1 0 59332766 189702144 42734 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 46314 42734 413 171 0 45239 0
Current children cumulated CPU time (s) 879.9
Current children cumulated vsize (KiB) 185256

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12347
/proc/meminfo: memFree=963288/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=190932 CPUtime=939.88
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 1356046 662 0 0 93573 415 0 0 25 0 1 0 59332766 195514368 44171 996147200 134512640 135215973 4294956304 18446744073709551615 134589807 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 47733 44171 413 171 0 46658 0
Current children cumulated CPU time (s) 939.88
Current children cumulated vsize (KiB) 190932

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12347
/proc/meminfo: memFree=952344/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=198192 CPUtime=999.87
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 1443698 662 0 0 99545 442 0 0 25 0 1 0 59332766 202948608 46063 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 49548 46063 413 171 0 48473 0
Current children cumulated CPU time (s) 999.87
Current children cumulated vsize (KiB) 198192

[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 12409
/proc/meminfo: memFree=1017232/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=202936 CPUtime=1059.84
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 1532802 662 0 0 105514 470 0 0 25 0 1 0 59332766 207806464 47397 996147200 134512640 135215973 4294956304 18446744073709551615 134973383 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 50734 47397 413 171 0 49659 0
Current children cumulated CPU time (s) 1059.84
Current children cumulated vsize (KiB) 202936

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/73 12409
/proc/meminfo: memFree=1004752/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=207020 CPUtime=1119.82
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 1621583 662 0 0 111487 495 0 0 25 0 1 0 59332766 211988480 48408 996147200 134512640 135215973 4294956304 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 51755 48408 413 171 0 50680 0
Current children cumulated CPU time (s) 1119.82
Current children cumulated vsize (KiB) 207020

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 12409
/proc/meminfo: memFree=992528/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=210980 CPUtime=1179.8
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 1719218 662 0 0 117458 522 0 0 25 0 1 0 59332766 216043520 49429 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 52745 49429 413 171 0 51670 0
Current children cumulated CPU time (s) 1179.8
Current children cumulated vsize (KiB) 210980

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12409
/proc/meminfo: memFree=979792/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=216124 CPUtime=1239.76
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 1812020 662 0 0 123428 548 0 0 25 0 1 0 59332766 221310976 50709 996147200 134512640 135215973 4294956304 18446744073709551615 134583491 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 54031 50709 413 171 0 52956 0
Current children cumulated CPU time (s) 1239.76
Current children cumulated vsize (KiB) 216124

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12409
/proc/meminfo: memFree=964880/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=220476 CPUtime=1299.75
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 1889368 662 0 0 129404 571 0 0 25 0 1 0 59332766 225767424 51811 996147200 134512640 135215973 4294956304 18446744073709551615 135097518 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 55119 51811 413 171 0 54044 0
Current children cumulated CPU time (s) 1299.75
Current children cumulated vsize (KiB) 220476

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12409
/proc/meminfo: memFree=952984/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=225352 CPUtime=1359.73
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 1965509 662 0 0 135382 591 0 0 25 0 1 0 59332766 230760448 53046 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 56338 53046 413 171 0 55263 0
Current children cumulated CPU time (s) 1359.73
Current children cumulated vsize (KiB) 225352

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12415
/proc/meminfo: memFree=943184/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=227720 CPUtime=1419.71
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 2025466 662 0 0 141360 611 0 0 25 0 1 0 59332766 233185280 53641 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 56930 53641 413 171 0 55855 0
Current children cumulated CPU time (s) 1419.71
Current children cumulated vsize (KiB) 227720

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12415
/proc/meminfo: memFree=933712/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=230484 CPUtime=1479.67
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 2088472 662 0 0 147339 628 0 0 25 0 1 0 59332766 236015616 54337 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 57621 54337 413 171 0 56546 0
Current children cumulated CPU time (s) 1479.67
Current children cumulated vsize (KiB) 230484

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12415
/proc/meminfo: memFree=922064/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=232988 CPUtime=1539.66
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 2147242 662 0 0 153321 645 0 0 25 0 1 0 59332766 238579712 54951 996147200 134512640 135215973 4294956304 18446744073709551615 135094848 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 58247 54951 413 171 0 57172 0
Current children cumulated CPU time (s) 1539.66
Current children cumulated vsize (KiB) 232988

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12446
/proc/meminfo: memFree=821072/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=235628 CPUtime=1599.61
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 2219208 662 0 0 159292 669 0 0 25 0 1 0 59332766 241283072 55629 996147200 134512640 135215973 4294956304 18446744073709551615 134592266 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 58907 55629 413 171 0 57832 0
Current children cumulated CPU time (s) 1599.61
Current children cumulated vsize (KiB) 235628

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12446
/proc/meminfo: memFree=794640/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=241300 CPUtime=1659.59
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 2305179 662 0 0 165264 695 0 0 25 0 1 0 59332766 247091200 57046 996147200 134512640 135215973 4294956304 18446744073709551615 134583366 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 60325 57046 413 171 0 59250 0
Current children cumulated CPU time (s) 1659.59
Current children cumulated vsize (KiB) 241300

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12446
/proc/meminfo: memFree=788304/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=244336 CPUtime=1719.57
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 2374293 662 0 0 171242 715 0 0 25 0 1 0 59332766 250200064 57820 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 61084 57820 413 171 0 60009 0
Current children cumulated CPU time (s) 1719.57
Current children cumulated vsize (KiB) 244336

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12446
/proc/meminfo: memFree=726032/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=248164 CPUtime=1779.55
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 2441443 662 0 0 177219 736 0 0 25 0 1 0 59332766 254119936 58774 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 62041 58774 413 171 0 60966 0
Current children cumulated CPU time (s) 1779.55
Current children cumulated vsize (KiB) 248164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12477
/proc/meminfo: memFree=944528/2055920 swapFree=4192812/4192956
[pid=12308] ppid=12306 vsize=252388 CPUtime=1800.05
/proc/12308/stat : 12308 (pcs.big) R 12306 12308 10520 0 -1 4194304 2464200 662 0 0 179261 744 0 0 25 0 1 0 59332766 258445312 59823 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/12308/statm: 63097 59823 413 171 0 62022 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 252388

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): 1802.86
CPU time (s): 1800.11
CPU user time (s): 1792.62
CPU system time (s): 7.48786
CPU usage (%): 99.8478
Max. virtual memory (cumulated for all children) (KiB): 252924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.62
system time used= 7.48786
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2464862
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= 23
involuntary context switches= 11753

runsolver used 1.75073 second user time and 5.01624 second system time

The end

Launcher Data 

Begin job on node38 at 2009-07-16 07:38:07
IDJOB=2083221
IDBENCH=57745
IDSOLVER=734
FILE ID=node38/2083221-1247722687
PBS_JOBID= 9521353
Free space on /tmp= 66228 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp12/normalized-fapp12-1500-0.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083221-1247722687/watcher-2083221-1247722687 -o /tmp/evaluation-result-2083221-1247722687/solver-2083221-1247722687 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 183642899 HOME/instance-2083221-1247722687.xml

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

MD5SUM BENCH= 34c3ac733a64f710448acdb70b41fbc9
RANDOM SEED=183642899

node38.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.229
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.229
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:        488048 kB
Buffers:         89004 kB
Cached:         633496 kB
SwapCached:          0 kB
Active:         958108 kB
Inactive:       511100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        488048 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5268 kB
Writeback:           0 kB
Mapped:         767120 kB
Slab:            82368 kB
Committed_AS:  1296192 kB
PageTables:       3360 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= 66224 MiB
End job on node38 at 2009-07-16 08:08:12