Trace number 274945

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 EPFCOPTIMUM 148.964 150.514

General information on the benchmark

Namecomposed/composed-75-1-80/
composed-75-1-80-5_ext.xml
MD5SUMd350ded4476695b6faf15d599d5f8933
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints699
Best CPU time to get the best result obtained on this benchmark67.8487
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables83
Number of constraints702
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension702
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)

1.01	   
1.01	Abscon 109 (November, 2006)
1.01	   
1.02	   configuration
1.02	     name=epfc.xml
1.26	   
1.26	   instance
1.26	     name=/tmp/evaluation/274945-1169214037/unknown.xml
1.33	   
1.33	   domains being loaded...
1.33	   
1.33	   variables being loaded...
1.38	     nbVariables=83  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
1.38	       =>  wckTime=0.358  cpuTime=0.1  mem=6M887
1.38	   
1.38	   relations being loaded...
1.47	   
1.48	   constraints being loaded...
1.61	     nbConstraints=702  nbRelationTypes=702  nbExtensionStructures=702  nbSharedExtensionStructures=0
1.61	     nbConflictsStructures=702  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=13364  maxDegree=26
1.61	     maxArity=2
1.61	       =>  wckTime=0.593  cpuTime=0.25  mem=12M738
1.66	   
1.66	   solver LocalSearchSolver being built... 
1.70	       =>  wckTime=0.683  cpuTime=0.29  mem=6M127
1.71	
1.71	s SATISFIABLE
1.71	o 611
1.71	c 91
1.71	o 616
1.71	c 86
1.71	o 621
1.71	c 81
1.71	o 625
1.71	c 77
1.71	o 629
1.71	c 73
1.72	o 632
1.72	c 70
1.72	o 635
1.72	c 67
1.72	o 638
1.72	c 64
1.72	o 642
1.72	c 60
1.72	o 644
1.72	c 58
1.72	o 646
1.72	c 56
1.72	o 648
1.72	c 54
1.72	o 650
1.72	c 52
1.72	o 652
1.72	c 50
1.72	o 654
1.72	c 48
1.72	o 655
1.72	c 47
1.73	o 656
1.73	c 46
1.73	o 658
1.73	c 44
1.73	o 660
1.73	c 42
1.73	o 661
1.73	c 41
1.73	o 664
1.73	c 38
1.73	o 667
1.73	c 35
1.73	o 669
1.73	c 33
1.73	o 671
1.73	c 31
1.73	o 673
1.73	c 29
1.73	o 675
1.73	c 27
1.73	o 676
1.73	c 26
1.73	o 677
1.73	c 25
1.73	o 678
1.73	c 24
1.73	o 679
1.73	c 23
1.73	o 680
1.73	c 22
1.73	o 681
1.73	c 21
1.73	o 682
1.73	c 20
1.74	o 683
1.74	c 19
1.74	o 684
1.74	c 18
1.74	o 685
1.74	c 17
1.74	o 686
1.74	c 16
1.74	o 687
1.74	c 15
1.74	o 689
1.74	c 13
1.74	o 690
1.74	c 12
1.74	o 691
1.74	c 11
1.74	o 692
1.74	c 10
1.74	o 693
1.74	c 9
1.74	o 694
1.74	c 8
1.74	o 695
1.74	c 7
1.80	o 696
1.80	c 6
1.80	o 697
1.80	c 5
1.80	o 698
1.80	c 4
1.83	o 699
1.83	c 3
7.20	   
7.21	   search
7.21	     run=0  nbConstraintChecks=40826928  nbAssignments=10000
7.21	       =>  wckTime=5.503  cpuTime=5.44  mem=6M127
12.90	   
12.90	   search
12.90	     run=1  nbConstraintChecks=84623478  nbAssignments=20000
12.90	       =>  wckTime=11.2  cpuTime=11.13  mem=6M127
18.49	   
18.49	   search
18.49	     run=2  nbConstraintChecks=127168318  nbAssignments=30000
18.49	       =>  wckTime=16.788  cpuTime=16.72  mem=6M127
24.17	   
24.17	   search
24.17	     run=3  nbConstraintChecks=170410625  nbAssignments=40000
24.17	       =>  wckTime=22.466  cpuTime=22.39  mem=6M127
29.58	   
29.58	   search
29.58	     run=4  nbConstraintChecks=211827712  nbAssignments=50000
29.58	       =>  wckTime=27.879  cpuTime=27.81  mem=6M127
31.86	   
31.86	   search
31.86	     run=5  nbConstraintChecks=229202357  nbAssignments=54436
31.86	       =>  wckTime=30.164  cpuTime=30.09  mem=6M127
31.87	   
31.87	   global
31.87	     nbConstraintChecks=229202357  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.87	     solvingWckTime=30.161  solvingCpuTime=30.09  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.87	     globalCpuTime=30.42
31.87	       =>  wckTime=30.847  cpuTime=30.38  mem=6M127
31.87	   
31.87	   solver IterativeSystematicSolver being built... 
32.00	       =>  wckTime=30.983  cpuTime=30.48  mem=17M131
32.15	   
32.15	   preprocessing
32.15	     nbConstraintChecks=126685  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
32.15	     detectedInconsistency=no
32.15	       =>  wckTime=0.142  cpuTime=0.11  mem=17M131
32.27	   
32.27	   search
32.27	     run=0  nbConstraintChecks=298876  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=70
32.27	     nbFailedAssignments=22  nbBacktracks=10  nbVisitedNodes=103  nbRestartNogoods=0
32.27	       =>  wckTime=0.261  cpuTime=0.23  mem=17M131
32.59	   
32.59	   search
32.59	     run=1  nbConstraintChecks=1005596  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=217
32.59	     nbFailedAssignments=109  nbBacktracks=25  nbVisitedNodes=352  nbRestartNogoods=8
32.59	       =>  wckTime=0.585  cpuTime=0.55  mem=17M131
32.88	   
32.88	   search
32.88	     run=2  nbConstraintChecks=1760526  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=355
32.88	     nbFailedAssignments=201  nbBacktracks=48  nbVisitedNodes=605  nbRestartNogoods=23
32.88	       =>  wckTime=0.879  cpuTime=0.84  mem=17M131
33.09	   
33.09	   search
33.09	     run=3  nbConstraintChecks=2328218  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=467
33.09	     nbFailedAssignments=249  nbBacktracks=82  nbVisitedNodes=799  nbRestartNogoods=31
33.09	       =>  wckTime=1.087  cpuTime=1.04  mem=17M131
33.53	   
33.54	   search
33.54	     run=4  nbConstraintChecks=3374504  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=642
33.54	     nbFailedAssignments=347  nbBacktracks=132  nbVisitedNodes=1122  nbRestartNogoods=35
33.54	       =>  wckTime=1.531  cpuTime=1.49  mem=17M131
34.21	   
34.21	   search
34.21	     run=5  nbConstraintChecks=5158374  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=965
34.21	     nbFailedAssignments=549  nbBacktracks=207  nbVisitedNodes=1722  nbRestartNogoods=40
34.21	       =>  wckTime=2.201  cpuTime=2.16  mem=17M131
34.73	   
34.73	   search
34.73	     run=6  nbConstraintChecks=6702163  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1263
34.73	     nbFailedAssignments=686  nbBacktracks=320  nbVisitedNodes=2269  nbRestartNogoods=52
34.73	       =>  wckTime=2.724  cpuTime=2.68  mem=17M131
35.34	   
35.34	   search
35.34	     run=7  nbConstraintChecks=8489299  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1700
35.34	     nbFailedAssignments=884  nbBacktracks=490  nbVisitedNodes=3062  nbRestartNogoods=62
35.34	       =>  wckTime=3.334  cpuTime=3.27  mem=17M131
36.94	   
36.94	   search
36.94	     run=8  nbConstraintChecks=12709863  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2512
36.94	     nbFailedAssignments=1412  nbBacktracks=746  nbVisitedNodes=4655  nbRestartNogoods=78
36.94	       =>  wckTime=4.937  cpuTime=4.87  mem=17M131
38.79	   
38.79	   search
38.79	     run=9  nbConstraintChecks=17350967  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3492
38.79	     nbFailedAssignments=1974  nbBacktracks=1130  nbVisitedNodes=6579  nbRestartNogoods=87
38.79	       =>  wckTime=6.787  cpuTime=6.72  mem=17M131
40.92	   
40.92	   search
40.92	     run=10  nbConstraintChecks=25089163  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5250
40.92	     nbFailedAssignments=3082  nbBacktracks=1706  nbVisitedNodes=10017  nbRestartNogoods=93
40.92	       =>  wckTime=8.919  cpuTime=8.85  mem=17M131
44.12	   
44.12	   search
44.12	     run=11  nbConstraintChecks=34117594  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7131
44.12	     nbFailedAssignments=4056  nbBacktracks=2570  nbVisitedNodes=13733  nbRestartNogoods=107
44.12	       =>  wckTime=12.12  cpuTime=12.04  mem=17M131
47.37	   
47.37	   search
47.37	     run=12  nbConstraintChecks=46595149  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9953
47.37	     nbFailedAssignments=5531  nbBacktracks=3867  nbVisitedNodes=19324  nbRestartNogoods=124
47.37	       =>  wckTime=15.366  cpuTime=15.29  mem=17M131
52.67	   
52.67	   search
52.67	     run=13  nbConstraintChecks=62478810  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13177
52.67	     nbFailedAssignments=6785  nbBacktracks=5814  nbVisitedNodes=25743  nbRestartNogoods=132
52.67	       =>  wckTime=20.665  cpuTime=20.58  mem=17M131
60.90	   
60.90	   search
60.90	     run=14  nbConstraintChecks=87688571  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18092
60.90	     nbFailedAssignments=8735  nbBacktracks=8736  nbVisitedNodes=35518  nbRestartNogoods=136
60.90	       =>  wckTime=28.895  cpuTime=28.81  mem=17M131
73.79	   
73.79	   search
73.79	     run=15  nbConstraintChecks=129789774  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26662
73.79	     nbFailedAssignments=12868  nbBacktracks=13115  nbVisitedNodes=52591  nbRestartNogoods=142
73.79	       =>  wckTime=41.781  cpuTime=41.65  mem=17M131
90.55	   
90.55	   search
90.55	     run=16  nbConstraintChecks=181418651  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=38007
90.55	     nbFailedAssignments=17606  nbBacktracks=19684  nbVisitedNodes=75224  nbRestartNogoods=158
90.55	       =>  wckTime=58.542  cpuTime=58.32  mem=17M131
125.70	   
125.70	   search
125.70	     run=17  nbConstraintChecks=281914054  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=56489
125.70	     nbFailedAssignments=26194  nbBacktracks=29537  nbVisitedNodes=112103  nbRestartNogoods=181
125.70	       =>  wckTime=93.693  cpuTime=93.28  mem=17M131
150.46	   
150.46	   search
150.46	     run=18  nbConstraintChecks=350088225  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=70901
150.46	     nbFailedAssignments=32732  nbBacktracks=37412  nbVisitedNodes=140899  nbRestartNogoods=202
150.46	       =>  wckTime=118.456  cpuTime=117.89  mem=17M131
150.46	   
150.46	   global
150.46	     nbConstraintChecks=350214910  nbRestartNogoods=202  solvingWckTime=118.457  solvingCpuTime=117.89  expiredTime=no
150.46	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=148.41
150.46	       =>  wckTime=149.441  cpuTime=148.37  mem=17M131
150.46	
150.46	s OPTIMUM FOUND
150.46	v 9 8 8 8 5 0 5 1 9 9 7 4 2 6 4 3 8 9 6 5 7 0 2 6 7 5 3 6 4 5 1 5 7 5 4 6 6 8 2 5 4 5 4 0 6 8 4 8 3 0 8 4 2 2 3 5 5 8 5 2 2 2 3 6 1 5 4 1 2 3 0 6 1 1 5 7 2 3 9 8 7 5 1 
150.46	   
150.46	   totalWckTime=149.721  totalCpuTime=148.41

