Trace number 278362

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 74.6347 75.4148

General information on the benchmark

NameMaxCSP/cnf/2-40-100-1000/
cnf-2-40-400-907721_ext.xml
MD5SUM6381174a163179c8d9be1bb13dda4084
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints267
Best CPU time to get the best result obtained on this benchmark0.541916
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints316
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension316
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.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=epfc.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/278362-1169287536/unknown.xml
0.40	   
0.40	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.43	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.43	       =>  wckTime=0.09  cpuTime=0.08  mem=6M887
0.43	   
0.43	   relations being loaded...
0.44	   
0.44	   constraints being loaded...
0.54	     nbConstraints=316  nbRelationTypes=13  nbExtensionStructures=13  nbSharedExtensionStructures=303
0.54	     nbConflictsStructures=13  nbSharedConflictsStructures=303  nbSharedBinaryRepresentations=48  maxDegree=23
0.54	     maxArity=2
0.54	       =>  wckTime=0.197  cpuTime=0.15  mem=7M879
0.58	   
0.58	   solver LocalSearchSolver being built... 
0.62	       =>  wckTime=0.279  cpuTime=0.2  mem=5M523
0.62	
0.62	s SATISFIABLE
0.62	o 234
0.62	c 82
0.62	o 239
0.62	c 77
0.62	o 243
0.62	c 73
0.62	o 247
0.62	c 69
0.63	o 250
0.63	c 66
0.63	o 252
0.63	c 64
0.63	o 253
0.63	c 63
0.63	o 255
0.63	c 61
0.63	o 256
0.63	c 60
0.63	o 259
0.63	c 57
0.63	o 260
0.63	c 56
0.65	o 261
0.65	c 55
0.65	o 263
0.65	c 53
0.66	o 264
0.66	c 52
0.67	o 265
0.67	c 51
0.72	o 266
0.72	c 50
0.75	o 267
0.75	c 49
1.89	   
1.89	   search
1.89	     run=0  nbConstraintChecks=4384459  nbAssignments=10000
1.89	       =>  wckTime=1.277  cpuTime=1.25  mem=5M523
3.11	   
3.11	   search
3.11	     run=1  nbConstraintChecks=8867991  nbAssignments=20000
3.11	       =>  wckTime=2.491  cpuTime=2.45  mem=5M523
4.30	   
4.30	   search
4.30	     run=2  nbConstraintChecks=13258712  nbAssignments=30000
4.30	       =>  wckTime=3.685  cpuTime=3.64  mem=5M523
5.51	   
5.51	   search
5.51	     run=3  nbConstraintChecks=17728661  nbAssignments=40000
5.51	       =>  wckTime=4.893  cpuTime=4.83  mem=5M523
6.71	   
6.71	   search
6.71	     run=4  nbConstraintChecks=22119368  nbAssignments=50000
6.71	       =>  wckTime=6.091  cpuTime=6.02  mem=5M523
7.93	   
7.93	   search
7.93	     run=5  nbConstraintChecks=26586287  nbAssignments=60000
7.93	       =>  wckTime=7.313  cpuTime=7.22  mem=5M523
9.14	   
9.14	   search
9.14	     run=6  nbConstraintChecks=30969988  nbAssignments=70000
9.14	       =>  wckTime=8.52  cpuTime=8.42  mem=5M523
10.36	   
10.36	   search
10.36	     run=7  nbConstraintChecks=35440090  nbAssignments=80000
10.36	       =>  wckTime=9.739  cpuTime=9.63  mem=5M523
11.56	   
11.56	   search
11.56	     run=8  nbConstraintChecks=39821262  nbAssignments=90000
11.56	       =>  wckTime=10.944  cpuTime=10.82  mem=5M523
12.79	   
12.79	   search
12.79	     run=9  nbConstraintChecks=44300922  nbAssignments=100000
12.79	       =>  wckTime=12.169  cpuTime=12.03  mem=5M523
14.00	   
14.00	   search
14.00	     run=10  nbConstraintChecks=48690662  nbAssignments=110000
14.00	       =>  wckTime=13.378  cpuTime=13.23  mem=5M523
15.21	   
15.21	   search
15.21	     run=11  nbConstraintChecks=53157931  nbAssignments=120000
15.21	       =>  wckTime=14.596  cpuTime=14.43  mem=5M523
16.42	   
16.42	   search
16.42	     run=12  nbConstraintChecks=57541330  nbAssignments=130000
16.42	       =>  wckTime=15.804  cpuTime=15.64  mem=5M523
17.64	   
17.64	   search
17.64	     run=13  nbConstraintChecks=62003926  nbAssignments=140000
17.64	       =>  wckTime=17.02  cpuTime=16.84  mem=5M523
18.84	   
18.84	   search
18.84	     run=14  nbConstraintChecks=66395417  nbAssignments=150000
18.84	       =>  wckTime=18.221  cpuTime=18.03  mem=5M523
20.05	   
20.05	   search
20.05	     run=15  nbConstraintChecks=70858923  nbAssignments=160000
20.05	       =>  wckTime=19.43  cpuTime=19.23  mem=5M523
21.25	   
21.25	   search
21.25	     run=16  nbConstraintChecks=75250467  nbAssignments=170000
21.25	       =>  wckTime=20.629  cpuTime=20.41  mem=5M523
22.45	   
22.45	   search
22.46	     run=17  nbConstraintChecks=79711856  nbAssignments=180000
22.46	       =>  wckTime=21.838  cpuTime=21.62  mem=5M523
23.65	   
23.65	   search
23.65	     run=18  nbConstraintChecks=84105151  nbAssignments=190000
23.65	       =>  wckTime=23.038  cpuTime=22.8  mem=5M523
24.87	   
24.87	   search
24.87	     run=19  nbConstraintChecks=88586137  nbAssignments=200000
24.87	       =>  wckTime=24.249  cpuTime=24.01  mem=5M523
26.07	   
26.07	   search
26.07	     run=20  nbConstraintChecks=92981175  nbAssignments=210000
26.07	       =>  wckTime=25.455  cpuTime=25.2  mem=5M523
27.28	   
27.28	   search
27.28	     run=21  nbConstraintChecks=97442167  nbAssignments=220000
27.28	       =>  wckTime=26.666  cpuTime=26.4  mem=5M523
28.49	   
28.49	   search
28.49	     run=22  nbConstraintChecks=101830508  nbAssignments=230000
28.49	       =>  wckTime=27.876  cpuTime=27.59  mem=5M523
29.72	   
29.72	   search
29.72	     run=23  nbConstraintChecks=106299344  nbAssignments=240000
29.72	       =>  wckTime=29.101  cpuTime=28.8  mem=5M523
30.92	   
30.92	   search
30.92	     run=24  nbConstraintChecks=110679885  nbAssignments=250000
30.92	       =>  wckTime=30.308  cpuTime=30.0  mem=5M523
31.06	   
31.06	   search
31.06	     run=25  nbConstraintChecks=111184095  nbAssignments=251136
31.06	       =>  wckTime=30.446  cpuTime=30.14  mem=5M523
31.07	   
31.07	   global
31.07	     nbConstraintChecks=111184095  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.07	     solvingWckTime=30.443  solvingCpuTime=30.13  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.07	     globalCpuTime=30.38
31.07	       =>  wckTime=30.725  cpuTime=30.33  mem=5M523
31.07	   
31.07	   solver IterativeSystematicSolver being built... 
31.21	       =>  wckTime=30.868  cpuTime=30.44  mem=16M559
31.26	   
31.26	   preprocessing
31.26	     nbConstraintChecks=14049  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.26	     detectedInconsistency=no
31.26	       =>  wckTime=0.045  cpuTime=0.02  mem=16M559
31.28	   
31.28	   search
31.28	     run=0  nbConstraintChecks=19592  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=32
31.28	     nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=50  nbRestartNogoods=0
31.28	       =>  wckTime=0.068  cpuTime=0.04  mem=16M559
31.31	   
31.31	   search
31.31	     run=1  nbConstraintChecks=46496  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=73
31.31	     nbFailedAssignments=16  nbBacktracks=26  nbVisitedNodes=114  nbRestartNogoods=1
31.31	       =>  wckTime=0.104  cpuTime=0.07  mem=16M559
31.34	   
31.34	   search
31.34	     run=2  nbConstraintChecks=83681  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=124
31.34	     nbFailedAssignments=27  nbBacktracks=48  nbVisitedNodes=197  nbRestartNogoods=2
31.34	       =>  wckTime=0.127  cpuTime=0.09  mem=16M559
31.37	   
31.37	   search
31.37	     run=3  nbConstraintChecks=136175  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=192
31.37	     nbFailedAssignments=44  nbBacktracks=81  nbVisitedNodes=315  nbRestartNogoods=4
31.37	       =>  wckTime=0.16  cpuTime=0.12  mem=16M559
31.42	   
31.42	   search
31.42	     run=4  nbConstraintChecks=214473  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=289
31.42	     nbFailedAssignments=78  nbBacktracks=132  nbVisitedNodes=494  nbRestartNogoods=8
31.42	       =>  wckTime=0.209  cpuTime=0.17  mem=16M559
31.48	   
31.48	   search
31.48	     run=5  nbConstraintChecks=328814  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=427
31.48	     nbFailedAssignments=127  nbBacktracks=207  nbVisitedNodes=744  nbRestartNogoods=13
31.48	       =>  wckTime=0.274  cpuTime=0.23  mem=16M559
31.57	   
31.57	   search
31.57	     run=6  nbConstraintChecks=498558  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=619
31.57	     nbFailedAssignments=189  nbBacktracks=320  nbVisitedNodes=1098  nbRestartNogoods=16
31.57	       =>  wckTime=0.355  cpuTime=0.31  mem=16M559
31.72	   
31.72	   search
31.72	     run=7  nbConstraintChecks=736077  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=904
31.72	     nbFailedAssignments=293  nbBacktracks=490  nbVisitedNodes=1635  nbRestartNogoods=18
31.72	       =>  wckTime=0.506  cpuTime=0.45  mem=16M559
31.93	   
31.93	   search
31.93	     run=8  nbConstraintChecks=1116752  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1328
31.93	     nbFailedAssignments=449  nbBacktracks=746  nbVisitedNodes=2437  nbRestartNogoods=22
31.93	       =>  wckTime=0.716  cpuTime=0.66  mem=16M559
32.25	   
32.25	   search
32.25	     run=9  nbConstraintChecks=1721406  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1984
32.25	     nbFailedAssignments=706  nbBacktracks=1132  nbVisitedNodes=3667  nbRestartNogoods=28
32.25	       =>  wckTime=1.044  cpuTime=0.97  mem=16M559
32.65	   
32.65	   search
32.65	     run=10  nbConstraintChecks=2478862  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2814
32.65	     nbFailedAssignments=945  nbBacktracks=1709  nbVisitedNodes=5276  nbRestartNogoods=33
32.65	       =>  wckTime=1.437  cpuTime=1.35  mem=16M559
33.25	   
33.25	   search
33.25	     run=11  nbConstraintChecks=3665838  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4142
33.25	     nbFailedAssignments=1394  nbBacktracks=2575  nbVisitedNodes=7811  nbRestartNogoods=36
33.25	       =>  wckTime=2.044  cpuTime=1.95  mem=16M559
34.26	   
34.26	   search
34.26	     run=12  nbConstraintChecks=5556549  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6238
34.26	     nbFailedAssignments=2175  nbBacktracks=3872  nbVisitedNodes=11823  nbRestartNogoods=43
34.26	       =>  wckTime=3.047  cpuTime=2.94  mem=16M559
35.68	   
35.68	   search
35.68	     run=13  nbConstraintChecks=8226483  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9188
35.68	     nbFailedAssignments=3167  nbBacktracks=5819  nbVisitedNodes=17568  nbRestartNogoods=47
35.68	       =>  wckTime=4.471  cpuTime=4.35  mem=16M559
37.66	   
37.66	   search
37.66	     run=14  nbConstraintChecks=11945976  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13558
37.66	     nbFailedAssignments=4607  nbBacktracks=8738  nbVisitedNodes=25669  nbRestartNogoods=53
37.66	       =>  wckTime=6.451  cpuTime=6.31  mem=16M559
40.64	   
40.64	   search
40.64	     run=15  nbConstraintChecks=17569891  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=20228
40.64	     nbFailedAssignments=6889  nbBacktracks=13118  nbVisitedNodes=38328  nbRestartNogoods=59
40.64	       =>  wckTime=9.427  cpuTime=9.26  mem=16M559
45.48	   
45.48	   search
45.48	     run=16  nbConstraintChecks=26712106  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=30316
45.48	     nbFailedAssignments=10396  nbBacktracks=19687  nbVisitedNodes=57886  nbRestartNogoods=66
45.48	       =>  wckTime=14.273  cpuTime=14.06  mem=16M559
52.69	   
52.69	   search
52.69	     run=17  nbConstraintChecks=40089373  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=45732
52.69	     nbFailedAssignments=15943  nbBacktracks=29541  nbVisitedNodes=87177  nbRestartNogoods=72
52.69	       =>  wckTime=21.481  cpuTime=21.2  mem=16M559
63.70	   
63.70	   search
63.70	     run=18  nbConstraintChecks=60873440  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=70057
63.70	     nbFailedAssignments=25474  nbBacktracks=44319  nbVisitedNodes=132541  nbRestartNogoods=75
63.70	       =>  wckTime=32.492  cpuTime=32.1  mem=16M559
75.35	   
75.35	   search
75.35	     run=19  nbConstraintChecks=81216311  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=94630
75.35	     nbFailedAssignments=34497  nbBacktracks=59870  nbVisitedNodes=178956  nbRestartNogoods=80
75.35	       =>  wckTime=44.144  cpuTime=43.65  mem=16M559
75.35	   
75.35	   global
75.35	     nbConstraintChecks=81230360  nbRestartNogoods=80  solvingWckTime=44.145  solvingCpuTime=43.65  expiredTime=no
75.35	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=74.15
75.35	       =>  wckTime=75.014  cpuTime=74.1  mem=16M559
75.36	
75.36	s OPTIMUM FOUND
75.36	v 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 
75.36	   
75.36	   totalWckTime=75.101  totalCpuTime=74.16

