0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/201548-1168148457/unknown.xml
0.36
0.36 domains being loaded...
0.40
0.40 variables being loaded...
0.61 nbVariables=2000 nbDomainTypes=49 minDomainSize=42 maxDomainSize=190
0.61 => wckTime=0.311 cpuTime=0.23 mem=20M547
0.61
0.62 predicates being loaded...
0.62
0.62 constraints being loaded...
139.46 nbConstraints=13669 nbMergedConstraints=11983 nbConvertedConstraints=13669 nbConvertConstraintsChecks=238451180
139.46 nbExtensionStructures=9910 nbSharedExtensionStructures=3759 nbConflictsStructures=9910
139.46 nbSharedConflictsStructures=3759 nbSharedBinaryRepresentations=2738152 maxDegree=17 maxArity=2
139.46 => wckTime=139.158 cpuTime=136.64 mem=110M57
139.83
139.83 solver IterativeSystematicSolver being built...
140.09 => wckTime=139.79 cpuTime=136.85 mem=109M401
181.37
181.37 INFO : Stopping ESAC
181.38
181.38 preprocessing
181.38 nbConstraintChecks=227577508 nbPropagations=402224 nbRevisions=2371939 nbUselessRevisions=1921950
181.38 nbSingletonTests=6170 nbEffectiveSingletonTests=62 nbESACBranches=115 nbRemovedValues=143688
181.38 detectedInconsistency=no
181.38 => wckTime=41.269 cpuTime=40.82 mem=109M401
183.55
183.55 search
183.55 run=0 nbConstraintChecks=9312153 nbPropagations=420594 nbRevisions=2505127 nbUselessRevisions=2028898
183.55 nbAssignments=345 nbFailedAssignments=23 nbBacktracks=10 nbVisitedNodes=375 nbRestartNogoods=0 mapSize=8
183.55 nbInferences=0 nbTooLargeKeys=0
183.55 => wckTime=43.446 cpuTime=42.96 mem=122M797
190.01
190.01 search
190.01 run=1 nbConstraintChecks=56537668 nbPropagations=933600 nbRevisions=5601867 nbUselessRevisions=4543726
190.01 nbAssignments=2104 nbFailedAssignments=40 nbBacktracks=27 nbVisitedNodes=763 nbRestartNogoods=20 mapSize=21
190.01 nbInferences=0 nbTooLargeKeys=0
190.01 => wckTime=49.903 cpuTime=49.32 mem=110M21
195.52
195.52 search
195.52 run=2 nbConstraintChecks=97701612 nbPropagations=1530136 nbRevisions=9247471 nbUselessRevisions=7515783
195.52 nbAssignments=3589 nbFailedAssignments=67 nbBacktracks=49 nbVisitedNodes=1084 nbRestartNogoods=26 mapSize=35
195.52 nbInferences=0 nbTooLargeKeys=0
195.52 => wckTime=55.417 cpuTime=54.78 mem=120M849
203.43
203.43 search
203.43 run=3 nbConstraintChecks=160349321 nbPropagations=2244617 nbRevisions=13650465 nbUselessRevisions=11105004
203.43 nbAssignments=5966 nbFailedAssignments=173 nbBacktracks=84 nbVisitedNodes=1592 nbRestartNogoods=34 mapSize=64
203.43 nbInferences=0 nbTooLargeKeys=0
203.43 => wckTime=63.321 cpuTime=62.6 mem=132M346
211.66
211.66 search
211.66 run=4 nbConstraintChecks=223749024 nbPropagations=3076790 nbRevisions=18828117 nbUselessRevisions=15324785
211.66 nbAssignments=8203 nbFailedAssignments=259 nbBacktracks=137 nbVisitedNodes=2075 nbRestartNogoods=45 mapSize=99
211.66 nbInferences=0 nbTooLargeKeys=0
211.66 => wckTime=71.556 cpuTime=70.76 mem=144M239
215.05
215.05 search
215.05 run=5 nbConstraintChecks=246279762 nbPropagations=3950349 nbRevisions=24323455 nbUselessRevisions=19799633
215.05 nbAssignments=8826 nbFailedAssignments=285 nbBacktracks=212 nbVisitedNodes=2446 nbRestartNogoods=52
215.05 mapSize=139 nbInferences=0 nbTooLargeKeys=0
215.05 => wckTime=74.945 cpuTime=74.06 mem=123M612
219.70
219.70 search
219.70 run=6 nbConstraintChecks=278955245 nbPropagations=4885808 nbRevisions=30261141 nbUselessRevisions=24628507
219.70 nbAssignments=9913 nbFailedAssignments=377 nbBacktracks=325 nbVisitedNodes=3056 nbRestartNogoods=60
219.70 mapSize=220 nbInferences=0 nbTooLargeKeys=0
219.70 => wckTime=79.596 cpuTime=78.67 mem=139M18
232.39
232.39 search
232.39 run=7 nbConstraintChecks=371734557 nbPropagations=5996497 nbRevisions=37450851 nbUselessRevisions=30476586
232.39 nbAssignments=13060 nbFailedAssignments=486 nbBacktracks=496 nbVisitedNodes=3710 nbRestartNogoods=74
232.39 mapSize=306 nbInferences=0 nbTooLargeKeys=0
232.39 => wckTime=92.288 cpuTime=91.24 mem=154M984
249.58
249.58 search
249.58 run=8 nbConstraintChecks=496878611 nbPropagations=7334382 nbRevisions=46391565 nbUselessRevisions=37658555
249.58 nbAssignments=16337 nbFailedAssignments=1075 nbBacktracks=755 nbVisitedNodes=5445 nbRestartNogoods=95
249.58 mapSize=476 nbInferences=0 nbTooLargeKeys=0
249.58 => wckTime=109.476 cpuTime=108.23 mem=138M978
256.70
256.70 search
256.70 run=9 nbConstraintChecks=538429836 nbPropagations=8747913 nbRevisions=56115325 nbUselessRevisions=45439311
256.70 nbAssignments=17343 nbFailedAssignments=1406 nbBacktracks=1140 nbVisitedNodes=6779 nbRestartNogoods=97
256.70 mapSize=703 nbInferences=0 nbTooLargeKeys=0
256.70 => wckTime=116.598 cpuTime=115.26 mem=161M832
285.94
285.94 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=168M722)
286.15
286.15 search
286.15 run=10 nbConstraintChecks=730802977 nbPropagations=10505777 nbRevisions=69179899 nbUselessRevisions=55800027
286.15 nbAssignments=20229 nbFailedAssignments=2271 nbBacktracks=1717 nbVisitedNodes=9518 nbRestartNogoods=104
286.15 => wckTime=146.044 cpuTime=144.38 mem=168M722
323.44
323.44 search
323.44 run=11 nbConstraintChecks=978917433 nbPropagations=12698254 nbRevisions=86580856 nbUselessRevisions=69469897
323.44 nbAssignments=24466 nbFailedAssignments=2970 nbBacktracks=2582 nbVisitedNodes=12383 nbRestartNogoods=115
323.44 => wckTime=183.336 cpuTime=181.3 mem=169M132
344.24
344.24 search
344.24 run=12 nbConstraintChecks=1102306794 nbPropagations=15156501 nbRevisions=106663981 nbUselessRevisions=85207080
344.24 nbAssignments=27560 nbFailedAssignments=3861 nbBacktracks=3882 nbVisitedNodes=16064 nbRestartNogoods=133
344.24 => wckTime=204.13 cpuTime=201.89 mem=169M132
369.36
369.36 search
369.36 run=13 nbConstraintChecks=1266639705 nbPropagations=17980146 nbRevisions=129909017 nbUselessRevisions=103521152
369.36 nbAssignments=32880 nbFailedAssignments=5102 nbBacktracks=5828 nbVisitedNodes=21242 nbRestartNogoods=150
369.36 => wckTime=229.258 cpuTime=226.77 mem=169M132
481.57
481.57 search
481.57 run=14 nbConstraintChecks=2025250991 nbPropagations=22110043 nbRevisions=166515710 nbUselessRevisions=132260792
481.57 nbAssignments=41662 nbFailedAssignments=9140 nbBacktracks=8758 nbVisitedNodes=33704 nbRestartNogoods=166
481.57 => wckTime=341.461 cpuTime=337.87 mem=169M132
639.87
639.87 search
639.87 run=15 nbConstraintChecks=3019046629 nbPropagations=27997254 nbRevisions=222513734 nbUselessRevisions=175507302
639.87 nbAssignments=54311 nbFailedAssignments=16221 nbBacktracks=13137 nbVisitedNodes=54357 nbRestartNogoods=184
639.87 => wckTime=499.766 cpuTime=494.6 mem=169M132
805.64
805.64 search
805.64 run=16 nbConstraintChecks=3992708908 nbPropagations=35991165 nbRevisions=301722267 nbUselessRevisions=236954687
805.64 nbAssignments=69602 nbFailedAssignments=24735 nbBacktracks=19705 nbVisitedNodes=81478 nbRestartNogoods=194
805.64 => wckTime=665.533 cpuTime=658.73 mem=169M132
1068.09
1068.09 search
1068.09 run=17 nbConstraintChecks=5353222188 nbPropagations=47492755 nbRevisions=422678787 nbUselessRevisions=332531727
1068.09 nbAssignments=94103 nbFailedAssignments=38320 nbBacktracks=29559 nbVisitedNodes=123483 nbRestartNogoods=217
1068.09 => wckTime=927.988 cpuTime=918.59 mem=169M132
1728.96
1728.96 search
1728.96 run=18 nbConstraintChecks=10065983652 nbPropagations=66214041 nbRevisions=617631427
1728.96 nbUselessRevisions=483925363 nbAssignments=151945 nbFailedAssignments=78340 nbBacktracks=44338
1728.96 nbVisitedNodes=227258 nbRestartNogoods=255
1728.96 => wckTime=1588.856 cpuTime=1572.85 mem=169M132
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-201548-1168148457 -o ROOT/results/node13/solver-201548-1168148457 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201548-1168148457/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.20 2.22 2.08 3/81 30281
/proc/meminfo: memFree=1484800/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=172 CPUtime=0
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 163240797 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11879204 0 0 4096 0 0 0 0 17 0 0 0
/proc/30280/statm: 43 24 18 14 0 3 0
[startup+0.103374 s]
/proc/loadavg: 2.20 2.22 2.08 3/81 30281
/proc/meminfo: memFree=1484800/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=914988 CPUtime=0.08
/proc/30280/stat : 30280 (java) S 30278 30280 30201 0 -1 0 2997 0 1 0 7 1 0 0 17 0 8 0 163240797 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30280/statm: 228747 2744 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511429 s]
/proc/loadavg: 2.20 2.22 2.08 3/81 30281
/proc/meminfo: memFree=1484800/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915328 CPUtime=0.48
/proc/30280/stat : 30280 (java) S 30278 30280 30201 0 -1 0 7180 0 1 0 44 4 0 0 16 0 8 0 163240797 937295872 6919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30280/statm: 228832 6919 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33454 s]
/proc/loadavg: 2.20 2.22 2.08 3/101 30347
/proc/meminfo: memFree=1398752/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=1.3
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 21467 0 1 0 118 12 0 0 22 0 8 0 163240797 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073416227 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 21204 2160 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=0.08
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 4923 0 0 0 7 1 0 0 16 0 8 0 163240801 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163240802 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.15
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 163240805 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915648
[startup+2.98877 s]
/proc/loadavg: 2.20 2.22 2.08 3/101 30347
/proc/meminfo: memFree=1378016/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=2.94
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 21557 0 1 0 282 12 0 0 25 0 8 0 163240797 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 21292 2181 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=0.11
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 4923 0 0 0 10 1 0 0 17 0 8 0 163240801 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163240802 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.18
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 435 0 0 0 18 0 0 0 15 0 8 0 163240805 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915648
[startup+6.19023 s]
/proc/loadavg: 2.19 2.21 2.08 3/101 30347
/proc/meminfo: memFree=1347808/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=6.13
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 21561 0 1 0 600 13 0 0 25 0 8 0 163240797 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 21295 2181 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=0.11
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 4923 0 0 0 10 1 0 0 16 0 8 0 163240801 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163240802 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.19
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 438 0 0 0 19 0 0 0 15 0 8 0 163240805 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915648
[startup+12.599 s]
/proc/loadavg: 2.17 2.21 2.08 4/101 30347
/proc/meminfo: memFree=1295208/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=12.5
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 24180 0 1 0 1234 16 0 0 25 0 8 0 163240797 937623552 23911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831557 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 23911 2181 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=0.22
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 7533 0 0 0 20 2 0 0 16 0 8 0 163240801 937623552 23911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163240802 937623552 23911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 23911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 23911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.2
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 444 0 0 0 20 0 0 0 16 0 8 0 163240805 937623552 23911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 23911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 23911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915648
[startup+25.4616 s]
/proc/loadavg: 2.13 2.20 2.08 3/101 30347
/proc/meminfo: memFree=1242664/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=25.24
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 24190 0 1 0 2502 22 0 0 25 0 8 0 163240797 937623552 23920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835305 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 23920 2181 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=0.22
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 7533 0 0 0 20 2 0 0 16 0 8 0 163240801 937623552 23920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163240802 937623552 23920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 23920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 23920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.21
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 453 0 0 0 21 0 0 0 16 0 8 0 163240805 937623552 23920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 23920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 23920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915648
[startup+51.069 s]
/proc/loadavg: 2.09 2.18 2.08 4/101 30347
/proc/meminfo: memFree=1150760/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=50.59
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 28293 0 1 0 5025 34 0 0 25 0 8 0 163240797 937623552 28020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 28020 2181 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=0.49
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 11633 0 0 0 46 3 0 0 16 0 8 0 163240801 937623552 28020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163240802 937623552 28020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 28020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 28020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.21
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 453 0 0 0 21 0 0 0 16 0 8 0 163240805 937623552 28020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 28020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 28020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 915648
[startup+102.307 s]
/proc/loadavg: 2.17 2.18 2.08 3/101 30347
/proc/meminfo: memFree=1025832/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=101.33
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 33355 0 1 0 10074 59 0 0 25 0 8 0 163240797 937623552 33079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831399 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 33079 2181 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=0.77
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 16692 0 0 0 71 6 0 0 16 0 8 0 163240801 937623552 33079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163240802 937623552 33079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 33079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 33079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.21
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 453 0 0 0 21 0 0 0 16 0 8 0 163240805 937623552 33079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 33079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 33079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 915648
[startup+162.395 s]
/proc/loadavg: 2.10 2.16 2.08 3/101 30347
/proc/meminfo: memFree=964712/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=160.82
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 39896 0 1 0 16000 82 0 0 25 0 8 0 163240797 937623552 39610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074148528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1409.91
Current children cumulated vsize (KiB) 915648
[startup+1484.04 s]
/proc/loadavg: 2.13 2.05 2.02 4/101 30545
/proc/meminfo: memFree=749480/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=1469.32
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 56807 0 1 0 146824 108 0 0 25 0 8 0 163240797 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 56503 2546 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=1.48
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 39592 0 0 0 133 15 0 0 16 0 8 0 163240801 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.38
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 548 0 0 0 37 1 0 0 16 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.32
Current children cumulated vsize (KiB) 915648
[startup+1544.07 s]
/proc/loadavg: 2.05 2.03 2.02 3/101 30545
/proc/meminfo: memFree=749480/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=1528.76
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 56807 0 1 0 152768 108 0 0 25 0 8 0 163240797 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 56503 2546 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=1.48
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 39592 0 0 0 133 15 0 0 16 0 8 0 163240801 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.38
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 548 0 0 0 37 1 0 0 16 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.76
Current children cumulated vsize (KiB) 915648
[startup+1604.09 s]
/proc/loadavg: 2.02 2.03 2.01 3/101 30545
/proc/meminfo: memFree=749480/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=1588.19
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 56807 0 1 0 158711 108 0 0 25 0 8 0 163240797 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074156236 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 56503 2546 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=1.48
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 39592 0 0 0 133 15 0 0 16 0 8 0 163240801 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.38
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 548 0 0 0 37 1 0 0 16 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.19
Current children cumulated vsize (KiB) 915648
[startup+1664.11 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 30545
/proc/meminfo: memFree=749480/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=1647.62
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 56807 0 1 0 164653 109 0 0 25 0 8 0 163240797 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 56503 2546 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=1.48
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 39592 0 0 0 133 15 0 0 16 0 8 0 163240801 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.38
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 548 0 0 0 37 1 0 0 16 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.62
Current children cumulated vsize (KiB) 915648
[startup+1724.13 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 30545
/proc/meminfo: memFree=749480/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=1707.05
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 56807 0 1 0 170596 109 0 0 25 0 8 0 163240797 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 56503 2546 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=1.48
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 39592 0 0 0 133 15 0 0 16 0 8 0 163240801 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.38
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 548 0 0 0 37 1 0 0 16 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.05
Current children cumulated vsize (KiB) 915648
[startup+1784.16 s]
/proc/loadavg: 2.05 2.02 2.00 3/101 30545
/proc/meminfo: memFree=749480/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=1766.49
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 56807 0 1 0 176540 109 0 0 25 0 8 0 163240797 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074163470 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 56503 2546 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=1.48
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 39592 0 0 0 133 15 0 0 16 0 8 0 163240801 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.38
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 548 0 0 0 37 1 0 0 16 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.49
Current children cumulated vsize (KiB) 915648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1818.02 s]
/proc/loadavg: 2.04 2.02 2.00 3/101 30664
/proc/meminfo: memFree=1247968/2055920 swapFree=4192812/4192956
[pid=30280] ppid=30278 vsize=915648 CPUtime=1800.08
/proc/30280/stat : 30280 (java) R 30278 30280 30201 0 -1 0 56807 0 1 0 179897 111 0 0 25 0 8 0 163240797 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30280/statm: 228912 56503 2546 14 0 215382 0
[pid=30280/tid=30282] ppid=30278 vsize=915648 CPUtime=1.48
/proc/30280/task/30282/stat : 30282 (java) S 30278 30280 30201 0 -1 64 39592 0 0 0 133 15 0 0 16 0 8 0 163240801 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30283] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30283/stat : 30283 (java) S 30278 30280 30201 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30284] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30284/stat : 30284 (java) S 30278 30280 30201 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163240802 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30285] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30285/stat : 30285 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30286] ppid=30278 vsize=915648 CPUtime=0.38
/proc/30280/task/30286/stat : 30286 (java) S 30278 30280 30201 0 -1 64 548 0 0 0 37 1 0 0 16 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30287] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30287/stat : 30287 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30280/tid=30288] ppid=30278 vsize=915648 CPUtime=0
/proc/30280/task/30288/stat : 30288 (java) S 30278 30280 30201 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163240805 937623552 56503 18446744073709551615 134512640 134570532 4294956464 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) 915648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1818.08
CPU time (s): 1800.14
CPU user time (s): 1798.99
CPU system time (s): 1.14582
CPU usage (%): 99.013
Max. virtual memory (cumulated for all children) (KiB): 915652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.14582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56823
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= 38666
involuntary context switches= 100333
runsolver used 2.21966 s user time and 5.83711 s system time
The end
Begin job on node13 on Sun Jan 7 05:40:58 UTC 2007
IDJOB= 201548
IDBENCH= 3770
FILE ID= node13/201548-1168148457
PBS_JOBID= 3478175
Free space on /tmp= 66320 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201548-1168148457/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-201548-1168148457 -o ROOT/results/node13/solver-201548-1168148457 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201548-1168148457/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ffb4cc3cc68459b6d1c6c34b1a6e5ea5
RANDOM SEED= 22984771
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.247
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.247
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: 1485472 kB
Buffers: 48596 kB
Cached: 389052 kB
SwapCached: 0 kB
Active: 96856 kB
Inactive: 390972 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1485472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5328 kB
Writeback: 0 kB
Mapped: 69128 kB
Slab: 67644 kB
Committed_AS: 3989684 kB
PageTables: 2220 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= 66316 MiB
End job on node13 on Sun Jan 7 06:11:16 UTC 2007