Trace number 2081604

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.05 1803.43

General information on the benchmark

Namecsp/super-js/super-js-taillard-20-15/
normalized-super-js-taillard-20-15-21.xml
MD5SUMb7c57c745e2e78b2167f517ffcb2b0b4
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints9690
Maximum constraint arity2
Maximum domain size1306
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9690
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.22	c Seed is 1658520340
0.00/0.22	c Constructing HOME/instance-2081604-1247719981.xml  with 61830 constraints
0.87/0.98	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-2081604-1247719981/watcher-2081604-1247719981 -o /tmp/evaluation-result-2081604-1247719981/solver-2081604-1247719981 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1658520340 HOME/instance-2081604-1247719981.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.00 2.00 4/81 18038
/proc/meminfo: memFree=1515368/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=5356 CPUtime=0
/proc/18038/stat : 18038 (pcssolve) R 18036 18038 15829 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59061562 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 246406507167 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18038/statm: 1339 241 200 169 0 50 0
[pid=18039] ppid=18038 vsize=3676 CPUtime=0
/proc/18039/stat : 18039 (fgrep) R 18038 18038 15829 0 -1 4194304 147 0 0 0 0 0 0 0 22 0 1 0 59061563 3764224 114 996147200 4194304 4274172 548682068976 18446744073709551615 4243301 0 0 4096 0 0 0 0 17 1 0 0
/proc/18039/statm: 919 114 86 19 0 43 0
[pid=18040] ppid=18038 vsize=5356 CPUtime=0
/proc/18040/stat : 18040 (pcssolve) R 18038 18038 15829 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59061563 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 246406507167 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18040/statm: 1339 241 200 169 0 50 0

