Trace number 218245

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 ESACUNSAT 225.117 225.502

DiagnosticValue
CHECKS195158359
NODES233910

General information on the benchmark

Namerandom/rand-3-20-20/
rand-3-20-20-60-632-39_ext.xml
MD5SUM918b09b7eb625e123c6667f6d3972f6b
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark123.037
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables20
Number of constraints59
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension59
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/218245-1168251856/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20
0.42	       =>  wckTime=0.1  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
0.70	   
0.70	   constraints being loaded...
0.86	     nbConstraints=59  nbRelationTypes=59  nbExtensionStructures=59  nbSharedExtensionStructures=0
0.86	     nbConflictsStructures=59  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
0.86	       =>  wckTime=0.548  cpuTime=0.5  mem=43M472
0.95	   
0.95	   solver IterativeSystematicSolver being built... 
1.12	       =>  wckTime=0.804  cpuTime=0.64  mem=21M363
1.20	   
1.20	   preprocessing
1.20	     nbConstraintChecks=16961  nbValidityChecks=27826  nbPropagations=141  nbRevisions=1412  nbUselessRevisions=1189
1.20	     nbSingletonTests=24  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.20	       =>  wckTime=0.074  cpuTime=0.05  mem=21M363
1.27	   
1.27	   search
1.27	     run=0  nbConstraintChecks=30989  nbValidityChecks=67428  nbPropagations=567  nbRevisions=6229
1.27	     nbUselessRevisions=4963  nbAssignments=55  nbFailedAssignments=41  nbBacktracks=10  nbVisitedNodes=106
1.27	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.146  cpuTime=0.11  mem=22M364
1.33	   
1.33	   search
1.33	     run=1  nbConstraintChecks=65810  nbValidityChecks=144024  nbPropagations=1718  nbRevisions=19048
1.33	     nbUselessRevisions=14999  nbAssignments=106  nbFailedAssignments=72  nbBacktracks=25  nbVisitedNodes=201
1.33	     nbRestartNogoods=2  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.211  cpuTime=0.16  mem=22M364
1.41	   
1.41	   search
1.41	     run=2  nbConstraintChecks=113271  nbValidityChecks=248349  nbPropagations=3631  nbRevisions=40367
1.41	     nbUselessRevisions=31783  nbAssignments=175  nbFailedAssignments=104  nbBacktracks=48  nbVisitedNodes=311
1.41	     nbRestartNogoods=10  mapSize=46  nbInferences=0  nbTooLargeKeys=0
1.41	       =>  wckTime=0.287  cpuTime=0.24  mem=22M364
1.53	   
1.53	   search
1.53	     run=3  nbConstraintChecks=194812  nbValidityChecks=419281  nbPropagations=6840  nbRevisions=76690
1.53	     nbUselessRevisions=60120  nbAssignments=288  nbFailedAssignments=179  nbBacktracks=83  nbVisitedNodes=528
1.53	     nbRestartNogoods=11  mapSize=78  nbInferences=0  nbTooLargeKeys=0
1.53	       =>  wckTime=0.406  cpuTime=0.35  mem=22M364
1.63	   
1.63	   search
1.63	     run=4  nbConstraintChecks=263243  nbValidityChecks=565408  nbPropagations=11191  nbRevisions=125246
1.63	     nbUselessRevisions=97961  nbAssignments=392  nbFailedAssignments=230  nbBacktracks=133  nbVisitedNodes=710
1.63	     nbRestartNogoods=12  mapSize=119  nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.503  cpuTime=0.44  mem=22M364
1.83	   
1.83	   search
1.83	     run=5  nbConstraintChecks=412902  nbValidityChecks=885735  nbPropagations=17789  nbRevisions=198332
1.83	     nbUselessRevisions=154752  nbAssignments=607  nbFailedAssignments=366  nbBacktracks=208  nbVisitedNodes=1111
1.83	     nbRestartNogoods=15  mapSize=184  nbInferences=0  nbTooLargeKeys=0
1.83	       =>  wckTime=0.713  cpuTime=0.64  mem=22M364
2.17	   
2.17	   search
2.17	     run=6  nbConstraintChecks=660601  nbValidityChecks=1407574  nbPropagations=28111  nbRevisions=313588
2.17	     nbUselessRevisions=244355  nbAssignments=919  nbFailedAssignments=560  nbBacktracks=321  nbVisitedNodes=1702
2.17	     nbRestartNogoods=19  mapSize=293  nbInferences=0  nbTooLargeKeys=0
2.17	       =>  wckTime=1.047  cpuTime=0.98  mem=22M364
2.80	   
2.80	   search
2.80	     run=7  nbConstraintChecks=1132663  nbValidityChecks=2379132  nbPropagations=44398  nbRevisions=497449
2.80	     nbUselessRevisions=386905  nbAssignments=1383  nbFailedAssignments=839  nbBacktracks=491  nbVisitedNodes=2575
2.80	     nbRestartNogoods=24  mapSize=458  nbInferences=0  nbTooLargeKeys=0
2.80	       =>  wckTime=1.677  cpuTime=1.59  mem=22M364
3.49	   
3.49	   search
3.49	     run=8  nbConstraintChecks=1648073  nbValidityChecks=3511164  nbPropagations=67781  nbRevisions=763721
3.49	     nbUselessRevisions=593748  nbAssignments=2063  nbFailedAssignments=1259  nbBacktracks=748  nbVisitedNodes=3850
3.49	     nbRestartNogoods=30  mapSize=697  nbInferences=0  nbTooLargeKeys=0
3.49	       =>  wckTime=2.373  cpuTime=2.27  mem=22M364
4.79	   
4.79	   INFO : Stopping hyperNogood (mapSize=1044, nbTooLargekeys=0, mem=22M364)
4.89	   
4.89	   search
4.89	     run=9  nbConstraintChecks=2761742  nbValidityChecks=5841817  nbPropagations=106848  nbRevisions=1215527
4.89	     nbUselessRevisions=944128  nbAssignments=3489  nbFailedAssignments=2298  nbBacktracks=1133  nbVisitedNodes=6639
4.89	     nbRestartNogoods=36
4.89	       =>  wckTime=3.766  cpuTime=3.65  mem=22M364
6.39	   
6.39	   search
6.39	     run=10  nbConstraintChecks=3954642  nbValidityChecks=8371399  nbPropagations=163693  nbRevisions=1865797
6.39	     nbUselessRevisions=1448431  nbAssignments=5098  nbFailedAssignments=3326  nbBacktracks=1711  nbVisitedNodes=9687
6.39	     nbRestartNogoods=38
6.39	       =>  wckTime=5.267  cpuTime=5.13  mem=22M364
9.02	   
9.02	   search
9.02	     run=11  nbConstraintChecks=6074320  nbValidityChecks=12873172  nbPropagations=249243  nbRevisions=2840639
9.02	     nbUselessRevisions=2201082  nbAssignments=7524  nbFailedAssignments=4883  nbBacktracks=2575  nbVisitedNodes=14327
9.02	     nbRestartNogoods=43
9.02	       =>  wckTime=7.898  cpuTime=7.75  mem=22M364
12.00	   
12.00	   search
12.00	     run=12  nbConstraintChecks=8474013  nbValidityChecks=17975438  nbPropagations=372250  nbRevisions=4228563
12.00	     nbUselessRevisions=3274509  nbAssignments=10786  nbFailedAssignments=6843  nbBacktracks=3872  nbVisitedNodes=20413
12.00	     nbRestartNogoods=61
12.00	       =>  wckTime=10.882  cpuTime=10.73  mem=22M364
17.04	   
17.04	   search
17.05	     run=13  nbConstraintChecks=12542542  nbValidityChecks=26624745  nbPropagations=556196  nbRevisions=6295560
17.05	     nbUselessRevisions=4873447  nbAssignments=16049  nbFailedAssignments=10122  nbBacktracks=5822  nbVisitedNodes=30281
17.05	     nbRestartNogoods=81
17.05	       =>  wckTime=15.924  cpuTime=15.74  mem=22M364
25.01	   
25.01	   search
25.01	     run=14  nbConstraintChecks=19402409  nbValidityChecks=41126448  nbPropagations=835585  nbRevisions=9453887
25.01	     nbUselessRevisions=7315071  nbAssignments=24480  nbFailedAssignments=15630  nbBacktracks=8742  nbVisitedNodes=46325
25.01	     nbRestartNogoods=92
25.01	       =>  wckTime=23.885  cpuTime=23.68  mem=22M364
36.52	   
36.52	   search
36.52	     run=15  nbConstraintChecks=29328620  nbValidityChecks=61915298  nbPropagations=1252298  nbRevisions=14179357
36.52	     nbUselessRevisions=10966755  nbAssignments=36108  nbFailedAssignments=22869  nbBacktracks=13121
36.52	     nbVisitedNodes=68341  nbRestartNogoods=118
36.52	       =>  wckTime=35.397  cpuTime=35.17  mem=22M364
53.66	   
53.66	   search
53.66	     run=16  nbConstraintChecks=44179233  nbValidityChecks=93351905  nbPropagations=1861375  nbRevisions=21098684
53.66	     nbUselessRevisions=16306266  nbAssignments=53891  nbFailedAssignments=34074  nbBacktracks=19691
53.66	     nbVisitedNodes=101935  nbRestartNogoods=124
53.66	       =>  wckTime=52.538  cpuTime=52.29  mem=22M364
79.24	   
79.24	   search
79.24	     run=17  nbConstraintChecks=66420848  nbValidityChecks=140307663  nbPropagations=2799099  nbRevisions=31734526
79.24	     nbUselessRevisions=24525880  nbAssignments=79300  nbFailedAssignments=49627  nbBacktracks=29543
79.24	     nbVisitedNodes=150112  nbRestartNogoods=145
79.24	       =>  wckTime=78.115  cpuTime=77.85  mem=22M364
116.78	   
116.78	   search
116.78	     run=18  nbConstraintChecks=99426042  nbValidityChecks=209778953  nbPropagations=4212641  nbRevisions=47777193
116.78	     nbUselessRevisions=36932931  nbAssignments=118959  nbFailedAssignments=74504  nbBacktracks=44321
116.78	     nbVisitedNodes=225503  nbRestartNogoods=152
116.78	       =>  wckTime=115.654  cpuTime=115.36  mem=22M364
176.24	   
176.24	   search
176.24	     run=19  nbConstraintChecks=151844086  nbValidityChecks=319986908  nbPropagations=6350854  nbRevisions=72189983
176.24	     nbUselessRevisions=55845581  nbAssignments=181715  nbFailedAssignments=115081  nbBacktracks=66489
176.24	     nbVisitedNodes=345264  nbRestartNogoods=168
176.24	       =>  wckTime=175.118  cpuTime=174.76  mem=22M364
225.44	   
225.44	   search
225.44	     run=20  nbConstraintChecks=195141398  nbValidityChecks=411093782  nbPropagations=9109778  nbRevisions=103732744
225.44	     nbUselessRevisions=80312410  nbAssignments=233910  nbFailedAssignments=147645  nbBacktracks=86112
225.44	     nbVisitedNodes=444162  nbRestartNogoods=183
225.44	       =>  wckTime=224.315  cpuTime=223.88  mem=22M364
225.44	   
225.44	   global
225.44	     nbConstraintChecks=195158359  nbValidityChecks=411121608  nbPropagations=9109919  nbRevisions=103734156
225.44	     nbUselessRevisions=80313599  nbRestartNogoods=183  solvingWckTime=224.316  solvingCpuTime=223.88  expiredTime=no
225.44	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=224.57
225.44	       =>  wckTime=225.123  cpuTime=224.52  mem=22M364
225.44	   
225.44	s UNSATISFIABLE
225.44	d NODES 233910
225.44	d CHECKS 195158359
225.44	   
225.44	   totalWckTime=225.205  totalCpuTime=224.58

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/node26/watcher-218245-1168251856 -o ROOT/results/node26/solver-218245-1168251856 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218245-1168251856/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.10 1.02 1.08 2/98 22700
/proc/meminfo: memFree=1712680/2055920 swapFree=4192812/4192956
[pid=22699] ppid=22697 vsize=18540 CPUtime=0
/proc/22699/stat : 22699 (runsolver) R 22697 22699 22361 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 173579842 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 269028486439 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22699/statm: 4635 279 244 17 0 2626 0

