Trace number 202910

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 ACUNSAT 119.529 119.717

DiagnosticValue
CHECKS814838312
NODES568065

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-19_ext.xml
MD5SUMe2b7ad46236bd859e96b130995e62355
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark36.3195
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints335
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension335
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/202910-1168072752/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.39	       =>  wckTime=0.095  cpuTime=0.09  mem=6M951
0.39	   
0.39	   relations being loaded...
0.48	   
0.49	   constraints being loaded...
0.59	     nbConstraints=335  nbRelationTypes=335  nbExtensionStructures=335  nbSharedExtensionStructures=0
0.59	     nbConflictsStructures=335  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2896  maxDegree=24
0.59	     maxArity=2
0.59	       =>  wckTime=0.298  cpuTime=0.22  mem=12M803
0.63	   
0.63	   solver IterativeSystematicSolver being built... 
0.77	       =>  wckTime=0.482  cpuTime=0.34  mem=13M917
0.78	   
0.78	   preprocessing
0.78	     nbConstraintChecks=19  nbPropagations=41  nbRevisions=1  nbUselessRevisions=0  nbRemovedValues=1
0.78	     detectedInconsistency=no
0.78	       =>  wckTime=0.0050  cpuTime=0.0  mem=13M917
0.83	   
0.83	   search
0.83	     run=0  nbConstraintChecks=43034  nbPropagations=645  nbRevisions=7132  nbUselessRevisions=5772  nbAssignments=29
0.83	     nbFailedAssignments=11  nbBacktracks=11  nbVisitedNodes=49  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.83	     nbTooLargeKeys=0
0.83	       =>  wckTime=0.052  cpuTime=0.03  mem=14M892
0.85	   
0.85	   search
0.85	     run=1  nbConstraintChecks=87891  nbPropagations=1907  nbRevisions=21783  nbUselessRevisions=17473  nbAssignments=60
0.85	     nbFailedAssignments=21  nbBacktracks=27  nbVisitedNodes=99  nbRestartNogoods=2  mapSize=23  nbInferences=0
0.85	     nbTooLargeKeys=0
0.85	       =>  wckTime=0.072  cpuTime=0.04  mem=14M892
0.87	   
0.87	   search
0.87	     run=2  nbConstraintChecks=155626  nbPropagations=4111  nbRevisions=48560  nbUselessRevisions=38974
0.87	     nbAssignments=106  nbFailedAssignments=39  nbBacktracks=49  nbVisitedNodes=179  nbRestartNogoods=6  mapSize=43
0.87	     nbInferences=0  nbTooLargeKeys=0
0.87	       =>  wckTime=0.095  cpuTime=0.06  mem=14M892
0.89	   
0.89	   search
0.89	     run=3  nbConstraintChecks=231978  nbPropagations=7437  nbRevisions=90132  nbUselessRevisions=72338
0.89	     nbAssignments=164  nbFailedAssignments=60  nbBacktracks=82  nbVisitedNodes=276  nbRestartNogoods=9  mapSize=70
0.89	     nbInferences=0  nbTooLargeKeys=0
0.89	       =>  wckTime=0.112  cpuTime=0.07  mem=14M892
0.92	   
0.92	   search
0.92	     run=4  nbConstraintChecks=383711  nbPropagations=12698  nbRevisions=159145  nbUselessRevisions=127753
0.92	     nbAssignments=265  nbFailedAssignments=104  nbBacktracks=135  nbVisitedNodes=451  nbRestartNogoods=10  mapSize=115
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.142  cpuTime=0.1  mem=14M892
0.96	   
0.96	   search
0.96	     run=5  nbConstraintChecks=601565  nbPropagations=20739  nbRevisions=266395  nbUselessRevisions=213481
0.96	     nbAssignments=406  nbFailedAssignments=164  nbBacktracks=212  nbVisitedNodes=700  nbRestartNogoods=11  mapSize=182
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.183  cpuTime=0.14  mem=14M892
1.00	   
1.00	   search
1.00	     run=6  nbConstraintChecks=824886  nbPropagations=32176  nbRevisions=418879  nbUselessRevisions=336014
1.00	     nbAssignments=592  nbFailedAssignments=231  nbBacktracks=325  nbVisitedNodes=1020  nbRestartNogoods=15  mapSize=276
1.00	     nbInferences=0  nbTooLargeKeys=0
1.00	       =>  wckTime=0.228  cpuTime=0.18  mem=14M892
1.08	   
1.08	   search
1.08	     run=7  nbConstraintChecks=1222049  nbPropagations=49193  nbRevisions=646047  nbUselessRevisions=518572
1.08	     nbAssignments=887  nbFailedAssignments=348  nbBacktracks=497  nbVisitedNodes=1535  nbRestartNogoods=18  mapSize=422
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.3  cpuTime=0.25  mem=14M892
1.19	   
1.19	   search
1.19	     run=8  nbConstraintChecks=1863980  nbPropagations=74818  nbRevisions=992650  nbUselessRevisions=796676
1.19	     nbAssignments=1351  nbFailedAssignments=549  nbBacktracks=753  nbVisitedNodes=2345  nbRestartNogoods=23
1.19	     mapSize=642  nbInferences=0  nbTooLargeKeys=0
1.19	       =>  wckTime=0.413  cpuTime=0.36  mem=14M892
1.36	   
1.36	   search
1.36	     run=9  nbConstraintChecks=2850902  nbPropagations=113226  nbRevisions=1516425  nbUselessRevisions=1216905
1.36	     nbAssignments=1999  nbFailedAssignments=807  nbBacktracks=1138  nbVisitedNodes=3483  nbRestartNogoods=28
1.36	     mapSize=974  nbInferences=0  nbTooLargeKeys=0
1.36	       =>  wckTime=0.582  cpuTime=0.53  mem=14M892
1.39	   
1.39	   INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=14M892)
1.57	   
1.57	   search
1.57	     run=10  nbConstraintChecks=4119814  nbPropagations=169912  nbRevisions=2287344  nbUselessRevisions=1835618
1.57	     nbAssignments=2968  nbFailedAssignments=1194  nbBacktracks=1715  nbVisitedNodes=5172  nbRestartNogoods=32
1.57	       =>  wckTime=0.79  cpuTime=0.72  mem=14M892
1.86	   
1.86	   search
1.86	     run=11  nbConstraintChecks=6055380  nbPropagations=253378  nbRevisions=3431075  nbUselessRevisions=2755209
1.86	     nbAssignments=4417  nbFailedAssignments=1773  nbBacktracks=2580  nbVisitedNodes=7685  nbRestartNogoods=37
1.86	       =>  wckTime=1.082  cpuTime=1.01  mem=14M892
2.29	   
2.29	   search
2.29	     run=12  nbConstraintChecks=9043149  nbPropagations=377263  nbRevisions=5128922  nbUselessRevisions=4117905
2.29	     nbAssignments=6584  nbFailedAssignments=2637  nbBacktracks=3879  nbVisitedNodes=11434  nbRestartNogoods=43
2.29	       =>  wckTime=1.518  cpuTime=1.45  mem=14M892
3.00	   
3.00	   search
3.00	     run=13  nbConstraintChecks=13833491  nbPropagations=566198  nbRevisions=7729692  nbUselessRevisions=6206813
3.00	     nbAssignments=9992  nbFailedAssignments=4093  nbBacktracks=5826  nbVisitedNodes=17457  nbRestartNogoods=52
3.00	       =>  wckTime=2.219  cpuTime=2.15  mem=14M892
4.03	   
4.03	   search
4.03	     run=14  nbConstraintChecks=20773033  nbPropagations=851294  nbRevisions=11673969  nbUselessRevisions=9378315
4.03	     nbAssignments=15132  nbFailedAssignments=6307  nbBacktracks=8745  nbVisitedNodes=26512  nbRestartNogoods=59
4.03	       =>  wckTime=3.253  cpuTime=3.18  mem=14M892
5.62	   
5.62	   search
5.62	     run=15  nbConstraintChecks=31621800  nbPropagations=1280449  nbRevisions=17691080  nbUselessRevisions=14227488
5.62	     nbAssignments=22851  nbFailedAssignments=9642  nbBacktracks=13123  nbVisitedNodes=40136  nbRestartNogoods=67
5.62	       =>  wckTime=4.845  cpuTime=4.78  mem=14M892
8.00	   
8.00	   search
8.00	     run=16  nbConstraintChecks=47721483  nbPropagations=1925544  nbRevisions=26723872  nbUselessRevisions=21499767
8.00	     nbAssignments=34127  nbFailedAssignments=14342  nbBacktracks=19692  nbVisitedNodes=59944  nbRestartNogoods=72
8.00	       =>  wckTime=7.226  cpuTime=7.14  mem=14M892
11.73	   
11.73	   search
11.73	     run=17  nbConstraintChecks=73684962  nbPropagations=2906161  nbRevisions=40472787  nbUselessRevisions=32552847
11.73	     nbAssignments=51448  nbFailedAssignments=21806  nbBacktracks=29545  nbVisitedNodes=90611  nbRestartNogoods=83
11.73	       =>  wckTime=10.951  cpuTime=10.85  mem=14M892
17.11	   
17.11	   search
17.11	     run=18  nbConstraintChecks=110126331  nbPropagations=4380356  nbRevisions=61332541  nbUselessRevisions=49371392
17.11	     nbAssignments=77668  nbFailedAssignments=33240  nbBacktracks=44324  nbVisitedNodes=137229  nbRestartNogoods=95
17.11	       =>  wckTime=16.337  cpuTime=16.23  mem=14M892
25.01	   
25.01	   search
25.01	     run=19  nbConstraintChecks=164995481  nbPropagations=6579028  nbRevisions=92319666  nbUselessRevisions=74331009
25.01	     nbAssignments=115402  nbFailedAssignments=48798  nbBacktracks=66494  nbVisitedNodes=203438  nbRestartNogoods=104
25.01	       =>  wckTime=24.237  cpuTime=24.13  mem=14M892
36.93	   
36.93	   search
36.93	     run=20  nbConstraintChecks=245935607  nbPropagations=9866495  nbRevisions=138736794  nbUselessRevisions=111751083
36.93	     nbAssignments=172836  nbFailedAssignments=72973  nbBacktracks=99746  nbVisitedNodes=304299  nbRestartNogoods=120
36.93	       =>  wckTime=36.149  cpuTime=36.03  mem=14M892
54.63	   
54.64	   search
54.64	     run=21  nbConstraintChecks=366668817  nbPropagations=14772034  nbRevisions=208172744  nbUselessRevisions=167765066
54.64	     nbAssignments=258476  nbFailedAssignments=108727  nbBacktracks=149624  nbVisitedNodes=454759  nbRestartNogoods=131
54.64	       =>  wckTime=53.858  cpuTime=53.72  mem=14M892
81.35	   
81.35	   search
81.35	     run=22  nbConstraintChecks=550369562  nbPropagations=22116064  nbRevisions=312367905  nbUselessRevisions=251843005
81.35	     nbAssignments=386813  nbFailedAssignments=162241  nbBacktracks=224445  nbVisitedNodes=680269  nbRestartNogoods=145
81.35	       =>  wckTime=80.575  cpuTime=80.42  mem=14M892
119.65	   
119.65	   search
119.65	     run=23  nbConstraintChecks=814838293  nbPropagations=32927740  nbRevisions=466504094  nbUselessRevisions=376301319
119.65	     nbAssignments=568065  nbFailedAssignments=239474  nbBacktracks=328465  nbVisitedNodes=999935  nbRestartNogoods=147
119.65	       =>  wckTime=118.874  cpuTime=118.68  mem=14M892
119.65	   
119.65	   global
119.65	     nbConstraintChecks=814838312  nbPropagations=32927781  nbRevisions=466504095  nbUselessRevisions=376301319
119.65	     nbRestartNogoods=147  solvingWckTime=118.875  solvingCpuTime=118.68  expiredTime=no  totalExploration=yes
119.65	     nbFoundSolutions=0  globalCpuTime=119.07
119.65	       =>  wckTime=119.361  cpuTime=119.02  mem=14M892
119.66	   
119.66	s UNSATISFIABLE
119.66	d NODES 568065
119.66	d CHECKS 814838312
119.66	   
119.66	   totalWckTime=119.437  totalCpuTime=119.07

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node48/watcher-202910-1168072752 -o ROOT/results/node48/solver-202910-1168072752 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202910-1168072752/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.97 1.79 1.39 4/80 30539
/proc/meminfo: memFree=1520368/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=172 CPUtime=0
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155673932 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3531556 0 0 4096 0 0 0 0 17 0 0 0
/proc/30538/statm: 43 24 18 14 0 3 0

