Trace number 200038

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 ACSAT 1271.69 1278.74

DiagnosticValue
CHECKS941092517
NODES902684

General information on the benchmark

Namerandom/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-25_ext.xml
MD5SUMd115ab789f4700fd86830e23be121f9b
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark308.313
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints76
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension76
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/200038-1168071882/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.39	       =>  wckTime=0.093  cpuTime=0.07  mem=6M951
0.39	   
0.39	   relations being loaded...
1.01	   
1.01	   constraints being loaded...
1.27	     nbConstraints=76  nbRelationTypes=76  nbExtensionStructures=76  nbSharedExtensionStructures=0
1.27	     nbConflictsStructures=76  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
1.27	       =>  wckTime=0.978  cpuTime=0.85  mem=50M840
1.39	   
1.39	   solver IterativeSystematicSolver being built... 
1.55	       =>  wckTime=1.253  cpuTime=0.97  mem=34M589
1.56	   
1.56	   preprocessing
1.56	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.56	     detectedInconsistency=no
1.56	       =>  wckTime=0.0040  cpuTime=0.0  mem=34M589
1.66	   
1.66	   search
1.66	     run=0  nbConstraintChecks=28522  nbValidityChecks=49426  nbPropagations=348  nbRevisions=3609
1.66	     nbUselessRevisions=2867  nbAssignments=27  nbFailedAssignments=11  nbBacktracks=12  nbVisitedNodes=45
1.66	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.66	       =>  wckTime=0.111  cpuTime=0.08  mem=35M580
1.76	   
1.76	   search
1.76	     run=1  nbConstraintChecks=79315  nbValidityChecks=148514  nbPropagations=1233  nbRevisions=14008
1.76	     nbUselessRevisions=11036  nbAssignments=71  nbFailedAssignments=34  nbBacktracks=27  nbVisitedNodes=123
1.76	     nbRestartNogoods=1  mapSize=22  nbInferences=0  nbTooLargeKeys=0
1.76	       =>  wckTime=0.205  cpuTime=0.16  mem=35M580
1.88	   
1.88	   search
1.88	     run=2  nbConstraintChecks=147529  nbValidityChecks=284824  nbPropagations=2847  nbRevisions=32692
1.88	     nbUselessRevisions=25731  nbAssignments=134  nbFailedAssignments=70  nbBacktracks=49  nbVisitedNodes=237
1.88	     nbRestartNogoods=5  mapSize=42  nbInferences=0  nbTooLargeKeys=0
1.88	       =>  wckTime=0.326  cpuTime=0.27  mem=35M580
2.04	   
2.04	   search
2.04	     run=3  nbConstraintChecks=263167  nbValidityChecks=512316  nbPropagations=5632  nbRevisions=65801
2.04	     nbUselessRevisions=51823  nbAssignments=242  nbFailedAssignments=138  nbBacktracks=82  nbVisitedNodes=436
2.04	     nbRestartNogoods=9  mapSize=72  nbInferences=0  nbTooLargeKeys=0
2.04	       =>  wckTime=0.492  cpuTime=0.43  mem=35M580
2.22	   
2.22	   search
2.22	     run=4  nbConstraintChecks=379475  nbValidityChecks=731655  nbPropagations=9736  nbRevisions=113920
2.22	     nbUselessRevisions=89538  nbAssignments=342  nbFailedAssignments=182  nbBacktracks=133  nbVisitedNodes=614
2.22	     nbRestartNogoods=20  mapSize=113  nbInferences=0  nbTooLargeKeys=0
2.22	       =>  wckTime=0.665  cpuTime=0.6  mem=35M580
2.46	   
2.46	   search
2.46	     run=5  nbConstraintChecks=537344  nbValidityChecks=1043988  nbPropagations=15830  nbRevisions=184709
2.46	     nbUselessRevisions=144841  nbAssignments=494  nbFailedAssignments=253  nbBacktracks=209  nbVisitedNodes=880
2.46	     nbRestartNogoods=25  mapSize=179  nbInferences=0  nbTooLargeKeys=0
2.46	       =>  wckTime=0.905  cpuTime=0.84  mem=35M580
2.78	   
2.78	   search
2.78	     run=6  nbConstraintChecks=760200  nbValidityChecks=1476171  nbPropagations=24826  nbRevisions=287844
2.78	     nbUselessRevisions=225438  nbAssignments=711  nbFailedAssignments=350  nbBacktracks=323  nbVisitedNodes=1264
2.78	     nbRestartNogoods=36  mapSize=276  nbInferences=0  nbTooLargeKeys=0
2.78	       =>  wckTime=1.23  cpuTime=1.16  mem=35M580
3.37	   
3.37	   search
3.37	     run=7  nbConstraintChecks=1157033  nbValidityChecks=2270919  nbPropagations=38218  nbRevisions=443215
3.37	     nbUselessRevisions=347161  nbAssignments=1088  nbFailedAssignments=551  nbBacktracks=493  nbVisitedNodes=1945
3.37	     nbRestartNogoods=43  mapSize=423  nbInferences=0  nbTooLargeKeys=0
3.37	       =>  wckTime=1.82  cpuTime=1.74  mem=35M580
4.31	   
4.31	   search
4.31	     run=8  nbConstraintChecks=1806723  nbValidityChecks=3543082  nbPropagations=59232  nbRevisions=689930
4.31	     nbUselessRevisions=540680  nbAssignments=1692  nbFailedAssignments=893  nbBacktracks=749  nbVisitedNodes=3049
4.31	     nbRestartNogoods=47  mapSize=645  nbInferences=0  nbTooLargeKeys=0
4.31	       =>  wckTime=2.761  cpuTime=2.66  mem=35M580
5.50	   
5.50	   search
5.50	     run=9  nbConstraintChecks=2642131  nbValidityChecks=5155546  nbPropagations=90423  nbRevisions=1052872
5.50	     nbUselessRevisions=824472  nbAssignments=2457  nbFailedAssignments=1268  nbBacktracks=1134  nbVisitedNodes=4423
5.50	     nbRestartNogoods=63  mapSize=962  nbInferences=0  nbTooLargeKeys=0
5.50	       =>  wckTime=3.949  cpuTime=3.84  mem=35M580
5.79	   
5.80	   INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=35M580)
7.79	   
7.79	   search
7.79	     run=10  nbConstraintChecks=4247913  nbValidityChecks=8376057  nbPropagations=138778  nbRevisions=1629560
7.79	     nbUselessRevisions=1275439  nbAssignments=3887  nbFailedAssignments=2117  nbBacktracks=1710  nbVisitedNodes=7090
7.79	     nbRestartNogoods=71
7.79	       =>  wckTime=6.238  cpuTime=6.11  mem=35M580
10.65	   
10.65	   search
10.65	     run=11  nbConstraintChecks=6406881  nbValidityChecks=12556995  nbPropagations=211751  nbRevisions=2505776
10.65	     nbUselessRevisions=1961058  nbAssignments=5992  nbFailedAssignments=3353  nbBacktracks=2576  nbVisitedNodes=10959
10.65	     nbRestartNogoods=85
10.65	       =>  wckTime=9.101  cpuTime=8.96  mem=35M580
14.15	   
14.15	   search
14.15	     run=12  nbConstraintChecks=8949620  nbValidityChecks=17496470  nbPropagations=317674  nbRevisions=3756622
14.15	     nbUselessRevisions=2938296  nbAssignments=8482  nbFailedAssignments=4540  nbBacktracks=3873  nbVisitedNodes=15421
14.15	     nbRestartNogoods=96
14.15	       =>  wckTime=12.602  cpuTime=12.44  mem=35M580
20.75	   
20.75	   search
20.75	     run=13  nbConstraintChecks=13759605  nbValidityChecks=27012678  nbPropagations=480899  nbRevisions=5692509
20.75	     nbUselessRevisions=4450696  nbAssignments=12974  nbFailedAssignments=7081  nbBacktracks=5819  nbVisitedNodes=23732
20.75	     nbRestartNogoods=105
20.75	       =>  wckTime=19.198  cpuTime=19.0  mem=35M580
29.80	   
29.80	   search
29.80	     run=14  nbConstraintChecks=20367373  nbValidityChecks=40371645  nbPropagations=732118  nbRevisions=8620027
29.80	     nbUselessRevisions=6733787  nbAssignments=19837  nbFailedAssignments=11018  nbBacktracks=8738  nbVisitedNodes=36485
29.80	     nbRestartNogoods=118
29.80	       =>  wckTime=28.248  cpuTime=28.0  mem=35M580
44.64	   
44.64	   search
44.64	     run=15  nbConstraintChecks=31468333  nbValidityChecks=62327458  nbPropagations=1115452  nbRevisions=13159865
44.64	     nbUselessRevisions=10285515  nbAssignments=30767  nbFailedAssignments=17564  nbBacktracks=13116
44.64	     nbVisitedNodes=56730  nbRestartNogoods=141
44.64	       =>  wckTime=43.09  cpuTime=42.75  mem=35M580
66.25	   
66.25	   search
66.25	     run=16  nbConstraintChecks=47371475  nbValidityChecks=93423044  nbPropagations=1691965  nbRevisions=19942697
66.25	     nbUselessRevisions=15582752  nbAssignments=45411  nbFailedAssignments=25634  nbBacktracks=19685
66.25	     nbVisitedNodes=83655  nbRestartNogoods=159
66.25	       =>  wckTime=64.7  cpuTime=64.25  mem=35M580
106.93	   
106.93	   search
106.93	     run=17  nbConstraintChecks=77663316  nbValidityChecks=153866174  nbPropagations=2592705  nbRevisions=30773026
106.93	     nbUselessRevisions=24050004  nbAssignments=73625  nbFailedAssignments=43991  nbBacktracks=29537
106.93	     nbVisitedNodes=137353  nbRestartNogoods=171
106.93	       =>  wckTime=105.376  cpuTime=104.7  mem=35M580
152.29	   
152.29	   search
152.29	     run=18  nbConstraintChecks=110384257  nbValidityChecks=217699335  nbPropagations=3898849  nbRevisions=46240969
152.29	     nbUselessRevisions=36113932  nbAssignments=104225  nbFailedAssignments=59805  nbBacktracks=44315
152.29	     nbVisitedNodes=192658  nbRestartNogoods=198
152.29	       =>  wckTime=150.737  cpuTime=149.81  mem=35M580
216.89	   
216.89	   search
216.89	     run=19  nbConstraintChecks=157127292  nbValidityChecks=310887762  nbPropagations=5817175  nbRevisions=68636562
216.89	     nbUselessRevisions=53571433  nbAssignments=151656  nbFailedAssignments=85063  nbBacktracks=66483
216.89	     nbVisitedNodes=279147  nbRestartNogoods=215
216.89	       =>  wckTime=215.34  cpuTime=214.06  mem=35M580
340.46	   
340.46	   search
340.46	     run=20  nbConstraintChecks=249585661  nbValidityChecks=493152161  nbPropagations=8790038  nbRevisions=104065706
340.46	     nbUselessRevisions=81248392  nbAssignments=238326  nbFailedAssignments=138475  nbBacktracks=99736
340.46	     nbVisitedNodes=440861  nbRestartNogoods=233
340.46	       =>  wckTime=338.906  cpuTime=336.95  mem=35M580
501.31	   
501.31	   search
501.31	     run=21  nbConstraintChecks=367454815  nbValidityChecks=729532121  nbPropagations=13260413  nbRevisions=156689504
501.31	     nbUselessRevisions=122345862  nbAssignments=352645  nbFailedAssignments=202910  nbBacktracks=149616
501.31	     nbVisitedNodes=652685  nbRestartNogoods=256
501.31	       =>  wckTime=499.761  cpuTime=496.91  mem=35M580
757.94	   
757.94	   search
757.94	     run=22  nbConstraintChecks=558009551  nbValidityChecks=1103113988  nbPropagations=19952995  nbRevisions=236085168
757.94	     nbUselessRevisions=184400564  nbAssignments=530727  nbFailedAssignments=306168  nbBacktracks=224434
757.94	     nbVisitedNodes=981073  nbRestartNogoods=278
757.94	       =>  wckTime=756.384  cpuTime=752.14  mem=35M580
1107.18	   
1107.18	   search
1107.18	     run=23  nbConstraintChecks=812444674  nbValidityChecks=1612916410  nbPropagations=29887891  nbRevisions=352438149
1107.18	     nbUselessRevisions=275222899  nbAssignments=778482  nbFailedAssignments=441689  nbBacktracks=336661
1107.18	     nbVisitedNodes=1436681  nbRestartNogoods=296
1107.18	       =>  wckTime=1105.63  cpuTime=1099.45  mem=35M580
1278.70	   
1278.70	   search
1278.70	     run=24  nbConstraintChecks=941092517  nbValidityChecks=1871083478  nbPropagations=41293045  nbRevisions=487050992
1278.70	     nbUselessRevisions=380409147  nbAssignments=902684  nbFailedAssignments=521805  nbBacktracks=380723
1278.70	     nbVisitedNodes=1670709  nbRestartNogoods=329
1278.70	       =>  wckTime=1277.147  cpuTime=1270.02  mem=35M580
1278.70	   
1278.70	   global
1278.70	     nbConstraintChecks=941092517  nbValidityChecks=1871083478  nbPropagations=41293069  nbRevisions=487050992
1278.70	     nbUselessRevisions=380409147  nbRestartNogoods=329  solvingWckTime=1277.148  solvingCpuTime=1270.03  expiredTime=no
1278.70	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=1271.06
1278.70	       =>  wckTime=1278.404  cpuTime=1271.0  mem=35M580
1278.70	   
1278.70	s SATISFIABLE
1278.70	v 5 12 11 18 13 6 11 21 12 10 20 12 7 4 5 18 22 19 2 6 9 10 18 2 
1278.70	d NODES 902684
1278.70	d CHECKS 941092517
1278.70	   
1278.70	   totalWckTime=1278.482  totalCpuTime=1271.06

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/node25/watcher-200038-1168071882 -o ROOT/results/node25/solver-200038-1168071882 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200038-1168071882/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.57 1.15 1.07 4/93 29378
/proc/meminfo: memFree=1593328/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=1452 CPUtime=0
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 287 0 0 0 0 0 0 0 18 0 1 0 155580627 1486848 82 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 134557648 0 0 4096 0 0 0 0 17 0 0 0
/proc/29377/statm: 365 96 76 14 0 10 0

