0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/206436-1168173112/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.58
1.58 constraints being loaded...
2.34 nbConstraints=91 nbRelationTypes=93 nbMergedConstraints=2 nbExtensionStructures=91
2.34 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.34 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
2.34 => wckTime=2.024 cpuTime=1.62 mem=57M90
2.50
2.50 solver IterativeSystematicSolver being built...
2.67 => wckTime=2.356 cpuTime=1.76 mem=65M328
2.81
2.81 preprocessing
2.81 nbConstraintChecks=45229 nbValidityChecks=76675 nbPropagations=254 nbRevisions=2571 nbUselessRevisions=2262
2.81 nbSingletonTests=39 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.81 => wckTime=0.134 cpuTime=0.11 mem=65M328
2.89
2.89 search
2.89 run=0 nbConstraintChecks=38358 nbValidityChecks=75970 nbPropagations=603 nbRevisions=6771
2.89 nbUselessRevisions=5580 nbAssignments=33 nbFailedAssignments=16 nbBacktracks=11 nbVisitedNodes=58
2.89 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.89 => wckTime=0.22 cpuTime=0.19 mem=66M376
3.06
3.06 search
3.06 run=1 nbConstraintChecks=127311 nbValidityChecks=252018 nbPropagations=1833 nbRevisions=22625
3.06 nbUselessRevisions=18493 nbAssignments=104 nbFailedAssignments=65 nbBacktracks=26 nbVisitedNodes=187
3.06 nbRestartNogoods=1 mapSize=22 nbInferences=0 nbTooLargeKeys=0
3.06 => wckTime=0.382 cpuTime=0.34 mem=66M376
3.19
3.19 search
3.19 run=2 nbConstraintChecks=196334 nbValidityChecks=391021 nbPropagations=3645 nbRevisions=45864
3.19 nbUselessRevisions=37504 nbAssignments=164 nbFailedAssignments=88 nbBacktracks=49 nbVisitedNodes=275
3.19 nbRestartNogoods=7 mapSize=41 nbInferences=0 nbTooLargeKeys=0
3.19 => wckTime=0.513 cpuTime=0.47 mem=66M376
3.39
3.39 search
3.39 run=3 nbConstraintChecks=316164 nbValidityChecks=645429 nbPropagations=6481 nbRevisions=83318
3.39 nbUselessRevisions=68350 nbAssignments=259 nbFailedAssignments=143 nbBacktracks=82 nbVisitedNodes=448
3.39 nbRestartNogoods=10 mapSize=71 nbInferences=0 nbTooLargeKeys=0
3.39 => wckTime=0.716 cpuTime=0.67 mem=66M376
3.73
3.73 search
3.73 run=4 nbConstraintChecks=521253 nbValidityChecks=1098755 nbPropagations=11209 nbRevisions=143658
3.73 nbUselessRevisions=118016 nbAssignments=456 nbFailedAssignments=222 nbBacktracks=132 nbVisitedNodes=698
3.73 nbRestartNogoods=18 mapSize=117 nbInferences=0 nbTooLargeKeys=0
3.73 => wckTime=1.058 cpuTime=1.01 mem=66M376
4.09
4.09 search
4.09 run=5 nbConstraintChecks=733319 nbValidityChecks=1525156 nbPropagations=17886 nbRevisions=229332
4.09 nbUselessRevisions=188272 nbAssignments=635 nbFailedAssignments=320 nbBacktracks=207 nbVisitedNodes=1017
4.09 nbRestartNogoods=26 mapSize=176 nbInferences=0 nbTooLargeKeys=0
4.09 => wckTime=1.412 cpuTime=1.36 mem=66M376
4.86
4.86 search
4.86 run=6 nbConstraintChecks=1196772 nbValidityChecks=2430117 nbPropagations=28234 nbRevisions=362618
4.86 nbUselessRevisions=296659 nbAssignments=961 nbFailedAssignments=526 nbBacktracks=320 nbVisitedNodes=1635
4.86 nbRestartNogoods=34 mapSize=278 nbInferences=0 nbTooLargeKeys=0
4.86 => wckTime=2.185 cpuTime=2.12 mem=66M376
6.04
6.04 search
6.04 run=7 nbConstraintChecks=1874494 nbValidityChecks=3822354 nbPropagations=44201 nbRevisions=568020
6.04 nbUselessRevisions=463007 nbAssignments=1424 nbFailedAssignments=757 nbBacktracks=491 nbVisitedNodes=2378
6.04 nbRestartNogoods=47 mapSize=413 nbInferences=0 nbTooLargeKeys=0
6.04 => wckTime=3.364 cpuTime=3.28 mem=66M376
7.11
7.11 search
7.11 run=8 nbConstraintChecks=2495654 nbValidityChecks=5130456 nbPropagations=66701 nbRevisions=852806
7.11 nbUselessRevisions=693364 nbAssignments=1929 nbFailedAssignments=990 nbBacktracks=747 nbVisitedNodes=3257
7.11 nbRestartNogoods=56 mapSize=635 nbInferences=0 nbTooLargeKeys=0
7.11 => wckTime=4.434 cpuTime=4.33 mem=66M376
8.72
8.72 search
8.72 run=9 nbConstraintChecks=3467708 nbValidityChecks=7125986 nbPropagations=99102 nbRevisions=1258327
8.72 nbUselessRevisions=1020192 nbAssignments=2691 nbFailedAssignments=1361 nbBacktracks=1133 nbVisitedNodes=4606
8.72 nbRestartNogoods=61 mapSize=953 nbInferences=0 nbTooLargeKeys=0
8.72 => wckTime=6.049 cpuTime=5.94 mem=66M376
9.03
9.03 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=66M376)
11.97
11.97 search
11.97 run=10 nbConstraintChecks=5496219 nbValidityChecks=10999730 nbPropagations=147439 nbRevisions=1872598
11.97 nbUselessRevisions=1513186 nbAssignments=4046 nbFailedAssignments=2132 nbBacktracks=1709 nbVisitedNodes=7138
11.97 nbRestartNogoods=69
11.97 => wckTime=9.299 cpuTime=9.16 mem=66M376
16.26
16.26 search
16.26 run=11 nbConstraintChecks=8090740 nbValidityChecks=16402820 nbPropagations=221169 nbRevisions=2802571
16.26 nbUselessRevisions=2259894 nbAssignments=5986 nbFailedAssignments=3151 nbBacktracks=2574 nbVisitedNodes=10619
16.26 nbRestartNogoods=82
16.26 => wckTime=13.586 cpuTime=13.42 mem=66M376
24.25
24.25 search
24.25 run=12 nbConstraintChecks=12859964 nbValidityChecks=26287847 nbPropagations=339011 nbRevisions=4267953
24.25 nbUselessRevisions=3431631 nbAssignments=9300 nbFailedAssignments=5137 nbBacktracks=3872 nbVisitedNodes=16739
24.25 nbRestartNogoods=105
24.25 => wckTime=21.579 cpuTime=21.38 mem=66M376
36.16
36.16 search
36.16 run=13 nbConstraintChecks=20193331 nbValidityChecks=40653684 nbPropagations=513202 nbRevisions=6482544
36.16 nbUselessRevisions=5203875 nbAssignments=14316 nbFailedAssignments=8189 nbBacktracks=5819 nbVisitedNodes=26091
36.16 nbRestartNogoods=124
36.16 => wckTime=33.489 cpuTime=33.24 mem=66M376
50.05
50.05 search
50.05 run=14 nbConstraintChecks=28739921 nbValidityChecks=58532532 nbPropagations=771890 nbRevisions=9774145
50.05 nbUselessRevisions=7840656 nbAssignments=20881 nbFailedAssignments=11829 nbBacktracks=8739 nbVisitedNodes=38159
50.05 nbRestartNogoods=134
50.05 => wckTime=47.38 cpuTime=47.06 mem=66M376
72.68
72.68 search
72.68 run=15 nbConstraintChecks=42581656 nbValidityChecks=86465889 nbPropagations=1154229 nbRevisions=14599196
72.68 nbUselessRevisions=11699284 nbAssignments=31036 nbFailedAssignments=17599 nbBacktracks=13119
72.68 nbVisitedNodes=56605 nbRestartNogoods=150
72.68 => wckTime=70.002 cpuTime=69.57 mem=66M376
107.31
107.31 search
107.31 run=16 nbConstraintChecks=64616300 nbValidityChecks=131507721 nbPropagations=1746970 nbRevisions=22102546
107.31 nbUselessRevisions=17732375 nbAssignments=49068 nbFailedAssignments=29047 nbBacktracks=19687
107.31 nbVisitedNodes=90728 nbRestartNogoods=164
107.31 => wckTime=104.637 cpuTime=104.04 mem=66M376
166.74
166.74 search
166.74 run=17 nbConstraintChecks=102733030 nbValidityChecks=206286377 nbPropagations=2642977 nbRevisions=33713861
166.74 nbUselessRevisions=27035926 nbAssignments=77630 nbFailedAssignments=47750 nbBacktracks=29540
166.74 nbVisitedNodes=144604 nbRestartNogoods=173
166.74 => wckTime=164.062 cpuTime=163.19 mem=66M376
235.52
235.52 search
235.52 run=18 nbConstraintChecks=144154851 nbValidityChecks=290155665 nbPropagations=3944630 nbRevisions=50300105
235.52 nbUselessRevisions=40321922 nbAssignments=108596 nbFailedAssignments=63922 nbBacktracks=44318
235.52 nbVisitedNodes=200331 nbRestartNogoods=192
235.52 => wckTime=232.845 cpuTime=231.65 mem=66M376
327.86
327.86 search
327.86 run=19 nbConstraintChecks=200895189 nbValidityChecks=407263638 nbPropagations=5822293 nbRevisions=74079653
327.86 nbUselessRevisions=59392683 nbAssignments=155181 nbFailedAssignments=88333 nbBacktracks=66486
327.86 nbVisitedNodes=284467 nbRestartNogoods=223
327.86 => wckTime=325.184 cpuTime=323.55 mem=66M376
481.89
481.89 search
481.89 run=20 nbConstraintChecks=294600667 nbValidityChecks=606310832 nbPropagations=8641156 nbRevisions=108759943
481.89 nbUselessRevisions=87078040 nbAssignments=237726 nbFailedAssignments=137614 nbBacktracks=99739
481.89 nbVisitedNodes=435426 nbRestartNogoods=257
481.89 => wckTime=479.212 cpuTime=476.86 mem=66M376
816.60
816.60 search
816.60 run=21 nbConstraintChecks=508356787 nbValidityChecks=1055045483 nbPropagations=13234650 nbRevisions=167845817
816.60 nbUselessRevisions=134478707 nbAssignments=412806 nbFailedAssignments=262808 nbBacktracks=149621
816.60 nbVisitedNodes=770189 nbRestartNogoods=294
816.60 => wckTime=813.927 cpuTime=810.33 mem=66M376
1164.54
1164.54 search
1164.54 run=22 nbConstraintChecks=737878237 nbValidityChecks=1526880492 nbPropagations=20026293 nbRevisions=255133268
1164.54 nbUselessRevisions=204689498 nbAssignments=592181 nbFailedAssignments=367358 nbBacktracks=224439
1164.54 nbVisitedNodes=1102342 nbRestartNogoods=323
1164.54 => wckTime=1161.868 cpuTime=1157.91 mem=66M376
1615.05
1615.05 search
1615.05 run=23 nbConstraintChecks=1034483206 nbValidityChecks=2131056852 nbPropagations=29729132 nbRevisions=379693560
1615.05 nbUselessRevisions=305069721 nbAssignments=831849 nbFailedAssignments=494782 nbBacktracks=336666
1615.05 nbVisitedNodes=1536169 nbRestartNogoods=352
1615.05 => wckTime=1612.372 cpuTime=1607.96 mem=66M376
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-206436-1168173112 -o ROOT/results/node18/solver-206436-1168173112 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206436-1168173112/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: 1.98 2.03 2.00 4/93 26765
/proc/meminfo: memFree=1634824/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=11820 CPUtime=0
/proc/26764/stat : 26764 (java) D 26762 26764 26697 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 165705872 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7861028 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/26764/statm: 2955 510 421 14 0 1602 0
[startup+0.103471 s]
/proc/loadavg: 1.98 2.03 2.00 4/93 26765
/proc/meminfo: memFree=1634824/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=914988 CPUtime=0.09
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 2987 0 1 0 8 1 0 0 17 0 8 0 165705872 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511509 s]
/proc/loadavg: 1.98 2.03 2.00 4/93 26765
/proc/meminfo: memFree=1634824/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915328 CPUtime=0.49
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 7507 0 1 0 45 4 0 0 18 0 8 0 165705872 937295872 7246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445405 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 228832 7246 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33459 s]
/proc/loadavg: 1.98 2.03 2.00 3/100 26772
/proc/meminfo: memFree=1567760/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915328 CPUtime=1.3
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 19097 0 1 0 121 9 0 0 25 0 8 0 165705872 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445322 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 228832 18835 2149 14 0 215302 0
[pid=26764/tid=26766] ppid=26762 vsize=915328 CPUtime=0.05
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165705876 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915328 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915328 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915328 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915328 CPUtime=0.08
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 307 0 0 0 8 0 0 0 16 0 8 0 165705880 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915328 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915328 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98775 s]
/proc/loadavg: 1.98 2.03 2.00 4/100 26772
/proc/meminfo: memFree=1527192/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=2.96
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32480 0 1 0 281 15 0 0 25 0 8 0 165705872 937410560 32215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797294 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 228860 32215 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 17 0 8 0 165705876 937410560 32215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.19
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 374 0 0 0 19 0 0 0 16 0 8 0 165705880 937410560 32215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915440
[startup+6.28307 s]
/proc/loadavg: 2.07 2.04 2.01 3/100 26772
/proc/meminfo: memFree=1515608/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=6.23
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32496 0 1 0 608 15 0 0 25 0 8 0 165705872 937410560 32228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 228860 32228 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 17 0 8 0 165705876 937410560 32228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.24
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 165705880 937410560 32228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915440
[startup+12.7757 s]
/proc/loadavg: 2.06 2.04 2.00 3/100 26772
/proc/meminfo: memFree=1515544/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=12.69
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32510 0 1 0 1253 16 0 0 25 0 8 0 165705872 937410560 32238 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 228860 32238 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 16 0 8 0 165705876 937410560 32238 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32238 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32238 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32238 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.26
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 165705880 937410560 32238 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32238 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32238 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915440
[startup+25.6249 s]
/proc/loadavg: 2.05 2.04 2.00 3/100 26772
/proc/meminfo: memFree=1515736/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=25.48
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32512 0 1 0 2532 16 0 0 25 0 8 0 165705872 937410560 32240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 228860 32240 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 16 0 8 0 165705876 937410560 32240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.27
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 404 0 0 0 26 1 0 0 15 0 8 0 165705880 937410560 32240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915440
[startup+51.2664 s]
/proc/loadavg: 2.03 2.04 2.00 3/100 26772
/proc/meminfo: memFree=1515736/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=50.99
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32514 0 1 0 5083 16 0 0 25 0 8 0 165705872 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 228860 32241 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 16 0 8 0 165705876 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.27
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 165705880 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915440
[startup+102.531 s]
/proc/loadavg: 2.01 2.03 2.00 3/100 26772
/proc/meminfo: memFree=1515736/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=102.03
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32514 0 1 0 10186 17 0 0 25 0 8 0 165705872 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822029 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 228860 32241 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 16 0 8 0 165705876 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.27
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 165705880 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 915440
[startup+162.547 s]
/proc/loadavg: 2.08 2.04 2.00 3/100 26772
/proc/meminfo: memFree=1515672/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=161.75
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32514 0 1 0 16158 17 0 0 25 0 8 0 165705872 937410560 32241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1418.74
Current children cumulated vsize (KiB) 915440
[startup+1482.88 s]
/proc/loadavg: 2.07 2.04 2.01 3/100 26830
/proc/meminfo: memFree=1508840/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=1478.69
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32515 0 1 0 147839 30 0 0 25 0 8 0 165705872 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 228860 32242 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.27
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.69
Current children cumulated vsize (KiB) 915440
[startup+1542.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/100 26830
/proc/meminfo: memFree=1508776/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=1538.64
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32515 0 1 0 153834 30 0 0 25 0 8 0 165705872 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799208 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 228860 32242 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.27
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.64
Current children cumulated vsize (KiB) 915440
[startup+1602.92 s]
/proc/loadavg: 2.06 2.04 2.00 3/100 26830
/proc/meminfo: memFree=1508712/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=1598.61
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32515 0 1 0 159831 30 0 0 25 0 8 0 165705872 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 228860 32242 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.27
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.61
Current children cumulated vsize (KiB) 915440
[startup+1662.94 s]
/proc/loadavg: 2.02 2.03 2.00 3/100 26830
/proc/meminfo: memFree=1508584/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=1658.55
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32515 0 1 0 165825 30 0 0 25 0 8 0 165705872 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 228860 32242 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.27
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.55
Current children cumulated vsize (KiB) 915440
[startup+1722.96 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 26830
/proc/meminfo: memFree=1508584/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=1718.51
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32515 0 1 0 171821 30 0 0 25 0 8 0 165705872 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 228860 32242 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.27
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.51
Current children cumulated vsize (KiB) 915440
[startup+1782.99 s]
/proc/loadavg: 2.00 2.01 2.00 3/106 26948
/proc/meminfo: memFree=1507048/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=1778.44
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32515 0 1 0 177807 37 0 0 25 0 8 0 165705872 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 228860 32242 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.27
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.44
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.61 s]
/proc/loadavg: 2.08 2.03 2.01 3/106 26978
/proc/meminfo: memFree=1506992/2055920 swapFree=4192812/4192956
[pid=26764] ppid=26762 vsize=915440 CPUtime=1800.02
/proc/26764/stat : 26764 (java) R 26762 26764 26697 0 -1 0 32515 0 1 0 179959 43 0 0 25 0 8 0 165705872 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 228860 32242 2531 14 0 215330 0
[pid=26764/tid=26766] ppid=26762 vsize=915440 CPUtime=0.45
/proc/26764/task/26766/stat : 26766 (java) S 26762 26764 26697 0 -1 64 15490 0 0 0 40 5 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26767] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26762 26764 26697 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26768] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26762 26764 26697 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165705876 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26769] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26769/stat : 26769 (java) S 26762 26764 26697 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26770] ppid=26762 vsize=915440 CPUtime=0.27
/proc/26764/task/26770/stat : 26770 (java) S 26762 26764 26697 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26771] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26772] ppid=26762 vsize=915440 CPUtime=0
/proc/26764/task/26772/stat : 26772 (java) S 26762 26764 26697 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165705880 937410560 32242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1804.68
CPU time (s): 1800.1
CPU user time (s): 1799.64
CPU system time (s): 0.45893
CPU usage (%): 99.7463
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.45893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32532
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= 37673
involuntary context switches= 34278
runsolver used 2.59061 s user time and 5.40618 s system time
The end
Begin job on node18 on Sun Jan 7 12:31:52 UTC 2007
IDJOB= 206436
IDBENCH= 4208
FILE ID= node18/206436-1168173112
PBS_JOBID= 3478851
Free space on /tmp= 66278 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-46_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206436-1168173112/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-206436-1168173112 -o ROOT/results/node18/solver-206436-1168173112 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206436-1168173112/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c533f66d17c5f39bdf5d136140b92696
RANDOM SEED= 373660748
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.231
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.231
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: 1635304 kB
Buffers: 23628 kB
Cached: 158136 kB
SwapCached: 0 kB
Active: 255772 kB
Inactive: 105908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1635304 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7648 kB
Writeback: 0 kB
Mapped: 208892 kB
Slab: 43624 kB
Committed_AS: 5379708 kB
PageTables: 2352 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= 66278 MiB
End job on node18 on Sun Jan 7 13:01:57 UTC 2007