Trace number 282169

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 78.648 79.4133

General information on the benchmark

NameMaxCSP/pi/
pi-40-10-08-t60/pi-40-10-07948-40-71.xml
MD5SUM124325bbcf362afbc6397d99c0e4883a
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints96
Best CPU time to get the best result obtained on this benchmark3.16352
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints98
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension98
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.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=epfc.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/282169-1169318514/unknown.xml
0.43	   
0.43	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.47	     nbVariables=40  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.47	       =>  wckTime=0.093  cpuTime=0.08  mem=6M885
0.47	   
0.47	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.58	     nbConstraints=98  nbRelationTypes=98  nbExtensionStructures=98  nbSharedExtensionStructures=0
0.58	     nbConflictsStructures=98  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1196  maxDegree=9
0.58	     maxArity=2
0.58	       =>  wckTime=0.204  cpuTime=0.15  mem=7M910
0.62	   
0.62	   solver LocalSearchSolver being built... 
0.66	       =>  wckTime=0.288  cpuTime=0.19  mem=5M493
0.66	
0.66	s SATISFIABLE
0.66	o 45
0.66	c 53
0.67	o 49
0.67	c 49
0.67	o 53
0.67	c 45
0.67	o 56
0.67	c 42
0.67	o 58
0.67	c 40
0.67	o 60
0.67	c 38
0.67	o 62
0.67	c 36
0.67	o 64
0.67	c 34
0.67	o 65
0.67	c 33
0.67	o 67
0.67	c 31
0.67	o 70
0.67	c 28
0.68	o 72
0.68	c 26
0.68	o 74
0.68	c 24
0.68	o 76
0.68	c 22
0.68	o 77
0.68	c 21
0.68	o 78
0.68	c 20
0.68	o 79
0.68	c 19
0.68	o 80
0.68	c 18
0.68	o 81
0.68	c 17
0.68	o 82
0.68	c 16
0.68	o 83
0.68	c 15
0.68	o 84
0.68	c 14
0.69	o 85
0.69	c 13
0.69	o 86
0.69	c 12
0.69	o 87
0.69	c 11
0.69	o 88
0.69	c 10
0.69	o 89
0.69	c 9
0.69	o 90
0.69	c 8
0.69	o 91
0.69	c 7
0.71	o 92
0.71	c 6
0.72	o 93
0.72	c 5
0.74	o 94
0.74	c 4
1.08	o 95
1.08	c 3
1.98	   
1.98	   search
1.98	     run=0  nbConstraintChecks=5311617  nbAssignments=10000
1.98	       =>  wckTime=1.319  cpuTime=1.28  mem=5M493
3.31	   
3.31	   search
3.31	     run=1  nbConstraintChecks=11162551  nbAssignments=20000
3.31	       =>  wckTime=2.653  cpuTime=2.6  mem=5M493
3.57	o 96
3.57	c 2
4.57	   
4.57	   search
4.57	     run=2  nbConstraintChecks=16378736  nbAssignments=30000
4.57	       =>  wckTime=3.906  cpuTime=3.84  mem=5M493
5.88	   
5.88	   search
5.88	     run=3  nbConstraintChecks=22058213  nbAssignments=40000
5.88	       =>  wckTime=5.216  cpuTime=5.14  mem=5M493
7.17	   
7.17	   search
7.17	     run=4  nbConstraintChecks=27606187  nbAssignments=50000
7.17	       =>  wckTime=6.508  cpuTime=6.42  mem=5M493
8.48	   
8.48	   search
8.48	     run=5  nbConstraintChecks=33358536  nbAssignments=60000
8.49	       =>  wckTime=7.824  cpuTime=7.73  mem=5M493
9.77	   
9.77	   search
9.77	     run=6  nbConstraintChecks=38743772  nbAssignments=70000
9.77	       =>  wckTime=9.108  cpuTime=9.0  mem=5M493
11.08	   
11.08	   search
11.08	     run=7  nbConstraintChecks=44488220  nbAssignments=80000
11.08	       =>  wckTime=10.42  cpuTime=10.3  mem=5M493
12.31	   
12.31	   search
12.31	     run=8  nbConstraintChecks=49577680  nbAssignments=90000
12.31	       =>  wckTime=11.647  cpuTime=11.52  mem=5M493
13.62	   
13.62	   search
13.62	     run=9  nbConstraintChecks=55292043  nbAssignments=100000
13.62	       =>  wckTime=12.964  cpuTime=12.82  mem=5M493
14.90	   
14.90	   search
14.90	     run=10  nbConstraintChecks=60751515  nbAssignments=110000
14.90	       =>  wckTime=14.237  cpuTime=14.09  mem=5M493
16.23	   
16.23	   search
16.23	     run=11  nbConstraintChecks=66652985  nbAssignments=120000
16.23	       =>  wckTime=15.566  cpuTime=15.4  mem=5M493
17.51	   
17.51	   search
17.51	     run=12  nbConstraintChecks=72217795  nbAssignments=130000
17.51	       =>  wckTime=16.85  cpuTime=16.68  mem=5M493
18.88	   
18.88	   search
18.88	     run=13  nbConstraintChecks=78408865  nbAssignments=140000
18.88	       =>  wckTime=18.22  cpuTime=18.03  mem=5M493
20.15	   
20.15	   search
20.15	     run=14  nbConstraintChecks=83778879  nbAssignments=150000
20.15	       =>  wckTime=19.486  cpuTime=19.29  mem=5M493
21.46	   
21.46	   search
21.46	     run=15  nbConstraintChecks=89534443  nbAssignments=160000
21.46	       =>  wckTime=20.799  cpuTime=20.59  mem=5M493
22.74	   
22.74	   search
22.74	     run=16  nbConstraintChecks=94878276  nbAssignments=170000
22.74	       =>  wckTime=22.078  cpuTime=21.86  mem=5M493
23.98	   
23.98	   search
23.98	     run=17  nbConstraintChecks=99945753  nbAssignments=180000
23.98	       =>  wckTime=23.315  cpuTime=23.08  mem=5M493
25.23	   
25.23	   search
25.23	     run=18  nbConstraintChecks=105161240  nbAssignments=190000
25.23	       =>  wckTime=24.57  cpuTime=24.32  mem=5M493
26.51	   
26.51	   search
26.51	     run=19  nbConstraintChecks=110563956  nbAssignments=200000
26.51	       =>  wckTime=25.846  cpuTime=25.59  mem=5M493
27.80	   
27.80	   search
27.80	     run=20  nbConstraintChecks=116000721  nbAssignments=210000
27.80	       =>  wckTime=27.138  cpuTime=26.87  mem=5M493
29.18	   
29.18	   search
29.18	     run=21  nbConstraintChecks=122199282  nbAssignments=220000
29.18	       =>  wckTime=28.521  cpuTime=28.24  mem=5M493
30.45	   
30.45	   search
30.45	     run=22  nbConstraintChecks=127520450  nbAssignments=230000
30.45	       =>  wckTime=29.788  cpuTime=29.5  mem=5M493
31.78	   
31.78	   search
31.78	     run=23  nbConstraintChecks=133244231  nbAssignments=240000
31.78	       =>  wckTime=31.118  cpuTime=30.82  mem=5M493
33.02	   
33.02	   search
33.02	     run=24  nbConstraintChecks=138475528  nbAssignments=250000
33.02	       =>  wckTime=32.36  cpuTime=32.05  mem=5M493
33.84	   
33.84	   search
33.84	     run=25  nbConstraintChecks=142046857  nbAssignments=256438
33.84	       =>  wckTime=33.184  cpuTime=32.87  mem=5M493
33.85	   
33.85	   global
33.85	     nbConstraintChecks=142046857  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.85	     solvingWckTime=33.181  solvingCpuTime=32.87  expiredTime=no  totalExploration=no  nbFoundSolutions=0
33.85	     globalCpuTime=33.11
33.85	       =>  wckTime=33.472  cpuTime=33.06  mem=5M493
33.85	   
33.85	   solver IterativeSystematicSolver being built... 
33.99	       =>  wckTime=33.62  cpuTime=33.18  mem=16M633
34.05	   
34.05	   preprocessing
34.05	     nbConstraintChecks=18497  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
34.05	     detectedInconsistency=no
34.05	       =>  wckTime=0.056  cpuTime=0.03  mem=16M633
34.09	   
34.09	   search
34.09	     run=0  nbConstraintChecks=40197  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=35
34.09	     nbFailedAssignments=23  nbBacktracks=10  nbVisitedNodes=68  nbRestartNogoods=0
34.09	       =>  wckTime=0.09  cpuTime=0.07  mem=16M633
34.16	   
34.16	   search
34.16	     run=1  nbConstraintChecks=184431  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=142
34.16	     nbFailedAssignments=106  nbBacktracks=25  nbVisitedNodes=273  nbRestartNogoods=12
34.16	       =>  wckTime=0.164  cpuTime=0.13  mem=16M633
34.25	   
34.25	   search
34.25	     run=2  nbConstraintChecks=414072  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=318
34.25	     nbFailedAssignments=252  nbBacktracks=47  nbVisitedNodes=615  nbRestartNogoods=39
34.25	       =>  wckTime=0.251  cpuTime=0.21  mem=16M633
34.36	   
34.36	   search
34.36	     run=3  nbConstraintChecks=676614  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=490
34.36	     nbFailedAssignments=384  nbBacktracks=81  nbVisitedNodes=953  nbRestartNogoods=47
34.36	       =>  wckTime=0.36  cpuTime=0.31  mem=16M633
34.50	   
34.50	   search
34.50	     run=4  nbConstraintChecks=1078180  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=753
34.50	     nbFailedAssignments=589  nbBacktracks=131  nbVisitedNodes=1470  nbRestartNogoods=71
34.50	       =>  wckTime=0.504  cpuTime=0.46  mem=16M633
34.70	   
34.70	   search
34.70	     run=5  nbConstraintChecks=1562988  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1095
34.70	     nbFailedAssignments=847  nbBacktracks=206  nbVisitedNodes=2141  nbRestartNogoods=91
34.70	       =>  wckTime=0.709  cpuTime=0.65  mem=16M633
35.02	   
35.02	   search
35.02	     run=6  nbConstraintChecks=2368266  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1652
35.02	     nbFailedAssignments=1280  nbBacktracks=319  nbVisitedNodes=3242  nbRestartNogoods=133
35.02	       =>  wckTime=1.021  cpuTime=0.95  mem=16M633
35.37	   
35.37	   search
35.37	     run=7  nbConstraintChecks=3306429  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2205
35.37	     nbFailedAssignments=1655  nbBacktracks=490  nbVisitedNodes=4339  nbRestartNogoods=171
35.37	       =>  wckTime=1.373  cpuTime=1.29  mem=16M633
36.19	   
36.19	   search
36.19	     run=8  nbConstraintChecks=5710664  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3753
36.19	     nbFailedAssignments=2940  nbBacktracks=746  nbVisitedNodes=7420  nbRestartNogoods=196
36.19	       =>  wckTime=2.199  cpuTime=2.11  mem=16M633
37.22	   
37.22	   search
37.22	     run=9  nbConstraintChecks=8661783  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5750
37.22	     nbFailedAssignments=4543  nbBacktracks=1131  nbVisitedNodes=11390  nbRestartNogoods=214
37.22	       =>  wckTime=3.222  cpuTime=3.12  mem=16M633
39.01	   
39.01	   search
39.01	     run=10  nbConstraintChecks=13876322  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9026
39.01	     nbFailedAssignments=7236  nbBacktracks=1707  nbVisitedNodes=17909  nbRestartNogoods=231
39.01	       =>  wckTime=5.019  cpuTime=4.9  mem=16M633
41.43	   
41.43	   search
41.43	     run=11  nbConstraintChecks=20819362  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13445
41.43	     nbFailedAssignments=10781  nbBacktracks=2575  nbVisitedNodes=26701  nbRestartNogoods=246
41.43	       =>  wckTime=7.435  cpuTime=7.29  mem=16M633
43.98	   
43.98	   search
43.98	     run=12  nbConstraintChecks=27922343  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18310
43.99	     nbFailedAssignments=14338  nbBacktracks=3872  nbVisitedNodes=36366  nbRestartNogoods=270
43.99	       =>  wckTime=9.99  cpuTime=9.83  mem=16M633
48.46	   
48.46	   search
48.46	     run=13  nbConstraintChecks=40348813  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26477
48.46	     nbFailedAssignments=20554  nbBacktracks=5818  nbVisitedNodes=52625  nbRestartNogoods=309
48.46	       =>  wckTime=14.464  cpuTime=14.26  mem=16M633
54.74	   
54.74	   search
54.74	     run=14  nbConstraintChecks=56778141  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=37766
54.74	     nbFailedAssignments=28914  nbBacktracks=8738  nbVisitedNodes=75080  nbRestartNogoods=345
54.74	       =>  wckTime=20.748  cpuTime=20.49  mem=16M633
62.93	   
62.93	   search
62.93	     run=15  nbConstraintChecks=77996601  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=52423
62.93	     nbFailedAssignments=39186  nbBacktracks=13117  nbVisitedNodes=104200  nbRestartNogoods=369
62.93	       =>  wckTime=28.94  cpuTime=28.61  mem=16M633
74.78	   
74.78	   search
74.78	     run=16  nbConstraintChecks=105086128  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=72108
74.78	     nbFailedAssignments=52300  nbBacktracks=19685  nbVisitedNodes=143133  nbRestartNogoods=395
74.78	       =>  wckTime=40.788  cpuTime=40.36  mem=16M633
79.39	   
79.39	   search
79.39	     run=17  nbConstraintChecks=114870987  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=79448
79.39	     nbFailedAssignments=56918  nbBacktracks=22408  nbVisitedNodes=157542  nbRestartNogoods=399
79.39	       =>  wckTime=45.393  cpuTime=44.92  mem=16M633
79.39	   
79.39	   global
79.39	     nbConstraintChecks=114889484  nbRestartNogoods=399  solvingWckTime=45.395  solvingCpuTime=44.92  expiredTime=no
79.39	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=78.15
79.39	       =>  wckTime=79.016  cpuTime=78.1  mem=16M633
79.39	
79.39	s OPTIMUM FOUND
79.39	v 2 5 8 4 2 8 10 5 4 8 6 9 4 3 2 4 5 3 9 2 10 2 7 2 3 7 4 8 1 10 4 4 9 10 8 2 1 1 9 10 
79.39	   
79.39	   totalWckTime=79.098  totalCpuTime=78.16