[startup+0.102323 s]
/proc/loadavg: 1.10 1.02 1.08 2/98 22700
/proc/meminfo: memFree=1712680/2055920 swapFree=4192812/4192956
[pid=22699] ppid=22697 vsize=914988 CPUtime=0.08
/proc/22699/stat : 22699 (java) R 22697 22699 22361 0 -1 0 2979 0 1 0 7 1 0 0 17 0 8 0 173579842 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22699/statm: 228747 2725 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514359 s]
/proc/loadavg: 1.10 1.02 1.08 2/98 22700
/proc/meminfo: memFree=1712680/2055920 swapFree=4192812/4192956
[pid=22699] ppid=22697 vsize=915328 CPUtime=0.49
/proc/22699/stat : 22699 (java) R 22697 22699 22361 0 -1 0 7529 0 1 0 44 5 0 0 18 0 8 0 173579842 937295872 7268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073581059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22699/statm: 228832 7268 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33943 s]
/proc/loadavg: 1.10 1.02 1.08 3/105 22707
/proc/meminfo: memFree=1654000/2055920 swapFree=4192812/4192956
[pid=22699] ppid=22697 vsize=915460 CPUtime=1.31
/proc/22699/stat : 22699 (java) R 22697 22699 22361 0 -1 0 17385 0 1 0 121 10 0 0 23 0 8 0 173579842 937431040 17123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22699/statm: 228865 17123 2527 14 0 215335 0
[pid=22699/tid=22701] ppid=22697 vsize=915460 CPUtime=0.07
/proc/22699/task/22701/stat : 22701 (java) S 22697 22699 22361 0 -1 64 1839 0 0 0 7 0 0 0 16 0 8 0 173579846 937431040 17123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22702] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22702/stat : 22702 (java) S 22697 22699 22361 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173579846 937431040 17123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22703] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22703/stat : 22703 (java) S 22697 22699 22361 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173579846 937431040 17123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22704] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22704/stat : 22704 (java) S 22697 22699 22361 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173579849 937431040 17123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22705] ppid=22697 vsize=915460 CPUtime=0.17
/proc/22699/task/22705/stat : 22705 (java) S 22697 22699 22361 0 -1 64 357 0 0 0 16 1 0 0 15 0 8 0 173579849 937431040 17123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22706] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22706/stat : 22706 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173579849 937431040 17123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22707] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22707/stat : 22707 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173579849 937431040 17123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.97659 s]
/proc/loadavg: 1.17 1.03 1.08 3/105 22707
/proc/meminfo: memFree=1653808/2055920 swapFree=4192812/4192956
[pid=22699] ppid=22697 vsize=915460 CPUtime=2.94
/proc/22699/stat : 22699 (java) R 22697 22699 22361 0 -1 0 17402 0 1 0 284 10 0 0 25 0 8 0 173579842 937431040 17138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22699/statm: 228865 17138 2527 14 0 215335 0
[pid=22699/tid=22701] ppid=22697 vsize=915460 CPUtime=0.07
/proc/22699/task/22701/stat : 22701 (java) S 22697 22699 22361 0 -1 64 1839 0 0 0 7 0 0 0 16 0 8 0 173579846 937431040 17138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22702] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22702/stat : 22702 (java) S 22697 22699 22361 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173579846 937431040 17138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22703] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22703/stat : 22703 (java) S 22697 22699 22361 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173579846 937431040 17138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22704] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22704/stat : 22704 (java) S 22697 22699 22361 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173579849 937431040 17138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22705] ppid=22697 vsize=915460 CPUtime=0.21
/proc/22699/task/22705/stat : 22705 (java) S 22697 22699 22361 0 -1 64 372 0 0 0 20 1 0 0 15 0 8 0 173579849 937431040 17138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22706] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22706/stat : 22706 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173579849 937431040 17138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22707] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22707/stat : 22707 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173579849 937431040 17138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.2649 s]
/proc/loadavg: 1.17 1.03 1.08 3/105 22707
/proc/meminfo: memFree=1653688/2055920 swapFree=4192812/4192956
[pid=22699] ppid=22697 vsize=915460 CPUtime=6.21
/proc/22699/stat : 22699 (java) R 22697 22699 22361 0 -1 0 17415 0 1 0 611 10 0 0 25 0 8 0 173579842 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073723560 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22699/statm: 228865 17149 2527 14 0 215335 0
[pid=22699/tid=22701] ppid=22697 vsize=915460 CPUtime=0.07
/proc/22699/task/22701/stat : 22701 (java) S 22697 22699 22361 0 -1 64 1839 0 0 0 7 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22702] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22702/stat : 22702 (java) S 22697 22699 22361 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22703] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22703/stat : 22703 (java) S 22697 22699 22361 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22704] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22704/stat : 22704 (java) S 22697 22699 22361 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22705] ppid=22697 vsize=915460 CPUtime=0.23
/proc/22699/task/22705/stat : 22705 (java) S 22697 22699 22361 0 -1 64 383 0 0 0 22 1 0 0 15 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22706] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22706/stat : 22706 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22707] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22707/stat : 22707 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460

