Trace number 208235

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
Abscon 109 ESACSAT 24.4963 24.7603

DiagnosticValue
CHECKS148307866
NODES104766

General information on the benchmark

Namerandom/rand-2-40-19-fcd/
rand-2-40-19-443-230-fcd-13_ext.xml
MD5SUMce607d986bea91dac75aa4b7cf5a42bb
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.2018
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints342
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension342
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.35	   instance
0.35	     name=/tmp/evaluation/208235-1168186263/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.42	       =>  wckTime=0.101  cpuTime=0.1  mem=6M951
0.42	   
0.42	   relations being loaded...
0.53	   
0.53	   constraints being loaded...
0.64	     nbConstraints=342  nbRelationTypes=342  nbExtensionStructures=342  nbSharedExtensionStructures=0
0.64	     nbConflictsStructures=342  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=3020  maxDegree=24
0.64	     maxArity=2
0.64	       =>  wckTime=0.328  cpuTime=0.24  mem=12M811
0.69	   
0.69	   solver IterativeSystematicSolver being built... 
0.85	       =>  wckTime=0.533  cpuTime=0.37  mem=15M19
0.90	   
0.90	   preprocessing
0.90	     nbConstraintChecks=56407  nbPropagations=794  nbRevisions=5825  nbUselessRevisions=4817  nbSingletonTests=45
0.90	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.90	       =>  wckTime=0.05  cpuTime=0.03  mem=15M19
0.93	   
0.93	   search
0.93	     run=0  nbConstraintChecks=36300  nbPropagations=1319  nbRevisions=12371  nbUselessRevisions=10005  nbAssignments=28
0.93	     nbFailedAssignments=8  nbBacktracks=15  nbVisitedNodes=46  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.93	     nbTooLargeKeys=0
0.93	       =>  wckTime=0.075  cpuTime=0.05  mem=15M19
0.95	   
0.95	   search
0.95	     run=1  nbConstraintChecks=100192  nbPropagations=3431  nbRevisions=35454  nbUselessRevisions=28407
0.95	     nbAssignments=67  nbFailedAssignments=26  nbBacktracks=31  nbVisitedNodes=115  nbRestartNogoods=1  mapSize=25
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.099  cpuTime=0.07  mem=15M19
0.97	   
0.97	   search
0.97	     run=2  nbConstraintChecks=176316  nbPropagations=6539  nbRevisions=71408  nbUselessRevisions=57041
0.97	     nbAssignments=116  nbFailedAssignments=47  nbBacktracks=53  nbVisitedNodes=198  nbRestartNogoods=2  mapSize=43
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.119  cpuTime=0.08  mem=15M19
0.99	   
0.99	   search
0.99	     run=3  nbConstraintChecks=277870  nbPropagations=11053  nbRevisions=124093  nbUselessRevisions=99203
0.99	     nbAssignments=193  nbFailedAssignments=71  nbBacktracks=86  nbVisitedNodes=301  nbRestartNogoods=9  mapSize=72
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.14  cpuTime=0.1  mem=15M19
1.03	   
1.03	   search
1.03	     run=4  nbConstraintChecks=430265  nbPropagations=17586  nbRevisions=202968  nbUselessRevisions=162011
1.03	     nbAssignments=308  nbFailedAssignments=124  nbBacktracks=141  nbVisitedNodes=495  nbRestartNogoods=12  mapSize=119
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.173  cpuTime=0.13  mem=15M19
1.07	   
1.07	   search
1.07	     run=5  nbConstraintChecks=628567  nbPropagations=26652  nbRevisions=317947  nbUselessRevisions=253762
1.07	     nbAssignments=452  nbFailedAssignments=185  nbBacktracks=218  nbVisitedNodes=746  nbRestartNogoods=14  mapSize=187
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.215  cpuTime=0.17  mem=15M19
1.12	   
1.12	   search
1.12	     run=6  nbConstraintChecks=903520  nbPropagations=39455  nbRevisions=486225  nbUselessRevisions=388836
1.12	     nbAssignments=654  nbFailedAssignments=267  nbBacktracks=331  nbVisitedNodes=1103  nbRestartNogoods=17  mapSize=287
1.13	     nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.269  cpuTime=0.22  mem=15M19
1.21	   
1.21	   search
1.21	     run=7  nbConstraintChecks=1423580  nbPropagations=58493  nbRevisions=737008  nbUselessRevisions=589020
1.21	     nbAssignments=962  nbFailedAssignments=399  nbBacktracks=503  nbVisitedNodes=1650  nbRestartNogoods=26  mapSize=438
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.364  cpuTime=0.31  mem=15M19
1.34	   
1.34	   search
1.34	     run=8  nbConstraintChecks=2063970  nbPropagations=85862  nbRevisions=1106849  nbUselessRevisions=884792
1.34	     nbAssignments=1417  nbFailedAssignments=592  nbBacktracks=760  nbVisitedNodes=2446  nbRestartNogoods=30
1.34	     mapSize=665  nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.486  cpuTime=0.43  mem=15M19
1.52	   
1.52	   search
1.52	     run=9  nbConstraintChecks=3041935  nbPropagations=125616  nbRevisions=1642533  nbUselessRevisions=1311888
1.52	     nbAssignments=2089  nbFailedAssignments=876  nbBacktracks=1144  nbVisitedNodes=3626  nbRestartNogoods=36
1.52	     mapSize=995  nbInferences=0  nbTooLargeKeys=0
1.52	       =>  wckTime=0.667  cpuTime=0.6  mem=15M19
1.55	   
1.55	   INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=15M19)
1.77	   
1.77	   search
1.77	     run=10  nbConstraintChecks=4456746  nbPropagations=183402  nbRevisions=2436638  nbUselessRevisions=1947437
1.77	     nbAssignments=3080  nbFailedAssignments=1285  nbBacktracks=1720  nbVisitedNodes=5352  nbRestartNogoods=43
1.77	       =>  wckTime=0.915  cpuTime=0.83  mem=15M19
2.08	   
2.08	   search
2.08	     run=11  nbConstraintChecks=6373250  nbPropagations=267117  nbRevisions=3581600  nbUselessRevisions=2863512
2.08	     nbAssignments=4506  nbFailedAssignments=1841  nbBacktracks=2585  nbVisitedNodes=7829  nbRestartNogoods=49
2.08	       =>  wckTime=1.228  cpuTime=1.14  mem=15M19
2.56	   
2.56	   search
2.56	     run=12  nbConstraintChecks=9254175  nbPropagations=390852  nbRevisions=5270083  nbUselessRevisions=4215150
2.56	     nbAssignments=6698  nbFailedAssignments=2729  nbBacktracks=3882  nbVisitedNodes=11620  nbRestartNogoods=56
2.56	       =>  wckTime=1.706  cpuTime=1.61  mem=15M19
3.33	   
3.33	   search
3.33	     run=13  nbConstraintChecks=14105553  nbPropagations=576648  nbRevisions=7867309  nbUselessRevisions=6300943
3.33	     nbAssignments=10102  nbFailedAssignments=4177  nbBacktracks=5829  nbVisitedNodes=17628  nbRestartNogoods=64
3.33	       =>  wckTime=2.482  cpuTime=2.38  mem=15M19
4.40	   
4.40	   search
4.40	     run=14  nbConstraintChecks=20587478  nbPropagations=851895  nbRevisions=11676898  nbUselessRevisions=9357886
4.40	     nbAssignments=14967  nbFailedAssignments=6101  nbBacktracks=8749  nbVisitedNodes=26074  nbRestartNogoods=70
4.40	       =>  wckTime=3.545  cpuTime=3.44  mem=15M19
6.12	   
6.13	   search
6.13	     run=15  nbConstraintChecks=31375843  nbPropagations=1266097  nbRevisions=17502271  nbUselessRevisions=14042972
6.13	     nbAssignments=22463  nbFailedAssignments=9214  nbBacktracks=13127  nbVisitedNodes=39302  nbRestartNogoods=75
6.13	       =>  wckTime=5.275  cpuTime=5.15  mem=15M19
8.71	   
8.71	   search
8.71	     run=16  nbConstraintChecks=47690226  nbPropagations=1893963  nbRevisions=26259801  nbUselessRevisions=21064344
8.71	     nbAssignments=33848  nbFailedAssignments=14024  nbBacktracks=19696  nbVisitedNodes=59263  nbRestartNogoods=80
8.71	       =>  wckTime=7.858  cpuTime=7.71  mem=15M19
12.31	   
12.31	   search
12.31	     run=17  nbConstraintChecks=70202850  nbPropagations=2816138  nbRevisions=39225812  nbUselessRevisions=31484564
12.31	     nbAssignments=50240  nbFailedAssignments=20558  nbBacktracks=29548  nbVisitedNodes=87734  nbRestartNogoods=87
12.31	       =>  wckTime=11.458  cpuTime=11.28  mem=15M995
18.00	   
18.00	   search
18.00	     run=18  nbConstraintChecks=105735515  nbPropagations=4211891  nbRevisions=58820637  nbUselessRevisions=47240086
18.00	     nbAssignments=75542  nbFailedAssignments=31073  nbBacktracks=44328  nbVisitedNodes=132129  nbRestartNogoods=97
18.00	       =>  wckTime=17.149  cpuTime=16.92  mem=15M995
24.71	   
24.71	   search
24.71	     run=19  nbConstraintChecks=148251459  nbPropagations=6149035  nbRevisions=86049865  nbUselessRevisions=69117514
24.71	     nbAssignments=104766  nbFailedAssignments=43172  nbBacktracks=61413  nbVisitedNodes=183316  nbRestartNogoods=114
24.71	       =>  wckTime=23.856  cpuTime=23.57  mem=15M995
24.71	   
24.71	   global
24.71	     nbConstraintChecks=148307866  nbPropagations=6149829  nbRevisions=86055690  nbUselessRevisions=69122331
24.71	     nbRestartNogoods=114  solvingWckTime=23.857  solvingCpuTime=23.57  expiredTime=no  totalExploration=no
24.71	     nbFoundSolutions=1  globalCpuTime=23.99
24.71	       =>  wckTime=24.393  cpuTime=23.94  mem=15M995
24.71	   
24.71	s SATISFIABLE
24.71	v 10 3 5 1 10 7 8 10 5 11 7 13 14 7 6 3 11 4 8 6 1 3 1 10 5 9 11 11 1 16 9 11 13 11 10 3 3 2 6 12 
24.71	d NODES 104766
24.71	d CHECKS 148307866
24.71	   
24.71	   totalWckTime=24.475  totalCpuTime=24.0

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node56/watcher-208235-1168186263 -o ROOT/results/node56/solver-208235-1168186263 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208235-1168186263/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.86 1.95 1.90 4/75 8973
/proc/meminfo: memFree=1570752/2055920 swapFree=4184772/4192956
[pid=8972] ppid=8970 vsize=47976 CPUtime=0
/proc/8972/stat : 8972 (java) D 8970 8972 7886 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 167024485 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/8972/statm: 11994 972 769 14 0 1707 0