Verifier Data (download as text)

2 unsatisfied constraints, 96 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-282169-1169318514 -o ROOT/results/node13/solver-282169-1169318514 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282169-1169318514/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.80 1.94 1.98 4/87 968
/proc/meminfo: memFree=1274904/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=47976 CPUtime=0
/proc/967/stat : 967 (java) D 965 967 899 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 280246366 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/967/statm: 22444 1022 811 14 0 10027 0

[startup+0.102848 s]
/proc/loadavg: 1.80 1.94 1.98 4/87 968
/proc/meminfo: memFree=1274904/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=914988 CPUtime=0.08
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 2989 0 1 0 7 1 0 0 19 0 8 0 280246366 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153794801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510899 s]
/proc/loadavg: 1.80 1.94 1.98 4/87 968
/proc/meminfo: memFree=1274904/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915332 CPUtime=0.43
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 6115 0 1 0 40 3 0 0 18 0 8 0 280246366 937299968 5854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228833 5854 2144 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332

[startup+1.33301 s]
/proc/loadavg: 1.80 1.94 1.98 3/94 975
/proc/meminfo: memFree=1257504/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915444 CPUtime=1.24
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 7010 0 1 0 98 26 0 0 25 0 8 0 280246366 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228861 6748 2479 14 0 215331 0
[pid=967/tid=969] ppid=965 vsize=915444 CPUtime=0.02
/proc/967/task/969/stat : 969 (java) S 965 967 899 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280246370 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=970] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/970/stat : 970 (java) S 965 967 899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280246370 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=971] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/971/stat : 971 (java) S 965 967 899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280246370 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=972] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/972/stat : 972 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280246374 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=973] ppid=965 vsize=915444 CPUtime=0.12
/proc/967/task/973/stat : 973 (java) S 965 967 899 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 280246374 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=974] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/974/stat : 974 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280246374 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=975] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/975/stat : 975 (java) S 965 967 899 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280246374 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915444

