Trace number 2086817

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 0.3.2? (TO) 1800.15 1803.96

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-8.xml
MD5SUM0d097f8ff67533661f8e19e6cea7f246
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 benchmark12.1841
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1717
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
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 503405174
0.00/0.02	c Constructing HOME/instance-2086817-1247726844.xml  with 27360 constraints
0.37/0.46	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-2086817-1247726844/watcher-2086817-1247726844 -o /tmp/evaluation-result-2086817-1247726844/solver-2086817-1247726844 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 503405174 HOME/instance-2086817-1247726844.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: 1.98 2.03 2.00 4/82 11883
/proc/meminfo: memFree=1108664/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=18576 CPUtime=0
/proc/11883/stat : 11883 (runsolver) R 11881 11883 11480 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 59747677 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 251255123239 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11883/statm: 4644 284 249 26 0 2626 0

[startup+0.0845111 s]
/proc/loadavg: 1.98 2.03 2.00 4/82 11883
/proc/meminfo: memFree=1108664/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=5924 CPUtime=0.06
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 1138 663 0 0 6 0 0 0 24 0 1 0 59747677 6066176 769 996147200 134512640 135215973 4294956304 18446744073709551615 2269569 0 0 4096 0 0 0 0 17 1 0 0
/proc/11883/statm: 1481 769 388 171 0 406 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5924

[startup+0.101513 s]
/proc/loadavg: 1.98 2.03 2.00 4/82 11883
/proc/meminfo: memFree=1108664/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=6520 CPUtime=0.07
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 1278 663 0 0 7 0 0 0 24 0 1 0 59747677 6676480 835 996147200 134512640 135215973 4294956304 18446744073709551615 4158910434 0 0 4096 0 0 0 0 17 1 0 0
/proc/11883/statm: 1630 835 388 171 0 555 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6520

[startup+0.301541 s]
/proc/loadavg: 1.98 2.03 2.00 4/82 11883
/proc/meminfo: memFree=1108664/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=10892 CPUtime=0.28
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 2693 663 0 0 27 1 0 0 25 0 1 0 59747677 11153408 1786 996147200 134512640 135215973 4294956304 18446744073709551615 134600662 0 0 4096 0 0 0 0 17 1 0 0
/proc/11883/statm: 2723 1786 388 171 0 1648 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10892

[startup+0.701585 s]
/proc/loadavg: 1.98 2.03 2.00 4/82 11883
/proc/meminfo: memFree=1108664/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=20400 CPUtime=0.67
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 5923 663 0 0 65 2 0 0 25 0 1 0 59747677 20889600 4209 996147200 134512640 135215973 4294956304 18446744073709551615 134976884 0 0 4096 0 0 0 0 17 1 0 0
/proc/11883/statm: 5100 4209 404 171 0 4025 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20400

[startup+1.50167 s]
/proc/loadavg: 1.98 2.03 2.00 3/83 11888
/proc/meminfo: memFree=1087344/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=38548 CPUtime=1.46
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 11934 663 0 0 142 4 0 0 25 0 1 0 59747677 39473152 7305 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/11883/statm: 9637 7305 408 171 0 8562 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 38548

[startup+3.10185 s]
/proc/loadavg: 1.98 2.03 2.00 3/83 11888
/proc/meminfo: memFree=1079920/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=38632 CPUtime=3.05
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 11979 663 0 0 300 5 0 0 25 0 1 0 59747677 39559168 7346 996147200 134512640 135215973 4294956304 18446744073709551615 2277067 0 0 4096 0 0 0 0 17 1 0 0
/proc/11883/statm: 9658 7346 408 171 0 8583 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 38632

[startup+6.3022 s]
/proc/loadavg: 1.98 2.03 2.00 3/83 11888
/proc/meminfo: memFree=1077616/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=38792 CPUtime=6.22
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 12119 663 0 0 617 5 0 0 25 0 1 0 59747677 39723008 7481 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/11883/statm: 9698 7481 408 171 0 8623 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 38792

[startup+12.7019 s]
/proc/loadavg: 1.98 2.03 2.00 3/83 11888
/proc/meminfo: memFree=1073328/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=39176 CPUtime=12.56
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 12532 663 0 0 1251 5 0 0 25 0 1 0 59747677 40116224 7894 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 1 0 0
/proc/11883/statm: 9794 7894 408 171 0 8719 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 39176

