Trace number 281098

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 53.9198 53.9793

General information on the benchmark

NameMaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-29_ext.xml
MD5SUM5c95bf7928149926bb645643e25ee765
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints99
Best CPU time to get the best result obtained on this benchmark3.36549
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints101
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension101
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=epfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/281098-1169310005/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=40  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.38	       =>  wckTime=0.093  cpuTime=0.08  mem=6M887
0.38	   
0.38	   relations being loaded...
0.43	   
0.43	   constraints being loaded...
0.48	     nbConstraints=101  nbRelationTypes=101  nbExtensionStructures=101  nbSharedExtensionStructures=0
0.48	     nbConflictsStructures=101  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1244  maxDegree=10
0.48	     maxArity=2
0.48	       =>  wckTime=0.19  cpuTime=0.13  mem=8M846
0.52	   
0.52	   solver LocalSearchSolver being built... 
0.56	       =>  wckTime=0.266  cpuTime=0.17  mem=5M493
0.56	
0.56	s SATISFIABLE
0.56	o 38
0.56	c 63
0.56	o 44
0.56	c 57
0.56	o 49
0.56	c 52
0.56	o 54
0.56	c 47
0.56	o 58
0.56	c 43
0.57	o 62
0.57	c 39
0.57	o 65
0.57	c 36
0.57	o 67
0.57	c 34
0.57	o 70
0.57	c 31
0.57	o 72
0.57	c 29
0.57	o 73
0.57	c 28
0.57	o 75
0.57	c 26
0.57	o 77
0.57	c 24
0.57	o 78
0.57	c 23
0.57	o 79
0.57	c 22
0.57	o 80
0.57	c 21
0.57	o 82
0.57	c 19
0.57	o 84
0.57	c 17
0.57	o 85
0.57	c 16
0.57	o 86
0.57	c 15
0.57	o 87
0.57	c 14
0.58	o 88
0.58	c 13
0.58	o 89
0.58	c 12
0.58	o 90
0.58	c 11
0.58	o 91
0.58	c 10
0.58	o 92
0.58	c 9
0.58	o 93
0.58	c 8
0.60	o 94
0.60	c 7
0.61	o 95
0.61	c 6
0.62	o 96
0.62	c 5
0.85	o 97
0.85	c 4
0.89	o 98
0.89	c 3
1.83	   
1.83	   search
1.83	     run=0  nbConstraintChecks=5538897  nbAssignments=10000
1.83	       =>  wckTime=1.272  cpuTime=1.25  mem=5M493
3.08	   
3.08	   search
3.08	     run=1  nbConstraintChecks=11870578  nbAssignments=20000
3.08	       =>  wckTime=2.521  cpuTime=2.5  mem=5M493
3.16	o 99
3.16	c 2
4.25	   
4.25	   search
4.25	     run=2  nbConstraintChecks=17593392  nbAssignments=30000
4.25	       =>  wckTime=3.695  cpuTime=3.67  mem=5M493
5.53	   
5.53	   search
5.53	     run=3  nbConstraintChecks=24257401  nbAssignments=40000
5.53	       =>  wckTime=4.978  cpuTime=4.96  mem=5M493
6.72	   
6.72	   search
6.72	     run=4  nbConstraintChecks=30070986  nbAssignments=50000
6.72	       =>  wckTime=6.166  cpuTime=6.15  mem=5M493
8.00	   
8.00	   search
8.00	     run=5  nbConstraintChecks=36673734  nbAssignments=60000
8.00	       =>  wckTime=7.445  cpuTime=7.43  mem=5M493
9.18	   
9.18	   search
9.18	     run=6  nbConstraintChecks=42379831  nbAssignments=70000
9.18	       =>  wckTime=8.62  cpuTime=8.6  mem=5M493
10.40	   
10.40	   search
10.40	     run=7  nbConstraintChecks=48481714  nbAssignments=80000
10.40	       =>  wckTime=9.841  cpuTime=9.82  mem=5M493
11.57	   
11.57	   search
11.57	     run=8  nbConstraintChecks=54128547  nbAssignments=90000
11.57	       =>  wckTime=11.016  cpuTime=11.0  mem=5M493
12.75	   
12.75	   search
12.75	     run=9  nbConstraintChecks=59729334  nbAssignments=100000
12.75	       =>  wckTime=12.194  cpuTime=12.17  mem=5M493
13.95	   
13.95	   search
13.95	     run=10  nbConstraintChecks=65561228  nbAssignments=110000
13.95	       =>  wckTime=13.391  cpuTime=13.37  mem=5M493
15.12	   
15.12	   search
15.12	     run=11  nbConstraintChecks=71101233  nbAssignments=120000
15.12	       =>  wckTime=14.561  cpuTime=14.54  mem=5M493
16.31	   
16.31	   search
16.31	     run=12  nbConstraintChecks=76927874  nbAssignments=130000
16.31	       =>  wckTime=15.756  cpuTime=15.73  mem=5M493
17.50	   
17.50	   search
17.50	     run=13  nbConstraintChecks=82609795  nbAssignments=140000
17.50	       =>  wckTime=16.945  cpuTime=16.92  mem=5M493
18.66	   
18.66	   search
18.66	     run=14  nbConstraintChecks=88095305  nbAssignments=150000
18.66	       =>  wckTime=18.104  cpuTime=18.09  mem=5M493
19.81	   
19.81	   search
19.81	     run=15  nbConstraintChecks=93481347  nbAssignments=160000
19.81	       =>  wckTime=19.259  cpuTime=19.24  mem=5M493
20.99	   
20.99	   search
20.99	     run=16  nbConstraintChecks=99118081  nbAssignments=170000
20.99	       =>  wckTime=20.435  cpuTime=20.42  mem=5M493
22.13	   
22.13	   search
22.13	     run=17  nbConstraintChecks=104508607  nbAssignments=180000
22.13	       =>  wckTime=21.57  cpuTime=21.55  mem=5M493
23.27	   
23.27	   search
23.27	     run=18  nbConstraintChecks=109888161  nbAssignments=190000
23.27	       =>  wckTime=22.71  cpuTime=22.68  mem=5M493
24.43	   
24.43	   search
24.43	     run=19  nbConstraintChecks=115440337  nbAssignments=200000
24.43	       =>  wckTime=23.873  cpuTime=23.85  mem=5M493
25.63	   
25.63	   search
25.63	     run=20  nbConstraintChecks=121350769  nbAssignments=210000
25.63	       =>  wckTime=25.07  cpuTime=25.04  mem=5M493
26.85	   
26.85	   search
26.85	     run=21  nbConstraintChecks=127413225  nbAssignments=220000
26.85	       =>  wckTime=26.29  cpuTime=26.27  mem=5M493
28.03	   
28.03	   search
28.03	     run=22  nbConstraintChecks=133166070  nbAssignments=230000
28.03	       =>  wckTime=27.472  cpuTime=27.44  mem=5M493
29.23	   
29.23	   search
29.23	     run=23  nbConstraintChecks=139151850  nbAssignments=240000
29.23	       =>  wckTime=28.673  cpuTime=28.64  mem=5M493
30.40	   
30.40	   search
30.40	     run=24  nbConstraintChecks=144797553  nbAssignments=250000
30.40	       =>  wckTime=29.844  cpuTime=29.81  mem=5M493
31.65	   
31.65	   search
31.65	     run=25  nbConstraintChecks=151133440  nbAssignments=260000
31.65	       =>  wckTime=31.097  cpuTime=31.07  mem=5M493
32.83	   
32.83	   search
32.83	     run=26  nbConstraintChecks=156768086  nbAssignments=270000
32.83	       =>  wckTime=32.278  cpuTime=32.24  mem=5M493
33.18	   
33.18	   search
33.18	     run=27  nbConstraintChecks=158406265  nbAssignments=272967
33.18	       =>  wckTime=32.625  cpuTime=32.6  mem=5M493
33.18	   
33.18	   global
33.18	     nbConstraintChecks=158406265  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.18	     solvingWckTime=32.623  solvingCpuTime=32.6  expiredTime=no  totalExploration=no  nbFoundSolutions=0
33.18	     globalCpuTime=32.81
33.18	       =>  wckTime=32.891  cpuTime=32.77  mem=5M493
33.18	   
33.18	   solver IterativeSystematicSolver being built... 
33.30	       =>  wckTime=33.011  cpuTime=32.86  mem=16M491
33.35	   
33.35	   preprocessing
33.35	     nbConstraintChecks=17235  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
33.35	     detectedInconsistency=no
33.35	       =>  wckTime=0.048  cpuTime=0.04  mem=16M491
33.39	   
33.39	   search
33.39	     run=0  nbConstraintChecks=67200  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=55
33.39	     nbFailedAssignments=41  nbBacktracks=11  nbVisitedNodes=107  nbRestartNogoods=0
33.39	       =>  wckTime=0.09  cpuTime=0.08  mem=16M491
33.44	   
33.44	   search
33.44	     run=1  nbConstraintChecks=134563  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=119
33.44	     nbFailedAssignments=88  nbBacktracks=26  nbVisitedNodes=232  nbRestartNogoods=13
33.44	       =>  wckTime=0.141  cpuTime=0.12  mem=16M491
33.54	   
33.54	   search
33.54	     run=2  nbConstraintChecks=360388  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=283
33.54	     nbFailedAssignments=227  nbBacktracks=49  nbVisitedNodes=558  nbRestartNogoods=17
33.54	       =>  wckTime=0.241  cpuTime=0.21  mem=16M491
33.68	   
33.68	   search
33.68	     run=3  nbConstraintChecks=639328  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=489
33.68	     nbFailedAssignments=397  nbBacktracks=82  nbVisitedNodes=967  nbRestartNogoods=27
33.68	       =>  wckTime=0.378  cpuTime=0.35  mem=16M491
33.85	   
33.85	   search
33.85	     run=4  nbConstraintChecks=1126048  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=804
33.85	     nbFailedAssignments=652  nbBacktracks=132  nbVisitedNodes=1587  nbRestartNogoods=37
33.85	       =>  wckTime=0.543  cpuTime=0.51  mem=16M491
34.06	   
34.06	   search
34.06	     run=5  nbConstraintChecks=1747909  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1230
34.06	     nbFailedAssignments=995  nbBacktracks=210  nbVisitedNodes=2433  nbRestartNogoods=68
34.06	       =>  wckTime=0.757  cpuTime=0.72  mem=16M491
34.32	   
34.32	   search
34.32	     run=6  nbConstraintChecks=2453530  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1758
34.32	     nbFailedAssignments=1397  nbBacktracks=325  nbVisitedNodes=3471  nbRestartNogoods=87
34.32	       =>  wckTime=1.014  cpuTime=0.97  mem=16M491
34.78	   
34.78	   search
34.78	     run=7  nbConstraintChecks=3735207  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2643
34.78	     nbFailedAssignments=2105  nbBacktracks=495  nbVisitedNodes=5229  nbRestartNogoods=143
34.78	       =>  wckTime=1.482  cpuTime=1.43  mem=16M491
35.43	   
35.43	   search
35.43	     run=8  nbConstraintChecks=5646660  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3865
35.43	     nbFailedAssignments=3059  nbBacktracks=751  nbVisitedNodes=7645  nbRestartNogoods=159
35.43	       =>  wckTime=2.132  cpuTime=2.08  mem=16M491
36.37	   
36.37	   search
36.37	     run=9  nbConstraintChecks=8186315  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5518
36.37	     nbFailedAssignments=4326  nbBacktracks=1135  nbVisitedNodes=10948  nbRestartNogoods=197
36.37	       =>  wckTime=3.063  cpuTime=3.01  mem=16M491
37.86	   
37.86	   search
37.86	     run=10  nbConstraintChecks=12612822  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8450
37.86	     nbFailedAssignments=6677  nbBacktracks=1711  nbVisitedNodes=16788  nbRestartNogoods=204
37.86	       =>  wckTime=4.553  cpuTime=4.5  mem=16M491
40.09	   
40.09	   search
40.09	     run=11  nbConstraintChecks=18632409  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12536
40.09	     nbFailedAssignments=9893  nbBacktracks=2575  nbVisitedNodes=24916  nbRestartNogoods=211
40.09	       =>  wckTime=6.784  cpuTime=6.72  mem=16M491
43.62	   
43.62	   search
43.62	     run=12  nbConstraintChecks=28790303  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18755
43.62	     nbFailedAssignments=14806  nbBacktracks=3873  nbVisitedNodes=37320  nbRestartNogoods=235
43.62	       =>  wckTime=10.32  cpuTime=10.26  mem=16M491
48.08	   
48.08	   search
48.08	     run=13  nbConstraintChecks=41220313  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26799
48.08	     nbFailedAssignments=20898  nbBacktracks=5820  nbVisitedNodes=53319  nbRestartNogoods=262
48.08	       =>  wckTime=14.773  cpuTime=14.71  mem=16M491
53.92	   
53.92	   search
53.92	     run=14  nbConstraintChecks=55234877  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36701
53.92	     nbFailedAssignments=28057  nbBacktracks=8564  nbVisitedNodes=72921  nbRestartNogoods=277
53.92	       =>  wckTime=20.614  cpuTime=20.55  mem=16M491
53.92	   
53.92	   global
53.92	     nbConstraintChecks=55252112  nbRestartNogoods=277  solvingWckTime=20.614  solvingCpuTime=20.55  expiredTime=no
53.92	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=53.45
53.92	       =>  wckTime=53.626  cpuTime=53.41  mem=16M491
53.92	
53.92	s OPTIMUM FOUND
53.92	v 5 1 6 2 8 0 2 0 7 0 0 9 7 2 4 7 9 2 7 1 1 2 3 2 1 2 9 8 7 5 8 3 6 4 4 6 3 2 0 2 
53.92	   
53.92	   totalWckTime=53.7  totalCpuTime=53.45