[startup+2.98623 s]
/proc/loadavg: 1.81 1.94 1.98 3/94 975
/proc/meminfo: memFree=1257504/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915448 CPUtime=2.87
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 7013 0 1 0 213 74 0 0 25 0 8 0 280246366 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228862 6750 2479 14 0 215332 0
[pid=967/tid=969] ppid=965 vsize=915448 CPUtime=0.02
/proc/967/task/969/stat : 969 (java) S 965 967 899 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280246370 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=970] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/970/stat : 970 (java) S 965 967 899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280246370 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=971] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/971/stat : 971 (java) S 965 967 899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280246370 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=972] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/972/stat : 972 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=973] ppid=965 vsize=915448 CPUtime=0.12
/proc/967/task/973/stat : 973 (java) S 965 967 899 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=974] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/974/stat : 974 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=975] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/975/stat : 975 (java) S 965 967 899 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915448

[startup+6.28167 s]
/proc/loadavg: 1.81 1.94 1.98 3/94 975
/proc/meminfo: memFree=1257504/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915448 CPUtime=6.15
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 7013 0 1 0 445 170 0 0 25 0 8 0 280246366 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228862 6750 2479 14 0 215332 0
[pid=967/tid=969] ppid=965 vsize=915448 CPUtime=0.02
/proc/967/task/969/stat : 969 (java) S 965 967 899 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280246370 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=970] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/970/stat : 970 (java) S 965 967 899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280246370 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=971] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/971/stat : 971 (java) S 965 967 899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280246370 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=972] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/972/stat : 972 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=973] ppid=965 vsize=915448 CPUtime=0.12
/proc/967/task/973/stat : 973 (java) S 965 967 899 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=974] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/974/stat : 974 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=975] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/975/stat : 975 (java) S 965 967 899 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280246374 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915448