[startup+0.103742 s]
/proc/loadavg: 1.86 1.95 1.90 4/75 8973
/proc/meminfo: memFree=1570752/2055920 swapFree=4184772/4192956
[pid=8972] ppid=8970 vsize=914988 CPUtime=0.08
/proc/8972/stat : 8972 (java) D 8970 8972 7886 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 167024485 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8972/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511783 s]
/proc/loadavg: 1.86 1.95 1.90 4/75 8973
/proc/meminfo: memFree=1570752/2055920 swapFree=4184772/4192956
[pid=8972] ppid=8970 vsize=915328 CPUtime=0.49
/proc/8972/stat : 8972 (java) R 8970 8972 7886 0 -1 0 6789 0 1 0 45 4 0 0 18 0 8 0 167024485 937295872 6528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8972/statm: 228832 6528 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33286 s]
/proc/loadavg: 1.86 1.95 1.90 3/82 8980
/proc/meminfo: memFree=1546824/2055920 swapFree=4184772/4192956
[pid=8972] ppid=8970 vsize=915456 CPUtime=1.29
/proc/8972/stat : 8972 (java) R 8970 8972 7886 0 -1 0 8721 0 1 0 123 6 0 0 24 0 8 0 167024485 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8972/statm: 228864 8459 2524 14 0 215334 0
[pid=8972/tid=8974] ppid=8970 vsize=915456 CPUtime=0.03
/proc/8972/task/8974/stat : 8974 (java) S 8970 8972 7886 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 167024488 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8975] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8975/stat : 8975 (java) S 8970 8972 7886 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167024489 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8976] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8976/stat : 8976 (java) S 8970 8972 7886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167024489 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8977] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8977/stat : 8977 (java) S 8970 8972 7886 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167024492 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8978] ppid=8970 vsize=915456 CPUtime=0.21
/proc/8972/task/8978/stat : 8978 (java) S 8970 8972 7886 0 -1 64 377 0 0 0 21 0 0 0 16 0 8 0 167024492 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8979] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8979/stat : 8979 (java) S 8970 8972 7886 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167024492 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8980] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8980/stat : 8980 (java) S 8970 8972 7886 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167024492 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456