Verifier Data (download as text)

2 unsatisfied constraints, 99 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/node76/watcher-281098-1169310005 -o ROOT/results/node76/solver-281098-1169310005 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281098-1169310005/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.92 0.98 0.99 2/70 9379
/proc/meminfo: memFree=1691376/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=1456 CPUtime=0
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 106 0 0 0 0 0 0 0 20 0 1 0 279397604 1490944 76 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 5282144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9378/statm: 366 90 70 14 0 10 0

[startup+0.103136 s]
/proc/loadavg: 0.92 0.98 0.99 2/70 9379
/proc/meminfo: memFree=1691376/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=914992 CPUtime=0.08
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 3009 0 1 0 7 1 0 0 16 0 8 0 279397604 936951808 2757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 228748 2758 1434 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992

[startup+0.51121 s]
/proc/loadavg: 0.92 0.98 0.99 2/70 9379
/proc/meminfo: memFree=1691376/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=915336 CPUtime=0.48
/proc/9378/stat : 9378 (java) S 9376 9378 8394 0 -1 0 6613 0 1 0 45 3 0 0 16 0 8 0 279397604 937304064 6354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 228834 6354 2167 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915336

[startup+1.33137 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 9386
/proc/meminfo: memFree=1673656/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=915452 CPUtime=1.32
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 7109 0 1 0 107 25 0 0 16 0 8 0 279397604 937422848 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 228862 6849 2480 14 0 215331 0
[pid=9378/tid=9380] ppid=9376 vsize=915448 CPUtime=0.02
/proc/9378/task/9380/stat : 9380 (java) S 9376 9378 8394 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279397608 937418752 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9378/tid=9381] ppid=9376 vsize=915452 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9376 9378 8394 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279397608 937422848 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9376 9378 8394 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279397608 937418752 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9376 9378 8394 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279397611 937418752 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9376 vsize=915448 CPUtime=0.12
/proc/9378/task/9384/stat : 9384 (java) S 9376 9378 8394 0 -1 64 332 0 0 0 11 1 0 0 16 0 8 0 279397611 937418752 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9376 vsize=915452 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279397611 937422848 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279397611 937418752 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452