[startup+0.107497 s]
/proc/loadavg: 1.57 1.15 1.07 4/93 29378
/proc/meminfo: memFree=1593328/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=914988 CPUtime=0.09
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 3073 0 1 0 7 2 0 0 22 0 8 0 155580627 936947712 2819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228747 2820 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515565 s]
/proc/loadavg: 1.57 1.15 1.07 4/93 29378
/proc/meminfo: memFree=1593328/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915328 CPUtime=0.5
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 8232 0 1 0 45 5 0 0 25 0 8 0 155580627 937295872 7971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228832 7972 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33871 s]
/proc/loadavg: 1.61 1.17 1.07 3/100 29385
/proc/meminfo: memFree=1526328/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=1.32
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 19149 0 1 0 122 10 0 0 25 0 8 0 155580627 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 18886 2170 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.11
/proc/29377/task/29379/stat : 29379 (java) R 29375 29377 29178 0 -1 64 2660 0 0 0 10 1 0 0 16 0 8 0 155580630 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155135518 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.1
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 323 0 0 0 10 0 0 0 16 0 8 0 155580634 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 18886 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) 915420

[startup+2.992 s]
/proc/loadavg: 1.61 1.17 1.07 3/100 29385
/proc/meminfo: memFree=1509944/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=2.96
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23549 0 1 0 284 12 0 0 25 0 8 0 155580627 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23284 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155580630 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.2
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 373 0 0 0 20 0 0 0 15 0 8 0 155580634 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23284 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) 915420

