Trace number 206411

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 AC? (TO) 1800.09 1808.97

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-28_ext.xml
MD5SUM91e3fef88b9ca05ef4e5572a690d863f
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
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=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/206411-1168073562/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.41	       =>  wckTime=0.099  cpuTime=0.08  mem=6M951
0.41	   
0.41	   relations being loaded...
1.56	   
1.56	   constraints being loaded...
2.33	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.33	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.33	     nbSharedBinaryRepresentations=0  maxDegree=18  maxArity=3
2.33	       =>  wckTime=2.019  cpuTime=1.61  mem=58M42
2.49	   
2.49	   solver IterativeSystematicSolver being built... 
2.67	       =>  wckTime=2.355  cpuTime=1.75  mem=65M423
2.68	   
2.68	   preprocessing
2.68	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.68	     detectedInconsistency=no
2.68	       =>  wckTime=0.0040  cpuTime=0.0  mem=65M423
2.82	   
2.82	   search
2.82	     run=0  nbConstraintChecks=41987  nbValidityChecks=75681  nbPropagations=456  nbRevisions=4969
2.82	     nbUselessRevisions=4014  nbAssignments=36  nbFailedAssignments=16  nbBacktracks=11  nbVisitedNodes=60
2.82	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.82	       =>  wckTime=0.149  cpuTime=0.1  mem=66M425
3.00	   
3.00	   search
3.00	     run=1  nbConstraintChecks=134271  nbValidityChecks=259018  nbPropagations=1677  nbRevisions=20518
3.00	     nbUselessRevisions=16449  nbAssignments=105  nbFailedAssignments=61  nbBacktracks=26  nbVisitedNodes=187
3.00	     nbRestartNogoods=4  mapSize=24  nbInferences=0  nbTooLargeKeys=0
3.00	       =>  wckTime=0.327  cpuTime=0.27  mem=66M425
3.11	   
3.11	   search
3.11	     run=2  nbConstraintChecks=188390  nbValidityChecks=362276  nbPropagations=3418  nbRevisions=42058
3.11	     nbUselessRevisions=33611  nbAssignments=152  nbFailedAssignments=77  nbBacktracks=50  nbVisitedNodes=262
3.11	     nbRestartNogoods=10  mapSize=40  nbInferences=0  nbTooLargeKeys=0
3.11	       =>  wckTime=0.437  cpuTime=0.37  mem=66M425
3.30	   
3.30	   search
3.30	     run=3  nbConstraintChecks=302463  nbValidityChecks=581030  nbPropagations=6046  nbRevisions=75845
3.30	     nbUselessRevisions=60849  nbAssignments=232  nbFailedAssignments=116  nbBacktracks=84  nbVisitedNodes=399
3.30	     nbRestartNogoods=12  mapSize=69  nbInferences=0  nbTooLargeKeys=0
3.30	       =>  wckTime=0.631  cpuTime=0.56  mem=66M425
3.59	   
3.59	   search
3.59	     run=4  nbConstraintChecks=463218  nbValidityChecks=896159  nbPropagations=10074  nbRevisions=127558
3.59	     nbUselessRevisions=102545  nbAssignments=342  nbFailedAssignments=167  nbBacktracks=134  nbVisitedNodes=591
3.59	     nbRestartNogoods=16  mapSize=112  nbInferences=0  nbTooLargeKeys=0
3.59	       =>  wckTime=0.914  cpuTime=0.84  mem=66M425
4.09	   
4.09	   search
4.09	     run=5  nbConstraintChecks=752808  nbValidityChecks=1494574  nbPropagations=17018  nbRevisions=212710
4.09	     nbUselessRevisions=170227  nbAssignments=578  nbFailedAssignments=320  nbBacktracks=209  nbVisitedNodes=1031
4.09	     nbRestartNogoods=24  mapSize=176  nbInferences=0  nbTooLargeKeys=0
4.09	       =>  wckTime=1.419  cpuTime=1.35  mem=66M425
4.57	   
4.57	   search
4.57	     run=6  nbConstraintChecks=1028920  nbValidityChecks=2057006  nbPropagations=27182  nbRevisions=335313
4.57	     nbUselessRevisions=267329  nbAssignments=811  nbFailedAssignments=432  nbBacktracks=322  nbVisitedNodes=1440
4.57	     nbRestartNogoods=37  mapSize=271  nbInferences=0  nbTooLargeKeys=0
4.57	       =>  wckTime=1.902  cpuTime=1.83  mem=66M425
5.27	   
5.27	   search
5.27	     run=7  nbConstraintChecks=1428515  nbValidityChecks=2895071  nbPropagations=42445  nbRevisions=515967
5.27	     nbUselessRevisions=409860  nbAssignments=1174  nbFailedAssignments=617  nbBacktracks=493  nbVisitedNodes=2097
5.27	     nbRestartNogoods=49  mapSize=424  nbInferences=0  nbTooLargeKeys=0
5.27	       =>  wckTime=2.596  cpuTime=2.51  mem=66M425
6.73	   
6.73	   search
6.73	     run=8  nbConstraintChecks=2296534  nbValidityChecks=4674746  nbPropagations=66048  nbRevisions=797710
6.73	     nbUselessRevisions=632268  nbAssignments=1811  nbFailedAssignments=990  nbBacktracks=750  nbVisitedNodes=3278
6.73	     nbRestartNogoods=53  mapSize=655  nbInferences=0  nbTooLargeKeys=0
6.73	       =>  wckTime=4.063  cpuTime=3.95  mem=66M425
9.13	   
9.13	   search
9.13	     run=9  nbConstraintChecks=3745312  nbValidityChecks=7629473  nbPropagations=103496  nbRevisions=1254028
9.13	     nbUselessRevisions=991988  nbAssignments=2980  nbFailedAssignments=1769  nbBacktracks=1134  nbVisitedNodes=5464
9.13	     nbRestartNogoods=68  mapSize=969  nbInferences=0  nbTooLargeKeys=0
9.13	       =>  wckTime=6.454  cpuTime=6.32  mem=66M425
9.71	   
9.71	   INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=66M425)
13.20	   
13.20	   search
13.20	     run=10  nbConstraintChecks=6185858  nbValidityChecks=12520387  nbPropagations=160183  nbRevisions=1972863
13.20	     nbUselessRevisions=1564494  nbAssignments=4442  nbFailedAssignments=2646  nbBacktracks=1711  nbVisitedNodes=8215
13.20	     nbRestartNogoods=73
13.20	       =>  wckTime=10.525  cpuTime=10.37  mem=66M425
16.60	   
16.60	   search
16.60	     run=11  nbConstraintChecks=8275229  nbValidityChecks=16731432  nbPropagations=240364  nbRevisions=2978734
16.60	     nbUselessRevisions=2364097  nbAssignments=6351  nbFailedAssignments=3684  nbBacktracks=2575  nbVisitedNodes=11715
16.60	     nbRestartNogoods=86
16.60	       =>  wckTime=13.924  cpuTime=13.75  mem=66M425
21.94	   
21.94	   search
21.94	     run=12  nbConstraintChecks=11582897  nbValidityChecks=23165166  nbPropagations=353748  nbRevisions=4380126
21.94	     nbUselessRevisions=3478330  nbAssignments=8968  nbFailedAssignments=4997  nbBacktracks=3872  nbVisitedNodes=16349
21.94	     nbRestartNogoods=100
21.94	       =>  wckTime=19.266  cpuTime=19.06  mem=66M425
35.60	   
35.60	   search
35.60	     run=13  nbConstraintChecks=19927336  nbValidityChecks=39921173  nbPropagations=534202  nbRevisions=6704309
35.60	     nbUselessRevisions=5338325  nbAssignments=14288  nbFailedAssignments=8363  nbBacktracks=5819  nbVisitedNodes=26408
35.60	     nbRestartNogoods=115
35.60	       =>  wckTime=32.929  cpuTime=32.65  mem=66M425
49.36	   
49.36	   search
49.36	     run=14  nbConstraintChecks=28327374  nbValidityChecks=57152887  nbPropagations=810365  nbRevisions=10193363
49.36	     nbUselessRevisions=8112060  nbAssignments=22157  nbFailedAssignments=13304  nbBacktracks=8739  nbVisitedNodes=41195
49.36	     nbRestartNogoods=126
49.36	       =>  wckTime=46.693  cpuTime=46.34  mem=66M425
76.05	   
76.05	   search
76.05	     run=15  nbConstraintChecks=44694940  nbValidityChecks=89921520  nbPropagations=1225058  nbRevisions=15477214
76.05	     nbUselessRevisions=12316572  nbAssignments=33175  nbFailedAssignments=19936  nbBacktracks=13117
76.05	     nbVisitedNodes=61673  nbRestartNogoods=150
76.05	       =>  wckTime=73.382  cpuTime=72.9  mem=66M425
113.44	   
113.44	   search
113.44	     run=16  nbConstraintChecks=67440850  nbValidityChecks=133489264  nbPropagations=1838929  nbRevisions=23345542
113.44	     nbUselessRevisions=18582125  nbAssignments=47859  nbFailedAssignments=28045  nbBacktracks=19685
113.44	     nbVisitedNodes=88690  nbRestartNogoods=163
113.44	       =>  wckTime=110.771  cpuTime=110.11  mem=66M425
153.85	   
153.85	   search
153.85	     run=17  nbConstraintChecks=92443467  nbValidityChecks=182664348  nbPropagations=2711600  nbRevisions=34317206
153.85	     nbUselessRevisions=27312127  nbAssignments=67676  nbFailedAssignments=38004  nbBacktracks=29537
153.85	     nbVisitedNodes=124068  nbRestartNogoods=184
153.85	       =>  wckTime=151.182  cpuTime=150.33  mem=66M425
257.29	   
257.29	   search
257.29	     run=18  nbConstraintChecks=156126992  nbValidityChecks=309681763  nbPropagations=4095282  nbRevisions=52265675
257.29	     nbUselessRevisions=41646660  nbAssignments=108111  nbFailedAssignments=63652  nbBacktracks=44315
257.29	     nbVisitedNodes=200398  nbRestartNogoods=198
257.29	       =>  wckTime=254.62  cpuTime=253.28  mem=66M425
362.24	   
362.24	   search
362.24	     run=19  nbConstraintChecks=220886601  nbValidityChecks=445388822  nbPropagations=6220038  nbRevisions=79208184
362.24	     nbUselessRevisions=63048925  nbAssignments=172039  nbFailedAssignments=105406  nbBacktracks=66484
362.24	     nbVisitedNodes=321309  nbRestartNogoods=219
362.24	       =>  wckTime=359.564  cpuTime=357.72  mem=66M425
587.45	   
587.45	   search
587.45	     run=20  nbConstraintChecks=358098742  nbValidityChecks=720124136  nbPropagations=9462631  nbRevisions=121273866
587.45	     nbUselessRevisions=96612454  nbAssignments=260163  nbFailedAssignments=160271  nbBacktracks=99737
587.45	     nbVisitedNodes=487103  nbRestartNogoods=235
587.45	       =>  wckTime=584.776  cpuTime=581.67  mem=66M425
909.22	   
909.22	   search
909.22	     run=21  nbConstraintChecks=553506255  nbValidityChecks=1104608885  nbPropagations=14447841  nbRevisions=186177626
909.22	     nbUselessRevisions=148293971  nbAssignments=399058  nbFailedAssignments=249279  nbBacktracks=149617
909.22	     nbVisitedNodes=750470  nbRestartNogoods=250
909.22	       =>  wckTime=906.547  cpuTime=901.87  mem=66M425
1402.40	   
1402.40	   search
1402.40	     run=22  nbConstraintChecks=855083663  nbValidityChecks=1705981104  nbPropagations=21859879  nbRevisions=283582945
1402.40	     nbUselessRevisions=226077384  nbAssignments=589291  nbFailedAssignments=364686  nbBacktracks=224437
1402.40	     nbVisitedNodes=1105592  nbRestartNogoods=277
1402.40	       =>  wckTime=1399.726  cpuTime=1392.7  mem=66M425

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node38/watcher-206411-1168073562 -o ROOT/results/node38/solver-206411-1168073562 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206411-1168073562/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: 0.69 0.93 0.99 5/73 15193
/proc/meminfo: memFree=1636048/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=1784 CPUtime=0
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 155756122 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/15192/statm: 446 158 123 14 0 91 0