[startup+2.96777 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 9386
/proc/meminfo: memFree=1673592/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=915448 CPUtime=2.95
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 7112 0 1 0 227 68 0 0 18 0 8 0 279397604 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 228862 6851 2480 14 0 215331 0
[pid=9378/tid=9380] ppid=9376 vsize=915448 CPUtime=0.02
/proc/9378/task/9380/stat : 9380 (java) S 9376 9378 8394 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279397608 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9381] ppid=9376 vsize=915452 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9376 9378 8394 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279397608 937422848 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9376 9378 8394 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279397608 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9376 9378 8394 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279397611 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9376 vsize=915448 CPUtime=0.13
/proc/9378/task/9384/stat : 9384 (java) S 9376 9378 8394 0 -1 64 334 0 0 0 12 1 0 0 16 0 8 0 279397611 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279397611 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279397611 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915448

[startup+6.26134 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 9386
/proc/meminfo: memFree=1673600/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=916472 CPUtime=6.25
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 7113 0 1 0 468 157 0 0 19 0 8 0 279397604 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 229119 6852 2480 14 0 215588 0
[pid=9378/tid=9380] ppid=9376 vsize=916472 CPUtime=0.02
/proc/9378/task/9380/stat : 9380 (java) S 9376 9378 8394 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279397608 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9381] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9376 9378 8394 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279397608 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9376 9378 8394 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279397608 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9376 9378 8394 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9376 vsize=916472 CPUtime=0.13
/proc/9378/task/9384/stat : 9384 (java) S 9376 9378 8394 0 -1 64 334 0 0 0 12 1 0 0 16 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9376 9378 8394 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 916472