Verifier Data (download as text)

49 unsatisfied constraints, 267 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/node13/watcher-278362-1169287536 -o ROOT/results/node13/solver-278362-1169287536 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278362-1169287536/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: 1.75 1.92 1.91 4/93 24827
/proc/meminfo: memFree=1332304/2055920 swapFree=4169400/4192956
[pid=24826] ppid=24824 vsize=18540 CPUtime=0
/proc/24826/stat : 24826 (runsolver) R 24824 24826 23875 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 277148692 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24826/statm: 4635 279 244 17 0 2626 0

[startup+0.108022 s]
/proc/loadavg: 1.75 1.92 1.91 4/93 24827
/proc/meminfo: memFree=1332304/2055920 swapFree=4169400/4192956
[pid=24826] ppid=24824 vsize=911488 CPUtime=0.07
/proc/24826/stat : 24826 (java) R 24824 24826 23875 0 -1 0 2623 0 1 0 6 1 0 0 20 0 8 0 277148692 933363712 2370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153589221 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24826/statm: 227872 2370 1280 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488

[startup+0.516077 s]
/proc/loadavg: 1.75 1.92 1.91 4/93 24827
/proc/meminfo: memFree=1332304/2055920 swapFree=4169400/4192956
[pid=24826] ppid=24824 vsize=915332 CPUtime=0.47
/proc/24826/stat : 24826 (java) R 24824 24826 23875 0 -1 0 6336 0 1 0 43 4 0 0 18 0 8 0 277148692 937299968 6075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154583159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24826/statm: 228833 6075 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332

