Trace number 2082781

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.14 1812.91

General information on the benchmark

Namecsp/super-jobShop/
super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-3.xml
MD5SUM5124251d07b3c05814271b00e9f47dce
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 benchmark75.0886
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints845
Maximum constraint arity2
Maximum domain size127
Number of constraints which are defined in extension0
Number of constraints which are defined in intension845
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.01	c Seed is 1559734214
0.00/0.01	c Constructing HOME/instance-2082781-1247721569.xml  with 5015 constraints
0.00/0.09	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-2082781-1247721569/watcher-2082781-1247721569 -o /tmp/evaluation-result-2082781-1247721569/solver-2082781-1247721569 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1559734214 HOME/instance-2082781-1247721569.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.01 2.00 4/83 18943
/proc/meminfo: memFree=1111536/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=5356 CPUtime=0
/proc/18943/stat : 18943 (pcssolve) R 18941 18943 16582 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59221925 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251279239839 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18943/statm: 1339 241 200 169 0 50 0
[pid=18944] ppid=18943 vsize=5356 CPUtime=0
/proc/18944/stat : 18944 (pcssolve) R 18943 18943 16582 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59221925 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251279239839 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18944/statm: 1339 241 200 169 0 50 0

[startup+0.0936281 s]
/proc/loadavg: 2.00 2.01 2.00 4/83 18943
/proc/meminfo: memFree=1111536/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=7028 CPUtime=0.07
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 1451 661 0 0 7 0 0 0 24 0 1 0 59221925 7196672 966 996147200 134512640 135215973 4294956304 18446744073709551615 134635502 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 1757 966 398 171 0 682 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7028

[startup+0.101628 s]
/proc/loadavg: 2.00 2.01 2.00 4/83 18943
/proc/meminfo: memFree=1111536/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=7028 CPUtime=0.08
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 1490 661 0 0 8 0 0 0 24 0 1 0 59221925 7196672 1005 996147200 134512640 135215973 4294956304 18446744073709551615 135097658 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 1757 1005 404 171 0 682 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7028

[startup+0.302369 s]
/proc/loadavg: 2.00 2.01 2.00 4/83 18943
/proc/meminfo: memFree=1111536/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=8416 CPUtime=0.28
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 1989 661 0 0 27 1 0 0 25 0 1 0 59221925 8617984 1346 996147200 134512640 135215973 4294956304 18446744073709551615 134982855 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 2104 1346 408 171 0 1029 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8416

[startup+0.701712 s]
/proc/loadavg: 2.00 2.01 2.00 4/83 18943
/proc/meminfo: memFree=1111536/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=9756 CPUtime=0.68
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 2359 661 0 0 67 1 0 0 25 0 1 0 59221925 9990144 1507 996147200 134512640 135215973 4294956304 18446744073709551615 134601564 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 2439 1507 408 171 0 1364 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9756

[startup+1.50249 s]
/proc/loadavg: 2.00 2.01 2.00 4/84 18948
/proc/meminfo: memFree=1106984/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=10008 CPUtime=1.47
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 2397 661 0 0 146 1 0 0 25 0 1 0 59221925 10248192 1545 996147200 134512640 135215973 4294956304 18446744073709551615 134583507 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 2502 1545 408 171 0 1427 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10008

[startup+3.10201 s]
/proc/loadavg: 2.00 2.01 2.00 4/84 18948
/proc/meminfo: memFree=1106536/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=10252 CPUtime=3.05
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 2497 661 0 0 304 1 0 0 25 0 1 0 59221925 10498048 1645 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 2563 1645 408 171 0 1488 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 10252