[startup+12.7645 s]
/proc/loadavg: 1.84 1.94 1.98 3/94 975
/proc/meminfo: memFree=1257504/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915444 CPUtime=12.57
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 7013 0 1 0 889 368 0 0 25 0 8 0 280246366 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073652582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228861 6750 2479 14 0 215331 0
[pid=967/tid=969] ppid=965 vsize=915444 CPUtime=0.02
/proc/967/task/969/stat : 969 (java) S 965 967 899 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280246370 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=970] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/970/stat : 970 (java) S 965 967 899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280246370 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=971] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/971/stat : 971 (java) S 965 967 899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280246370 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=972] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/972/stat : 972 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280246374 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=973] ppid=965 vsize=915444 CPUtime=0.12
/proc/967/task/973/stat : 973 (java) S 965 967 899 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280246374 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=974] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/974/stat : 974 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280246374 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=975] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/975/stat : 975 (java) S 965 967 899 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280246374 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915444

[startup+25.6103 s]
/proc/loadavg: 1.87 1.94 1.98 3/94 975
/proc/meminfo: memFree=1257568/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915448 CPUtime=25.3
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 7014 0 1 0 1780 750 0 0 25 0 8 0 280246366 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228862 6751 2479 14 0 215332 0
[pid=967/tid=969] ppid=965 vsize=915448 CPUtime=0.02
/proc/967/task/969/stat : 969 (java) S 965 967 899 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280246370 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=970] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/970/stat : 970 (java) S 965 967 899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280246370 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=971] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/971/stat : 971 (java) S 965 967 899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280246370 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=972] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/972/stat : 972 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280246374 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=973] ppid=965 vsize=915448 CPUtime=0.12
/proc/967/task/973/stat : 973 (java) S 965 967 899 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 280246374 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=974] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/974/stat : 974 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280246374 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=975] ppid=965 vsize=915448 CPUtime=0
/proc/967/task/975/stat : 975 (java) S 965 967 899 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280246374 937418752 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915448