[startup+1.33718 s]
/proc/loadavg: 1.75 1.92 1.91 3/100 24834
/proc/meminfo: memFree=1315032/2055920 swapFree=4169400/4192956
[pid=24826] ppid=24824 vsize=915332 CPUtime=1.28
/proc/24826/stat : 24826 (java) R 24824 24826 23875 0 -1 0 6995 0 1 0 100 28 0 0 24 0 8 0 277148692 937299968 6733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073635830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24826/statm: 228833 6733 2479 14 0 215303 0
[pid=24826/tid=24828] ppid=24824 vsize=915332 CPUtime=0.02
/proc/24826/task/24828/stat : 24828 (java) S 24824 24826 23875 0 -1 64 158 0 0 0 2 0 0 0 16 0 8 0 277148699 937299968 6733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24829] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24829/stat : 24829 (java) S 24824 24826 23875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277148699 937299968 6733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24830] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24830/stat : 24830 (java) S 24824 24826 23875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277148699 937299968 6733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24831] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24831/stat : 24831 (java) S 24824 24826 23875 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277148702 937299968 6733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24832] ppid=24824 vsize=915332 CPUtime=0.1
/proc/24826/task/24832/stat : 24832 (java) S 24824 24826 23875 0 -1 64 322 0 0 0 10 0 0 0 16 0 8 0 277148702 937299968 6733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24833] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24833/stat : 24833 (java) S 24824 24826 23875 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277148702 937299968 6733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24834] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24834/stat : 24834 (java) S 24824 24826 23875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277148702 937299968 6733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915332