Verifier Data (download as text)

3 unsatisfied constraints, 699 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/node3/watcher-274945-1169214037 -o ROOT/results/node3/solver-274945-1169214037 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/274945-1169214037/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.10 0.03 0.01 3/81 19355
/proc/meminfo: memFree=1356040/2055920 swapFree=4191880/4192956
[pid=19354] ppid=19352 vsize=18540 CPUtime=0
/proc/19354/stat : 19354 (runsolver) R 19352 19354 19254 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 269799489 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/19354/statm: 4635 279 244 17 0 2626 0

[startup+0.104191 s]
/proc/loadavg: 0.10 0.03 0.01 3/81 19355
/proc/meminfo: memFree=1356040/2055920 swapFree=4191880/4192956
[pid=19354] ppid=19352 vsize=914988 CPUtime=0.08
/proc/19354/stat : 19354 (java) R 19352 19354 19254 0 -1 0 2995 0 1 0 7 1 0 0 23 0 8 0 269799489 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072929336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19354/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512255 s]
/proc/loadavg: 0.10 0.03 0.01 3/81 19355
/proc/meminfo: memFree=1356040/2055920 swapFree=4191880/4192956
[pid=19354] ppid=19352 vsize=915120 CPUtime=0.18
/proc/19354/stat : 19354 (java) D 19352 19354 19254 0 -1 0 3932 0 8 0 16 2 0 0 17 0 8 0 269799489 937082880 3685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19354/statm: 228780 3685 1797 14 0 215275 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 915120