[startup+6.27754 s]
/proc/loadavg: 1.61 1.17 1.07 3/100 29385
/proc/meminfo: memFree=1509760/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=6.22
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23567 0 1 0 610 12 0 0 25 0 8 0 155580627 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23299 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155580630 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 389 0 0 0 23 1 0 0 15 0 8 0 155580634 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915420

[startup+12.7716 s]
/proc/loadavg: 1.67 1.19 1.08 3/100 29385
/proc/meminfo: memFree=1509768/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=12.69
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23570 0 1 0 1257 12 0 0 25 0 8 0 155580627 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819465 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23302 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915420

[startup+25.6298 s]
/proc/loadavg: 1.72 1.22 1.09 3/100 29385
/proc/meminfo: memFree=1509832/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=25.49
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 2536 13 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073769681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915420

[startup+51.2612 s]
/proc/loadavg: 1.81 1.28 1.11 3/100 29385
/proc/meminfo: memFree=1509896/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=50.96
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 5083 13 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915420

[startup+102.527 s]
/proc/loadavg: 1.92 1.40 1.16 3/100 29385
/proc/meminfo: memFree=1510024/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=101.94
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 10181 13 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915420

[startup+162.543 s]
/proc/loadavg: 1.97 1.51 1.21 3/100 29385
/proc/meminfo: memFree=1510024/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=161.64
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 16151 13 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757701 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