[startup+0.107331 s]
/proc/loadavg: 0.69 0.93 0.99 5/73 15193
/proc/meminfo: memFree=1636048/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=914988 CPUtime=0.09
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 3014 0 1 0 8 1 0 0 17 0 8 0 155756122 936947712 2760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153570793 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228747 2760 1434 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515412 s]
/proc/loadavg: 0.69 0.93 0.99 5/73 15193
/proc/meminfo: memFree=1636048/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915328 CPUtime=0.5
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 7699 0 1 0 46 4 0 0 18 0 8 0 155756122 937295872 7438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228832 7438 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33657 s]
/proc/loadavg: 0.69 0.93 0.99 4/87 15207
/proc/meminfo: memFree=1501872/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915328 CPUtime=1.31
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 19100 0 1 0 120 11 0 0 25 0 8 0 155756122 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228832 18838 2149 14 0 215302 0
[pid=15192/tid=15195] ppid=15187 vsize=915328 CPUtime=0.05
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 2680 0 0 0 4 1 0 0 17 0 8 0 155756126 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915328 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915328 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915328 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915328 CPUtime=0.08
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 155756130 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915328 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915328 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937295872 18838 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) 915328

[startup+2.9819 s]
/proc/loadavg: 0.69 0.93 0.99 5/87 15207
/proc/meminfo: memFree=1420336/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=2.95
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32558 0 1 0 277 18 0 0 25 0 8 0 155756122 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073667017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32292 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 155756126 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.22
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 376 0 0 0 21 1 0 0 15 0 8 0 155756130 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915440