[startup+1.33339 s]
/proc/loadavg: 0.17 0.04 0.01 1/88 19362
/proc/meminfo: memFree=1338128/2055920 swapFree=4191880/4192956
[pid=19354] ppid=19352 vsize=915332 CPUtime=0.35
/proc/19354/stat : 19354 (java) R 19352 19354 19254 0 -1 0 5831 0 20 0 31 4 0 0 17 0 8 0 269799489 937299968 5588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609797 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19354/statm: 228833 5588 2106 14 0 215303 0
[pid=19354/tid=19356] ppid=19352 vsize=915332 CPUtime=0
/proc/19354/task/19356/stat : 19356 (java) S 19352 19354 19254 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 269799493 937299968 5588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19357] ppid=19352 vsize=915332 CPUtime=0
/proc/19354/task/19357/stat : 19357 (java) S 19352 19354 19254 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 269799494 937299968 5588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19358] ppid=19352 vsize=915332 CPUtime=0
/proc/19354/task/19358/stat : 19358 (java) S 19352 19354 19254 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 269799494 937299968 5588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19359] ppid=19352 vsize=915332 CPUtime=0
/proc/19354/task/19359/stat : 19359 (java) S 19352 19354 19254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 269799497 937299968 5588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19360] ppid=19352 vsize=915332 CPUtime=0.04
/proc/19354/task/19360/stat : 19360 (java) S 19352 19354 19254 0 -1 64 284 0 0 0 4 0 0 0 16 0 8 0 269799497 937299968 5588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19354/tid=19361] ppid=19352 vsize=915332 CPUtime=0
/proc/19354/task/19361/stat : 19361 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 269799497 937299968 5588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19362] ppid=19352 vsize=915332 CPUtime=0
/proc/19354/task/19362/stat : 19362 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 269799497 937299968 5588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 915332

