Trace number 275009

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, and are wall clock time (not CPU 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
AbsconMax 109 PFCOPTIMUM 47.3318 47.6405

General information on the benchmark

Namecomposed/composed-75-1-2/
composed-75-1-2-9_ext.xml
MD5SUM7b11356db0138df0c4114f6e8785d12e
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints622
Best CPU time to get the best result obtained on this benchmark38.8391
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables83
Number of constraints624
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension624
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=pfc.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/275009-1169215621/unknown.xml
0.40	   
0.40	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.45	     nbVariables=83  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.45	       =>  wckTime=0.131  cpuTime=0.09  mem=6M910
0.45	   
0.45	   relations being loaded...
0.55	   
0.55	   constraints being loaded...
0.69	     nbConstraints=624  nbRelationTypes=624  nbExtensionStructures=624  nbSharedExtensionStructures=0
0.69	     nbConflictsStructures=624  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=11796  maxDegree=28
0.69	     maxArity=2
0.69	       =>  wckTime=0.368  cpuTime=0.23  mem=11M802
0.74	   
0.74	   solver LocalSearchSolver being built... 
0.78	       =>  wckTime=0.461  cpuTime=0.27  mem=6M50
0.79	
0.79	s SATISFIABLE
0.79	o 532
0.79	c 92
0.79	o 537
0.79	c 87
0.80	o 542
0.80	c 82
0.80	o 546
0.80	c 78
0.80	o 550
0.80	c 74
0.80	o 554
0.80	c 70
0.80	o 558
0.80	c 66
0.80	o 562
0.80	c 62
0.80	o 566
0.80	c 58
0.80	o 569
0.80	c 55
0.80	o 572
0.80	c 52
0.81	o 575
0.81	c 49
0.81	o 578
0.81	c 46
0.81	o 581
0.81	c 43
0.81	o 584
0.81	c 40
0.81	o 587
0.81	c 37
0.81	o 589
0.81	c 35
0.81	o 591
0.81	c 33
0.81	o 593
0.81	c 31
0.81	o 595
0.81	c 29
0.82	o 597
0.82	c 27
0.82	o 598
0.82	c 26
0.82	o 599
0.82	c 25
0.82	o 601
0.82	c 23
0.82	o 603
0.82	c 21
0.82	o 604
0.82	c 20
0.82	o 605
0.82	c 19
0.82	o 607
0.82	c 17
0.82	o 608
0.82	c 16
0.82	o 609
0.82	c 15
0.82	o 610
0.82	c 14
0.82	o 611
0.82	c 13
0.82	o 612
0.82	c 12
0.82	o 614
0.82	c 10
0.82	o 615
0.82	c 9
0.82	o 616
0.82	c 8
0.82	o 617
0.82	c 7
0.82	o 618
0.82	c 6
0.83	o 619
0.83	c 5
0.83	o 620
0.83	c 4
0.84	o 621
0.84	c 3
0.98	o 622
0.98	c 2
5.86	   
5.86	   search
5.86	     run=0  nbConstraintChecks=36964763  nbAssignments=10000
5.86	       =>  wckTime=5.08  cpuTime=5.04  mem=6M50
11.18	   
11.18	   search
11.18	     run=1  nbConstraintChecks=77173445  nbAssignments=20000
11.18	       =>  wckTime=10.398  cpuTime=10.32  mem=6M50
15.23	   
15.23	   search
15.23	     run=2  nbConstraintChecks=106443230  nbAssignments=30000
15.23	       =>  wckTime=14.445  cpuTime=14.35  mem=6M50
19.50	   
19.50	   search
19.50	     run=3  nbConstraintChecks=137501580  nbAssignments=40000
19.50	       =>  wckTime=18.722  cpuTime=18.61  mem=6M50
24.37	   
24.37	   search
24.37	     run=4  nbConstraintChecks=173669092  nbAssignments=50000
24.37	       =>  wckTime=23.589  cpuTime=23.46  mem=6M50
27.83	   
27.83	   search
27.83	     run=5  nbConstraintChecks=198142549  nbAssignments=60000
27.83	       =>  wckTime=27.05  cpuTime=26.9  mem=6M50
31.15	   
31.15	   search
31.15	     run=6  nbConstraintChecks=222810792  nbAssignments=66943
31.15	       =>  wckTime=30.364  cpuTime=30.19  mem=6M50
31.15	   
31.15	   global
31.15	     nbConstraintChecks=222810792  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.15	     solvingWckTime=30.362  solvingCpuTime=30.18  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.15	     globalCpuTime=30.51
31.15	       =>  wckTime=30.826  cpuTime=30.46  mem=6M50
31.15	   
31.15	   solver IterativeSystematicSolver being built... 
31.28	       =>  wckTime=30.962  cpuTime=30.57  mem=17M23
31.30	   
31.30	   preprocessing
31.30	     nbConstraintChecks=40  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.30	     detectedInconsistency=no
31.30	       =>  wckTime=0.0090  cpuTime=0.01  mem=17M23
31.41	   
31.41	   search
31.41	     run=0  nbConstraintChecks=170437  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=94
31.41	     nbFailedAssignments=24  nbBacktracks=11  nbVisitedNodes=125  nbRestartNogoods=0
31.41	       =>  wckTime=0.123  cpuTime=0.1  mem=17M23
31.55	   
31.55	   search
31.55	     run=1  nbConstraintChecks=434206  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=169
31.55	     nbFailedAssignments=42  nbBacktracks=26  nbVisitedNodes=233  nbRestartNogoods=3
31.55	       =>  wckTime=0.265  cpuTime=0.24  mem=17M23
31.65	   
31.65	   search
31.65	     run=2  nbConstraintChecks=694341  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=294
31.65	     nbFailedAssignments=92  nbBacktracks=48  nbVisitedNodes=420  nbRestartNogoods=11
31.65	       =>  wckTime=0.364  cpuTime=0.33  mem=17M23
31.83	   
31.83	   search
31.83	     run=3  nbConstraintChecks=1101774  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=450
31.83	     nbFailedAssignments=139  nbBacktracks=85  nbVisitedNodes=660  nbRestartNogoods=19
31.83	       =>  wckTime=0.54  cpuTime=0.5  mem=17M23
32.04	   
32.04	   search
32.04	     run=4  nbConstraintChecks=1582403  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=607
32.04	     nbFailedAssignments=197  nbBacktracks=135  nbVisitedNodes=925  nbRestartNogoods=36
32.04	       =>  wckTime=0.752  cpuTime=0.71  mem=17M23
32.31	   
32.31	   search
32.31	     run=5  nbConstraintChecks=2375421  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=919
32.31	     nbFailedAssignments=359  nbBacktracks=216  nbVisitedNodes=1474  nbRestartNogoods=43
32.31	       =>  wckTime=1.025  cpuTime=0.99  mem=17M23
32.87	   
32.87	   search
32.87	     run=6  nbConstraintChecks=3468285  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1159
32.87	     nbFailedAssignments=452  nbBacktracks=329  nbVisitedNodes=1920  nbRestartNogoods=56
32.87	       =>  wckTime=1.585  cpuTime=1.54  mem=17M23
33.96	   
33.96	   search
33.96	     run=7  nbConstraintChecks=5305474  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1534
33.96	     nbFailedAssignments=636  nbBacktracks=499  nbVisitedNodes=2649  nbRestartNogoods=64
33.96	       =>  wckTime=2.675  cpuTime=2.61  mem=17M23
36.03	   
36.03	   search
36.03	     run=8  nbConstraintChecks=10801935  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2783
36.03	     nbFailedAssignments=1590  nbBacktracks=755  nbVisitedNodes=4958  nbRestartNogoods=71
36.03	       =>  wckTime=4.747  cpuTime=4.67  mem=17M23
36.49	   
36.49	   search
36.49	     run=9  nbConstraintChecks=12118032  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3370
36.49	     nbFailedAssignments=1718  nbBacktracks=1140  nbVisitedNodes=6058  nbRestartNogoods=81
36.49	       =>  wckTime=5.204  cpuTime=5.12  mem=17M23
37.87	   
37.87	   search
37.87	     run=10  nbConstraintChecks=15678210  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4424
37.87	     nbFailedAssignments=2120  nbBacktracks=1719  nbVisitedNodes=8042  nbRestartNogoods=107
37.87	       =>  wckTime=6.589  cpuTime=6.5  mem=17M23
39.47	   
39.47	   search
39.47	     run=11  nbConstraintChecks=19833387  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6142
39.47	     nbFailedAssignments=2900  nbBacktracks=2587  nbVisitedNodes=11405  nbRestartNogoods=125
39.47	       =>  wckTime=8.188  cpuTime=8.08  mem=17M23
40.50	   
40.50	   search
40.50	     run=12  nbConstraintChecks=24290108  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8552
40.50	     nbFailedAssignments=3937  nbBacktracks=3887  nbVisitedNodes=16150  nbRestartNogoods=150
40.50	       =>  wckTime=9.213  cpuTime=9.11  mem=17M23
47.46	   
47.46	   search
47.46	     run=13  nbConstraintChecks=36973218  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11893
47.46	     nbFailedAssignments=5318  nbBacktracks=5834  nbVisitedNodes=22809  nbRestartNogoods=163
47.46	       =>  wckTime=16.175  cpuTime=16.02  mem=17M23
47.59	   
47.59	   search
47.59	     run=14  nbConstraintChecks=37017193  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11991
47.59	     nbFailedAssignments=5394  nbBacktracks=5857  nbVisitedNodes=23002  nbRestartNogoods=175
47.59	       =>  wckTime=16.308  cpuTime=16.15  mem=17M23
47.59	   
47.59	   global
47.59	     nbConstraintChecks=37017233  nbRestartNogoods=175  solvingWckTime=16.309  solvingCpuTime=16.15  expiredTime=no
47.59	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=46.77
47.59	       =>  wckTime=47.272  cpuTime=46.72  mem=17M23
47.60	
47.60	s OPTIMUM FOUND
47.60	v 5 2 6 2 7 5 4 0 4 4 5 7 7 2 8 2 1 7 7 6 2 6 8 7 0 8 5 8 2 8 0 0 8 6 3 8 8 4 7 1 4 9 9 0 4 9 1 9 2 5 6 1 8 6 5 5 0 2 5 0 2 3 2 3 9 2 1 2 8 8 5 2 9 9 0 3 7 0 8 1 3 6 9 
47.60	   
47.60	   totalWckTime=47.346  totalCpuTime=46.78

Verifier Data (download as text)

2 unsatisfied constraints, 622 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node24/watcher-275009-1169215621 -o ROOT/results/node24/solver-275009-1169215621 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275009-1169215621/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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

/proc/loadavg: 0.96 1.17 1.53 4/83 16173
/proc/meminfo: memFree=1422928/2055920 swapFree=4180096/4192956
[pid=16172] ppid=16168 vsize=1784 CPUtime=0
/proc/16172/stat : 16172 (java) R 16168 16172 16064 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 269957367 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/16172/statm: 446 160 125 14 0 91 0

[startup+0.105654 s]
/proc/loadavg: 0.96 1.17 1.53 4/83 16173
/proc/meminfo: memFree=1422928/2055920 swapFree=4180096/4192956
[pid=16172] ppid=16168 vsize=914988 CPUtime=0.09
/proc/16172/stat : 16172 (java) R 16168 16172 16064 0 -1 0 3034 0 1 0 7 2 0 0 23 0 8 0 269957367 936947712 2780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16172/statm: 228747 2781 1441 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.513697 s]
/proc/loadavg: 0.96 1.17 1.53 4/83 16173
/proc/meminfo: memFree=1422928/2055920 swapFree=4180096/4192956
[pid=16172] ppid=16168 vsize=915332 CPUtime=0.47
/proc/16172/stat : 16172 (java) R 16168 16172 16064 0 -1 0 6279 0 12 0 42 5 0 0 23 0 8 0 269957367 937299968 6029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16172/statm: 228833 6029 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332