[startup+2.98502 s]
/proc/loadavg: 1.86 1.95 1.90 4/82 8980
/proc/meminfo: memFree=1546504/2055920 swapFree=4184772/4192956
[pid=8972] ppid=8970 vsize=915456 CPUtime=2.93
/proc/8972/stat : 8972 (java) R 8970 8972 7886 0 -1 0 8771 0 1 0 287 6 0 0 25 0 8 0 167024485 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8972/statm: 228864 8508 2524 14 0 215334 0
[pid=8972/tid=8974] ppid=8970 vsize=915456 CPUtime=0.03
/proc/8972/task/8974/stat : 8974 (java) S 8970 8972 7886 0 -1 64 289 0 0 0 3 0 0 0 17 0 8 0 167024488 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8975] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8975/stat : 8975 (java) S 8970 8972 7886 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167024489 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8976] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8976/stat : 8976 (java) S 8970 8972 7886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167024489 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8977] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8977/stat : 8977 (java) S 8970 8972 7886 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167024492 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8978] ppid=8970 vsize=915456 CPUtime=0.25
/proc/8972/task/8978/stat : 8978 (java) S 8970 8972 7886 0 -1 64 392 0 0 0 24 1 0 0 15 0 8 0 167024492 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8979] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8979/stat : 8979 (java) S 8970 8972 7886 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167024492 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8980] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8980/stat : 8980 (java) S 8970 8972 7886 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167024492 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456