[startup+6.28154 s]
/proc/loadavg: 0.80 0.95 1.00 3/87 15207
/proc/meminfo: memFree=1396272/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=6.22
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32579 0 1 0 604 18 0 0 25 0 8 0 155756122 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32310 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 17 0 8 0 155756126 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.25
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 396 0 0 0 24 1 0 0 15 0 8 0 155756130 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915440

[startup+12.7618 s]
/proc/loadavg: 0.89 0.97 1.00 3/87 15207
/proc/meminfo: memFree=1396336/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=12.67
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32588 0 1 0 1249 18 0 0 25 0 8 0 155756122 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32317 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 155756126 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.27
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32317 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) 915440

[startup+25.6363 s]
/proc/loadavg: 1.14 1.02 1.02 3/87 15207
/proc/meminfo: memFree=1396528/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=25.48
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32588 0 1 0 2530 18 0 0 25 0 8 0 155756122 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32317 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 155756126 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.27
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915440

[startup+51.2683 s]
/proc/loadavg: 1.43 1.09 1.04 3/87 15207
/proc/meminfo: memFree=1396464/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=50.99
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32589 0 1 0 5080 19 0 0 25 0 8 0 155756122 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073667060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32317 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 155756126 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.27
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915440

[startup+102.522 s]
/proc/loadavg: 1.75 1.23 1.09 3/87 15207
/proc/meminfo: memFree=1396528/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=102
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32589 0 1 0 10181 19 0 0 25 0 8 0 155756122 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32317 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 155756126 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.27
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915440