[startup+1.33478 s]
/proc/loadavg: 0.96 1.17 1.53 3/100 16190
/proc/meminfo: memFree=1376008/2055920 swapFree=4180096/4192956
[pid=16172] ppid=16168 vsize=915432 CPUtime=1.27
/proc/16172/stat : 16172 (java) R 16168 16172 16064 0 -1 0 8058 0 12 0 116 11 0 0 25 0 8 0 269957367 937402368 7807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16172/statm: 228858 7807 2476 14 0 215328 0
[pid=16172/tid=16177] ppid=16168 vsize=915432 CPUtime=0.03
/proc/16172/task/16177/stat : 16177 (java) S 16168 16172 16064 0 -1 64 292 0 0 0 3 0 0 0 17 0 8 0 269957371 937402368 7807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16178] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16178/stat : 16178 (java) S 16168 16172 16064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269957371 937402368 7807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16179] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16179/stat : 16179 (java) S 16168 16172 16064 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269957371 937402368 7807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16183] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16183/stat : 16183 (java) S 16168 16172 16064 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 269957374 937402368 7807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16172/tid=16184] ppid=16168 vsize=915432 CPUtime=0.16
/proc/16172/task/16184/stat : 16184 (java) S 16168 16172 16064 0 -1 64 357 0 0 0 16 0 0 0 16 0 8 0 269957374 937402368 7807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16185] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16185/stat : 16185 (java) S 16168 16172 16064 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 269957374 937402368 7807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16172/tid=16186] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16186/stat : 16186 (java) S 16168 16172 16064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 269957375 937402368 7807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915432