################
# More data... #
################

/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 818.14
Current children cumulated vsize (KiB) 915420

[startup+882.718 s]
/proc/loadavg: 2.00 1.95 1.63 3/100 29385
/proc/meminfo: memFree=1509832/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=877.84
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 87769 15 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 877.84
Current children cumulated vsize (KiB) 915420

[startup+942.74 s]
/proc/loadavg: 2.08 1.98 1.65 3/100 29385
/proc/meminfo: memFree=1509832/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=937.56
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 93740 16 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628005 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 937.56
Current children cumulated vsize (KiB) 915420

[startup+1002.75 s]
/proc/loadavg: 2.03 1.98 1.67 3/100 29385
/proc/meminfo: memFree=1509832/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=997.22
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 99706 16 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 997.22
Current children cumulated vsize (KiB) 915420

[startup+1062.76 s]
/proc/loadavg: 2.01 1.98 1.69 3/100 29385
/proc/meminfo: memFree=1509768/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=1056.9
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 105674 16 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1056.9
Current children cumulated vsize (KiB) 915420

[startup+1122.77 s]
/proc/loadavg: 2.00 1.98 1.70 4/100 29385
/proc/meminfo: memFree=1509832/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=1116.6
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 111644 16 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757577 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1116.6
Current children cumulated vsize (KiB) 915420