[startup+2.9744 s]
/proc/loadavg: 1.75 1.92 1.91 3/100 24834
/proc/meminfo: memFree=1307608/2055920 swapFree=4169400/4192956
[pid=24826] ppid=24824 vsize=915332 CPUtime=2.9
/proc/24826/stat : 24826 (java) R 24824 24826 23875 0 -1 0 6999 0 1 0 211 79 0 0 25 0 8 0 277148692 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 12207732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24826/statm: 228833 6736 2479 14 0 215303 0
[pid=24826/tid=24828] ppid=24824 vsize=915332 CPUtime=0.02
/proc/24826/task/24828/stat : 24828 (java) S 24824 24826 23875 0 -1 64 158 0 0 0 2 0 0 0 17 0 8 0 277148699 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24829] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24829/stat : 24829 (java) S 24824 24826 23875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277148699 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24830] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24830/stat : 24830 (java) S 24824 24826 23875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277148699 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24831] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24831/stat : 24831 (java) S 24824 24826 23875 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277148702 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24832] ppid=24824 vsize=915332 CPUtime=0.11
/proc/24826/task/24832/stat : 24832 (java) S 24824 24826 23875 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 277148702 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24833] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24833/stat : 24833 (java) S 24824 24826 23875 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277148702 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24834] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24834/stat : 24834 (java) S 24824 24826 23875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277148702 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915332