[startup+6.30242 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=1105640/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=11220 CPUtime=6.23
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 2761 661 0 0 621 2 0 0 25 0 1 0 59221925 11489280 1876 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 2805 1876 408 171 0 1730 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 11220

[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=1103080/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=13508 CPUtime=12.56
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 3416 661 0 0 1254 2 0 0 25 0 1 0 59221925 13832192 2466 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 3377 2466 408 171 0 2302 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 13508

[startup+25.5018 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=1099048/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=17844 CPUtime=25.25
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 4606 661 0 0 2522 3 0 0 25 0 1 0 59221925 18272256 3462 996147200 134512640 135215973 4294956304 18446744073709551615 134648251 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 4461 3462 408 171 0 3386 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 17844

[startup+51.104 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=1089960/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=26472 CPUtime=50.62
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 7174 661 0 0 5057 5 0 0 25 0 1 0 59221925 27107328 5773 996147200 134512640 135215973 4294956304 18446744073709551615 134588053 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 6618 5773 408 171 0 5543 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 26472

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=1073256/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=43532 CPUtime=101.34
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 11896 661 0 0 10124 10 0 0 25 0 1 0 59221925 44576768 9853 996147200 134512640 135215973 4294956304 18446744073709551615 134951436 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 10883 9853 408 171 0 9808 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 43532

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=1058088/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=61128 CPUtime=160.77
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 16742 661 0 0 16063 14 0 0 25 0 1 0 59221925 62595072 13674 996147200 134512640 135215973 4294956304 18446744073709551615 4158960080 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 15282 13674 408 171 0 14207 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 61128

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=1034792/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=82636 CPUtime=220.21
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 22749 661 0 0 22002 19 0 0 25 0 1 0 59221925 84619264 19424 996147200 134512640 135215973 4294956304 18446744073709551615 134592237 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 20659 19424 408 171 0 19584 0
Current children cumulated CPU time (s) 220.21
Current children cumulated vsize (KiB) 82636

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=1014120/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=109148 CPUtime=279.67
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 30014 661 0 0 27942 25 0 0 25 0 1 0 59221925 111767552 24640 996147200 134512640 135215973 4294956304 18446744073709551615 134609794 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 27287 24640 408 171 0 26212 0
Current children cumulated CPU time (s) 279.67
Current children cumulated vsize (KiB) 109148

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=997160/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=123956 CPUtime=339.1
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 34191 661 0 0 33881 29 0 0 25 0 1 0 59221925 126930944 28817 996147200 134512640 135215973 4294956304 18446744073709551615 134583491 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 30989 28817 408 171 0 29914 0
Current children cumulated CPU time (s) 339.1
Current children cumulated vsize (KiB) 123956

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=977064/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=144128 CPUtime=398.55
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 39712 661 0 0 39820 35 0 0 25 0 1 0 59221925 147587072 33825 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 36032 33825 408 171 0 34957 0
Current children cumulated CPU time (s) 398.55
Current children cumulated vsize (KiB) 144128

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=960680/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=158420 CPUtime=457.99
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 43779 661 0 0 45760 39 0 0 25 0 1 0 59221925 162222080 37892 996147200 134512640 135215973 4294956304 18446744073709551615 134982801 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 39605 37892 408 171 0 38530 0
Current children cumulated CPU time (s) 457.99
Current children cumulated vsize (KiB) 158420

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/84 18948
/proc/meminfo: memFree=941864/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=175212 CPUtime=517.44
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 48538 661 0 0 51701 43 0 0 25 0 1 0 59221925 179417088 42651 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 43803 42651 408 171 0 42728 0
Current children cumulated CPU time (s) 517.44
Current children cumulated vsize (KiB) 175212

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=920040/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=210796 CPUtime=576.88
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 58012 661 0 0 57636 52 0 0 25 0 1 0 59221925 215855104 48028 996147200 134512640 135215973 4294956304 18446744073709551615 135097721 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 52699 48028 408 171 0 51624 0
Current children cumulated CPU time (s) 576.88
Current children cumulated vsize (KiB) 210796

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/84 18948
/proc/meminfo: memFree=899496/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=229016 CPUtime=636.32
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 63117 661 0 0 63576 56 0 0 25 0 1 0 59221925 234512384 53133 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 57254 53133 408 171 0 56179 0
Current children cumulated CPU time (s) 636.32

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=810024/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=312684 CPUtime=874.09
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 86451 661 0 0 87335 74 0 0 25 0 1 0 59221925 320188416 75442 996147200 134512640 135215973 4294956304 18446744073709551615 134610629 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 78171 75442 408 171 0 77096 0
Current children cumulated CPU time (s) 874.09
Current children cumulated vsize (KiB) 312684

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18948
/proc/meminfo: memFree=793576/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=327232 CPUtime=933.53
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 90569 661 0 0 93275 78 0 0 25 0 1 0 59221925 335085568 79560 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 81808 79560 408 171 0 80733 0
Current children cumulated CPU time (s) 933.53
Current children cumulated vsize (KiB) 327232

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18990
/proc/meminfo: memFree=1179064/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=343124 CPUtime=992.96
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 95095 661 0 0 99214 82 0 0 25 0 1 0 59221925 351358976 84086 996147200 134512640 135215973 4294956304 18446744073709551615 135098027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18943/statm: 85781 84086 408 171 0 84706 0
Current children cumulated CPU time (s) 992.96
Current children cumulated vsize (KiB) 343124

[startup+1062.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/74 19023
/proc/meminfo: memFree=1230984/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=391848 CPUtime=1052.46
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 107801 661 0 0 105155 91 0 0 25 0 1 0 59221925 401252352 88599 996147200 134512640 135215973 4294956304 18446744073709551615 134583456 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 97962 88599 408 171 0 96887 0
Current children cumulated CPU time (s) 1052.46
Current children cumulated vsize (KiB) 391848

[startup+1122.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/74 19023
/proc/meminfo: memFree=1191624/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=408628 CPUtime=1112.22
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 112562 661 0 0 111127 95 0 0 25 0 1 0 59221925 418435072 93360 996147200 134512640 135215973 4294956304 18446744073709551615 134617361 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 102157 93360 408 171 0 101082 0
Current children cumulated CPU time (s) 1112.22
Current children cumulated vsize (KiB) 408628

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/74 19023
/proc/meminfo: memFree=1169992/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=423640 CPUtime=1171.98
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 116823 661 0 0 117100 98 0 0 25 0 1 0 59221925 433807360 97621 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 105910 97621 408 171 0 104835 0
Current children cumulated CPU time (s) 1171.98
Current children cumulated vsize (KiB) 423640

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 19023
/proc/meminfo: memFree=1145928/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=438424 CPUtime=1231.74
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 120975 661 0 0 123073 101 0 0 25 0 1 0 59221925 448946176 101773 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 109606 101773 408 171 0 108531 0
Current children cumulated CPU time (s) 1231.74
Current children cumulated vsize (KiB) 438424

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 19023
/proc/meminfo: memFree=1122696/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=453920 CPUtime=1291.52
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 125363 661 0 0 129047 105 0 0 25 0 1 0 59221925 464814080 106161 996147200 134512640 135215973 4294956304 18446744073709551615 134588319 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 113480 106161 408 171 0 112405 0
Current children cumulated CPU time (s) 1291.52
Current children cumulated vsize (KiB) 453920

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 19023
/proc/meminfo: memFree=1093960/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=469884 CPUtime=1351.28
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 129888 661 0 0 135019 109 0 0 25 0 1 0 59221925 481161216 110686 996147200 134512640 135215973 4294956304 18446744073709551615 135096358 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 117471 110686 408 171 0 116396 0
Current children cumulated CPU time (s) 1351.28
Current children cumulated vsize (KiB) 469884

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=1066696/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=485140 CPUtime=1411.04
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 134196 661 0 0 140992 112 0 0 25 0 1 0 59221925 496783360 114994 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 121285 114994 408 171 0 120210 0
Current children cumulated CPU time (s) 1411.04
Current children cumulated vsize (KiB) 485140

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=1046408/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=498524 CPUtime=1470.81
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 138005 661 0 0 146966 115 0 0 25 0 1 0 59221925 510488576 118803 996147200 134512640 135215973 4294956304 18446744073709551615 4478587 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 124631 118803 408 171 0 123556 0
Current children cumulated CPU time (s) 1470.81
Current children cumulated vsize (KiB) 498524

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=1022152/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=515252 CPUtime=1530.57
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 142728 661 0 0 152937 120 0 0 25 0 1 0 59221925 527618048 123526 996147200 134512640 135215973 4294956304 18446744073709551615 134551170 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 128813 123526 408 171 0 127738 0
Current children cumulated CPU time (s) 1530.57
Current children cumulated vsize (KiB) 515252

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=987080/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=551256 CPUtime=1590.34
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 152289 661 0 0 158910 124 0 0 25 0 1 0 59221925 564486144 131038 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 137814 131038 408 171 0 136739 0
Current children cumulated CPU time (s) 1590.34
Current children cumulated vsize (KiB) 551256

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=959304/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=569064 CPUtime=1650.11
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 157357 661 0 0 164883 128 0 0 25 0 1 0 59221925 582721536 136106 996147200 134512640 135215973 4294956304 18446744073709551615 134902546 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 142266 136106 408 171 0 141191 0
Current children cumulated CPU time (s) 1650.11
Current children cumulated vsize (KiB) 569064

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=931080/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=588524 CPUtime=1709.87
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 162847 661 0 0 170855 132 0 0 25 0 1 0 59221925 602648576 141596 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 147131 141596 408 171 0 146056 0
Current children cumulated CPU time (s) 1709.87
Current children cumulated vsize (KiB) 588524

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=902024/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=605880 CPUtime=1769.63
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 167793 661 0 0 176826 137 0 0 25 0 1 0 59221925 620421120 146542 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 151470 146542 408 171 0 150395 0
Current children cumulated CPU time (s) 1769.63
Current children cumulated vsize (KiB) 605880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=887496/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=615072 CPUtime=1800.02
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4194304 170365 661 0 0 179863 139 0 0 25 0 1 0 59221925 629833728 149114 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 153768 149114 408 171 0 152693 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 615072

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1812.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=887496/2055920 swapFree=4192812/4192956
[pid=18943] ppid=18941 vsize=0 CPUtime=1800.12
/proc/18943/stat : 18943 (pcs.big) R 18941 18943 16582 0 -1 4195332 170365 661 0 0 179863 149 0 0 25 0 1 0 59221925 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/18943/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.91
CPU time (s): 1800.14
CPU user time (s): 1798.64
CPU system time (s): 1.49777
CPU usage (%): 99.2956
Max. virtual memory (cumulated for all children) (KiB): 615072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.49777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171026
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= 14
involuntary context switches= 48679

runsolver used 1.81972 second user time and 5.22921 second system time

The end

Launcher Data 

Begin job on node92 at 2009-07-16 07:19:29
IDJOB=2082781
IDBENCH=57636
IDSOLVER=734
FILE ID=node92/2082781-1247721569
PBS_JOBID= 9521328
Free space on /tmp= 66300 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-3.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082781-1247721569/watcher-2082781-1247721569 -o /tmp/evaluation-result-2082781-1247721569/solver-2082781-1247721569 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1559734214 HOME/instance-2082781-1247721569.xml

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

MD5SUM BENCH= 5124251d07b3c05814271b00e9f47dce
RANDOM SEED=1559734214

node92.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.216
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.216
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1111952 kB
Buffers:         77564 kB
Cached:         237072 kB
SwapCached:          0 kB
Active:         637672 kB
Inactive:       235516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1111952 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1840 kB
Writeback:           0 kB
Mapped:         579008 kB
Slab:            54872 kB
Committed_AS:  1051440 kB
PageTables:       3004 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= 66300 MiB
End job on node92 at 2009-07-16 07:49:44