0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/203144-1168156742/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.1 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
1.56
1.56 constraints being loaded...
2.32 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.32 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.32 nbSharedBinaryRepresentations=0 maxDegree=20 maxArity=3
2.32 => wckTime=2.007 cpuTime=1.6 mem=57M956
2.48
2.48 solver IterativeSystematicSolver being built...
2.65 => wckTime=2.34 cpuTime=1.75 mem=65M642
2.80
2.80 preprocessing
2.80 nbConstraintChecks=51773 nbValidityChecks=84137 nbPropagations=277 nbRevisions=2972 nbUselessRevisions=2625
2.80 nbSingletonTests=39 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.80 => wckTime=0.145 cpuTime=0.12 mem=65M642
2.90
2.90 search
2.90 run=0 nbConstraintChecks=45772 nbValidityChecks=96182 nbPropagations=812 nbRevisions=9368
2.90 nbUselessRevisions=7885 nbAssignments=39 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=68
2.90 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=0.246 cpuTime=0.21 mem=66M660
3.00
3.00 search
3.00 run=1 nbConstraintChecks=93353 nbValidityChecks=194206 nbPropagations=2223 nbRevisions=25249
3.00 nbUselessRevisions=20963 nbAssignments=88 nbFailedAssignments=45 nbBacktracks=26 nbVisitedNodes=152
3.00 nbRestartNogoods=3 mapSize=24 nbInferences=0 nbTooLargeKeys=0
3.00 => wckTime=0.343 cpuTime=0.3 mem=66M660
3.11
3.11 search
3.11 run=2 nbConstraintChecks=147027 nbValidityChecks=318145 nbPropagations=4303 nbRevisions=49364
3.11 nbUselessRevisions=40737 nbAssignments=151 nbFailedAssignments=64 nbBacktracks=49 nbVisitedNodes=231
3.11 nbRestartNogoods=10 mapSize=42 nbInferences=0 nbTooLargeKeys=0
3.11 => wckTime=0.455 cpuTime=0.4 mem=66M660
3.28
3.28 search
3.28 run=3 nbConstraintChecks=241743 nbValidityChecks=523596 nbPropagations=7721 nbRevisions=89649
3.28 nbUselessRevisions=73220 nbAssignments=259 nbFailedAssignments=130 nbBacktracks=82 nbVisitedNodes=426
3.28 nbRestartNogoods=12 mapSize=74 nbInferences=0 nbTooLargeKeys=0
3.28 => wckTime=0.622 cpuTime=0.57 mem=66M660
3.60
3.60 search
3.60 run=4 nbConstraintChecks=423039 nbValidityChecks=924121 nbPropagations=13149 nbRevisions=154601
3.60 nbUselessRevisions=125647 nbAssignments=432 nbFailedAssignments=213 nbBacktracks=133 nbVisitedNodes=685
3.60 nbRestartNogoods=19 mapSize=122 nbInferences=0 nbTooLargeKeys=0
3.60 => wckTime=0.945 cpuTime=0.88 mem=66M660
4.07
4.07 search
4.07 run=5 nbConstraintChecks=697357 nbValidityChecks=1498821 nbPropagations=21594 nbRevisions=257219
4.07 nbUselessRevisions=207761 nbAssignments=693 nbFailedAssignments=376 nbBacktracks=212 nbVisitedNodes=1154
4.07 nbRestartNogoods=24 mapSize=192 nbInferences=0 nbTooLargeKeys=0
4.07 => wckTime=1.412 cpuTime=1.35 mem=66M660
4.66
4.66 search
4.66 run=6 nbConstraintChecks=1031420 nbValidityChecks=2214443 nbPropagations=33713 nbRevisions=404122
4.66 nbUselessRevisions=325347 nbAssignments=1004 nbFailedAssignments=537 nbBacktracks=328 nbVisitedNodes=1681
4.66 nbRestartNogoods=31 mapSize=299 nbInferences=0 nbTooLargeKeys=0
4.66 => wckTime=1.998 cpuTime=1.92 mem=66M660
5.29
5.29 search
5.29 run=7 nbConstraintChecks=1410840 nbValidityChecks=2999778 nbPropagations=51028 nbRevisions=613403
5.29 nbUselessRevisions=492291 nbAssignments=1382 nbFailedAssignments=734 nbBacktracks=498 nbVisitedNodes=2361
5.29 nbRestartNogoods=36 mapSize=446 nbInferences=0 nbTooLargeKeys=0
5.29 => wckTime=2.636 cpuTime=2.55 mem=66M660
6.22
6.22 search
6.22 run=8 nbConstraintChecks=1950338 nbValidityChecks=4141274 nbPropagations=75689 nbRevisions=908475
6.22 nbUselessRevisions=726842 nbAssignments=1958 nbFailedAssignments=1024 nbBacktracks=755 nbVisitedNodes=3369
6.22 nbRestartNogoods=46 mapSize=678 nbInferences=0 nbTooLargeKeys=0
6.22 => wckTime=3.564 cpuTime=3.45 mem=66M660
7.65
7.65 search
7.65 run=9 nbConstraintChecks=2824700 nbValidityChecks=6008927 nbPropagations=112303 nbRevisions=1347230
7.65 nbUselessRevisions=1074461 nbAssignments=2919 nbFailedAssignments=1594 nbBacktracks=1139 nbVisitedNodes=5135
7.65 nbRestartNogoods=57 mapSize=1006 nbInferences=0 nbTooLargeKeys=0
7.65 => wckTime=4.996 cpuTime=4.86 mem=66M660
7.71
7.71 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=66M660)
9.47
9.47 search
9.47 run=10 nbConstraintChecks=3907375 nbValidityChecks=8268116 nbPropagations=162753 nbRevisions=1951330
9.47 nbUselessRevisions=1553571 nbAssignments=4067 nbFailedAssignments=2157 nbBacktracks=1718 nbVisitedNodes=7146
9.47 nbRestartNogoods=68
9.47 => wckTime=6.813 cpuTime=6.65 mem=66M660
12.03
12.03 search
12.03 run=11 nbConstraintChecks=5464094 nbValidityChecks=11527518 nbPropagations=233025 nbRevisions=2794340
12.03 nbUselessRevisions=2222547 nbAssignments=5725 nbFailedAssignments=2887 nbBacktracks=2582 nbVisitedNodes=9907
12.03 nbRestartNogoods=80
12.03 => wckTime=9.376 cpuTime=9.19 mem=66M660
16.84
16.84 search
16.84 run=12 nbConstraintChecks=8433995 nbValidityChecks=18006473 nbPropagations=345870 nbRevisions=4134300
16.84 nbUselessRevisions=3281466 nbAssignments=9066 nbFailedAssignments=4923 nbBacktracks=3879 nbVisitedNodes=16156
16.84 nbRestartNogoods=89
16.84 => wckTime=14.181 cpuTime=13.95 mem=66M660
22.94
22.94 search
22.94 run=13 nbConstraintChecks=12087061 nbValidityChecks=25684165 nbPropagations=504964 nbRevisions=6020573
22.94 nbUselessRevisions=4773181 nbAssignments=12989 nbFailedAssignments=6891 nbBacktracks=5828 nbVisitedNodes=23019
22.94 nbRestartNogoods=100
22.94 => wckTime=20.285 cpuTime=19.99 mem=66M660
32.42
32.42 search
32.42 run=14 nbConstraintChecks=17810786 nbValidityChecks=37517208 nbPropagations=733618 nbRevisions=8743065
32.42 nbUselessRevisions=6926520 nbAssignments=18411 nbFailedAssignments=9354 nbBacktracks=8749 nbVisitedNodes=32349
32.42 nbRestartNogoods=114
32.42 => wckTime=29.766 cpuTime=29.39 mem=66M660
50.21
50.21 search
50.21 run=15 nbConstraintChecks=28820123 nbValidityChecks=60916362 nbPropagations=1109711 nbRevisions=13252453
50.21 nbUselessRevisions=10484307 nbAssignments=29914 nbFailedAssignments=16458 nbBacktracks=13128
50.21 nbVisitedNodes=53810 nbRestartNogoods=129
50.21 => wckTime=47.549 cpuTime=47.0 mem=66M660
76.59
76.59 search
76.59 run=16 nbConstraintChecks=45044980 nbValidityChecks=93692992 nbPropagations=1646212 nbRevisions=19839320
76.59 nbUselessRevisions=15705560 nbAssignments=43759 nbFailedAssignments=23726 nbBacktracks=19700
76.60 nbVisitedNodes=78515 nbRestartNogoods=144
76.60 => wckTime=73.938 cpuTime=73.16 mem=66M660
113.86
113.86 search
113.86 run=17 nbConstraintChecks=67506495 nbValidityChecks=142196000 nbPropagations=2464888 nbRevisions=29798175
113.86 nbUselessRevisions=23583102 nbAssignments=67023 nbFailedAssignments=37121 nbBacktracks=29552
113.86 nbVisitedNodes=121216 nbRestartNogoods=165
113.86 => wckTime=111.203 cpuTime=110.08 mem=66M660
158.61
158.61 search
158.61 run=18 nbConstraintChecks=94358047 nbValidityChecks=198694508 nbPropagations=3638165 nbRevisions=43973147
158.61 nbUselessRevisions=34794923 nbAssignments=95186 nbFailedAssignments=50496 nbBacktracks=44330
158.61 nbVisitedNodes=170278 nbRestartNogoods=178
158.61 => wckTime=155.955 cpuTime=154.29 mem=66M660
232.60
232.60 search
232.60 run=19 nbConstraintChecks=139367661 nbValidityChecks=292726478 nbPropagations=5393225 nbRevisions=65110382
232.60 nbUselessRevisions=51501850 nbAssignments=140227 nbFailedAssignments=73362 nbBacktracks=66499
232.60 nbVisitedNodes=250204 nbRestartNogoods=193
232.60 => wckTime=229.94 cpuTime=227.54 mem=66M660
366.93
366.93 search
366.93 run=20 nbConstraintChecks=222999167 nbValidityChecks=469372385 nbPropagations=8250009 nbRevisions=99635988
366.93 nbUselessRevisions=78746641 nbAssignments=226311 nbFailedAssignments=126186 nbBacktracks=99752
366.93 nbVisitedNodes=410366 nbRestartNogoods=206
366.93 => wckTime=364.275 cpuTime=360.65 mem=66M660
564.83
564.83 search
564.83 run=21 nbConstraintChecks=342423780 nbValidityChecks=724977291 nbPropagations=12584521 nbRevisions=151747095
564.83 nbUselessRevisions=119979059 nbAssignments=341962 nbFailedAssignments=191950 nbBacktracks=149631
564.83 nbVisitedNodes=623027 nbRestartNogoods=222
564.83 => wckTime=562.174 cpuTime=556.76 mem=66M660
798.70
798.70 search
798.70 run=22 nbConstraintChecks=485179598 nbValidityChecks=1025216618 nbPropagations=18794309 nbRevisions=226572370
798.70 nbUselessRevisions=179199249 nbAssignments=493913 nbFailedAssignments=269071 nbBacktracks=224450
798.70 nbVisitedNodes=891060 nbRestartNogoods=236
798.70 => wckTime=796.047 cpuTime=788.49 mem=66M660
1175.56
1175.56 search
1175.56 run=23 nbConstraintChecks=714123585 nbValidityChecks=1502072407 nbPropagations=27888202 nbRevisions=336073681
1175.56 nbUselessRevisions=265804483 nbAssignments=714470 nbFailedAssignments=377370 nbBacktracks=336679
1175.56 nbVisitedNodes=1280583 nbRestartNogoods=249
1175.56 => wckTime=1172.905 cpuTime=1161.92 mem=66M660
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-203144-1168156742 -o ROOT/results/node52/solver-203144-1168156742 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203144-1168156742/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.00 2.02 1.97 4/81 20690
/proc/meminfo: memFree=1581880/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=9948 CPUtime=0
/proc/20689/stat : 20689 (java) S 20687 20689 19482 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 164072664 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/20689/statm: 2955 510 421 14 0 1602 0
[startup+0.103046 s]
/proc/loadavg: 2.00 2.02 1.97 4/81 20690
/proc/meminfo: memFree=1581880/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=914988 CPUtime=0.08
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 164072664 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20689/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511072 s]
/proc/loadavg: 2.00 2.02 1.97 4/81 20690
/proc/meminfo: memFree=1581880/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915328 CPUtime=0.49
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 7531 0 1 0 45 4 0 0 18 0 8 0 164072664 937295872 7270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20689/statm: 228832 7270 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33213 s]
/proc/loadavg: 2.00 2.02 1.97 3/88 20697
/proc/meminfo: memFree=1514752/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915328 CPUtime=1.3
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 19099 0 1 0 121 9 0 0 25 0 8 0 164072664 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153473360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20689/statm: 228832 18837 2149 14 0 215302 0
[pid=20689/tid=20691] ppid=20687 vsize=915328 CPUtime=0.05
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 2681 0 0 0 5 0 0 0 17 0 8 0 164072668 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915328 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915328 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915328 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915328 CPUtime=0.09
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 309 0 0 0 9 0 0 0 16 0 8 0 164072672 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915328 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915328 CPUtime=0
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164072672 937295872 18837 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.97324 s]
/proc/loadavg: 2.00 2.02 1.97 3/88 20697
/proc/meminfo: memFree=1473984/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=2.93
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32572 0 1 0 278 15 0 0 25 0 8 0 164072664 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20689/statm: 228860 32307 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 17 0 8 0 164072668 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.2
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 374 0 0 0 19 1 0 0 15 0 8 0 164072672 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164072672 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440
[startup+6.18046 s]
/proc/loadavg: 2.16 2.05 1.98 3/88 20697
/proc/meminfo: memFree=1462024/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=6.11
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32594 0 1 0 595 16 0 0 25 0 8 0 164072664 937410560 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20689/statm: 228860 32326 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 17 0 8 0 164072668 937410560 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.24
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 164072672 937410560 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164072672 937410560 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915440
[startup+12.6549 s]
/proc/loadavg: 2.15 2.05 1.98 3/88 20697
/proc/meminfo: memFree=1462088/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=12.52
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32603 0 1 0 1236 16 0 0 25 0 8 0 164072664 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800365 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20689/statm: 228860 32333 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 16 0 8 0 164072668 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.26
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915440
[startup+25.5268 s]
/proc/loadavg: 2.11 2.05 1.98 3/88 20697
/proc/meminfo: memFree=1462280/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=25.28
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32603 0 1 0 2512 16 0 0 25 0 8 0 164072664 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20689/statm: 228860 32333 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 16 0 8 0 164072668 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.26
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915440
[startup+51.1575 s]
/proc/loadavg: 2.07 2.04 1.98 3/88 20697
/proc/meminfo: memFree=1462216/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=50.66
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32603 0 1 0 5050 16 0 0 25 0 8 0 164072664 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20689/statm: 228860 32333 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 16 0 8 0 164072668 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.26
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915440
[startup+102.41 s]
/proc/loadavg: 2.03 2.03 1.98 3/88 20697
/proc/meminfo: memFree=1462344/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=101.45
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32603 0 1 0 10129 16 0 0 25 0 8 0 164072664 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20689/statm: 228860 32333 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 16 0 8 0 164072668 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.26
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164072672 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915440
[startup+162.428 s]
/proc/loadavg: 2.10 2.05 2.00 3/94 20835
/proc/meminfo: memFree=1461072/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=160.78
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32605 0 1 0 16062 16 0 0 25 0 8 0 164072664 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812474 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.77
Current children cumulated vsize (KiB) 915440
[startup+1483.06 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 21126
/proc/meminfo: memFree=1499536/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=1470.77
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32606 0 1 0 147054 23 0 0 25 0 8 0 164072664 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20689/statm: 228860 32335 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.26
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0.01
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.77
Current children cumulated vsize (KiB) 915440
[startup+1543.09 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 21126
/proc/meminfo: memFree=1499600/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=1530.74
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32606 0 1 0 153051 23 0 0 25 0 8 0 164072664 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20689/statm: 228860 32335 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.26
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0.01
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.74
Current children cumulated vsize (KiB) 915440
[startup+1603.14 s]
/proc/loadavg: 2.03 2.01 2.00 3/80 21126
/proc/meminfo: memFree=1499600/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=1590.73
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32606 0 1 0 159049 24 0 0 25 0 8 0 164072664 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20689/statm: 228860 32335 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.26
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0.01
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.73
Current children cumulated vsize (KiB) 915440
[startup+1663.18 s]
/proc/loadavg: 2.05 2.02 2.00 3/80 21126
/proc/meminfo: memFree=1499600/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=1650.73
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32606 0 1 0 165049 24 0 0 25 0 8 0 164072664 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629890 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20689/statm: 228860 32335 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.26
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0.01
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.73
Current children cumulated vsize (KiB) 915440
[startup+1723.21 s]
/proc/loadavg: 2.01 2.02 2.00 3/80 21126
/proc/meminfo: memFree=1499600/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=1710.7
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32606 0 1 0 171046 24 0 0 25 0 8 0 164072664 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20689/statm: 228860 32335 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.26
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0.02
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.7
Current children cumulated vsize (KiB) 915440
[startup+1783.26 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 21126
/proc/meminfo: memFree=1499600/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=1770.69
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32606 0 1 0 177045 24 0 0 25 0 8 0 164072664 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803346 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20689/statm: 228860 32335 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.26
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0.03
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.69
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.68 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 21126
/proc/meminfo: memFree=1499600/2055920 swapFree=4192812/4192956
[pid=20689] ppid=20687 vsize=915440 CPUtime=1800.08
/proc/20689/stat : 20689 (java) R 20687 20689 19482 0 -1 0 32606 0 1 0 179984 24 0 0 25 0 8 0 164072664 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803313 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20689/statm: 228860 32335 2531 14 0 215330 0
[pid=20689/tid=20691] ppid=20687 vsize=915440 CPUtime=0.44
/proc/20689/task/20691/stat : 20691 (java) S 20687 20689 19482 0 -1 64 15582 0 0 0 40 4 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20692] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20692/stat : 20692 (java) S 20687 20689 19482 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20693] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20693/stat : 20693 (java) S 20687 20689 19482 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164072668 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20694] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20694/stat : 20694 (java) S 20687 20689 19482 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20695] ppid=20687 vsize=915440 CPUtime=0.26
/proc/20689/task/20695/stat : 20695 (java) S 20687 20689 19482 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20696] ppid=20687 vsize=915440 CPUtime=0
/proc/20689/task/20696/stat : 20696 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20689/tid=20697] ppid=20687 vsize=915440 CPUtime=0.03
/proc/20689/task/20697/stat : 20697 (java) S 20687 20689 19482 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 164072672 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1812.74
CPU time (s): 1800.14
CPU user time (s): 1799.88
CPU system time (s): 0.266959
CPU usage (%): 99.3053
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.266959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32624
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= 37833
involuntary context switches= 57978
runsolver used 2.23366 s user time and 5.66914 s system time
The end
Begin job on node52 on Sun Jan 7 07:59:02 UTC 2007
IDJOB= 203144
IDBENCH= 3919
FILE ID= node52/203144-1168156742
PBS_JOBID= 3478451
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203144-1168156742/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-203144-1168156742 -o ROOT/results/node52/solver-203144-1168156742 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203144-1168156742/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 58fcccf7639b9a5f4e21b01c2c47a417
RANDOM SEED= 393831582
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.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1582296 kB
Buffers: 38076 kB
Cached: 287236 kB
SwapCached: 0 kB
Active: 145892 kB
Inactive: 263352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1582296 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7476 kB
Writeback: 0 kB
Mapped: 101652 kB
Slab: 49484 kB
Committed_AS: 3573016 kB
PageTables: 2080 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= 66537 MiB
End job on node52 on Sun Jan 7 08:29:15 UTC 2007