[startup+6.27185 s]
/proc/loadavg: 1.77 1.93 1.91 3/100 24834
/proc/meminfo: memFree=1307480/2055920 swapFree=4169400/4192956
[pid=24826] ppid=24824 vsize=915336 CPUtime=6.17
/proc/24826/stat : 24826 (java) R 24824 24826 23875 0 -1 0 6999 0 1 0 430 187 0 0 25 0 8 0 277148692 937304064 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24826/statm: 228834 6736 2479 14 0 215304 0
[pid=24826/tid=24828] ppid=24824 vsize=915336 CPUtime=0.02
/proc/24826/task/24828/stat : 24828 (java) S 24824 24826 23875 0 -1 64 158 0 0 0 2 0 0 0 16 0 8 0 277148699 937304064 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24829] ppid=24824 vsize=915336 CPUtime=0
/proc/24826/task/24829/stat : 24829 (java) S 24824 24826 23875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277148699 937304064 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24830] ppid=24824 vsize=915336 CPUtime=0
/proc/24826/task/24830/stat : 24830 (java) S 24824 24826 23875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277148699 937304064 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24831] ppid=24824 vsize=915336 CPUtime=0
/proc/24826/task/24831/stat : 24831 (java) S 24824 24826 23875 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277148702 937304064 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24832] ppid=24824 vsize=915336 CPUtime=0.11
/proc/24826/task/24832/stat : 24832 (java) S 24824 24826 23875 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 277148702 937304064 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24833] ppid=24824 vsize=915336 CPUtime=0
/proc/24826/task/24833/stat : 24833 (java) S 24824 24826 23875 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277148702 937304064 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24834] ppid=24824 vsize=915336 CPUtime=0
/proc/24826/task/24834/stat : 24834 (java) S 24824 24826 23875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277148702 937304064 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915336