[startup+1182.79 s]
/proc/loadavg: 2.00 1.98 1.72 3/100 29385
/proc/meminfo: memFree=1509832/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=1176.26
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 117610 16 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757620 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1176.26
Current children cumulated vsize (KiB) 915420

[startup+1242.8 s]
/proc/loadavg: 2.08 1.99 1.74 3/100 29385
/proc/meminfo: memFree=1509768/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=1235.96
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 123580 16 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1235.96
Current children cumulated vsize (KiB) 915420

Child status: 0
Real time (s): 1278.74
CPU time (s): 1271.69
CPU user time (s): 1271.5
CPU system time (s): 0.189971
CPU usage (%): 99.4487
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1271.5
system time used= 0.189971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23580
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= 27015
involuntary context switches= 76977

runsolver used 1.69874 s user time and 3.9714 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Sat Jan  6 08:24:42 UTC 2007


IDJOB= 200038
IDBENCH= 3684
FILE ID= node25/200038-1168071882

PBS_JOBID= 3475962

Free space on /tmp= 66542 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200038-1168071882/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-200038-1168071882 -o ROOT/results/node25/solver-200038-1168071882 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200038-1168071882/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d115ab789f4700fd86830e23be121f9b

RANDOM SEED= 310540156

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.279
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.279
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:       1593744 kB
Buffers:         41496 kB
Cached:         217040 kB
SwapCached:          0 kB
Active:         157948 kB
Inactive:       232352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1593744 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4708 kB
Writeback:           0 kB
Mapped:         160752 kB
Slab:            56292 kB
Committed_AS:  3649212 kB
PageTables:       2516 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= 66542 MiB



End job on node25 on Sat Jan  6 08:46:01 UTC 2007