[startup+25.5013 s]
/proc/loadavg: 1.99 2.02 2.00 3/83 11888
/proc/meminfo: memFree=773360/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=40340 CPUtime=25.24
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 13344 663 0 0 2518 6 0 0 25 0 1 0 59747677 41308160 8608 996147200 134512640 135215973 4294956304 18446744073709551615 134592088 0 0 4096 0 0 0 0 17 1 0 0
/proc/11883/statm: 10085 8608 408 171 0 9010 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 40340

[startup+51.1011 s]
/proc/loadavg: 2.05 2.04 2.00 3/83 11888
/proc/meminfo: memFree=722224/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=43404 CPUtime=50.59
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 14205 663 0 0 5053 6 0 0 25 0 1 0 59747677 44445696 9340 996147200 134512640 135215973 4294956304 18446744073709551615 134582261 0 0 4096 0 0 0 0 17 1 0 0
/proc/11883/statm: 10851 9340 408 171 0 9776 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 43404

[startup+102.307 s]
/proc/loadavg: 2.13 2.06 2.01 4/83 11888
/proc/meminfo: memFree=714032/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=50696 CPUtime=101.32
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 16203 663 0 0 10123 9 0 0 25 0 1 0 59747677 51912704 11081 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 1 0 0
/proc/11883/statm: 12674 11081 408 171 0 11599 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 50696

[startup+162.301 s]
/proc/loadavg: 2.28 2.12 2.03 3/83 11888
/proc/meminfo: memFree=702960/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=62464 CPUtime=160.75
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 19506 663 0 0 16063 12 0 0 25 0 1 0 59747677 63963136 13871 996147200 134512640 135215973 4294956304 18446744073709551615 134587266 0 0 4096 0 0 0 0 17 1 0 0
/proc/11883/statm: 15616 13871 408 171 0 14541 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 62464

[startup+222.302 s]
/proc/loadavg: 2.13 2.11 2.03 3/73 11920
/proc/meminfo: memFree=1353288/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=73184 CPUtime=220.39
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 22390 663 0 0 22026 13 0 0 25 0 1 0 59747677 74940416 16498 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 18296 16498 408 171 0 17221 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 73184

[startup+282.301 s]
/proc/loadavg: 2.05 2.09 2.02 3/73 11922
/proc/meminfo: memFree=1200648/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=88228 CPUtime=280.15
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 26430 663 0 0 27999 16 0 0 25 0 1 0 59747677 90345472 19513 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 22057 19513 408 171 0 20982 0
Current children cumulated CPU time (s) 280.15
Current children cumulated vsize (KiB) 88228

[startup+342.302 s]
/proc/loadavg: 2.02 2.07 2.02 3/73 11922
/proc/meminfo: memFree=1044488/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=96260 CPUtime=339.9
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 28662 663 0 0 33973 17 0 0 25 0 1 0 59747677 98570240 21745 996147200 134512640 135215973 4294956304 18446744073709551615 134591047 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 24065 21745 408 171 0 22990 0
Current children cumulated CPU time (s) 339.9
Current children cumulated vsize (KiB) 96260

[startup+402.301 s]
/proc/loadavg: 2.08 2.07 2.02 3/73 11922
/proc/meminfo: memFree=904200/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=104536 CPUtime=399.67
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 30980 663 0 0 39948 19 0 0 25 0 1 0 59747677 107044864 24063 996147200 134512640 135215973 4294956304 18446744073709551615 134600411 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 26134 24063 408 171 0 25059 0
Current children cumulated CPU time (s) 399.67
Current children cumulated vsize (KiB) 104536

[startup+462.302 s]
/proc/loadavg: 2.09 2.07 2.02 3/73 11922
/proc/meminfo: memFree=758920/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=111812 CPUtime=459.43
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 33022 663 0 0 45922 21 0 0 25 0 1 0 59747677 114495488 26105 996147200 134512640 135215973 4294956304 18446744073709551615 134590260 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 27953 26105 408 171 0 26878 0
Current children cumulated CPU time (s) 459.43
Current children cumulated vsize (KiB) 111812

[startup+522.301 s]
/proc/loadavg: 2.10 2.07 2.02 3/73 11922
/proc/meminfo: memFree=627464/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=118856 CPUtime=519.19
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 34974 663 0 0 51897 22 0 0 25 0 1 0 59747677 121708544 28057 996147200 134512640 135215973 4294956304 18446744073709551615 134600149 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 29714 28057 408 171 0 28639 0
Current children cumulated CPU time (s) 519.19
Current children cumulated vsize (KiB) 118856