[startup+12.7407 s]
/proc/loadavg: 1.79 1.93 1.91 3/100 24834
/proc/meminfo: memFree=1307480/2055920 swapFree=4169400/4192956
[pid=24826] ppid=24824 vsize=915332 CPUtime=12.58
/proc/24826/stat : 24826 (java) R 24824 24826 23875 0 -1 0 6999 0 1 0 858 400 0 0 25 0 8 0 277148692 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24826/statm: 228833 6736 2479 14 0 215303 0
[pid=24826/tid=24828] ppid=24824 vsize=915332 CPUtime=0.02
/proc/24826/task/24828/stat : 24828 (java) S 24824 24826 23875 0 -1 64 158 0 0 0 2 0 0 0 16 0 8 0 277148699 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24829] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24829/stat : 24829 (java) S 24824 24826 23875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277148699 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24830] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24830/stat : 24830 (java) S 24824 24826 23875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277148699 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24831] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24831/stat : 24831 (java) S 24824 24826 23875 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277148702 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24832] ppid=24824 vsize=915332 CPUtime=0.11
/proc/24826/task/24832/stat : 24832 (java) S 24824 24826 23875 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 277148702 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24833] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24833/stat : 24833 (java) S 24824 24826 23875 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277148702 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24834] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24834/stat : 24834 (java) S 24824 24826 23875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277148702 937299968 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915332

[startup+25.6094 s]
/proc/loadavg: 1.84 1.93 1.91 3/100 24834
/proc/meminfo: memFree=1307416/2055920 swapFree=4169400/4192956
[pid=24826] ppid=24824 vsize=915336 CPUtime=25.33
/proc/24826/stat : 24826 (java) R 24824 24826 23875 0 -1 0 7000 0 1 0 1706 827 0 0 25 0 8 0 277148692 937304064 6737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24826/statm: 228834 6737 2479 14 0 215304 0
[pid=24826/tid=24828] ppid=24824 vsize=915336 CPUtime=0.02
/proc/24826/task/24828/stat : 24828 (java) S 24824 24826 23875 0 -1 64 158 0 0 0 2 0 0 0 16 0 8 0 277148699 937304064 6737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24829] ppid=24824 vsize=915336 CPUtime=0
/proc/24826/task/24829/stat : 24829 (java) S 24824 24826 23875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277148699 937304064 6737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24830] ppid=24824 vsize=915336 CPUtime=0
/proc/24826/task/24830/stat : 24830 (java) S 24824 24826 23875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277148699 937304064 6737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24831] ppid=24824 vsize=915336 CPUtime=0
/proc/24826/task/24831/stat : 24831 (java) S 24824 24826 23875 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277148702 937304064 6737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24832] ppid=24824 vsize=915336 CPUtime=0.12
/proc/24826/task/24832/stat : 24832 (java) S 24824 24826 23875 0 -1 64 326 0 0 0 11 1 0 0 16 0 8 0 277148702 937304064 6737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24833] ppid=24824 vsize=915336 CPUtime=0
/proc/24826/task/24833/stat : 24833 (java) S 24824 24826 23875 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277148702 937304064 6737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24834] ppid=24824 vsize=915336 CPUtime=0
/proc/24826/task/24834/stat : 24834 (java) S 24824 24826 23875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277148702 937304064 6737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915336

