0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/218083-1168250605/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.38 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.38
0.38 relations being loaded...
0.64
0.64 constraints being loaded...
0.80 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.80 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.80 => wckTime=0.507 cpuTime=0.46 mem=43M486
0.87
0.88 solver IterativeSystematicSolver being built...
1.04 => wckTime=0.752 cpuTime=0.59 mem=21M378
1.11
1.11 preprocessing
1.11 nbConstraintChecks=16370 nbValidityChecks=26669 nbPropagations=143 nbRevisions=1223 nbUselessRevisions=1047
1.11 nbSingletonTests=27 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.11 => wckTime=0.063 cpuTime=0.04 mem=21M378
1.17
1.17 search
1.17 run=0 nbConstraintChecks=29316 nbValidityChecks=58120 nbPropagations=648 nbRevisions=6196
1.17 nbUselessRevisions=4830 nbAssignments=35 nbFailedAssignments=19 nbBacktracks=11 nbVisitedNodes=64
1.17 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.131 cpuTime=0.1 mem=22M380
1.23
1.23 search
1.23 run=1 nbConstraintChecks=68668 nbValidityChecks=139869 nbPropagations=1823 nbRevisions=18651
1.23 nbUselessRevisions=14609 nbAssignments=93 nbFailedAssignments=47 nbBacktracks=26 nbVisitedNodes=150
1.23 nbRestartNogoods=5 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.187 cpuTime=0.15 mem=22M380
1.30
1.30 search
1.30 run=2 nbConstraintChecks=112489 nbValidityChecks=229973 nbPropagations=3742 nbRevisions=39183
1.30 nbUselessRevisions=30703 nbAssignments=155 nbFailedAssignments=81 nbBacktracks=48 nbVisitedNodes=260
1.30 nbRestartNogoods=7 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.26 cpuTime=0.21 mem=22M380
1.47
1.47 search
1.47 run=3 nbConstraintChecks=241470 nbValidityChecks=501844 nbPropagations=7136 nbRevisions=78433
1.47 nbUselessRevisions=61372 nbAssignments=329 nbFailedAssignments=217 nbBacktracks=81 nbVisitedNodes=598
1.47 nbRestartNogoods=10 mapSize=77 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.427 cpuTime=0.37 mem=22M380
1.65
1.65 search
1.65 run=4 nbConstraintChecks=380765 nbValidityChecks=794498 nbPropagations=12645 nbRevisions=143545
1.65 nbUselessRevisions=112482 nbAssignments=528 nbFailedAssignments=362 nbBacktracks=131 nbVisitedNodes=984
1.65 nbRestartNogoods=12 mapSize=127 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.606 cpuTime=0.55 mem=22M380
1.83
1.83 search
1.83 run=5 nbConstraintChecks=528508 nbValidityChecks=1098583 nbPropagations=20724 nbRevisions=235984
1.84 nbUselessRevisions=184797 nbAssignments=738 nbFailedAssignments=493 nbBacktracks=206 nbVisitedNodes=1375
1.84 nbRestartNogoods=16 mapSize=194 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.792 cpuTime=0.74 mem=22M380
2.13
2.13 search
2.13 run=6 nbConstraintChecks=760038 nbValidityChecks=1590447 nbPropagations=32786 nbRevisions=370083
2.13 nbUselessRevisions=289200 nbAssignments=1061 nbFailedAssignments=697 nbBacktracks=319 nbVisitedNodes=1980
2.13 nbRestartNogoods=21 mapSize=300 nbInferences=0 nbTooLargeKeys=0
2.13 => wckTime=1.09 cpuTime=1.03 mem=22M380
2.54
2.54 search
2.54 run=7 nbConstraintChecks=1086159 nbValidityChecks=2270485 nbPropagations=50093 nbRevisions=558438
2.54 nbUselessRevisions=434835 nbAssignments=1486 nbFailedAssignments=947 nbBacktracks=489 nbVisitedNodes=2767
2.54 nbRestartNogoods=26 mapSize=457 nbInferences=0 nbTooLargeKeys=0
2.54 => wckTime=1.497 cpuTime=1.43 mem=22M380
3.11
3.12 search
3.12 run=8 nbConstraintChecks=1541424 nbValidityChecks=3232622 nbPropagations=74877 nbRevisions=823056
3.12 nbUselessRevisions=637782 nbAssignments=2065 nbFailedAssignments=1256 nbBacktracks=747 nbVisitedNodes=3807
3.12 nbRestartNogoods=39 mapSize=691 nbInferences=0 nbTooLargeKeys=0
3.12 => wckTime=2.072 cpuTime=1.99 mem=22M380
3.79
3.79 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=22M380)
3.86
3.86 search
3.86 run=9 nbConstraintChecks=2149566 nbValidityChecks=4506174 nbPropagations=110735 nbRevisions=1202352
3.86 nbUselessRevisions=929194 nbAssignments=2926 nbFailedAssignments=1728 nbBacktracks=1131 nbVisitedNodes=5386
3.86 nbRestartNogoods=53
3.86 => wckTime=2.811 cpuTime=2.72 mem=22M380
5.10
5.10 search
5.10 run=10 nbConstraintChecks=3209131 nbValidityChecks=6757362 nbPropagations=164750 nbRevisions=1769905
5.10 nbUselessRevisions=1363600 nbAssignments=4338 nbFailedAssignments=2560 nbBacktracks=1707 nbVisitedNodes=8049
5.10 nbRestartNogoods=59
5.10 => wckTime=4.059 cpuTime=3.95 mem=22M380
7.14
7.14 search
7.14 run=11 nbConstraintChecks=4915766 nbValidityChecks=10395648 nbPropagations=246076 nbRevisions=2626512
7.14 nbUselessRevisions=2017907 nbAssignments=6486 nbFailedAssignments=3839 nbBacktracks=2573 nbVisitedNodes=12074
7.14 nbRestartNogoods=72
7.14 => wckTime=6.095 cpuTime=5.95 mem=22M380
9.96
9.96 search
9.96 run=12 nbConstraintChecks=7397001 nbValidityChecks=15607497 nbPropagations=367503 nbRevisions=3934469
9.96 nbUselessRevisions=3025148 nbAssignments=9890 nbFailedAssignments=5941 nbBacktracks=3870 nbVisitedNodes=18509
9.96 nbRestartNogoods=78
9.96 => wckTime=8.914 cpuTime=8.75 mem=22M380
14.27
14.27 search
14.27 run=13 nbConstraintChecks=11091567 nbValidityChecks=23392570 nbPropagations=548661 nbRevisions=5848614
14.27 nbUselessRevisions=4487715 nbAssignments=14373 nbFailedAssignments=8446 nbBacktracks=5817 nbVisitedNodes=26813
14.27 nbRestartNogoods=86
14.27 => wckTime=13.224 cpuTime=13.04 mem=22M380
20.60
20.60 search
20.60 run=14 nbConstraintChecks=16566992 nbValidityChecks=34991740 nbPropagations=819179 nbRevisions=8708628
20.60 nbUselessRevisions=6673671 nbAssignments=21488 nbFailedAssignments=12637 nbBacktracks=8736 nbVisitedNodes=40158
20.60 nbRestartNogoods=98
20.60 => wckTime=19.556 cpuTime=19.33 mem=22M380
30.25
30.25 search
30.25 run=15 nbConstraintChecks=24785447 nbValidityChecks=52313555 nbPropagations=1222362 nbRevisions=12945612
30.25 nbUselessRevisions=9902702 nbAssignments=31728 nbFailedAssignments=18494 nbBacktracks=13114
30.25 nbVisitedNodes=59230 nbRestartNogoods=118
30.25 => wckTime=29.204 cpuTime=28.94 mem=22M380
44.35
44.35 search
44.35 run=16 nbConstraintChecks=36948727 nbValidityChecks=77946836 nbPropagations=1833085 nbRevisions=19350382
44.35 nbUselessRevisions=14786891 nbAssignments=47994 nbFailedAssignments=28188 nbBacktracks=19682
44.35 nbVisitedNodes=89754 nbRestartNogoods=145
44.35 => wckTime=43.31 cpuTime=42.97 mem=22M380
68.23
68.23 search
68.23 run=17 nbConstraintChecks=57675294 nbValidityChecks=122385596 nbPropagations=2798091 nbRevisions=29573303
68.23 nbUselessRevisions=22611511 nbAssignments=76715 nbFailedAssignments=47054 nbBacktracks=29534
68.23 nbVisitedNodes=144747 nbRestartNogoods=162
68.23 => wckTime=67.191 cpuTime=66.71 mem=22M380
100.15
100.15 search
100.15 run=18 nbConstraintChecks=85208105 nbValidityChecks=179989591 nbPropagations=4206324 nbRevisions=44455171
100.15 nbUselessRevisions=33983076 nbAssignments=112149 nbFailedAssignments=67699 nbBacktracks=44312
100.15 nbVisitedNodes=210925 nbRestartNogoods=180
100.15 => wckTime=99.105 cpuTime=98.44 mem=22M380
148.99
148.99 search
148.99 run=19 nbConstraintChecks=127311868 nbValidityChecks=269763254 nbPropagations=6318009 nbRevisions=66733075
148.99 nbUselessRevisions=51004521 nbAssignments=170164 nbFailedAssignments=103527 nbBacktracks=66480
148.99 nbVisitedNodes=320149 nbRestartNogoods=203
148.99 => wckTime=147.946 cpuTime=147.02 mem=22M380
220.23
220.23 search
220.23 run=20 nbConstraintChecks=188399111 nbValidityChecks=399832002 nbPropagations=9440280 nbRevisions=99611355
220.23 nbUselessRevisions=76124545 nbAssignments=251418 nbFailedAssignments=151526 nbBacktracks=99732
220.23 nbVisitedNodes=472187 nbRestartNogoods=216
220.23 => wckTime=219.185 cpuTime=217.89 mem=22M380
331.76
331.76 search
331.76 run=21 nbConstraintChecks=284008563 nbValidityChecks=600901954 nbPropagations=14089396 nbRevisions=148449475
331.76 nbUselessRevisions=113355413 nbAssignments=369876 nbFailedAssignments=220102 nbBacktracks=149611
331.76 nbVisitedNodes=693439 nbRestartNogoods=250
331.76 => wckTime=330.713 cpuTime=328.8 mem=22M380
499.95
499.95 search
499.95 run=22 nbConstraintChecks=428612474 nbValidityChecks=905991145 nbPropagations=21065962 nbRevisions=221847676
499.95 nbUselessRevisions=169285338 nbAssignments=552356 nbFailedAssignments=327761 nbBacktracks=224429
499.95 nbVisitedNodes=1035401 nbRestartNogoods=274
499.95 => wckTime=498.909 cpuTime=496.12 mem=22M380
587.24
587.24 search
587.24 run=23 nbConstraintChecks=503658029 nbValidityChecks=1065997777 nbPropagations=29295225 nbRevisions=308499642
587.24 nbUselessRevisions=235369678 nbAssignments=653995 nbFailedAssignments=389982 nbBacktracks=263848
587.24 nbVisitedNodes=1226533 nbRestartNogoods=305
587.24 => wckTime=586.196 cpuTime=582.93 mem=22M380
587.24
587.24 global
587.24 nbConstraintChecks=503674399 nbValidityChecks=1066024446 nbPropagations=29295368 nbRevisions=308500865
587.24 nbUselessRevisions=235370725 nbRestartNogoods=305 solvingWckTime=586.197 solvingCpuTime=582.93 expiredTime=no
587.24 totalExploration=yes nbFoundSolutions=0 globalCpuTime=583.58
587.24 => wckTime=586.952 cpuTime=583.52 mem=22M380
587.24
587.24 s UNSATISFIABLE
587.24 d NODES 653995
587.24 d CHECKS 503674399
587.24
587.24 totalWckTime=587.029 totalCpuTime=583.58
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-218083-1168250605 -o ROOT/results/node55/solver-218083-1168250605 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218083-1168250605/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.13 2.04 1.94 4/82 32677
/proc/meminfo: memFree=1606016/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=1784 CPUtime=0
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 173458802 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7907904 0 0 4096 0 0 0 0 17 0 0 0
/proc/32676/statm: 446 163 128 14 0 91 0
[startup+0.108675 s]
/proc/loadavg: 2.13 2.04 1.94 4/82 32677
/proc/meminfo: memFree=1606016/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=914988 CPUtime=0.1
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 3130 0 1 0 8 2 0 0 24 0 8 0 173458802 936947712 2876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153788138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228747 2877 1473 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.520729 s]
/proc/loadavg: 2.13 2.04 1.94 4/82 32677
/proc/meminfo: memFree=1606016/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915328 CPUtime=0.5
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 8471 0 1 0 44 6 0 0 25 0 8 0 173458802 937295872 8211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228832 8212 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3418 s]
/proc/loadavg: 2.13 2.04 1.94 3/89 32684
/proc/meminfo: memFree=1547336/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=1.32
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17394 0 1 0 121 11 0 0 25 0 8 0 173458802 937431040 17132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735780 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17132 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 173458805 937431040 17132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.16
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 359 0 0 0 15 1 0 0 15 0 8 0 173458809 937431040 17132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
[startup+2.97896 s]
/proc/loadavg: 2.12 2.04 1.94 3/89 32684
/proc/meminfo: memFree=1547144/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=2.95
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17413 0 1 0 284 11 0 0 25 0 8 0 173458802 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609059 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17149 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 173458805 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.19
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 377 0 0 0 18 1 0 0 16 0 8 0 173458809 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.27028 s]
/proc/loadavg: 2.12 2.04 1.94 3/89 32684
/proc/meminfo: memFree=1547080/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=6.19
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17421 0 1 0 608 11 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609070 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17156 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 173458805 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7549 s]
/proc/loadavg: 2.17 2.06 1.94 3/89 32684
/proc/meminfo: memFree=1547080/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=12.64
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17422 0 1 0 1253 11 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17156 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 173458805 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915460
[startup+25.6352 s]
/proc/loadavg: 2.15 2.06 1.94 3/89 32684
/proc/meminfo: memFree=1547080/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=25.45
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17422 0 1 0 2534 11 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17156 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 173458805 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915460
[startup+51.2696 s]
/proc/loadavg: 2.10 2.05 1.94 3/89 32684
/proc/meminfo: memFree=1547208/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=50.94
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17422 0 1 0 5083 11 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726711 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17156 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 173458805 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915460
[startup+102.532 s]
/proc/loadavg: 2.04 2.04 1.94 3/89 32684
/proc/meminfo: memFree=1547272/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=101.93
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17422 0 1 0 10181 12 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073724891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17156 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 173458805 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915460
[startup+162.544 s]
/proc/loadavg: 2.01 2.03 1.94 3/89 32684
/proc/meminfo: memFree=1547208/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=161.62
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17422 0 1 0 16150 12 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 915460
[startup+222.555 s]
/proc/loadavg: 2.00 2.02 1.94 3/89 32684
/proc/meminfo: memFree=1547336/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=221.31
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17422 0 1 0 22119 12 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17156 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 173458805 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.31
Current children cumulated vsize (KiB) 915460
[startup+282.568 s]
/proc/loadavg: 2.00 2.02 1.94 5/89 32684
/proc/meminfo: memFree=1547336/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=280.98
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17422 0 1 0 28086 12 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17156 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 173458805 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.98
Current children cumulated vsize (KiB) 915460
[startup+342.579 s]
/proc/loadavg: 2.00 2.01 1.94 3/89 32684
/proc/meminfo: memFree=1547336/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=340.68
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17422 0 1 0 34056 12 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073608991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17156 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 173458805 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 340.68
Current children cumulated vsize (KiB) 915460
[startup+402.594 s]
/proc/loadavg: 2.00 2.01 1.94 3/89 32684
/proc/meminfo: memFree=1547336/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=400.38
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17422 0 1 0 40026 12 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17156 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 173458805 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.38
Current children cumulated vsize (KiB) 915460
[startup+462.61 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 32684
/proc/meminfo: memFree=1547336/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=460.07
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17422 0 1 0 45994 13 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735780 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17156 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 173458805 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.07
Current children cumulated vsize (KiB) 915460
[startup+522.623 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 32684
/proc/meminfo: memFree=1547336/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=519.75
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17422 0 1 0 51962 13 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17156 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 173458805 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 519.75
Current children cumulated vsize (KiB) 915460
[startup+582.634 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 32684
/proc/meminfo: memFree=1547272/2055920 swapFree=4192192/4192956
[pid=32676] ppid=32674 vsize=915460 CPUtime=579.45
/proc/32676/stat : 32676 (java) R 32674 32676 31861 0 -1 0 17422 0 1 0 57932 13 0 0 25 0 8 0 173458802 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32676/statm: 228865 17156 2527 14 0 215335 0
[pid=32676/tid=32678] ppid=32674 vsize=915460 CPUtime=0.06
/proc/32676/task/32678/stat : 32678 (java) S 32674 32676 31861 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 173458805 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32679] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32679/stat : 32679 (java) S 32674 32676 31861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32680] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32674 32676 31861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173458806 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32681] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32674 32676 31861 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32682] ppid=32674 vsize=915460 CPUtime=0.2
/proc/32676/task/32682/stat : 32682 (java) S 32674 32676 31861 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32683] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32683/stat : 32683 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32676/tid=32684] ppid=32674 vsize=915460 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32674 32676 31861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173458809 937431040 17156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 579.45
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 587.301
CPU time (s): 584.062
CPU user time (s): 583.915
CPU system time (s): 0.146977
CPU usage (%): 99.4485
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 583.915
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17430
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= 12955
involuntary context switches= 21234
runsolver used 0.801878 s user time and 1.81372 s system time
The end
Begin job on node55 on Mon Jan 8 10:03:25 UTC 2007
IDJOB= 218083
IDBENCH= 5198
FILE ID= node55/218083-1168250605
PBS_JOBID= 3481903
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218083-1168250605/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-218083-1168250605 -o ROOT/results/node55/solver-218083-1168250605 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218083-1168250605/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bc93713de166b1eb8718a7b2d6ead437
RANDOM SEED= 789716222
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
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 : 5931.00
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.218
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: 1606496 kB
Buffers: 47144 kB
Cached: 150856 kB
SwapCached: 424 kB
Active: 291544 kB
Inactive: 100756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1606496 kB
SwapTotal: 4192956 kB
SwapFree: 4192192 kB
Dirty: 7952 kB
Writeback: 0 kB
Mapped: 212052 kB
Slab: 42192 kB
Committed_AS: 4494000 kB
PageTables: 2156 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= 66557 MiB
End job on node55 on Mon Jan 8 10:13:13 UTC 2007