[startup+2.97196 s]
/proc/loadavg: 0.96 1.17 1.53 3/100 16190
/proc/meminfo: memFree=1375816/2055920 swapFree=4180096/4192956
[pid=16172] ppid=16168 vsize=915432 CPUtime=2.91
/proc/16172/stat : 16172 (java) R 16168 16172 16064 0 -1 0 8062 0 12 0 266 25 0 0 25 0 8 0 269957367 937402368 7810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16172/statm: 228858 7810 2476 14 0 215328 0
[pid=16172/tid=16177] ppid=16168 vsize=915432 CPUtime=0.03
/proc/16172/task/16177/stat : 16177 (java) S 16168 16172 16064 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 269957371 937402368 7810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16178] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16178/stat : 16178 (java) S 16168 16172 16064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269957371 937402368 7810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16179] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16179/stat : 16179 (java) S 16168 16172 16064 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269957371 937402368 7810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16183] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16183/stat : 16183 (java) S 16168 16172 16064 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 269957374 937402368 7810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16172/tid=16184] ppid=16168 vsize=915432 CPUtime=0.17
/proc/16172/task/16184/stat : 16184 (java) S 16168 16172 16064 0 -1 64 360 0 0 0 17 0 0 0 16 0 8 0 269957374 937402368 7810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16185] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16185/stat : 16185 (java) S 16168 16172 16064 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 269957374 937402368 7810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16172/tid=16186] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16186/stat : 16186 (java) S 16168 16172 16064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 269957375 937402368 7810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915432