[startup+12.7276 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 9386
/proc/meminfo: memFree=1673608/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=916472 CPUtime=12.71
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 7113 0 1 0 938 333 0 0 17 0 8 0 279397604 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 229118 6852 2480 14 0 215587 0
[pid=9378/tid=9380] ppid=9376 vsize=916472 CPUtime=0.02
/proc/9378/task/9380/stat : 9380 (java) S 9376 9378 8394 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279397608 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9381] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9376 9378 8394 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279397608 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9376 9378 8394 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279397608 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9376 9378 8394 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9376 vsize=916472 CPUtime=0.13
/proc/9378/task/9384/stat : 9384 (java) S 9376 9378 8394 0 -1 64 334 0 0 0 12 1 0 0 16 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9376 9378 8394 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 916472

[startup+25.5731 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 9386
/proc/meminfo: memFree=1673608/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=916476 CPUtime=25.55
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 7115 0 1 0 1867 688 0 0 18 0 8 0 279397604 938471424 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 229118 6854 2480 14 0 215587 0
[pid=9378/tid=9380] ppid=9376 vsize=916472 CPUtime=0.02
/proc/9378/task/9380/stat : 9380 (java) S 9376 9378 8394 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279397608 938467328 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9381] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9376 9378 8394 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279397608 938467328 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9376 vsize=916476 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9376 9378 8394 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279397608 938471424 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9376 9378 8394 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279397611 938467328 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9376 vsize=916472 CPUtime=0.13
/proc/9378/task/9384/stat : 9384 (java) S 9376 9378 8394 0 -1 64 336 0 0 0 12 1 0 0 16 0 8 0 279397611 938467328 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279397611 938467328 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9376 vsize=916476 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9376 9378 8394 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279397611 938471424 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 916476

