0.48
0.48 Abscon 109 (November, 2006)
0.48
0.48 configuration
0.48 name=epfc.xml
0.51
0.51 instance
0.51 name=/tmp/evaluation/278191-1169279307/unknown.xml
0.54
0.54 domains being loaded...
0.54
0.54 variables being loaded...
0.58 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.58 => wckTime=0.097 cpuTime=0.08 mem=6M887
0.58
0.58 relations being loaded...
0.58
0.58 constraints being loaded...
0.81 nbConstraints=1586 nbRelationTypes=19 nbExtensionStructures=19 nbSharedExtensionStructures=1567
0.81 nbConflictsStructures=19 nbSharedConflictsStructures=1567 nbSharedBinaryRepresentations=0 maxDegree=79
0.81 maxArity=3
0.81 => wckTime=0.328 cpuTime=0.19 mem=11M765
0.86
0.86 solver LocalSearchSolver being built...
0.89 => wckTime=0.415 cpuTime=0.24 mem=6M210
0.90
0.90 s SATISFIABLE
0.90 o 1389
0.90 c 197
0.90 o 1394
0.90 c 192
0.90 o 1403
0.90 c 183
0.90 o 1412
0.90 c 174
0.90 o 1422
0.90 c 164
0.90 o 1430
0.90 c 156
0.90 o 1433
0.90 c 153
0.90 o 1439
0.90 c 147
0.90 o 1440
0.90 c 146
0.91 o 1441
0.91 c 145
0.91 o 1445
0.91 c 141
0.91 o 1446
0.91 c 140
0.91 o 1448
0.91 c 138
0.91 o 1449
0.91 c 137
0.91 o 1452
0.91 c 134
0.91 o 1458
0.91 c 128
0.91 o 1463
0.91 c 123
0.91 o 1465
0.91 c 121
0.92 o 1468
0.92 c 118
0.92 o 1469
0.92 c 117
0.92 o 1470
0.92 c 116
0.92 o 1472
0.92 c 114
1.00 o 1474
1.00 c 112
1.00 o 1475
1.00 c 111
1.02 o 1477
1.02 c 109
1.07 o 1479
1.07 c 107
1.07 o 1486
1.07 c 100
1.30 o 1489
1.30 c 97
1.53 o 1490
1.53 c 96
2.71 o 1491
2.71 c 95
5.70
5.70 search
5.70 run=0 nbConstraintChecks=26464515 nbAssignments=10000
5.70 => wckTime=4.805 cpuTime=4.78 mem=6M210
10.63
10.63 search
10.63 run=1 nbConstraintChecks=54644058 nbAssignments=20000
10.63 => wckTime=9.738 cpuTime=9.71 mem=6M210
15.30
15.30 search
15.30 run=2 nbConstraintChecks=81096739 nbAssignments=30000
15.30 => wckTime=14.407 cpuTime=14.38 mem=6M210
19.11 o 1492
19.11 c 94
20.27
20.27 search
20.27 run=3 nbConstraintChecks=109246357 nbAssignments=40000
20.27 => wckTime=19.376 cpuTime=19.35 mem=6M210
23.92 o 1493
23.92 c 93
24.97
24.97 search
24.97 run=4 nbConstraintChecks=135696062 nbAssignments=50000
24.97 => wckTime=24.078 cpuTime=24.05 mem=6M210
29.90
29.90 search
29.90 run=5 nbConstraintChecks=163847923 nbAssignments=60000
29.90 => wckTime=29.003 cpuTime=28.97 mem=6M210
34.57
34.57 search
34.57 run=6 nbConstraintChecks=190367092 nbAssignments=70000
34.57 => wckTime=33.68 cpuTime=33.65 mem=6M210
39.55
39.55 search
39.55 run=7 nbConstraintChecks=218563145 nbAssignments=80000
39.55 => wckTime=38.656 cpuTime=38.62 mem=6M210
44.26
44.26 search
44.26 run=8 nbConstraintChecks=245032344 nbAssignments=90000
44.26 => wckTime=43.365 cpuTime=43.33 mem=6M210
49.19
49.19 search
49.19 run=9 nbConstraintChecks=273219070 nbAssignments=100000
49.19 => wckTime=48.298 cpuTime=48.26 mem=6M210
53.85
53.85 search
53.85 run=10 nbConstraintChecks=299642888 nbAssignments=110000
53.85 => wckTime=52.956 cpuTime=52.92 mem=6M210
53.93
53.93 search
53.93 run=11 nbConstraintChecks=300122074 nbAssignments=110171
53.93 => wckTime=53.041 cpuTime=53.01 mem=6M210
53.94
53.94 global
53.94 nbConstraintChecks=300122074 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
53.94 solvingWckTime=53.039 solvingCpuTime=53.01 expiredTime=no totalExploration=no nbFoundSolutions=0
53.94 globalCpuTime=53.31
53.94 => wckTime=53.456 cpuTime=53.25 mem=6M210
53.94
53.94 solver IterativeSystematicSolver being built...
54.12 => wckTime=53.64 cpuTime=53.4 mem=25M910
54.28
54.28 preprocessing
54.28 nbConstraintChecks=14375 nbValidityChecks=47292 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.28 nbRemovedValues=0 detectedInconsistency=no
54.28 => wckTime=0.162 cpuTime=0.13 mem=25M910
54.40
54.41 search
54.41 run=0 nbConstraintChecks=27953 nbValidityChecks=92306 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.41 nbAssignments=65 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=83 nbRestartNogoods=0
54.41 => wckTime=0.283 cpuTime=0.25 mem=25M910
54.56
54.56 search
54.56 run=1 nbConstraintChecks=60254 nbValidityChecks=215177 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.56 nbAssignments=137 nbFailedAssignments=20 nbBacktracks=26 nbVisitedNodes=182 nbRestartNogoods=1
54.56 => wckTime=0.442 cpuTime=0.4 mem=25M910
54.73
54.73 search
54.73 run=2 nbConstraintChecks=102761 nbValidityChecks=371712 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.73 nbAssignments=220 nbFailedAssignments=36 nbBacktracks=48 nbVisitedNodes=301 nbRestartNogoods=4
54.73 => wckTime=0.609 cpuTime=0.56 mem=25M910
54.95
54.96 search
54.96 run=3 nbConstraintChecks=161603 nbValidityChecks=592574 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.96 nbAssignments=321 nbFailedAssignments=61 nbBacktracks=82 nbVisitedNodes=460 nbRestartNogoods=7
54.96 => wckTime=0.835 cpuTime=0.79 mem=25M910
55.26
55.26 search
55.26 run=4 nbConstraintChecks=239049 nbValidityChecks=905560 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.26 nbAssignments=447 nbFailedAssignments=96 nbBacktracks=132 nbVisitedNodes=667 nbRestartNogoods=10
55.26 => wckTime=1.136 cpuTime=1.09 mem=25M910
55.71
55.71 search
55.71 run=5 nbConstraintChecks=346518 nbValidityChecks=1342489 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.71 nbAssignments=614 nbFailedAssignments=149 nbBacktracks=208 nbVisitedNodes=954 nbRestartNogoods=14
55.71 => wckTime=1.593 cpuTime=1.54 mem=25M910
56.32
56.32 search
56.32 run=6 nbConstraintChecks=511229 nbValidityChecks=1969902 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
56.32 nbAssignments=828 nbFailedAssignments=207 nbBacktracks=322 nbVisitedNodes=1340 nbRestartNogoods=18
56.32 => wckTime=2.199 cpuTime=2.14 mem=25M910
57.25
57.25 search
57.25 run=7 nbConstraintChecks=770343 nbValidityChecks=2953323 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
57.25 nbAssignments=1152 nbFailedAssignments=319 nbBacktracks=492 nbVisitedNodes=1936 nbRestartNogoods=22
57.25 => wckTime=3.131 cpuTime=3.07 mem=25M910
58.68
58.68 search
58.68 run=8 nbConstraintChecks=1160217 nbValidityChecks=4469626 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
58.68 nbAssignments=1617 nbFailedAssignments=483 nbBacktracks=748 nbVisitedNodes=2808 nbRestartNogoods=25
58.68 => wckTime=4.561 cpuTime=4.48 mem=25M910
60.86
60.86 search
60.86 run=9 nbConstraintChecks=1684969 nbValidityChecks=6703004 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
60.86 nbAssignments=2333 nbFailedAssignments=775 nbBacktracks=1132 nbVisitedNodes=4169 nbRestartNogoods=29
60.86 => wckTime=6.743 cpuTime=6.65 mem=25M910
63.87
63.87 search
63.87 run=10 nbConstraintChecks=2562964 nbValidityChecks=10103130 nbPropagations=0 nbRevisions=0
63.87 nbUselessRevisions=0 nbAssignments=3348 nbFailedAssignments=1175 nbBacktracks=1708 nbVisitedNodes=6124
63.87 nbRestartNogoods=34
63.87 => wckTime=9.75 cpuTime=9.65 mem=25M910
68.68
68.68 search
68.68 run=11 nbConstraintChecks=3864398 nbValidityChecks=15426520 nbPropagations=0 nbRevisions=0
68.68 nbUselessRevisions=0 nbAssignments=4923 nbFailedAssignments=1847 nbBacktracks=2572 nbVisitedNodes=9177
68.68 nbRestartNogoods=40
68.68 => wckTime=14.557 cpuTime=14.46 mem=25M910
75.28
75.28 search
75.28 run=12 nbConstraintChecks=5529567 nbValidityChecks=22771268 nbPropagations=0 nbRevisions=0
75.28 nbUselessRevisions=0 nbAssignments=7129 nbFailedAssignments=2717 nbBacktracks=3869 nbVisitedNodes=13455
75.28 nbRestartNogoods=45
75.28 => wckTime=21.164 cpuTime=21.06 mem=25M910
85.85
85.85 search
85.85 run=13 nbConstraintChecks=8123865 nbValidityChecks=34209619 nbPropagations=0 nbRevisions=0
85.85 nbUselessRevisions=0 nbAssignments=10505 nbFailedAssignments=4110 nbBacktracks=5815 nbVisitedNodes=19980
85.85 nbRestartNogoods=50
85.85 => wckTime=31.732 cpuTime=31.62 mem=25M910
103.17
103.17 search
103.17 run=14 nbConstraintChecks=12172163 nbValidityChecks=52282234 nbPropagations=0 nbRevisions=0
103.17 nbUselessRevisions=0 nbAssignments=15724 nbFailedAssignments=6369 nbBacktracks=8735 nbVisitedNodes=30231
103.17 nbRestartNogoods=54
103.17 => wckTime=49.052 cpuTime=48.94 mem=25M910
125.41
125.41 search
125.41 run=15 nbConstraintChecks=18710763 nbValidityChecks=78716385 nbPropagations=0 nbRevisions=0
125.41 nbUselessRevisions=0 nbAssignments=23149 nbFailedAssignments=9378 nbBacktracks=13113 nbVisitedNodes=44787
125.41 nbRestartNogoods=60
125.41 => wckTime=71.294 cpuTime=71.17 mem=25M910
160.12
160.12 search
160.12 run=16 nbConstraintChecks=29224190 nbValidityChecks=120673923 nbPropagations=0 nbRevisions=0
160.12 nbUselessRevisions=0 nbAssignments=34838 nbFailedAssignments=14459 nbBacktracks=19681 nbVisitedNodes=67719
160.12 nbRestartNogoods=68
160.12 => wckTime=105.996 cpuTime=105.86 mem=25M910
212.04
212.04 search
212.04 run=17 nbConstraintChecks=42381491 nbValidityChecks=179982081 nbPropagations=0 nbRevisions=0
212.04 nbUselessRevisions=0 nbAssignments=51667 nbFailedAssignments=21396 nbBacktracks=29534 nbVisitedNodes=100713
212.04 nbRestartNogoods=71
212.04 => wckTime=157.921 cpuTime=157.77 mem=25M910
288.81
288.81 search
288.81 run=18 nbConstraintChecks=62187041 nbValidityChecks=265259750 nbPropagations=0 nbRevisions=0
288.81 nbUselessRevisions=0 nbAssignments=76494 nbFailedAssignments=31406 nbBacktracks=44312 nbVisitedNodes=149111
288.81 nbRestartNogoods=78
288.81 => wckTime=234.691 cpuTime=234.52 mem=25M910
415.83
415.83 search
415.83 run=19 nbConstraintChecks=92585723 nbValidityChecks=403226403 nbPropagations=0 nbRevisions=0
415.83 nbUselessRevisions=0 nbAssignments=114667 nbFailedAssignments=47376 nbBacktracks=66480 nbVisitedNodes=223850
415.83 nbRestartNogoods=85
415.83 => wckTime=361.711 cpuTime=361.51 mem=25M910
590.84
590.84 search
590.84 run=20 nbConstraintChecks=138059141 nbValidityChecks=601438710 nbPropagations=0 nbRevisions=0
590.84 nbUselessRevisions=0 nbAssignments=171235 nbFailedAssignments=70658 nbBacktracks=99733 nbVisitedNodes=333638
590.84 nbRestartNogoods=92
590.84 => wckTime=536.724 cpuTime=536.47 mem=26M885
840.76
840.76 search
840.76 run=21 nbConstraintChecks=218242671 nbValidityChecks=905578153 nbPropagations=0 nbRevisions=0
840.76 nbUselessRevisions=0 nbAssignments=254285 nbFailedAssignments=103785 nbBacktracks=149611 nbVisitedNodes=496743
840.76 nbRestartNogoods=99
840.76 => wckTime=786.635 cpuTime=786.21 mem=26M885
1229.55
1229.55 search
1229.55 run=22 nbConstraintChecks=314584258 nbValidityChecks=1310638597 nbPropagations=0 nbRevisions=0
1229.55 nbUselessRevisions=0 nbAssignments=381616 nbFailedAssignments=156266 nbBacktracks=224430 nbVisitedNodes=740094
1229.55 nbRestartNogoods=106
1229.55 => wckTime=1175.431 cpuTime=1174.9 mem=26M885
1752.33
1752.33 search
1752.33 run=23 nbConstraintChecks=456135288 nbValidityChecks=1855702961 nbPropagations=0 nbRevisions=0
1752.33 nbUselessRevisions=0 nbAssignments=562140 nbFailedAssignments=224528 nbBacktracks=336657 nbVisitedNodes=1075931
1752.33 nbRestartNogoods=114
1752.33 => wckTime=1698.209 cpuTime=1697.52 mem=26M885
2401.09 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/node42/watcher-278191-1169279307 -o ROOT/results/node42/solver-278191-1169279307 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278191-1169279307/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: 1.01 1.00 1.00 1/65 7800
/proc/meminfo: memFree=1325216/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=292 CPUtime=0
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 52 0 0 0 0 0 0 0 19 0 1 0 276329942 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 12407588 0 0 4096 0 0 0 0 17 1 0 0
/proc/7799/statm: 73 37 29 14 0 5 0
[startup+0.102571 s]
/proc/loadavg: 1.01 1.00 1.00 1/65 7800
/proc/meminfo: memFree=1325216/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=47976 CPUtime=0
/proc/7799/stat : 7799 (java) D 7797 7799 6906 0 -1 0 1223 0 1 0 0 0 0 0 18 0 1 0 276329942 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/7799/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976
[startup+0.510616 s]
/proc/loadavg: 1.01 1.00 1.00 1/65 7800
/proc/meminfo: memFree=1325216/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915332 CPUtime=0.31
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 5452 0 1 0 28 3 0 0 17 0 8 0 276329942 937299968 5191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152891639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7799/statm: 228833 5191 2049 14 0 215303 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 915332
[startup+1.3307 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 7807
/proc/meminfo: memFree=1303528/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=1.11
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 8092 0 1 0 101 10 0 0 17 0 8 0 276329942 937414656 7830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 7830 2476 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 7830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 7830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 7830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 7830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.16
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 369 0 0 0 15 1 0 0 16 0 8 0 276329967 937414656 7830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 7830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 7830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 915444
[startup+2.96688 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 7807
/proc/meminfo: memFree=1303464/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=2.75
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 8099 0 1 0 253 22 0 0 18 0 8 0 276329942 937414656 7836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 7836 2478 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 7836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 7836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 7836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 7836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.17
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 375 0 0 0 16 1 0 0 16 0 8 0 276329967 937414656 7836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 7836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 7836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 915444
[startup+6.16824 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 7807
/proc/meminfo: memFree=1303408/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=5.96
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 8102 0 1 0 546 50 0 0 17 0 8 0 276329942 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 7839 2478 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915448 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937418752 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.17
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 378 0 0 0 16 1 0 0 16 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 915444
[startup+12.631 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7807
/proc/meminfo: memFree=1303408/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=12.42
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 8102 0 1 0 1135 107 0 0 25 0 8 0 276329942 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 7839 2478 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915448 CPUtime=0.17
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 378 0 0 0 16 1 0 0 16 0 8 0 276329967 937418752 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 915444
[startup+25.4714 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7807
/proc/meminfo: memFree=1303416/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=25.25
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 8102 0 1 0 2309 216 0 0 25 0 8 0 276329942 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 7839 2478 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.17
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 378 0 0 0 16 1 0 0 16 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915448 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937418752 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915444
[startup+51.1492 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7807
/proc/meminfo: memFree=1303544/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=50.92
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 8102 0 1 0 4656 436 0 0 25 0 8 0 276329942 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 7839 2478 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915448 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937418752 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.17
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 378 0 0 0 16 1 0 0 16 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 7839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915444
[startup+102.403 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7807
/proc/meminfo: memFree=1290360/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=102.14
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 11493 0 1 0 9750 464 0 0 25 0 8 0 276329942 937414656 11222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 11222 2534 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 11222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 11222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.27
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 447 0 0 0 26 1 0 0 16 0 8 0 276329967 937414656 11222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 11222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 11222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 915444
[startup+162.481 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7807
/proc/meminfo: memFree=1290232/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=162.21
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 11501 0 1 0 15756 465 0 0 25 0 8 0 276329942 937414656 11230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.06
Current children cumulated vsize (KiB) 915444
[startup+2085.06 s]
/proc/loadavg: 1.13 1.04 1.01 2/72 8007
/proc/meminfo: memFree=1289976/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=2084.13
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 11522 0 1 0 207947 466 0 0 25 0 8 0 276329942 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074008950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 11250 2534 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.27
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 448 0 0 0 26 1 0 0 16 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.13
Current children cumulated vsize (KiB) 915444
[startup+2145.14 s]
/proc/loadavg: 1.05 1.03 1.00 2/72 8007
/proc/meminfo: memFree=1289912/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=2144.19
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 11522 0 1 0 213953 466 0 0 25 0 8 0 276329942 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073915789 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 11250 2534 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.27
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 448 0 0 0 26 1 0 0 16 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.19
Current children cumulated vsize (KiB) 915444
[startup+2205.22 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 8007
/proc/meminfo: memFree=1289976/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=2204.26
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 11522 0 1 0 219960 466 0 0 25 0 8 0 276329942 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 11250 2534 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.27
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 448 0 0 0 26 1 0 0 16 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2204.26
Current children cumulated vsize (KiB) 915444
[startup+2265.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/72 8007
/proc/meminfo: memFree=1289912/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=2264.33
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 11522 0 1 0 225967 466 0 0 25 0 8 0 276329942 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 11250 2534 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.27
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 448 0 0 0 26 1 0 0 16 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2264.33
Current children cumulated vsize (KiB) 915444
[startup+2325.39 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 8007
/proc/meminfo: memFree=1289912/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=2324.39
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 11522 0 1 0 231973 466 0 0 25 0 8 0 276329942 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073974971 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 11250 2534 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.27
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 448 0 0 0 26 1 0 0 16 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2324.39
Current children cumulated vsize (KiB) 915444
[startup+2385.47 s]
/proc/loadavg: 1.03 1.02 1.00 2/72 8007
/proc/meminfo: memFree=1289912/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=2384.45
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 11522 0 1 0 237979 466 0 0 25 0 8 0 276329942 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073958324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 11250 2534 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.27
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 448 0 0 0 26 1 0 0 16 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2384.45
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.08 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 8007
/proc/meminfo: memFree=1289912/2055920 swapFree=4184856/4192956
[pid=7799] ppid=7797 vsize=915444 CPUtime=2400.06
/proc/7799/stat : 7799 (java) R 7797 7799 6906 0 -1 0 11522 0 1 0 239540 466 0 0 25 0 8 0 276329942 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074036641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7799/statm: 228861 11250 2534 14 0 215331 0
[pid=7799/tid=7801] ppid=7797 vsize=915444 CPUtime=0.03
/proc/7799/task/7801/stat : 7801 (java) S 7797 7799 6906 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 276329963 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7802] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7802/stat : 7802 (java) S 7797 7799 6906 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7803] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7803/stat : 7803 (java) S 7797 7799 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276329964 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7804] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7804/stat : 7804 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7805] ppid=7797 vsize=915444 CPUtime=0.27
/proc/7799/task/7805/stat : 7805 (java) S 7797 7799 6906 0 -1 64 448 0 0 0 26 1 0 0 16 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7799/tid=7806] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7806/stat : 7806 (java) S 7797 7799 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7799/tid=7807] ppid=7797 vsize=915444 CPUtime=0
/proc/7799/task/7807/stat : 7807 (java) S 7797 7799 6906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276329967 937414656 11250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2401.13
CPU time (s): 2400.12
CPU user time (s): 2395.44
CPU system time (s): 4.67429
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.44
system time used= 4.67429
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11543
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= 49650
involuntary context switches= 2951
runsolver used 2.18167 s user time and 6.34304 s system time
The end
Begin job on node42 on Sat Jan 20 07:48:27 UTC 2007
IDJOB= 278191
IDBENCH= 8129
IDSOLVER= 68
FILE ID= node42/278191-1169279307
PBS_JOBID= 3607434
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/278191-1169279307/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-278191-1169279307 -o ROOT/results/node42/solver-278191-1169279307 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278191-1169279307/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 29891a19fc351dc713e1bebd6b98af9f
RANDOM SEED= 924849173
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.229
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.229
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: 1325696 kB
Buffers: 46660 kB
Cached: 599016 kB
SwapCached: 2500 kB
Active: 107356 kB
Inactive: 549024 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1325696 kB
SwapTotal: 4192956 kB
SwapFree: 4184856 kB
Dirty: 1764 kB
Writeback: 0 kB
Mapped: 17556 kB
Slab: 59928 kB
Committed_AS: 4998996 kB
PageTables: 1412 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= 66563 MiB
End job on node42 on Sat Jan 20 08:28:28 UTC 2007