[startup+582.302 s]
/proc/loadavg: 2.09 2.07 2.02 3/73 11922
/proc/meminfo: memFree=491656/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=136072 CPUtime=578.94
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 39489 663 0 0 57870 24 0 0 25 0 1 0 59747677 139337728 30523 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 34018 30523 408 171 0 32943 0
Current children cumulated CPU time (s) 578.94
Current children cumulated vsize (KiB) 136072

[startup+642.302 s]
/proc/loadavg: 2.17 2.09 2.02 3/82 12086
/proc/meminfo: memFree=1339704/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=146248 CPUtime=638.91
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 42320 663 0 0 63861 30 0 0 25 0 1 0 59747677 149757952 33354 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 36562 33354 408 171 0 35487 0
Current children cumulated CPU time (s) 638.91
Current children cumulated vsize (KiB) 146248

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 12092
/proc/meminfo: memFree=1304248/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=177732 CPUtime=878.81
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 51107 663 0 0 87842 39 0 0 25 0 1 0 59747677 181997568 42141 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 44433 42141 408 171 0 43358 0
Current children cumulated CPU time (s) 878.81
Current children cumulated vsize (KiB) 177732

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 12092
/proc/meminfo: memFree=1294456/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=186508 CPUtime=938.79
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 53570 663 0 0 93837 42 0 0 25 0 1 0 59747677 190984192 44604 996147200 134512640 135215973 4294956304 18446744073709551615 134533182 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 46627 44604 408 171 0 45552 0
Current children cumulated CPU time (s) 938.79
Current children cumulated vsize (KiB) 186508

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 12092
/proc/meminfo: memFree=1285624/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=194364 CPUtime=998.76
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 55762 663 0 0 99833 43 0 0 25 0 1 0 59747677 199028736 46796 996147200 134512640 135215973 4294956304 18446744073709551615 134680925 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 48591 46796 408 171 0 47516 0
Current children cumulated CPU time (s) 998.76
Current children cumulated vsize (KiB) 194364

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12092
/proc/meminfo: memFree=1267704/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=213064 CPUtime=1058.74
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 60795 663 0 0 105828 46 0 0 25 0 1 0 59747677 218177536 51251 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 53266 51251 408 171 0 52191 0
Current children cumulated CPU time (s) 1058.74
Current children cumulated vsize (KiB) 213064

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12092
/proc/meminfo: memFree=1264248/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=232196 CPUtime=1118.72
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 65775 663 0 0 111822 50 0 0 25 0 1 0 59747677 237768704 52134 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 58049 52134 408 171 0 56974 0
Current children cumulated CPU time (s) 1118.72
Current children cumulated vsize (KiB) 232196

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12092
/proc/meminfo: memFree=1255928/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=239568 CPUtime=1178.7
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 67862 663 0 0 117818 52 0 0 25 0 1 0 59747677 245317632 54221 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 59892 54221 408 171 0 58817 0
Current children cumulated CPU time (s) 1178.7
Current children cumulated vsize (KiB) 239568

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12092
/proc/meminfo: memFree=1247608/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=246892 CPUtime=1238.67
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 69908 663 0 0 123814 53 0 0 25 0 1 0 59747677 252817408 56267 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 61723 56267 408 171 0 60648 0
Current children cumulated CPU time (s) 1238.67
Current children cumulated vsize (KiB) 246892

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12092
/proc/meminfo: memFree=1239928/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=253404 CPUtime=1298.66
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 71737 663 0 0 129811 55 0 0 25 0 1 0 59747677 259485696 58096 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 63351 58096 408 171 0 62276 0
Current children cumulated CPU time (s) 1298.66
Current children cumulated vsize (KiB) 253404

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12092
/proc/meminfo: memFree=1230072/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=262380 CPUtime=1358.64
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 74220 663 0 0 135807 57 0 0 25 0 1 0 59747677 268677120 60579 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 65595 60579 408 171 0 64520 0
Current children cumulated CPU time (s) 1358.64
Current children cumulated vsize (KiB) 262380

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12092
/proc/meminfo: memFree=1219384/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=271984 CPUtime=1418.61
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 76859 663 0 0 141802 59 0 0 25 0 1 0 59747677 278511616 63218 996147200 134512640 135215973 4294956304 18446744073709551615 134907974 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 67996 63218 408 171 0 66921 0
Current children cumulated CPU time (s) 1418.61
Current children cumulated vsize (KiB) 271984

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12092
/proc/meminfo: memFree=1211576/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=279044 CPUtime=1478.59
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 78821 663 0 0 147798 61 0 0 25 0 1 0 59747677 285741056 65180 996147200 134512640 135215973 4294956304 18446744073709551615 134907454 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 69761 65180 408 171 0 68686 0
Current children cumulated CPU time (s) 1478.59
Current children cumulated vsize (KiB) 279044

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12092
/proc/meminfo: memFree=1202872/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=286780 CPUtime=1538.57
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 80974 663 0 0 153794 63 0 0 25 0 1 0 59747677 293662720 67333 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 71695 67333 408 171 0 70620 0
Current children cumulated CPU time (s) 1538.57
Current children cumulated vsize (KiB) 286780

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12092
/proc/meminfo: memFree=1194232/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=294476 CPUtime=1598.54
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 83131 663 0 0 159789 65 0 0 25 0 1 0 59747677 301543424 69490 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 73619 69490 408 171 0 72544 0
Current children cumulated CPU time (s) 1598.54
Current children cumulated vsize (KiB) 294476

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12092
/proc/meminfo: memFree=1184184/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=303308 CPUtime=1658.52
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 85575 663 0 0 165785 67 0 0 25 0 1 0 59747677 310587392 71934 996147200 134512640 135215973 4294956304 18446744073709551615 135096460 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 75827 71934 408 171 0 74752 0
Current children cumulated CPU time (s) 1658.52
Current children cumulated vsize (KiB) 303308

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 12092
/proc/meminfo: memFree=1174456/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=312076 CPUtime=1718.5
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 87999 663 0 0 171781 69 0 0 25 0 1 0 59747677 319565824 74358 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 78019 74358 408 171 0 76944 0
Current children cumulated CPU time (s) 1718.5
Current children cumulated vsize (KiB) 312076

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 12092
/proc/meminfo: memFree=1164920/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=320336 CPUtime=1778.48
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 90296 663 0 0 177776 72 0 0 25 0 1 0 59747677 328024064 76655 996147200 134512640 135215973 4294956304 18446744073709551615 134589864 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 80084 76655 408 171 0 79009 0
Current children cumulated CPU time (s) 1778.48
Current children cumulated vsize (KiB) 320336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12092
/proc/meminfo: memFree=1161720/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=323140 CPUtime=1800.08
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 91084 663 0 0 179936 72 0 0 25 0 1 0 59747677 330895360 77443 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 80785 77443 408 171 0 79710 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 323140

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

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