[startup+162.528 s]
/proc/loadavg: 1.95 1.38 1.15 3/87 15207
/proc/meminfo: memFree=1396592/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=161.72
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32589 0 1 0 16153 19 0 0 25 0 8 0 155756122 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073667017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1416.22
Current children cumulated vsize (KiB) 915440

[startup+1483.28 s]
/proc/loadavg: 2.08 2.02 1.78 3/87 15405
/proc/meminfo: memFree=1396080/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=1475.95
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32590 0 1 0 147575 20 0 0 25 0 8 0 155756122 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32318 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 155756126 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.27
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.95
Current children cumulated vsize (KiB) 915440

[startup+1543.28 s]
/proc/loadavg: 2.03 2.01 1.79 3/87 15407
/proc/meminfo: memFree=1395824/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=1535.67
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32590 0 1 0 153546 21 0 0 25 0 8 0 155756122 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32318 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 155756126 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.27
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.67
Current children cumulated vsize (KiB) 915440

[startup+1603.38 s]
/proc/loadavg: 2.01 2.00 1.80 3/87 15407
/proc/meminfo: memFree=1395824/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=1595.48
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32590 0 1 0 159527 21 0 0 25 0 8 0 155756122 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32318 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 155756126 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.27
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.48
Current children cumulated vsize (KiB) 915440