[startup+51.2148 s]
/proc/loadavg: 1.89 1.93 1.91 3/100 24834
/proc/meminfo: memFree=1299096/2055920 swapFree=4169400/4192956
[pid=24826] ppid=24824 vsize=915332 CPUtime=50.69
/proc/24826/stat : 24826 (java) R 24824 24826 23875 0 -1 0 9130 0 1 0 4059 1010 0 0 25 0 8 0 277148692 937299968 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808189 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24826/statm: 228833 8864 2532 14 0 215303 0
[pid=24826/tid=24828] ppid=24824 vsize=915332 CPUtime=0.02
/proc/24826/task/24828/stat : 24828 (java) S 24824 24826 23875 0 -1 64 159 0 0 0 2 0 0 0 16 0 8 0 277148699 937299968 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24829] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24829/stat : 24829 (java) S 24824 24826 23875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277148699 937299968 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24830] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24830/stat : 24830 (java) S 24824 24826 23875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277148699 937299968 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24831] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24831/stat : 24831 (java) S 24824 24826 23875 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277148702 937299968 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24832] ppid=24824 vsize=915332 CPUtime=0.22
/proc/24826/task/24832/stat : 24832 (java) S 24824 24826 23875 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 277148702 937299968 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24833] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24833/stat : 24833 (java) S 24824 24826 23875 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277148702 937299968 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24826/tid=24834] ppid=24824 vsize=915332 CPUtime=0
/proc/24826/task/24834/stat : 24834 (java) S 24824 24826 23875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277148702 937299968 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915332

Child status: 0
Real time (s): 75.4148
CPU time (s): 74.6347
CPU user time (s): 64.5222
CPU system time (s): 10.1125
CPU usage (%): 98.9655
Max. virtual memory (cumulated for all children) (KiB): 915848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.5222
system time used= 10.1125
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9235
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2617
involuntary context switches= 4619

runsolver used 0.095985 s user time and 0.250961 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Jan 20 10:05:37 UTC 2007


IDJOB= 278362
IDBENCH= 8286
IDSOLVER= 68
FILE ID= node13/278362-1169287536

PBS_JOBID= 3609503

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-100-1000/cnf-2-40-400-907721_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278362-1169287536/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-278362-1169287536 -o ROOT/results/node13/solver-278362-1169287536 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278362-1169287536/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6381174a163179c8d9be1bb13dda4084

RANDOM SEED= 680954607

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.247
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.247
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:       1332784 kB
Buffers:         61004 kB
Cached:         529208 kB
SwapCached:       8664 kB
Active:         325904 kB
Inactive:       318904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1332784 kB
SwapTotal:     4192956 kB
SwapFree:      4169400 kB
Dirty:            3484 kB
Writeback:           0 kB
Mapped:          71472 kB
Slab:            62748 kB
Committed_AS:  8735660 kB
PageTables:       2476 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 node13 on Sat Jan 20 10:06:53 UTC 2007