[startup+51.2472 s]
/proc/loadavg: 0.96 0.98 0.99 2/77 9386
/proc/meminfo: memFree=1666184/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=916472 CPUtime=51.22
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 9054 0 1 0 4214 908 0 0 25 0 8 0 279397604 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073776782 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 229118 8787 2533 14 0 215587 0
[pid=9378/tid=9380] ppid=9376 vsize=916472 CPUtime=0.02
/proc/9378/task/9380/stat : 9380 (java) S 9376 9378 8394 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279397608 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9381] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9376 9378 8394 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279397608 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9376 9378 8394 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279397608 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9376 9378 8394 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279397611 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9376 vsize=916472 CPUtime=0.23
/proc/9378/task/9384/stat : 9384 (java) S 9376 9378 8394 0 -1 64 390 0 0 0 21 2 0 0 16 0 8 0 279397611 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279397611 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9376 9378 8394 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279397611 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 916472

Child status: 0
Real time (s): 53.9793
CPU time (s): 53.9198
CPU user time (s): 44.8272
CPU system time (s): 9.09262
CPU usage (%): 99.8897
Max. virtual memory (cumulated for all children) (KiB): 916476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.8272
system time used= 9.09262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9148
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= 1964
involuntary context switches= 625

runsolver used 0.070989 s user time and 0.131979 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Sat Jan 20 16:20:05 UTC 2007


IDJOB= 281098
IDBENCH= 12079
IDSOLVER= 68
FILE ID= node76/281098-1169310005

PBS_JOBID= 3610182

Free space on /tmp= 66650 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseLoose/vcsp-40-10-13-60-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281098-1169310005/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-281098-1169310005 -o ROOT/results/node76/solver-281098-1169310005 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281098-1169310005/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5c95bf7928149926bb645643e25ee765

RANDOM SEED= 944216901

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.254
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	: 6006.17
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.254
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1691856 kB
Buffers:         29536 kB
Cached:         271140 kB
SwapCached:       2128 kB
Active:          87472 kB
Inactive:       223028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1691856 kB
SwapTotal:     4096564 kB
SwapFree:      4087964 kB
Dirty:            1688 kB
Writeback:           0 kB
Mapped:          17364 kB
Slab:            39920 kB
Committed_AS:  8179492 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66650 MiB



End job on node76 on Sat Jan 20 16:20:59 UTC 2007