[startup+12.7535 s]
/proc/loadavg: 1.30 1.06 1.09 3/105 22707
/proc/meminfo: memFree=1653696/2055920 swapFree=4192812/4192956
[pid=22699] ppid=22697 vsize=915460 CPUtime=12.67
/proc/22699/stat : 22699 (java) R 22697 22699 22361 0 -1 0 17416 0 1 0 1256 11 0 0 25 0 8 0 173579842 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22699/statm: 228865 17149 2527 14 0 215335 0
[pid=22699/tid=22701] ppid=22697 vsize=915460 CPUtime=0.07
/proc/22699/task/22701/stat : 22701 (java) S 22697 22699 22361 0 -1 64 1839 0 0 0 7 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22702] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22702/stat : 22702 (java) S 22697 22699 22361 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22703] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22703/stat : 22703 (java) S 22697 22699 22361 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22704] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22704/stat : 22704 (java) S 22697 22699 22361 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22705] ppid=22697 vsize=915460 CPUtime=0.23
/proc/22699/task/22705/stat : 22705 (java) S 22697 22699 22361 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22706] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22706/stat : 22706 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22707] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22707/stat : 22707 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915460

[startup+25.6207 s]
/proc/loadavg: 1.33 1.08 1.09 3/92 22763
/proc/meminfo: memFree=1710112/2055920 swapFree=4192812/4192956
[pid=22699] ppid=22697 vsize=915460 CPUtime=25.5
/proc/22699/stat : 22699 (java) R 22697 22699 22361 0 -1 0 17416 0 1 0 2538 12 0 0 25 0 8 0 173579842 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22699/statm: 228865 17149 2527 14 0 215335 0
[pid=22699/tid=22701] ppid=22697 vsize=915460 CPUtime=0.07
/proc/22699/task/22701/stat : 22701 (java) S 22697 22699 22361 0 -1 64 1839 0 0 0 7 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22702] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22702/stat : 22702 (java) S 22697 22699 22361 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22703] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22703/stat : 22703 (java) S 22697 22699 22361 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22704] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22704/stat : 22704 (java) S 22697 22699 22361 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22705] ppid=22697 vsize=915460 CPUtime=0.23
/proc/22699/task/22705/stat : 22705 (java) S 22697 22699 22361 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22706] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22706/stat : 22706 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22707] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22707/stat : 22707 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915460