[startup+0.220602 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18038
/proc/meminfo: memFree=1515368/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=9120 CPUtime=0.18
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 2132 660 0 0 18 0 0 0 19 0 1 0 59061562 9338880 1402 996147200 134512640 135215973 4294956304 18446744073709551615 10845315 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 2280 1402 388 171 0 1205 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9120

[startup+0.301523 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18038
/proc/meminfo: memFree=1515368/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=10420 CPUtime=0.27
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 2615 660 0 0 26 1 0 0 19 0 1 0 59061562 10670080 1756 996147200 134512640 135215973 4294956304 18446744073709551615 134763541 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 2605 1756 388 171 0 1530 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10420

[startup+0.401531 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18038
/proc/meminfo: memFree=1515368/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=13528 CPUtime=0.37
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 3520 660 0 0 36 1 0 0 20 0 1 0 59061562 13852672 2279 996147200 134512640 135215973 4294956304 18446744073709551615 134718092 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 3382 2279 388 171 0 2307 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 13528

[startup+0.701557 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18038
/proc/meminfo: memFree=1515368/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=19724 CPUtime=0.67
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 5673 660 0 0 65 2 0 0 23 0 1 0 59061562 20197376 3690 996147200 134512640 135215973 4294956304 18446744073709551615 10849917 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 4931 3690 388 171 0 3856 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 19724

[startup+1.50163 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18043
/proc/meminfo: memFree=1487072/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=38848 CPUtime=1.46
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 12560 660 0 0 142 4 0 0 25 0 1 0 59061562 39780352 8797 996147200 134512640 135215973 4294956304 18446744073709551615 134594138 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 9712 8797 404 171 0 8637 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 38848

[startup+3.10179 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18043
/proc/meminfo: memFree=1470176/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=54112 CPUtime=3.05
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 19691 660 0 0 298 7 0 0 25 0 1 0 59061562 55410688 11558 996147200 134512640 135215973 4294956304 18446744073709551615 134957837 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 13528 11558 408 171 0 12453 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 54112

[startup+6.30109 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18043
/proc/meminfo: memFree=1458144/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=74944 CPUtime=6.21
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 28119 660 0 0 611 10 0 0 25 0 1 0 59061562 76742656 14577 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 18736 14577 408 171 0 17661 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 74944

[startup+12.7027 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18043
/proc/meminfo: memFree=1457824/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=75072 CPUtime=12.55
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 34025 660 0 0 1242 13 0 0 25 0 1 0 59061562 76873728 14607 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 18768 14607 408 171 0 17693 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 75072

[startup+25.5069 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 18043
/proc/meminfo: memFree=1450848/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=75448 CPUtime=25.23
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 47077 660 0 0 2505 18 0 0 25 0 1 0 59061562 77258752 16375 996147200 134512640 135215973 4294956304 18446744073709551615 134648295 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 18862 16375 408 171 0 17787 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 75448

[startup+51.1013 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18043
/proc/meminfo: memFree=1450144/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=76092 CPUtime=50.59
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 56170 660 0 0 5037 22 0 0 25 0 1 0 59061562 77918208 16543 996147200 134512640 135215973 4294956304 18446744073709551615 135097662 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 19023 16543 408 171 0 17948 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 76092

[startup+102.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 18043
/proc/meminfo: memFree=1448928/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=77236 CPUtime=101.31
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 77061 660 0 0 10101 30 0 0 25 0 1 0 59061562 79089664 16829 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 19309 16829 408 171 0 18234 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 77236

[startup+162.302 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 18043
/proc/meminfo: memFree=1447136/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=79164 CPUtime=160.75
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 124682 660 0 0 16022 53 0 0 25 0 1 0 59061562 81063936 17261 996147200 134512640 135215973 4294956304 18446744073709551615 134590106 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 19791 17261 408 171 0 18716 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 79164

[startup+222.302 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 18043
/proc/meminfo: memFree=1445280/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=81612 CPUtime=220.19
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 173066 660 0 0 21945 74 0 0 25 0 1 0 59061562 83570688 17704 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 20403 17704 408 171 0 19328 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 81612

[startup+282.301 s]
/proc/loadavg: 2.26 2.09 2.02 3/82 18043
/proc/meminfo: memFree=1442400/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=86516 CPUtime=279.62
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 223640 660 0 0 27866 96 0 0 25 0 1 0 59061562 88592384 18456 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 1 0 0
/proc/18038/statm: 21629 18456 408 171 0 20554 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 86516

[startup+342.307 s]
/proc/loadavg: 2.09 2.07 2.01 3/73 18076
/proc/meminfo: memFree=1385264/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=89552 CPUtime=339.44
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 259061 660 0 0 33830 114 0 0 25 0 1 0 59061562 91701248 19297 996147200 134512640 135215973 4294956304 18446744073709551615 134582251 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 22388 19297 408 171 0 21313 0
Current children cumulated CPU time (s) 339.44
Current children cumulated vsize (KiB) 89552

[startup+402.302 s]
/proc/loadavg: 2.03 2.05 2.01 3/73 18076
/proc/meminfo: memFree=1379632/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=93312 CPUtime=399.42
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 290247 660 0 0 39812 130 0 0 25 0 1 0 59061562 95551488 19810 996147200 134512640 135215973 4294956304 18446744073709551615 4158960650 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 23328 19810 408 171 0 22253 0
Current children cumulated CPU time (s) 399.42
Current children cumulated vsize (KiB) 93312

[startup+462.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 18076
/proc/meminfo: memFree=1354096/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=95924 CPUtime=459.4
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 324533 660 0 0 45795 145 0 0 25 0 1 0 59061562 98226176 20556 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 23981 20556 408 171 0 22906 0
Current children cumulated CPU time (s) 459.4
Current children cumulated vsize (KiB) 95924

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 18082
/proc/meminfo: memFree=1349608/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=98912 CPUtime=519.37
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 365972 660 0 0 51774 163 0 0 25 0 1 0 59061562 101285888 21383 996147200 134512640 135215973 4294956304 18446744073709551615 135096617 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 24728 21383 408 171 0 23653 0
Current children cumulated CPU time (s) 519.37
Current children cumulated vsize (KiB) 98912

[startup+582.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18082
/proc/meminfo: memFree=1344552/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=102064 CPUtime=579.34
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 433241 660 0 0 57742 192 0 0 25 0 1 0 59061562 104513536 22248 996147200 134512640 135215973 4294956304 18446744073709551615 134957922 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 25516 22248 408 171 0 24441 0
Current children cumulated CPU time (s) 579.34
Current children cumulated vsize (KiB) 102064

[startup+642.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18082
/proc/meminfo: memFree=1339688/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=105064 CPUtime=639.32

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

[startup+822.302 s]
/proc/loadavg: 2.08 2.03 2.00 3/73 18082
/proc/meminfo: memFree=1325040/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=117468 CPUtime=819.26
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 668338 660 0 0 81629 297 0 0 25 0 1 0 59061562 120287232 25440 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 29367 25440 408 171 0 28292 0
Current children cumulated CPU time (s) 819.26
Current children cumulated vsize (KiB) 117468

[startup+882.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/73 18082
/proc/meminfo: memFree=1319536/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=120720 CPUtime=879.24
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 721690 660 0 0 87602 322 0 0 25 0 1 0 59061562 123617280 26324 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 30180 26324 408 171 0 29105 0
Current children cumulated CPU time (s) 879.24
Current children cumulated vsize (KiB) 120720

[startup+942.302 s]
/proc/loadavg: 2.15 2.06 2.01 3/73 18082
/proc/meminfo: memFree=1316336/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=122256 CPUtime=939.21
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 763460 660 0 0 93580 341 0 0 25 0 1 0 59061562 125190144 26754 996147200 134512640 135215973 4294956304 18446744073709551615 134957871 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 30564 26754 408 171 0 29489 0
Current children cumulated CPU time (s) 939.21
Current children cumulated vsize (KiB) 122256

[startup+1002.31 s]
/proc/loadavg: 2.10 2.06 2.01 3/73 18082
/proc/meminfo: memFree=1311728/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=124848 CPUtime=999.2
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 807833 660 0 0 99562 358 0 0 25 0 1 0 59061562 127844352 27499 996147200 134512640 135215973 4294956304 18446744073709551615 134648297 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 31212 27499 408 171 0 30137 0
Current children cumulated CPU time (s) 999.2
Current children cumulated vsize (KiB) 124848

[startup+1062.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/73 18082
/proc/meminfo: memFree=1305200/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=129704 CPUtime=1059.17
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 854683 660 0 0 105541 376 0 0 25 0 1 0 59061562 132816896 28797 996147200 134512640 135215973 4294956304 18446744073709551615 134583660 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 32426 28797 408 171 0 31351 0
Current children cumulated CPU time (s) 1059.17
Current children cumulated vsize (KiB) 129704

[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 18082
/proc/meminfo: memFree=1301360/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=131656 CPUtime=1119.15
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 883257 660 0 0 111528 387 0 0 25 0 1 0 59061562 134815744 29395 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 32914 29395 408 171 0 31839 0
Current children cumulated CPU time (s) 1119.15
Current children cumulated vsize (KiB) 131656

[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/73 18082
/proc/meminfo: memFree=1296624/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=134808 CPUtime=1179.13
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 896540 660 0 0 117521 392 0 0 25 0 1 0 59061562 138043392 30250 996147200 134512640 135215973 4294956304 18446744073709551615 134648434 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 33702 30250 408 171 0 32627 0
Current children cumulated CPU time (s) 1179.13
Current children cumulated vsize (KiB) 134808

[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/73 18082
/proc/meminfo: memFree=1291952/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=137284 CPUtime=1239.11
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 945996 660 0 0 123499 412 0 0 25 0 1 0 59061562 140578816 30982 996147200 134512640 135215973 4294956304 18446744073709551615 134610758 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 34321 30982 408 171 0 33246 0
Current children cumulated CPU time (s) 1239.11
Current children cumulated vsize (KiB) 137284

[startup+1302.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/73 18082
/proc/meminfo: memFree=1288304/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=139372 CPUtime=1299.08
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 979895 660 0 0 129482 426 0 0 25 0 1 0 59061562 142716928 31549 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 34843 31549 408 171 0 33768 0
Current children cumulated CPU time (s) 1299.08
Current children cumulated vsize (KiB) 139372

[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/73 18082
/proc/meminfo: memFree=1282288/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=141984 CPUtime=1359.07
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 1011685 660 0 0 135467 440 0 0 25 0 1 0 59061562 145391616 32295 996147200 134512640 135215973 4294956304 18446744073709551615 134957665 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 35496 32295 408 171 0 34421 0
Current children cumulated CPU time (s) 1359.07
Current children cumulated vsize (KiB) 141984

[startup+1422.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/73 18082
/proc/meminfo: memFree=1275376/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=145992 CPUtime=1419.04
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 1032484 660 0 0 141456 448 0 0 25 0 1 0 59061562 149495808 33386 996147200 134512640 135215973 4294956304 18446744073709551615 134588235 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 36498 33386 408 171 0 35423 0
Current children cumulated CPU time (s) 1419.04
Current children cumulated vsize (KiB) 145992

[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 18082
/proc/meminfo: memFree=1271664/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=147888 CPUtime=1479.02
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 1052235 660 0 0 147445 457 0 0 25 0 1 0 59061562 151437312 33949 996147200 134512640 135215973 4294956304 18446744073709551615 134591876 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 36972 33949 408 171 0 35897 0
Current children cumulated CPU time (s) 1479.02
Current children cumulated vsize (KiB) 147888

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 18082
/proc/meminfo: memFree=1265008/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=150768 CPUtime=1539
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 1079599 660 0 0 153433 467 0 0 25 0 1 0 59061562 154386432 34741 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 37692 34741 408 171 0 36617 0
Current children cumulated CPU time (s) 1539
Current children cumulated vsize (KiB) 150768

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18082
/proc/meminfo: memFree=1259312/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=155064 CPUtime=1598.97
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 1114777 660 0 0 159414 483 0 0 25 0 1 0 59061562 158785536 35911 996147200 134512640 135215973 4294956304 18446744073709551615 134600150 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 38766 35911 408 171 0 37691 0
Current children cumulated CPU time (s) 1598.97
Current children cumulated vsize (KiB) 155064

[startup+1662.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18082
/proc/meminfo: memFree=1254000/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=165596 CPUtime=1658.96
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 1165662 660 0 0 165390 506 0 0 25 0 1 0 59061562 169570304 36543 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 41399 36543 408 171 0 40324 0
Current children cumulated CPU time (s) 1658.96
Current children cumulated vsize (KiB) 165596

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 18082
/proc/meminfo: memFree=1251120/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=166632 CPUtime=1718.93
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 1194711 660 0 0 171376 517 0 0 25 0 1 0 59061562 170631168 36888 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 41658 36888 408 171 0 40583 0
Current children cumulated CPU time (s) 1718.93
Current children cumulated vsize (KiB) 166632

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18082
/proc/meminfo: memFree=1246448/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=168864 CPUtime=1778.91
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 1252332 660 0 0 177349 542 0 0 25 0 1 0 59061562 172916736 37517 996147200 134512640 135215973 4294956304 18446744073709551615 134587096 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 42216 37517 408 171 0 41141 0
Current children cumulated CPU time (s) 1778.91
Current children cumulated vsize (KiB) 168864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18082
/proc/meminfo: memFree=1244336/2055920 swapFree=4192812/4192956
[pid=18038] ppid=18036 vsize=169388 CPUtime=1800.01
/proc/18038/stat : 18038 (pcs.big) R 18036 18038 15829 0 -1 4194304 1265807 660 0 0 179454 547 0 0 25 0 1 0 59061562 173453312 37680 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/18038/statm: 42347 37680 408 171 0 41272 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 169388

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): 1803.43
CPU time (s): 1800.05
CPU user time (s): 1794.55
CPU system time (s): 5.50616
CPU usage (%): 99.8125
Max. virtual memory (cumulated for all children) (KiB): 169596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.55
system time used= 5.50616
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1266467
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= 20
involuntary context switches= 16929

runsolver used 2.74158 second user time and 5.2762 second system time

The end

Launcher Data 

Begin job on node61 at 2009-07-16 06:53:01
IDJOB=2081604
IDBENCH=57445
IDSOLVER=734
FILE ID=node61/2081604-1247719981
PBS_JOBID= 9521385
Free space on /tmp= 66380 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-21.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081604-1247719981/watcher-2081604-1247719981 -o /tmp/evaluation-result-2081604-1247719981/solver-2081604-1247719981 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1658520340 HOME/instance-2081604-1247719981.xml

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

MD5SUM BENCH= b7c57c745e2e78b2167f517ffcb2b0b4
RANDOM SEED=1658520340

node61.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:       1515848 kB
Buffers:        106660 kB
Cached:         295016 kB
SwapCached:          0 kB
Active:         118232 kB
Inactive:       321104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1515848 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2972 kB
Writeback:           0 kB
Mapped:          58088 kB
Slab:            85944 kB
Committed_AS:   588976 kB
PageTables:       1852 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66376 MiB
End job on node61 at 2009-07-16 07:23:07