[startup+0.107586 s]
/proc/loadavg: 1.97 1.79 1.39 4/80 30539
/proc/meminfo: memFree=1520368/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=914988 CPUtime=0.09
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 3076 0 1 0 7 2 0 0 22 0 8 0 155673932 936947712 2822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228747 2822 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515618 s]
/proc/loadavg: 1.97 1.79 1.39 4/80 30539
/proc/meminfo: memFree=1520368/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915328 CPUtime=0.49
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 7003 0 1 0 45 4 0 0 25 0 8 0 155673932 937295872 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228832 6742 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3367 s]
/proc/loadavg: 1.97 1.79 1.39 3/87 30546
/proc/meminfo: memFree=1496696/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=1.32
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8641 0 1 0 125 7 0 0 25 0 8 0 155673932 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822980 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8379 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.21
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 383 0 0 0 20 1 0 0 15 0 8 0 155673939 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8379 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+2.98185 s]
/proc/loadavg: 1.98 1.79 1.39 3/87 30546
/proc/meminfo: memFree=1496504/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=2.96
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8666 0 1 0 289 7 0 0 25 0 8 0 155673932 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794538 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8403 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.22
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155673939 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915456

[startup+6.18915 s]
/proc/loadavg: 1.98 1.79 1.39 3/87 30546
/proc/meminfo: memFree=1496440/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=6.15
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8675 0 1 0 608 7 0 0 25 0 8 0 155673932 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8411 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.22
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 155673939 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915456