[startup+2.98565 s]
/proc/loadavg: 0.17 0.04 0.01 3/100 19407
/proc/meminfo: memFree=1308336/2055920 swapFree=4191880/4192956
[pid=19354] ppid=19352 vsize=915424 CPUtime=1.97
/proc/19354/stat : 19354 (java) R 19352 19354 19254 0 -1 0 8188 0 21 0 179 18 0 0 25 0 8 0 269799489 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19354/statm: 228856 7944 2479 14 0 215326 0
[pid=19354/tid=19356] ppid=19352 vsize=915424 CPUtime=0.03
/proc/19354/task/19356/stat : 19356 (java) S 19352 19354 19254 0 -1 64 312 0 0 0 3 0 0 0 17 0 8 0 269799493 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19354/tid=19357] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19357/stat : 19357 (java) S 19352 19354 19254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269799494 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19358] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19358/stat : 19358 (java) S 19352 19354 19254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269799494 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19359] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19359/stat : 19359 (java) S 19352 19354 19254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 269799497 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19360] ppid=19352 vsize=915424 CPUtime=0.17
/proc/19354/task/19360/stat : 19360 (java) S 19352 19354 19254 0 -1 64 361 0 1 0 17 0 0 0 16 0 8 0 269799497 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19354/tid=19361] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19361/stat : 19361 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 269799497 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19362] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19362/stat : 19362 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 269799497 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 915424