[startup+1803.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12092
/proc/meminfo: memFree=1161720/2055920 swapFree=4192812/4192956
[pid=11883] ppid=11881 vsize=323140 CPUtime=1800.08
/proc/11883/stat : 11883 (pcs.big) R 11881 11883 11480 0 -1 4194304 91084 663 0 0 179936 72 0 0 25 0 1 0 59747677 330895360 77443 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 0 0 0
/proc/11883/statm: 80785 77443 408 171 0 79710 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 323140

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.96
CPU time (s): 1800.15
CPU user time (s): 1799.37
CPU system time (s): 0.78588
CPU usage (%): 99.7887
Max. virtual memory (cumulated for all children) (KiB): 323140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.78588
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91747
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= 29
involuntary context switches= 17833

runsolver used 2.27665 second user time and 5.9361 second system time

The end

Launcher Data 

Begin job on node64 at 2009-07-16 08:47:24
IDJOB=2086817
IDBENCH=58640
IDSOLVER=733
FILE ID=node64/2086817-1247726844
PBS_JOBID= 9521551
Free space on /tmp= 66328 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-105-8.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2086817-1247726844/watcher-2086817-1247726844 -o /tmp/evaluation-result-2086817-1247726844/solver-2086817-1247726844 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 503405174 HOME/instance-2086817-1247726844.xml

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

MD5SUM BENCH= 0d097f8ff67533661f8e19e6cea7f246
RANDOM SEED=503405174

node64.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.220
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.220
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:       1109144 kB
Buffers:         89656 kB
Cached:         348808 kB
SwapCached:          0 kB
Active:         494132 kB
Inactive:       364412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1109144 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2332 kB
Writeback:           0 kB
Mapped:         440484 kB
Slab:            72324 kB
Committed_AS:  1113764 kB
PageTables:       2628 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= 66328 MiB
End job on node64 at 2009-07-16 09:17:30