[startup+6.17631 s]
/proc/loadavg: 1.05 1.19 1.54 3/100 16190
/proc/meminfo: memFree=1375816/2055920 swapFree=4180096/4192956
[pid=16172] ppid=16168 vsize=915432 CPUtime=6.09
/proc/16172/stat : 16172 (java) R 16168 16172 16064 0 -1 0 8065 0 12 0 558 51 0 0 25 0 8 0 269957367 937402368 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16172/statm: 228858 7813 2476 14 0 215328 0
[pid=16172/tid=16177] ppid=16168 vsize=915432 CPUtime=0.03
/proc/16172/task/16177/stat : 16177 (java) S 16168 16172 16064 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 269957371 937402368 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16178] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16178/stat : 16178 (java) S 16168 16172 16064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269957371 937402368 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16179] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16179/stat : 16179 (java) S 16168 16172 16064 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269957371 937402368 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16183] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16183/stat : 16183 (java) S 16168 16172 16064 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 269957374 937402368 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16172/tid=16184] ppid=16168 vsize=915432 CPUtime=0.18
/proc/16172/task/16184/stat : 16184 (java) S 16168 16172 16064 0 -1 64 363 0 0 0 18 0 0 0 16 0 8 0 269957374 937402368 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16185] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16185/stat : 16185 (java) S 16168 16172 16064 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 269957374 937402368 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16172/tid=16186] ppid=16168 vsize=915432 CPUtime=0
/proc/16172/task/16186/stat : 16186 (java) S 16168 16172 16064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 269957375 937402368 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915432