[startup+6.18633 s]
/proc/loadavg: 1.87 1.95 1.90 3/82 8980
/proc/meminfo: memFree=1546440/2055920 swapFree=4184772/4192956
[pid=8972] ppid=8970 vsize=915456 CPUtime=6.1
/proc/8972/stat : 8972 (java) R 8970 8972 7886 0 -1 0 8781 0 1 0 604 6 0 0 25 0 8 0 167024485 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807521 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8972/statm: 228864 8516 2524 14 0 215334 0
[pid=8972/tid=8974] ppid=8970 vsize=915456 CPUtime=0.03
/proc/8972/task/8974/stat : 8974 (java) S 8970 8972 7886 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 167024488 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8975] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8975/stat : 8975 (java) S 8970 8972 7886 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167024489 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8976] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8976/stat : 8976 (java) S 8970 8972 7886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167024489 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8977] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8977/stat : 8977 (java) S 8970 8972 7886 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167024492 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8978] ppid=8970 vsize=915456 CPUtime=0.25
/proc/8972/task/8978/stat : 8978 (java) S 8970 8972 7886 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 167024492 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8979] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8979/stat : 8979 (java) S 8970 8972 7886 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167024492 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8980] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8980/stat : 8980 (java) S 8970 8972 7886 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167024492 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915456

[startup+12.661 s]
/proc/loadavg: 1.88 1.95 1.90 3/82 8980
/proc/meminfo: memFree=1546376/2055920 swapFree=4184772/4192956
[pid=8972] ppid=8970 vsize=915456 CPUtime=12.52
/proc/8972/stat : 8972 (java) R 8970 8972 7886 0 -1 0 8785 0 1 0 1246 6 0 0 25 0 8 0 167024485 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8972/statm: 228864 8520 2524 14 0 215334 0
[pid=8972/tid=8974] ppid=8970 vsize=915456 CPUtime=0.03
/proc/8972/task/8974/stat : 8974 (java) S 8970 8972 7886 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 167024488 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8975] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8975/stat : 8975 (java) S 8970 8972 7886 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167024489 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8976] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8976/stat : 8976 (java) S 8970 8972 7886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167024489 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8977] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8977/stat : 8977 (java) S 8970 8972 7886 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167024492 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8978] ppid=8970 vsize=915456 CPUtime=0.25
/proc/8972/task/8978/stat : 8978 (java) S 8970 8972 7886 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 167024492 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8979] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8979/stat : 8979 (java) S 8970 8972 7886 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167024492 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8972/tid=8980] ppid=8970 vsize=915456 CPUtime=0
/proc/8972/task/8980/stat : 8980 (java) S 8970 8972 7886 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167024492 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 24.7603
CPU time (s): 24.4963
CPU user time (s): 24.4213
CPU system time (s): 0.074988
CPU usage (%): 98.9338
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.4213
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8879
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= 1629
involuntary context switches= 2298

runsolver used 0.051992 s user time and 0.071989 s system time

The end

Launcher Data (download as text)

Begin job on node56 on Sun Jan  7 16:11:03 UTC 2007


IDJOB= 208235
IDBENCH= 4360
FILE ID= node56/208235-1168186263

PBS_JOBID= 3479223

Free space on /tmp= 66555 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208235-1168186263/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node56/watcher-208235-1168186263 -o ROOT/results/node56/solver-208235-1168186263 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208235-1168186263/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ce607d986bea91dac75aa4b7cf5a42bb

RANDOM SEED= 830266946

TIME LIMIT= 1800 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.232
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.232
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:       1571232 kB
Buffers:         41236 kB
Cached:         355616 kB
SwapCached:       2104 kB
Active:          99828 kB
Inactive:       314932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1571232 kB
SwapTotal:     4192956 kB
SwapFree:      4184772 kB
Dirty:            1896 kB
Writeback:           0 kB
Mapped:          26436 kB
Slab:            55284 kB
Committed_AS:  3224588 kB
PageTables:       1888 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= 66555 MiB



End job on node56 on Sun Jan  7 16:11:28 UTC 2007