[startup+51.2641 s]
/proc/loadavg: 1.56 1.15 1.12 3/93 22770
/proc/meminfo: memFree=1655320/2055920 swapFree=4192812/4192956
[pid=22699] ppid=22697 vsize=915460 CPUtime=51.1
/proc/22699/stat : 22699 (java) R 22697 22699 22361 0 -1 0 17416 0 1 0 5097 13 0 0 25 0 8 0 173579842 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22699/statm: 228865 17149 2527 14 0 215335 0
[pid=22699/tid=22701] ppid=22697 vsize=915460 CPUtime=0.07
/proc/22699/task/22701/stat : 22701 (java) S 22697 22699 22361 0 -1 64 1839 0 0 0 7 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22702] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22702/stat : 22702 (java) S 22697 22699 22361 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22703] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22703/stat : 22703 (java) S 22697 22699 22361 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22704] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22704/stat : 22704 (java) S 22697 22699 22361 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22705] ppid=22697 vsize=915460 CPUtime=0.23
/proc/22699/task/22705/stat : 22705 (java) S 22697 22699 22361 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22706] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22706/stat : 22706 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22707] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22707/stat : 22707 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915460

[startup+102.53 s]
/proc/loadavg: 1.90 1.31 1.17 3/94 22771
/proc/meminfo: memFree=1625488/2055920 swapFree=4192812/4192956
[pid=22699] ppid=22697 vsize=915460 CPUtime=102.32
/proc/22699/stat : 22699 (java) R 22697 22699 22361 0 -1 0 17416 0 1 0 10219 13 0 0 25 0 8 0 173579842 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22699/statm: 228865 17149 2527 14 0 215335 0
[pid=22699/tid=22701] ppid=22697 vsize=915460 CPUtime=0.07
/proc/22699/task/22701/stat : 22701 (java) S 22697 22699 22361 0 -1 64 1839 0 0 0 7 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22702] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22702/stat : 22702 (java) S 22697 22699 22361 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22703] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22703/stat : 22703 (java) S 22697 22699 22361 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22704] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22704/stat : 22704 (java) S 22697 22699 22361 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22705] ppid=22697 vsize=915460 CPUtime=0.23
/proc/22699/task/22705/stat : 22705 (java) S 22697 22699 22361 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22706] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22706/stat : 22706 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22707] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22707/stat : 22707 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915460