[startup+12.645 s]
/proc/loadavg: 1.20 1.22 1.54 3/100 16190
/proc/meminfo: memFree=1375816/2055920 swapFree=4180096/4192956
[pid=16172] ppid=16168 vsize=915436 CPUtime=12.53
/proc/16172/stat : 16172 (java) R 16168 16172 16064 0 -1 0 8065 0 12 0 1152 101 0 0 25 0 8 0 269957367 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16172/statm: 228859 7813 2476 14 0 215329 0
[pid=16172/tid=16177] ppid=16168 vsize=915436 CPUtime=0.03
/proc/16172/task/16177/stat : 16177 (java) S 16168 16172 16064 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 269957371 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16178] ppid=16168 vsize=915436 CPUtime=0
/proc/16172/task/16178/stat : 16178 (java) S 16168 16172 16064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269957371 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16179] ppid=16168 vsize=915436 CPUtime=0
/proc/16172/task/16179/stat : 16179 (java) S 16168 16172 16064 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269957371 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16183] ppid=16168 vsize=915436 CPUtime=0
/proc/16172/task/16183/stat : 16183 (java) S 16168 16172 16064 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 269957374 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16172/tid=16184] ppid=16168 vsize=915436 CPUtime=0.18
/proc/16172/task/16184/stat : 16184 (java) S 16168 16172 16064 0 -1 64 363 0 0 0 18 0 0 0 16 0 8 0 269957374 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16185] ppid=16168 vsize=915436 CPUtime=0
/proc/16172/task/16185/stat : 16185 (java) S 16168 16172 16064 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 269957374 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16172/tid=16186] ppid=16168 vsize=915436 CPUtime=0
/proc/16172/task/16186/stat : 16186 (java) S 16168 16172 16064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 269957375 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915436

[startup+25.5094 s]
/proc/loadavg: 1.38 1.25 1.55 3/100 16190
/proc/meminfo: memFree=1375880/2055920 swapFree=4180096/4192956
[pid=16172] ppid=16168 vsize=915436 CPUtime=25.34
/proc/16172/stat : 16172 (java) R 16168 16172 16064 0 -1 0 8065 0 12 0 2306 228 0 0 25 0 8 0 269957367 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16172/statm: 228859 7813 2476 14 0 215329 0
[pid=16172/tid=16177] ppid=16168 vsize=915436 CPUtime=0.03
/proc/16172/task/16177/stat : 16177 (java) S 16168 16172 16064 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 269957371 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16178] ppid=16168 vsize=915436 CPUtime=0
/proc/16172/task/16178/stat : 16178 (java) S 16168 16172 16064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269957371 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16179] ppid=16168 vsize=915436 CPUtime=0
/proc/16172/task/16179/stat : 16179 (java) S 16168 16172 16064 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269957371 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16183] ppid=16168 vsize=915436 CPUtime=0
/proc/16172/task/16183/stat : 16183 (java) S 16168 16172 16064 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 269957374 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16172/tid=16184] ppid=16168 vsize=915436 CPUtime=0.18
/proc/16172/task/16184/stat : 16184 (java) S 16168 16172 16064 0 -1 64 363 0 0 0 18 0 0 0 16 0 8 0 269957374 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16172/tid=16185] ppid=16168 vsize=915436 CPUtime=0
/proc/16172/task/16185/stat : 16185 (java) S 16168 16172 16064 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 269957374 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16172/tid=16186] ppid=16168 vsize=915436 CPUtime=0
/proc/16172/task/16186/stat : 16186 (java) S 16168 16172 16064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 269957375 937406464 7813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915436

Child status: 0
Real time (s): 47.6405
CPU time (s): 47.3318
CPU user time (s): 44.4292
CPU system time (s): 2.90256
CPU usage (%): 99.3521
Max. virtual memory (cumulated for all children) (KiB): 915948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.4292
system time used= 2.90256
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9349
page faults= 12
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2313
involuntary context switches= 3475

runsolver used 0.06199 s user time and 0.165974 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Fri Jan 19 14:07:01 UTC 2007


IDJOB= 275009
IDBENCH= 3096
IDSOLVER= 69
FILE ID= node24/275009-1169215621

PBS_JOBID= 3589139

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-75-1-2/composed-75-1-2-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275009-1169215621/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-275009-1169215621 -o ROOT/results/node24/solver-275009-1169215621 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275009-1169215621/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7b11356db0138df0c4114f6e8785d12e

RANDOM SEED= 661021716

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/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.234
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.234
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:       1423800 kB
Buffers:         42180 kB
Cached:         475380 kB
SwapCached:        600 kB
Active:         129468 kB
Inactive:       433352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1423800 kB
SwapTotal:     4192956 kB
SwapFree:      4180096 kB
Dirty:            3744 kB
Writeback:           0 kB
Mapped:          62264 kB
Slab:            54224 kB
Committed_AS:  5026136 kB
PageTables:       2204 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= 66560 MiB



End job on node24 on Fri Jan 19 14:07:49 UTC 2007