[startup+51.2197 s]
/proc/loadavg: 1.91 1.94 1.98 3/94 975
/proc/meminfo: memFree=1249376/2055920 swapFree=4169400/4192956
[pid=967] ppid=965 vsize=915444 CPUtime=50.69
/proc/967/stat : 967 (java) R 965 967 899 0 -1 0 9129 0 1 0 4063 1006 0 0 25 0 8 0 280246366 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/967/statm: 228861 8860 2532 14 0 215331 0
[pid=967/tid=969] ppid=965 vsize=915444 CPUtime=0.02
/proc/967/task/969/stat : 969 (java) S 965 967 899 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280246370 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=970] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/970/stat : 970 (java) S 965 967 899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280246370 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=971] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/971/stat : 971 (java) S 965 967 899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280246370 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=972] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/972/stat : 972 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280246374 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=973] ppid=965 vsize=915444 CPUtime=0.24
/proc/967/task/973/stat : 973 (java) S 965 967 899 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 280246374 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=974] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/974/stat : 974 (java) S 965 967 899 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280246374 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=967/tid=975] ppid=965 vsize=915444 CPUtime=0
/proc/967/task/975/stat : 975 (java) S 965 967 899 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280246374 937414656 8860 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) 915444

Child status: 0
Real time (s): 79.4133
CPU time (s): 78.648
CPU user time (s): 68.5686
CPU system time (s): 10.0795
CPU usage (%): 99.0364
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.5686
system time used= 10.0795
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9233
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= 2773
involuntary context switches= 5801

runsolver used 0.084987 s user time and 0.290955 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Jan 20 18:41:54 UTC 2007


IDJOB= 282169
IDBENCH= 12500
IDSOLVER= 68
FILE ID= node13/282169-1169318514

PBS_JOBID= 3610049

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-40-10-08-t60/pi-40-10-07948-40-71.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282169-1169318514/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-282169-1169318514 -o ROOT/results/node13/solver-282169-1169318514 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282169-1169318514/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  124325bbcf362afbc6397d99c0e4883a

RANDOM SEED= 941777817

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:       1275384 kB
Buffers:         64860 kB
Cached:         547316 kB
SwapCached:       8664 kB
Active:         366920 kB
Inactive:       333480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1275384 kB
SwapTotal:     4192956 kB
SwapFree:      4169400 kB
Dirty:            2056 kB
Writeback:           0 kB
Mapped:          96212 kB
Slab:            64784 kB
Committed_AS:  8638276 kB
PageTables:       2500 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 node13 on Sat Jan 20 18:43:13 UTC 2007