0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/278192-1169279344/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.104 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.42
0.42 constraints being loaded...
0.66 nbConstraints=1586 nbRelationTypes=19 nbExtensionStructures=19 nbSharedExtensionStructures=1567
0.66 nbConflictsStructures=19 nbSharedConflictsStructures=1567 nbSharedBinaryRepresentations=0 maxDegree=79
0.66 maxArity=3
0.66 => wckTime=0.352 cpuTime=0.22 mem=11M786
0.71
0.71 solver LocalSearchSolver being built...
0.75 => wckTime=0.441 cpuTime=0.27 mem=6M210
0.76
0.76 s SATISFIABLE
0.76 o 1389
0.76 c 197
0.76 o 1394
0.76 c 192
0.76 o 1403
0.76 c 183
0.76 o 1412
0.76 c 174
0.76 o 1422
0.76 c 164
0.76 o 1430
0.76 c 156
0.76 o 1433
0.76 c 153
0.76 o 1439
0.76 c 147
0.76 o 1440
0.76 c 146
0.76 o 1441
0.76 c 145
0.76 o 1445
0.76 c 141
0.77 o 1446
0.77 c 140
0.77 o 1448
0.77 c 138
0.77 o 1449
0.77 c 137
0.77 o 1452
0.77 c 134
0.77 o 1458
0.77 c 128
0.77 o 1463
0.77 c 123
0.77 o 1465
0.77 c 121
0.78 o 1468
0.78 c 118
0.78 o 1469
0.78 c 117
0.78 o 1470
0.78 c 116
0.78 o 1472
0.78 c 114
0.86 o 1474
0.86 c 112
0.86 o 1475
0.86 c 111
0.88 o 1477
0.88 c 109
0.93 o 1479
0.93 c 107
0.93 o 1486
0.93 c 100
1.16 o 1489
1.16 c 97
1.40 o 1490
1.40 c 96
2.59 o 1491
2.59 c 95
5.61
5.61 search
5.61 run=0 nbConstraintChecks=26464515 nbAssignments=10000
5.61 => wckTime=4.86 cpuTime=4.79 mem=6M210
10.62
10.62 search
10.62 run=1 nbConstraintChecks=54644058 nbAssignments=20000
10.62 => wckTime=9.871 cpuTime=9.75 mem=6M210
15.33
15.33 search
15.33 run=2 nbConstraintChecks=81096739 nbAssignments=30000
15.33 => wckTime=14.579 cpuTime=14.41 mem=6M210
19.12 o 1492
19.12 c 94
20.28
20.28 search
20.28 run=3 nbConstraintChecks=109246357 nbAssignments=40000
20.28 => wckTime=19.531 cpuTime=19.33 mem=6M210
23.95 o 1493
23.95 c 93
25.01
25.01 search
25.01 run=4 nbConstraintChecks=135696062 nbAssignments=50000
25.01 => wckTime=24.263 cpuTime=24.02 mem=6M210
30.01
30.01 search
30.01 run=5 nbConstraintChecks=163847923 nbAssignments=60000
30.01 => wckTime=29.264 cpuTime=28.98 mem=6M210
34.73
34.73 search
34.73 run=6 nbConstraintChecks=190367092 nbAssignments=70000
34.73 => wckTime=33.982 cpuTime=33.65 mem=6M210
39.70
39.70 search
39.70 run=7 nbConstraintChecks=218563145 nbAssignments=80000
39.70 => wckTime=38.948 cpuTime=38.58 mem=6M210
44.42
44.42 search
44.42 run=8 nbConstraintChecks=245032344 nbAssignments=90000
44.42 => wckTime=43.67 cpuTime=43.26 mem=6M210
49.43
49.43 search
49.43 run=9 nbConstraintChecks=273219070 nbAssignments=100000
49.43 => wckTime=48.678 cpuTime=48.22 mem=6M210
54.13
54.13 search
54.13 run=10 nbConstraintChecks=299642888 nbAssignments=110000
54.13 => wckTime=53.386 cpuTime=52.89 mem=6M210
54.21
54.21 search
54.21 run=11 nbConstraintChecks=300093960 nbAssignments=110161
54.21 => wckTime=53.466 cpuTime=52.98 mem=6M210
54.22
54.22 global
54.22 nbConstraintChecks=300093960 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.22 solvingWckTime=53.465 solvingCpuTime=52.98 expiredTime=no totalExploration=no nbFoundSolutions=0
54.22 globalCpuTime=53.3
54.22 => wckTime=53.907 cpuTime=53.25 mem=6M210
54.22
54.22 solver IterativeSystematicSolver being built...
54.41 => wckTime=54.103 cpuTime=53.4 mem=25M910
54.43
54.43 preprocessing
54.43 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
54.43 detectedInconsistency=no
54.43 => wckTime=0.018 cpuTime=0.01 mem=25M910
54.61
54.61 search
54.61 run=0 nbConstraintChecks=30290 nbValidityChecks=87351 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.61 nbAssignments=66 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=85 nbRestartNogoods=0
54.61 => wckTime=0.191 cpuTime=0.15 mem=25M910
54.76
54.76 search
54.76 run=1 nbConstraintChecks=59398 nbValidityChecks=192916 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.76 nbAssignments=133 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=179 nbRestartNogoods=1
54.76 => wckTime=0.352 cpuTime=0.3 mem=25M910
54.95
54.96 search
54.96 run=2 nbConstraintChecks=110341 nbValidityChecks=366543 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.96 nbAssignments=222 nbFailedAssignments=34 nbBacktracks=51 nbVisitedNodes=308 nbRestartNogoods=3
54.96 => wckTime=0.542 cpuTime=0.49 mem=25M910
55.21
55.21 search
55.21 run=3 nbConstraintChecks=168970 nbValidityChecks=598012 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.21 nbAssignments=322 nbFailedAssignments=58 nbBacktracks=85 nbVisitedNodes=466 nbRestartNogoods=5
55.21 => wckTime=0.801 cpuTime=0.75 mem=25M910
55.55
55.55 search
55.55 run=4 nbConstraintChecks=255863 nbValidityChecks=925945 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.55 nbAssignments=452 nbFailedAssignments=96 nbBacktracks=135 nbVisitedNodes=684 nbRestartNogoods=8
55.55 => wckTime=1.133 cpuTime=1.07 mem=25M910
56.06
56.06 search
56.06 run=5 nbConstraintChecks=379535 nbValidityChecks=1426052 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
56.06 nbAssignments=625 nbFailedAssignments=155 nbBacktracks=210 nbVisitedNodes=991 nbRestartNogoods=12
56.06 => wckTime=1.644 cpuTime=1.58 mem=25M910
56.72
56.72 search
56.72 run=6 nbConstraintChecks=560504 nbValidityChecks=2132853 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
56.72 nbAssignments=859 nbFailedAssignments=230 nbBacktracks=324 nbVisitedNodes=1414 nbRestartNogoods=17
56.72 => wckTime=2.309 cpuTime=2.24 mem=25M910
57.77
57.77 search
57.77 run=7 nbConstraintChecks=809817 nbValidityChecks=3135275 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
57.77 nbAssignments=1191 nbFailedAssignments=355 nbBacktracks=495 nbVisitedNodes=2042 nbRestartNogoods=21
57.77 => wckTime=3.357 cpuTime=3.27 mem=25M910
59.34
59.34 search
59.34 run=8 nbConstraintChecks=1211455 nbValidityChecks=4711568 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
59.34 nbAssignments=1680 nbFailedAssignments=543 nbBacktracks=751 nbVisitedNodes=2975 nbRestartNogoods=27
59.34 => wckTime=4.928 cpuTime=4.81 mem=25M910
61.70
61.70 search
61.70 run=9 nbConstraintChecks=1773149 nbValidityChecks=7047216 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
61.70 nbAssignments=2395 nbFailedAssignments=836 nbBacktracks=1135 nbVisitedNodes=4367 nbRestartNogoods=30
61.70 => wckTime=7.284 cpuTime=7.14 mem=25M910
65.25
65.25 search
65.25 run=10 nbConstraintChecks=2619441 nbValidityChecks=10648168 nbPropagations=0 nbRevisions=0
65.25 nbUselessRevisions=0 nbAssignments=3452 nbFailedAssignments=1277 nbBacktracks=1711 nbVisitedNodes=6441
65.25 nbRestartNogoods=37
65.25 => wckTime=10.833 cpuTime=10.65 mem=25M910
70.30
70.30 search
70.30 run=11 nbConstraintChecks=3984977 nbValidityChecks=16004992 nbPropagations=0 nbRevisions=0
70.30 nbUselessRevisions=0 nbAssignments=4989 nbFailedAssignments=1906 nbBacktracks=2577 nbVisitedNodes=9473
70.30 nbRestartNogoods=42
70.30 => wckTime=15.888 cpuTime=15.66 mem=25M910
77.91
77.91 search
77.91 run=12 nbConstraintChecks=5891309 nbValidityChecks=24181465 nbPropagations=0 nbRevisions=0
77.91 nbUselessRevisions=0 nbAssignments=7282 nbFailedAssignments=2866 nbBacktracks=3874 nbVisitedNodes=14023
77.91 nbRestartNogoods=47
77.91 => wckTime=23.498 cpuTime=23.2 mem=25M910
90.28
90.28 search
90.28 run=13 nbConstraintChecks=8922260 nbValidityChecks=36578766 nbPropagations=0 nbRevisions=0
90.28 nbUselessRevisions=0 nbAssignments=10856 nbFailedAssignments=4454 nbBacktracks=5820 nbVisitedNodes=21130
90.28 nbRestartNogoods=50
90.28 => wckTime=35.866 cpuTime=35.45 mem=25M910
110.18
110.18 search
110.18 run=14 nbConstraintChecks=13414280 nbValidityChecks=55888145 nbPropagations=0 nbRevisions=0
110.18 nbUselessRevisions=0 nbAssignments=16442 nbFailedAssignments=7080 nbBacktracks=8741 nbVisitedNodes=32263
110.18 nbRestartNogoods=53
110.18 => wckTime=55.767 cpuTime=55.17 mem=25M910
136.13
136.13 search
136.13 run=15 nbConstraintChecks=19520428 nbValidityChecks=81593420 nbPropagations=0 nbRevisions=0
136.13 nbUselessRevisions=0 nbAssignments=23920 nbFailedAssignments=10142 nbBacktracks=13122 nbVisitedNodes=47184
136.13 nbRestartNogoods=59
136.13 => wckTime=81.721 cpuTime=80.88 mem=25M910
176.91
176.91 search
176.91 run=16 nbConstraintChecks=28396099 nbValidityChecks=121416981 nbPropagations=0 nbRevisions=0
176.91 nbUselessRevisions=0 nbAssignments=35528 nbFailedAssignments=15146 nbBacktracks=19690 nbVisitedNodes=70364
176.91 nbRestartNogoods=63
176.91 => wckTime=122.498 cpuTime=121.29 mem=25M910
238.04
238.04 search
238.04 run=17 nbConstraintChecks=42746048 nbValidityChecks=182752824 nbPropagations=0 nbRevisions=0
238.04 nbUselessRevisions=0 nbAssignments=52702 nbFailedAssignments=22431 nbBacktracks=29542 nbVisitedNodes=104656
238.04 nbRestartNogoods=70
238.05 => wckTime=183.632 cpuTime=181.86 mem=25M910
325.47
325.47 search
325.47 run=18 nbConstraintChecks=63635899 nbValidityChecks=273478495 nbPropagations=0 nbRevisions=0
325.47 nbUselessRevisions=0 nbAssignments=77845 nbFailedAssignments=32756 nbBacktracks=44321 nbVisitedNodes=154741
325.47 nbRestartNogoods=77
325.47 => wckTime=271.06 cpuTime=268.49 mem=25M910
457.93
457.93 search
457.93 run=19 nbConstraintChecks=92186629 nbValidityChecks=403677864 nbPropagations=0 nbRevisions=0
457.93 nbUselessRevisions=0 nbAssignments=116361 nbFailedAssignments=49071 nbBacktracks=66490 nbVisitedNodes=231390
457.93 nbRestartNogoods=84
457.93 => wckTime=403.514 cpuTime=399.73 mem=25M910
646.56
646.56 search
646.56 run=20 nbConstraintChecks=136288903 nbValidityChecks=593426848 nbPropagations=0 nbRevisions=0
646.56 nbUselessRevisions=0 nbAssignments=173259 nbFailedAssignments=72679 nbBacktracks=99742 nbVisitedNodes=342490
646.56 nbRestartNogoods=91
646.56 => wckTime=592.145 cpuTime=586.63 mem=26M885
928.85
928.85 search
928.85 run=21 nbConstraintChecks=207611579 nbValidityChecks=891385726 nbPropagations=0 nbRevisions=0
928.85 nbUselessRevisions=0 nbAssignments=259181 nbFailedAssignments=108686 nbBacktracks=149620 nbVisitedNodes=512181
928.85 nbRestartNogoods=95
928.85 => wckTime=874.434 cpuTime=866.12 mem=26M885
1338.54
1338.54 search
1338.54 run=22 nbConstraintChecks=319375167 nbValidityChecks=1312278326 nbPropagations=0 nbRevisions=0
1338.54 nbUselessRevisions=0 nbAssignments=384948 nbFailedAssignments=159592 nbBacktracks=224439 nbVisitedNodes=759507
1338.54 nbRestartNogoods=104
1338.54 => wckTime=1284.123 cpuTime=1272.06 mem=26M885
1906.56
1906.57 search
1906.57 run=23 nbConstraintChecks=491613747 nbValidityChecks=1895265334 nbPropagations=0 nbRevisions=0
1906.57 nbUselessRevisions=0 nbAssignments=575072 nbFailedAssignments=237449 nbBacktracks=336666 nbVisitedNodes=1126959
1906.57 nbRestartNogoods=114
1906.57 => wckTime=1852.148 cpuTime=1834.89 mem=26M885
2422.47 v 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-278192-1169279344 -o ROOT/results/node10/solver-278192-1169279344 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278192-1169279344/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 2.00 2.00 1.95 4/87 18928
/proc/meminfo: memFree=1278672/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=9948 CPUtime=0
/proc/18927/stat : 18927 (java) S 18925 18927 18150 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 276329512 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/18927/statm: 2955 510 421 14 0 1602 0
[startup+0.103246 s]
/proc/loadavg: 2.00 2.00 1.95 4/87 18928
/proc/meminfo: memFree=1278672/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=914988 CPUtime=0.09
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 2996 0 1 0 8 1 0 0 18 0 8 0 276329512 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515307 s]
/proc/loadavg: 2.00 2.00 1.95 4/87 18928
/proc/meminfo: memFree=1278672/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915332 CPUtime=0.5
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 6350 0 1 0 46 4 0 0 18 0 8 0 276329512 937299968 6089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073555019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228833 6089 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33741 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 18935
/proc/meminfo: memFree=1256984/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=1.3
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 8087 0 1 0 119 11 0 0 25 0 8 0 276329512 937414656 7825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9118055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 7825 2475 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 7825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 7825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 7825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 7825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.18
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 372 0 0 0 17 1 0 0 16 0 8 0 276329519 937414656 7825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 7825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 7825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.97463 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 18935
/proc/meminfo: memFree=1256984/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=2.93
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 8091 0 1 0 267 26 0 0 25 0 8 0 276329512 937414656 7828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835158 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 7828 2475 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 7828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 7828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 7828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 7828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.19
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 276329519 937414656 7828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 7828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 7828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915444
[startup+6.26008 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 18935
/proc/meminfo: memFree=1256856/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=6.19
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 8094 0 1 0 564 55 0 0 25 0 8 0 276329512 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 7831 2475 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.19
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 378 0 0 0 18 1 0 0 17 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915444
[startup+12.744 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 18935
/proc/meminfo: memFree=1256792/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=12.62
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 8094 0 1 0 1149 113 0 0 25 0 8 0 276329512 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815639 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 7831 2475 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.19
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 378 0 0 0 18 1 0 0 17 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915444
[startup+25.6087 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 18935
/proc/meminfo: memFree=1256856/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=25.36
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 8094 0 1 0 2325 211 0 0 25 0 8 0 276329512 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 7831 2475 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.19
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 378 0 0 0 18 1 0 0 17 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915444
[startup+51.2202 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 18935
/proc/meminfo: memFree=1256856/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=50.76
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 8094 0 1 0 4641 435 0 0 25 0 8 0 276329512 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 7831 2475 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.19
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 378 0 0 0 18 1 0 0 17 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 7831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915444
[startup+102.463 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 18935
/proc/meminfo: memFree=1243608/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=101.53
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 11483 0 1 0 9691 462 0 0 25 0 8 0 276329512 937414656 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 11214 2529 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.31
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 446 0 0 0 30 1 0 0 16 0 8 0 276329519 937414656 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915444
[startup+162.562 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 18935
/proc/meminfo: memFree=1243608/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=161.09
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 11488 0 1 0 15646 463 0 0 25 0 8 0 276329512 937414656 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2006.09
Current children cumulated vsize (KiB) 915444
[startup+2084.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 19135
/proc/meminfo: memFree=1243288/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=2065.63
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 11511 0 1 0 206086 477 0 0 25 0 8 0 276329512 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 11241 2529 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.31
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2065.63
Current children cumulated vsize (KiB) 915444
[startup+2145.02 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 19135
/proc/meminfo: memFree=1243288/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=2125.19
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 11511 0 1 0 212041 478 0 0 25 0 8 0 276329512 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 11241 2529 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.31
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.19
Current children cumulated vsize (KiB) 915444
[startup+2205.12 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 19135
/proc/meminfo: memFree=1243288/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=2184.73
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 11511 0 1 0 217995 478 0 0 25 0 8 0 276329512 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074034656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 11241 2529 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.31
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2184.73
Current children cumulated vsize (KiB) 915444
[startup+2265.22 s]
/proc/loadavg: 1.94 1.99 1.99 3/100 19203
/proc/meminfo: memFree=1222832/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=2244.25
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 11511 0 1 0 223946 479 0 0 25 0 8 0 276329512 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074008183 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 11241 2529 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.31
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) R 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2244.25
Current children cumulated vsize (KiB) 915444
[startup+2325.32 s]
/proc/loadavg: 1.98 1.99 1.99 3/100 19203
/proc/meminfo: memFree=1208816/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=2303.81
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 11511 0 1 0 229901 480 0 0 25 0 8 0 276329512 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 11241 2529 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.31
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2303.81
Current children cumulated vsize (KiB) 915444
[startup+2385.41 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 19203
/proc/meminfo: memFree=1208816/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=2363.35
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 11511 0 1 0 235855 480 0 0 25 0 8 0 276329512 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073980989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 11241 2529 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.31
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2363.35
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2422.46 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 19203
/proc/meminfo: memFree=1208752/2055920 swapFree=4178232/4192956
[pid=18927] ppid=18925 vsize=915444 CPUtime=2400.07
/proc/18927/stat : 18927 (java) R 18925 18927 18150 0 -1 0 11511 0 1 0 239526 481 0 0 25 0 8 0 276329512 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073981047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18927/statm: 228861 11241 2529 14 0 215331 0
[pid=18927/tid=18929] ppid=18925 vsize=915444 CPUtime=0.03
/proc/18927/task/18929/stat : 18929 (java) S 18925 18927 18150 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329515 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18930] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18930/stat : 18930 (java) S 18925 18927 18150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18931] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18931/stat : 18931 (java) S 18925 18927 18150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329516 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18932] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18932/stat : 18932 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18933] ppid=18925 vsize=915444 CPUtime=0.31
/proc/18927/task/18933/stat : 18933 (java) S 18925 18927 18150 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18934] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18934/stat : 18934 (java) S 18925 18927 18150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18927/tid=18935] ppid=18925 vsize=915444 CPUtime=0
/proc/18927/task/18935/stat : 18935 (java) S 18925 18927 18150 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329519 937414656 11241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2422.52
CPU time (s): 2400.12
CPU user time (s): 2395.3
CPU system time (s): 4.81927
CPU usage (%): 99.0754
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.3
system time used= 4.81927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11533
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= 50325
involuntary context switches= 87601
runsolver used 3.61045 s user time and 7.11392 s system time
The end
Begin job on node10 on Sat Jan 20 07:49:04 UTC 2007
IDJOB= 278192
IDBENCH= 8129
IDSOLVER= 69
FILE ID= node10/278192-1169279344
PBS_JOBID= 3609464
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-80-1100-2000/cnf-3-80-1600-621041_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278192-1169279344/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-278192-1169279344 -o ROOT/results/node10/solver-278192-1169279344 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278192-1169279344/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 29891a19fc351dc713e1bebd6b98af9f
RANDOM SEED= 804053260
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1279088 kB
Buffers: 60704 kB
Cached: 601024 kB
SwapCached: 2904 kB
Active: 209256 kB
Inactive: 490828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1279088 kB
SwapTotal: 4192956 kB
SwapFree: 4178232 kB
Dirty: 1780 kB
Writeback: 0 kB
Mapped: 48596 kB
Slab: 61628 kB
Committed_AS: 7486928 kB
PageTables: 2224 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= 66561 MiB
End job on node10 on Sat Jan 20 08:29:26 UTC 2007