[startup+6.26819 s]
/proc/loadavg: 0.17 0.04 0.01 3/100 19407
/proc/meminfo: memFree=1303088/2055920 swapFree=4191880/4192956
[pid=19354] ppid=19352 vsize=915424 CPUtime=5.26
/proc/19354/stat : 19354 (java) R 19352 19354 19254 0 -1 0 8188 0 21 0 482 44 0 0 25 0 8 0 269799489 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19354/statm: 228856 7944 2479 14 0 215326 0
[pid=19354/tid=19356] ppid=19352 vsize=915424 CPUtime=0.03
/proc/19354/task/19356/stat : 19356 (java) S 19352 19354 19254 0 -1 64 312 0 0 0 3 0 0 0 16 0 8 0 269799493 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19354/tid=19357] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19357/stat : 19357 (java) S 19352 19354 19254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269799494 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19358] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19358/stat : 19358 (java) S 19352 19354 19254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269799494 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19359] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19359/stat : 19359 (java) S 19352 19354 19254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 269799497 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19360] ppid=19352 vsize=915424 CPUtime=0.17
/proc/19354/task/19360/stat : 19360 (java) S 19352 19354 19254 0 -1 64 361 0 1 0 17 0 0 0 16 0 8 0 269799497 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19354/tid=19361] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19361/stat : 19361 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 269799497 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19362] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19362/stat : 19362 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 269799497 937394176 7944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 915424

[startup+12.7512 s]
/proc/loadavg: 0.53 0.12 0.04 3/100 19407
/proc/meminfo: memFree=1303088/2055920 swapFree=4191880/4192956
[pid=19354] ppid=19352 vsize=915424 CPUtime=11.73
/proc/19354/stat : 19354 (java) R 19352 19354 19254 0 -1 0 8191 0 21 0 1082 91 0 0 25 0 8 0 269799489 937394176 7947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19354/statm: 228856 7947 2479 14 0 215326 0
[pid=19354/tid=19356] ppid=19352 vsize=915424 CPUtime=0.03
/proc/19354/task/19356/stat : 19356 (java) S 19352 19354 19254 0 -1 64 312 0 0 0 3 0 0 0 16 0 8 0 269799493 937394176 7947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19354/tid=19357] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19357/stat : 19357 (java) S 19352 19354 19254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269799494 937394176 7947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19358] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19358/stat : 19358 (java) S 19352 19354 19254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269799494 937394176 7947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19359] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19359/stat : 19359 (java) S 19352 19354 19254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 269799497 937394176 7947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19360] ppid=19352 vsize=915424 CPUtime=0.18
/proc/19354/task/19360/stat : 19360 (java) S 19352 19354 19254 0 -1 64 363 0 1 0 18 0 0 0 16 0 8 0 269799497 937394176 7947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19354/tid=19361] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19361/stat : 19361 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 269799497 937394176 7947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19362] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19362/stat : 19362 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 269799497 937394176 7947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.73
Current children cumulated vsize (KiB) 915424

[startup+25.5963 s]
/proc/loadavg: 0.75 0.19 0.06 3/100 19407
/proc/meminfo: memFree=1303152/2055920 swapFree=4191880/4192956
[pid=19354] ppid=19352 vsize=915424 CPUtime=24.57
/proc/19354/stat : 19354 (java) R 19352 19354 19254 0 -1 0 8192 0 21 0 2267 190 0 0 25 0 8 0 269799489 937394176 7948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19354/statm: 228856 7948 2479 14 0 215326 0
[pid=19354/tid=19356] ppid=19352 vsize=915428 CPUtime=0.03
/proc/19354/task/19356/stat : 19356 (java) S 19352 19354 19254 0 -1 64 312 0 0 0 3 0 0 0 16 0 8 0 269799493 937398272 7948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19354/tid=19357] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19357/stat : 19357 (java) S 19352 19354 19254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269799494 937394176 7948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19358] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19358/stat : 19358 (java) S 19352 19354 19254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269799494 937394176 7948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19359] ppid=19352 vsize=915428 CPUtime=0
/proc/19354/task/19359/stat : 19359 (java) S 19352 19354 19254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 269799497 937398272 7948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19360] ppid=19352 vsize=915424 CPUtime=0.18
/proc/19354/task/19360/stat : 19360 (java) S 19352 19354 19254 0 -1 64 364 0 1 0 18 0 0 0 16 0 8 0 269799497 937394176 7948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19354/tid=19361] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19361/stat : 19361 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 269799497 937394176 7948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19362] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19362/stat : 19362 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 269799497 937394176 7948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.57
Current children cumulated vsize (KiB) 915424