[startup+12.6627 s]
/proc/loadavg: 1.98 1.80 1.40 3/87 30546
/proc/meminfo: memFree=1496440/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=12.61
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8679 0 1 0 1254 7 0 0 25 0 8 0 155673932 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8415 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.22
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 155673939 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456

[startup+25.5259 s]
/proc/loadavg: 1.98 1.80 1.40 3/87 30546
/proc/meminfo: memFree=1496376/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=25.46
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8685 0 1 0 2539 7 0 0 25 0 8 0 155673932 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8421 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.22
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155673939 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915456

[startup+51.1553 s]
/proc/loadavg: 1.99 1.82 1.42 3/87 30546
/proc/meminfo: memFree=1496440/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=51.09
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8688 0 1 0 5101 8 0 0 25 0 8 0 155673932 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8424 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.22
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155673939 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915456

[startup+102.401 s]
/proc/loadavg: 1.99 1.84 1.45 3/87 30546
/proc/meminfo: memFree=1496440/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=102.27
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8693 0 1 0 10219 8 0 0 25 0 8 0 155673932 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795432 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8429 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.22
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155673939 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 119.717
CPU time (s): 119.529
CPU user time (s): 119.438
CPU system time (s): 0.090986
CPU usage (%): 99.8428
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.438
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8786
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= 3578
involuntary context switches= 4053

runsolver used 0.124981 s user time and 0.414936 s system time

The end

Launcher Data (download as text)

Begin job on node48 on Sat Jan  6 08:39:12 UTC 2007


IDJOB= 202910
IDBENCH= 3898
FILE ID= node48/202910-1168072752

PBS_JOBID= 3475974

Free space on /tmp= 66555 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e2b7ad46236bd859e96b130995e62355

RANDOM SEED= 163003836

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.218
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.218
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:       1520848 kB
Buffers:         28532 kB
Cached:         273592 kB
SwapCached:          0 kB
Active:         204072 kB
Inactive:       257868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1520848 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1944 kB
Writeback:           0 kB
Mapped:         180120 kB
Slab:            58256 kB
Committed_AS:  3887488 kB
PageTables:       2056 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 node48 on Sat Jan  6 08:41:12 UTC 2007