[startup+162.557 s]
/proc/loadavg: 1.96 1.43 1.22 4/94 22771
/proc/meminfo: memFree=1625552/2055920 swapFree=4192812/4192956
[pid=22699] ppid=22697 vsize=915460 CPUtime=162.29
/proc/22699/stat : 22699 (java) R 22697 22699 22361 0 -1 0 17416 0 1 0 16216 13 0 0 25 0 8 0 173579842 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22699/statm: 228865 17149 2527 14 0 215335 0
[pid=22699/tid=22701] ppid=22697 vsize=915460 CPUtime=0.07
/proc/22699/task/22701/stat : 22701 (java) S 22697 22699 22361 0 -1 64 1839 0 0 0 7 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22702] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22702/stat : 22702 (java) S 22697 22699 22361 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22703] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22703/stat : 22703 (java) S 22697 22699 22361 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22704] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22704/stat : 22704 (java) S 22697 22699 22361 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22705] ppid=22697 vsize=915460 CPUtime=0.23
/proc/22699/task/22705/stat : 22705 (java) S 22697 22699 22361 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22706] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22706/stat : 22706 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22707] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22707/stat : 22707 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 915460

[startup+222.581 s]
/proc/loadavg: 1.98 1.53 1.27 3/94 22771
/proc/meminfo: memFree=1625488/2055920 swapFree=4192812/4192956
[pid=22699] ppid=22697 vsize=915460 CPUtime=222.25
/proc/22699/stat : 22699 (java) R 22697 22699 22361 0 -1 0 17416 0 1 0 22212 13 0 0 25 0 8 0 173579842 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22699/statm: 228865 17149 2527 14 0 215335 0
[pid=22699/tid=22701] ppid=22697 vsize=915460 CPUtime=0.07
/proc/22699/task/22701/stat : 22701 (java) S 22697 22699 22361 0 -1 64 1839 0 0 0 7 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22702] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22702/stat : 22702 (java) S 22697 22699 22361 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22703] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22703/stat : 22703 (java) S 22697 22699 22361 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173579846 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22704] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22704/stat : 22704 (java) S 22697 22699 22361 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22705] ppid=22697 vsize=915460 CPUtime=0.23
/proc/22699/task/22705/stat : 22705 (java) S 22697 22699 22361 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22706] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22706/stat : 22706 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22699/tid=22707] ppid=22697 vsize=915460 CPUtime=0
/proc/22699/task/22707/stat : 22707 (java) S 22697 22699 22361 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173579849 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 225.502
CPU time (s): 225.117
CPU user time (s): 224.968
CPU system time (s): 0.148977
CPU usage (%): 99.829
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 224.968
system time used= 0.148977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17424
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= 5566
involuntary context switches= 3634

runsolver used 0.305953 s user time and 0.707892 s system time

The end

Launcher Data (download as text)

Begin job on node26 on Mon Jan  8 10:24:16 UTC 2007


IDJOB= 218245
IDBENCH= 5215
FILE ID= node26/218245-1168251856

PBS_JOBID= 3481933

Free space on /tmp= 66537 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218245-1168251856/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-218245-1168251856 -o ROOT/results/node26/solver-218245-1168251856 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218245-1168251856/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  918b09b7eb625e123c6667f6d3972f6b

RANDOM SEED= 258949867

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.236
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.236
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:       1713096 kB
Buffers:         32860 kB
Cached:          95320 kB
SwapCached:          0 kB
Active:         229032 kB
Inactive:        58052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1713096 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7068 kB
Writeback:           0 kB
Mapped:         187828 kB
Slab:            40212 kB
Committed_AS:  4222952 kB
PageTables:       2500 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66536 MiB



End job on node26 on Mon Jan  8 10:28:01 UTC 2007