[startup+51.1975 s]
/proc/loadavg: 1.18 0.33 0.11 3/100 19407
/proc/meminfo: memFree=1295152/2055920 swapFree=4191880/4192956
[pid=19354] ppid=19352 vsize=915424 CPUtime=50.16
/proc/19354/stat : 19354 (java) R 19352 19354 19254 0 -1 0 9278 0 21 0 4777 239 0 0 25 0 8 0 269799489 937394176 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073991101 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19354/statm: 228856 9027 2532 14 0 215326 0
[pid=19354/tid=19356] ppid=19352 vsize=915424 CPUtime=0.03
/proc/19354/task/19356/stat : 19356 (java) S 19352 19354 19254 0 -1 64 313 0 0 0 3 0 0 0 16 0 8 0 269799493 937394176 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19354/tid=19357] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19357/stat : 19357 (java) S 19352 19354 19254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269799494 937394176 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19358] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19358/stat : 19358 (java) S 19352 19354 19254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269799494 937394176 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19359] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19359/stat : 19359 (java) S 19352 19354 19254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 269799497 937394176 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19360] ppid=19352 vsize=915424 CPUtime=0.29
/proc/19354/task/19360/stat : 19360 (java) S 19352 19354 19254 0 -1 64 422 0 1 0 28 1 0 0 16 0 8 0 269799497 937394176 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19354/tid=19361] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19361/stat : 19361 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 269799497 937394176 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19362] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19362/stat : 19362 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 269799497 937394176 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.16
Current children cumulated vsize (KiB) 915424

[startup+102.495 s]
/proc/loadavg: 1.70 0.61 0.22 3/94 19495
/proc/meminfo: memFree=1101536/2055920 swapFree=4191880/4192956
[pid=19354] ppid=19352 vsize=915424 CPUtime=101.24
/proc/19354/stat : 19354 (java) R 19352 19354 19254 0 -1 0 9289 0 21 0 9884 240 0 0 25 0 8 0 269799489 937394176 9038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954049 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19354/statm: 228856 9038 2532 14 0 215326 0
[pid=19354/tid=19356] ppid=19352 vsize=915424 CPUtime=0.03
/proc/19354/task/19356/stat : 19356 (java) S 19352 19354 19254 0 -1 64 313 0 0 0 3 0 0 0 16 0 8 0 269799493 937394176 9038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19354/tid=19357] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19357/stat : 19357 (java) S 19352 19354 19254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269799494 937394176 9038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19358] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19358/stat : 19358 (java) S 19352 19354 19254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269799494 937394176 9038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19359] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19359/stat : 19359 (java) S 19352 19354 19254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 269799497 937394176 9038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19360] ppid=19352 vsize=915424 CPUtime=0.29
/proc/19354/task/19360/stat : 19360 (java) S 19352 19354 19254 0 -1 64 423 0 1 0 28 1 0 0 16 0 8 0 269799497 937394176 9038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19361] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19361/stat : 19361 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 269799497 937394176 9038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19354/tid=19362] ppid=19352 vsize=915424 CPUtime=0
/proc/19354/task/19362/stat : 19362 (java) S 19352 19354 19254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 269799497 937394176 9038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.24
Current children cumulated vsize (KiB) 915424

Child status: 0
Real time (s): 150.514
CPU time (s): 148.964
CPU user time (s): 146.545
CPU system time (s): 2.41963
CPU usage (%): 98.9701
Max. virtual memory (cumulated for all children) (KiB): 915428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 146.545
system time used= 2.41963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9393
page faults= 21
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4272
involuntary context switches= 5176

runsolver used 0.181972 s user time and 0.443932 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Fri Jan 19 13:40:38 UTC 2007


IDJOB= 274945
IDBENCH= 3066
IDSOLVER= 68
FILE ID= node3/274945-1169214037

PBS_JOBID= 3588932

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-75-1-80/composed-75-1-80-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/274945-1169214037/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-274945-1169214037 -o ROOT/results/node3/solver-274945-1169214037 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/274945-1169214037/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d350ded4476695b6faf15d599d5f8933

RANDOM SEED= 38697386

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.279
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.279
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:       1356392 kB
Buffers:         53984 kB
Cached:         516184 kB
SwapCached:        284 kB
Active:         139668 kB
Inactive:       485792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1356392 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1816 kB
Writeback:           0 kB
Mapped:          66860 kB
Slab:            59320 kB
Committed_AS:  7028308 kB
PageTables:       1900 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= 66561 MiB



End job on node3 on Fri Jan 19 13:43:09 UTC 2007