0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/196156-1168119804/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.08
1.08 constraints being loaded...
1.36 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.36 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.36 => wckTime=1.034 cpuTime=0.91 mem=48M720
1.48
1.48 solver IterativeSystematicSolver being built...
1.65 => wckTime=1.329 cpuTime=1.04 mem=34M529
1.77
1.77 preprocessing
1.77 nbConstraintChecks=34604 nbValidityChecks=55900 nbPropagations=228 nbRevisions=2386 nbUselessRevisions=2051
1.77 nbSingletonTests=32 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.77 => wckTime=0.114 cpuTime=0.07 mem=34M529
1.88
1.88 search
1.88 run=0 nbConstraintChecks=66651 nbValidityChecks=120767 nbPropagations=787 nbRevisions=8959
1.88 nbUselessRevisions=7185 nbAssignments=50 nbFailedAssignments=34 nbBacktracks=10 nbVisitedNodes=94
1.88 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.88 => wckTime=0.229 cpuTime=0.18 mem=35M531
2.00
2.00 search
2.00 run=1 nbConstraintChecks=134461 nbValidityChecks=258852 nbPropagations=2230 nbRevisions=25620
2.00 nbUselessRevisions=20579 nbAssignments=113 nbFailedAssignments=49 nbBacktracks=25 nbVisitedNodes=156
2.00 nbRestartNogoods=8 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.00 => wckTime=0.345 cpuTime=0.28 mem=35M531
2.14
2.14 search
2.14 run=2 nbConstraintChecks=221403 nbValidityChecks=424812 nbPropagations=4584 nbRevisions=53147
2.14 nbUselessRevisions=42490 nbAssignments=182 nbFailedAssignments=79 nbBacktracks=47 nbVisitedNodes=260
2.14 nbRestartNogoods=11 mapSize=44 nbInferences=0 nbTooLargeKeys=0
2.14 => wckTime=0.484 cpuTime=0.42 mem=35M531
2.33
2.33 search
2.33 run=3 nbConstraintChecks=340810 nbValidityChecks=660058 nbPropagations=8099 nbRevisions=95582
2.33 nbUselessRevisions=76364 nbAssignments=280 nbFailedAssignments=128 nbBacktracks=80 nbVisitedNodes=421
2.33 nbRestartNogoods=20 mapSize=76 nbInferences=0 nbTooLargeKeys=0
2.33 => wckTime=0.673 cpuTime=0.6 mem=35M531
2.56
2.56 search
2.56 run=4 nbConstraintChecks=498727 nbValidityChecks=972971 nbPropagations=13519 nbRevisions=159993
2.56 nbUselessRevisions=127434 nbAssignments=442 nbFailedAssignments=232 nbBacktracks=131 nbVisitedNodes=722
2.56 nbRestartNogoods=22 mapSize=117 nbInferences=0 nbTooLargeKeys=0
2.56 => wckTime=0.904 cpuTime=0.83 mem=35M531
2.85
2.85 search
2.85 run=5 nbConstraintChecks=693283 nbValidityChecks=1346188 nbPropagations=21099 nbRevisions=249238
2.85 nbUselessRevisions=198190 nbAssignments=617 nbFailedAssignments=319 nbBacktracks=209 nbVisitedNodes=1025
2.85 nbRestartNogoods=29 mapSize=183 nbInferences=0 nbTooLargeKeys=0
2.85 => wckTime=1.197 cpuTime=1.11 mem=35M531
3.66
3.66 search
3.66 run=6 nbConstraintChecks=1256471 nbValidityChecks=2421386 nbPropagations=33686 nbRevisions=404789
3.66 nbUselessRevisions=320706 nbAssignments=1059 nbFailedAssignments=642 nbBacktracks=322 nbVisitedNodes=1880
3.66 nbRestartNogoods=33 mapSize=288 nbInferences=0 nbTooLargeKeys=0
3.66 => wckTime=2.008 cpuTime=1.91 mem=35M531
4.38
4.38 search
4.38 run=7 nbConstraintChecks=1737273 nbValidityChecks=3387851 nbPropagations=52255 nbRevisions=632071
4.38 nbUselessRevisions=499649 nbAssignments=1585 nbFailedAssignments=978 nbBacktracks=493 nbVisitedNodes=2849
4.38 nbRestartNogoods=40 mapSize=438 nbInferences=0 nbTooLargeKeys=0
4.38 => wckTime=2.726 cpuTime=2.61 mem=35M531
5.39
5.39 search
5.39 run=8 nbConstraintChecks=2460916 nbValidityChecks=4733433 nbPropagations=78263 nbRevisions=944056
5.39 nbUselessRevisions=744765 nbAssignments=2158 nbFailedAssignments=1278 nbBacktracks=752 nbVisitedNodes=3874
5.39 nbRestartNogoods=58 mapSize=654 nbInferences=0 nbTooLargeKeys=0
5.39 => wckTime=3.74 cpuTime=3.6 mem=35M531
7.01
7.01 search
7.01 run=9 nbConstraintChecks=3632228 nbValidityChecks=6986880 nbPropagations=116767 nbRevisions=1405429
7.01 nbUselessRevisions=1107449 nbAssignments=3129 nbFailedAssignments=1849 nbBacktracks=1136 nbVisitedNodes=5670
7.01 nbRestartNogoods=70 mapSize=994 nbInferences=0 nbTooLargeKeys=0
7.01 => wckTime=5.36 cpuTime=5.2 mem=35M531
7.09
7.09 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=35M531)
9.33
9.33 search
9.33 run=10 nbConstraintChecks=5270566 nbValidityChecks=10276432 nbPropagations=175176 nbRevisions=2101927
9.33 nbUselessRevisions=1654776 nbAssignments=4805 nbFailedAssignments=2943 nbBacktracks=1713 nbVisitedNodes=8845
9.33 nbRestartNogoods=78
9.33 => wckTime=7.678 cpuTime=7.49 mem=35M531
12.40
12.40 search
12.40 run=11 nbConstraintChecks=7487096 nbValidityChecks=14638284 nbPropagations=260037 nbRevisions=3112857
12.40 nbUselessRevisions=2450254 nbAssignments=6811 nbFailedAssignments=4079 nbBacktracks=2579 nbVisitedNodes=12615
12.40 nbRestartNogoods=90
12.40 => wckTime=10.749 cpuTime=10.54 mem=35M531
17.80
17.80 search
17.80 run=12 nbConstraintChecks=11447139 nbValidityChecks=22094680 nbPropagations=387024 nbRevisions=4617276
17.80 nbUselessRevisions=3632263 nbAssignments=10167 nbFailedAssignments=6132 nbBacktracks=3876 nbVisitedNodes=18925
17.80 nbRestartNogoods=98
17.80 => wckTime=16.144 cpuTime=15.88 mem=35M531
25.41
25.42 search
25.42 run=13 nbConstraintChecks=16888182 nbValidityChecks=32749863 nbPropagations=577174 nbRevisions=6863077
25.42 nbUselessRevisions=5398773 nbAssignments=15129 nbFailedAssignments=9107 nbBacktracks=5822 nbVisitedNodes=28150
25.42 nbRestartNogoods=122
25.42 => wckTime=23.762 cpuTime=23.43 mem=35M531
39.31
39.31 search
39.31 run=14 nbConstraintChecks=26685973 nbValidityChecks=51693753 nbPropagations=869145 nbRevisions=10316610
39.31 nbUselessRevisions=8113074 nbAssignments=22827 nbFailedAssignments=13882 nbBacktracks=8741 nbVisitedNodes=42683
39.31 nbRestartNogoods=130
39.31 => wckTime=37.657 cpuTime=37.19 mem=35M531
55.13
55.13 search
55.13 run=15 nbConstraintChecks=38028142 nbValidityChecks=72972074 nbPropagations=1275147 nbRevisions=15125371
55.13 nbUselessRevisions=11904400 nbAssignments=32722 nbFailedAssignments=19395 nbBacktracks=13120
55.13 nbVisitedNodes=60622 nbRestartNogoods=142
55.13 => wckTime=53.475 cpuTime=52.86 mem=35M531
85.29
85.29 search
85.29 run=16 nbConstraintChecks=59301716 nbValidityChecks=114134777 nbPropagations=1904765 nbRevisions=22627774
85.29 nbUselessRevisions=17815700 nbAssignments=49852 nbFailedAssignments=29951 nbBacktracks=19688
85.29 nbVisitedNodes=93032 nbRestartNogoods=148
85.29 => wckTime=83.635 cpuTime=82.74 mem=35M531
126.34
126.34 search
126.34 run=17 nbConstraintChecks=88891849 nbValidityChecks=169675658 nbPropagations=2831463 nbRevisions=33596050
126.34 nbUselessRevisions=26452108 nbAssignments=74180 nbFailedAssignments=44411 nbBacktracks=29540
126.34 nbVisitedNodes=138097 nbRestartNogoods=172
126.34 => wckTime=124.684 cpuTime=123.41 mem=35M531
184.63
184.63 search
184.63 run=18 nbConstraintChecks=129782035 nbValidityChecks=247065833 nbPropagations=4182846 nbRevisions=49588111
184.63 nbUselessRevisions=39049545 nbAssignments=107248 nbFailedAssignments=62697 nbBacktracks=44318
184.63 nbVisitedNodes=198401 nbRestartNogoods=188
184.63 => wckTime=182.98 cpuTime=181.17 mem=35M531
283.57
283.57 search
283.57 run=19 nbConstraintChecks=201464047 nbValidityChecks=383443487 nbPropagations=6258055 nbRevisions=74104193
283.57 nbUselessRevisions=58338255 nbAssignments=164968 nbFailedAssignments=98243 nbBacktracks=66486
283.57 nbVisitedNodes=306995 nbRestartNogoods=200
283.57 => wckTime=281.917 cpuTime=279.21 mem=35M531
434.48
434.48 search
434.48 run=20 nbConstraintChecks=306968686 nbValidityChecks=578866894 nbPropagations=9326786 nbRevisions=110572997
434.48 nbUselessRevisions=87020139 nbAssignments=244735 nbFailedAssignments=144741 nbBacktracks=99739
434.48 nbVisitedNodes=454641 nbRestartNogoods=225
434.48 => wckTime=432.827 cpuTime=428.73 mem=35M531
669.97
669.97 search
669.97 run=21 nbConstraintChecks=476092617 nbValidityChecks=905331524 nbPropagations=14125344 nbRevisions=167953604
669.97 nbUselessRevisions=132192078 nbAssignments=382870 nbFailedAssignments=232991 nbBacktracks=149618
669.97 nbVisitedNodes=716797 nbRestartNogoods=243
669.97 => wckTime=668.318 cpuTime=662.05 mem=35M531
966.64
966.64 search
966.64 run=22 nbConstraintChecks=691275772 nbValidityChecks=1312591801 nbPropagations=21128147 nbRevisions=251706043
966.64 nbUselessRevisions=198238099 nbAssignments=560315 nbFailedAssignments=335613 nbBacktracks=224437
966.64 nbVisitedNodes=1044383 nbRestartNogoods=269
966.64 => wckTime=964.985 cpuTime=956.15 mem=35M531
1488.50
1488.50 search
1488.50 run=23 nbConstraintChecks=1073562944 nbValidityChecks=2022487085 nbPropagations=31779832 nbRevisions=379313074
1488.50 nbUselessRevisions=298655728 nbAssignments=836459 nbFailedAssignments=499522 nbBacktracks=336668
1488.50 nbVisitedNodes=1560963 nbRestartNogoods=305
1488.50 => wckTime=1486.847 cpuTime=1474.06 mem=35M531
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-196156-1168119804 -o ROOT/results/node38/solver-196156-1168119804 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196156-1168119804/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.12 2.04 2.01 4/80 28841
/proc/meminfo: memFree=1448928/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=18540 CPUtime=0
/proc/28840/stat : 28840 (runsolver) R 28838 28840 28134 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 160380027 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266890439975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28840/statm: 4635 279 244 17 0 2626 0
[startup+0.103124 s]
/proc/loadavg: 2.12 2.04 2.01 4/80 28841
/proc/meminfo: memFree=1448928/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=913228 CPUtime=0.08
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 2919 0 1 0 7 1 0 0 19 0 8 0 160380027 935145472 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.51121 s]
/proc/loadavg: 2.12 2.04 2.01 4/80 28841
/proc/meminfo: memFree=1448928/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915328 CPUtime=0.48
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 7361 0 1 0 44 4 0 0 18 0 8 0 160380027 937295872 7100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228832 7100 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33537 s]
/proc/loadavg: 2.12 2.04 2.01 3/87 28848
/proc/meminfo: memFree=1381864/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915328 CPUtime=1.3
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 19108 0 1 0 121 9 0 0 25 0 8 0 160380027 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228832 18846 2160 14 0 215302 0
[pid=28840/tid=28842] ppid=28838 vsize=915328 CPUtime=0.05
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 2643 0 0 0 5 0 0 0 17 0 8 0 160380031 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915328 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915328 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160380032 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915328 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915328 CPUtime=0.1
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 160380035 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915328 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915328 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.97869 s]
/proc/loadavg: 2.12 2.04 2.01 3/87 28848
/proc/meminfo: memFree=1365800/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=2.92
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23478 0 1 0 281 11 0 0 25 0 8 0 160380027 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228854 23214 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 17 0 8 0 160380031 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.2
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 371 0 0 0 20 0 0 0 15 0 8 0 160380035 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915416
[startup+6.27533 s]
/proc/loadavg: 2.11 2.04 2.00 3/87 28848
/proc/meminfo: memFree=1365672/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=6.19
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23494 0 1 0 607 12 0 0 25 0 8 0 160380027 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228854 23227 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 17 0 8 0 160380031 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.24
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 160380035 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915416
[startup+12.7606 s]
/proc/loadavg: 2.10 2.04 2.00 3/87 28848
/proc/meminfo: memFree=1365800/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=12.62
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23498 0 1 0 1250 12 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915416
[startup+25.6211 s]
/proc/loadavg: 2.08 2.03 2.00 3/87 28848
/proc/meminfo: memFree=1365992/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=25.36
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 2524 12 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915416
[startup+51.2531 s]
/proc/loadavg: 2.05 2.03 2.00 3/87 28848
/proc/meminfo: memFree=1365992/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=50.75
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 5063 12 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772134 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915416
[startup+102.51 s]
/proc/loadavg: 2.02 2.02 2.00 3/87 28848
/proc/meminfo: memFree=1365992/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=101.54
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 10142 12 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915416
[startup+162.513 s]
/proc/loadavg: 2.01 2.02 2.00 3/87 28848
/proc/meminfo: memFree=1366056/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=160.99
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 16087 12 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.39
Current children cumulated vsize (KiB) 915416
[startup+1483.04 s]
/proc/loadavg: 2.01 2.01 2.00 3/89 29346
/proc/meminfo: memFree=1164952/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1470.34
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 147016 18 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632964 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.34
Current children cumulated vsize (KiB) 915416
[startup+1543.07 s]
/proc/loadavg: 2.04 2.02 2.00 3/89 29346
/proc/meminfo: memFree=1165016/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1530.3
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 153011 19 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757653 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.3
Current children cumulated vsize (KiB) 915416
[startup+1603.09 s]
/proc/loadavg: 2.01 2.01 2.00 3/89 29346
/proc/meminfo: memFree=1165016/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1590.28
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 159009 19 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.28
Current children cumulated vsize (KiB) 915416
[startup+1663.12 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 29346
/proc/meminfo: memFree=1164952/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1650.22
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 165003 19 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.22
Current children cumulated vsize (KiB) 915416
[startup+1723.17 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29346
/proc/meminfo: memFree=1165016/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1710.2
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 171001 19 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.2
Current children cumulated vsize (KiB) 915416
[startup+1783.18 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29346
/proc/meminfo: memFree=1164952/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1770.17
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 176998 19 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.17
Current children cumulated vsize (KiB) 915416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.15 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29346
/proc/meminfo: memFree=1164888/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1800.1
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 179991 19 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) R 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1813.23
CPU time (s): 1800.18
CPU user time (s): 1799.97
CPU system time (s): 0.210967
CPU usage (%): 99.2801
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23515
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= 37745
involuntary context switches= 68878
runsolver used 2.24966 s user time and 5.86611 s system time
The end
Begin job on node38 on Sat Jan 6 21:43:24 UTC 2007
IDJOB= 196156
IDBENCH= 3330
FILE ID= node38/196156-1168119804
PBS_JOBID= 3477436
Free space on /tmp= 66509 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-26_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196156-1168119804/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-196156-1168119804 -o ROOT/results/node38/solver-196156-1168119804 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196156-1168119804/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 606274943ef2c001f8e91e29fbfaccb0
RANDOM SEED= 264410433
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.267
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.267
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1449344 kB
Buffers: 41360 kB
Cached: 388400 kB
SwapCached: 0 kB
Active: 209076 kB
Inactive: 325376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1449344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4520 kB
Writeback: 0 kB
Mapped: 124928 kB
Slab: 57100 kB
Committed_AS: 4085784 kB
PageTables: 2064 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= 66507 MiB
End job on node38 on Sat Jan 6 22:13:37 UTC 2007