[startup+1663.38 s]
/proc/loadavg: 2.05 2.02 1.82 3/87 15407
/proc/meminfo: memFree=1395888/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=1655.2
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32590 0 1 0 165499 21 0 0 25 0 8 0 155756122 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32318 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 155756126 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.27
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.2
Current children cumulated vsize (KiB) 915440

[startup+1723.39 s]
/proc/loadavg: 2.02 2.01 1.83 3/87 15407
/proc/meminfo: memFree=1395888/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=1714.92
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32590 0 1 0 171471 21 0 0 25 0 8 0 155756122 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073667056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32318 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 155756126 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.27
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.92
Current children cumulated vsize (KiB) 915440

[startup+1783.4 s]
/proc/loadavg: 2.00 2.00 1.83 3/87 15407
/proc/meminfo: memFree=1395888/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=1774.64
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32590 0 1 0 177443 21 0 0 25 0 8 0 155756122 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809391 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32318 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 155756126 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.27
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.64
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.92 s]
/proc/loadavg: 2.00 2.00 1.83 3/89 15409
/proc/meminfo: memFree=1395872/2055920 swapFree=4192812/4192956
[pid=15192] ppid=15187 vsize=915440 CPUtime=1800.05
/proc/15192/stat : 15192 (java) R 15187 15192 15056 0 -1 0 32590 0 1 0 179984 21 0 0 25 0 8 0 155756122 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15192/statm: 228860 32318 2521 14 0 215330 0
[pid=15192/tid=15195] ppid=15187 vsize=915440 CPUtime=0.45
/proc/15192/task/15195/stat : 15195 (java) S 15187 15192 15056 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 155756126 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15198] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15198/stat : 15198 (java) S 15187 15192 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15199] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15199/stat : 15199 (java) S 15187 15192 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155756127 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15204] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15204/stat : 15204 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15205] ppid=15187 vsize=915440 CPUtime=0.27
/proc/15192/task/15205/stat : 15205 (java) S 15187 15192 15056 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15206] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15206/stat : 15206 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15192/tid=15207] ppid=15187 vsize=915440 CPUtime=0
/proc/15192/task/15207/stat : 15207 (java) S 15187 15192 15056 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155756130 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915440

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1808.97
CPU time (s): 1800.09
CPU user time (s): 1799.85
CPU system time (s): 0.240963
CPU usage (%): 99.5093
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.240963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32606
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= 37757
involuntary context switches= 57131

runsolver used 1.76473 s user time and 6.24805 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Sat Jan  6 08:52:43 UTC 2007


IDJOB= 206411
IDBENCH= 4206
FILE ID= node38/206411-1168073562

PBS_JOBID= 3476002

Free space on /tmp= 66509 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  91e3fef88b9ca05ef4e5572a690d863f

RANDOM SEED= 75824655

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.267
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.267
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:       1646416 kB
Buffers:         25240 kB
Cached:         293272 kB
SwapCached:          0 kB
Active:          76416 kB
Inactive:       262144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1646416 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9584 kB
Writeback:           0 kB
Mapped:          30364 kB
Slab:            56584 kB
Committed_AS:  3094780 kB
PageTables:       1736 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= 66503 MiB



End job on node38 on Sat Jan  6 09:22:56 UTC 2007