0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/196143-1168119492/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.06
1.06 constraints being loaded...
1.33 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.33 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
1.33 => wckTime=1.009 cpuTime=0.88 mem=48M687
1.45
1.45 solver IterativeSystematicSolver being built...
1.63 => wckTime=1.303 cpuTime=1.02 mem=34M532
1.73
1.73 preprocessing
1.73 nbConstraintChecks=33758 nbValidityChecks=54635 nbPropagations=233 nbRevisions=2107 nbUselessRevisions=1837
1.73 nbSingletonTests=33 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.73 => wckTime=0.103 cpuTime=0.07 mem=34M532
1.79
1.79 search
1.79 run=0 nbConstraintChecks=22710 nbValidityChecks=49625 nbPropagations=514 nbRevisions=5275
1.79 nbUselessRevisions=4441 nbAssignments=31 nbFailedAssignments=14 nbBacktracks=11 nbVisitedNodes=52
1.79 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.79 => wckTime=0.159 cpuTime=0.12 mem=35M535
1.86
1.86 search
1.86 run=1 nbConstraintChecks=69425 nbValidityChecks=139765 nbPropagations=1411 nbRevisions=15213
1.86 nbUselessRevisions=12717 nbAssignments=76 nbFailedAssignments=38 nbBacktracks=27 nbVisitedNodes=130
1.86 nbRestartNogoods=1 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.231 cpuTime=0.19 mem=35M535
1.98
1.98 search
1.98 run=2 nbConstraintChecks=138742 nbValidityChecks=274000 nbPropagations=3124 nbRevisions=34681
1.98 nbUselessRevisions=28492 nbAssignments=151 nbFailedAssignments=81 nbBacktracks=50 nbVisitedNodes=262
1.98 nbRestartNogoods=2 mapSize=39 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=0.352 cpuTime=0.29 mem=35M535
2.13
2.13 search
2.13 run=3 nbConstraintChecks=228811 nbValidityChecks=497087 nbPropagations=6243 nbRevisions=68983
2.13 nbUselessRevisions=56098 nbAssignments=300 nbFailedAssignments=139 nbBacktracks=84 nbVisitedNodes=440
2.13 nbRestartNogoods=11 mapSize=72 nbInferences=0 nbTooLargeKeys=0
2.13 => wckTime=0.498 cpuTime=0.44 mem=35M535
2.36
2.36 search
2.36 run=4 nbConstraintChecks=384758 nbValidityChecks=812083 nbPropagations=11029 nbRevisions=123089
2.36 nbUselessRevisions=99323 nbAssignments=466 nbFailedAssignments=235 nbBacktracks=134 nbVisitedNodes=718
2.36 nbRestartNogoods=17 mapSize=113 nbInferences=0 nbTooLargeKeys=0
2.36 => wckTime=0.731 cpuTime=0.66 mem=35M535
2.57
2.57 search
2.57 run=5 nbConstraintChecks=528399 nbValidityChecks=1097160 nbPropagations=17447 nbRevisions=195628
2.57 nbUselessRevisions=157043 nbAssignments=618 nbFailedAssignments=306 nbBacktracks=209 nbVisitedNodes=981
2.57 nbRestartNogoods=21 mapSize=174 nbInferences=0 nbTooLargeKeys=0
2.57 => wckTime=0.94 cpuTime=0.86 mem=35M535
2.92
2.92 search
2.92 run=6 nbConstraintChecks=778522 nbValidityChecks=1576658 nbPropagations=26557 nbRevisions=300002
2.92 nbUselessRevisions=239768 nbAssignments=867 nbFailedAssignments=436 nbBacktracks=323 nbVisitedNodes=1419
2.92 nbRestartNogoods=23 mapSize=264 nbInferences=0 nbTooLargeKeys=0
2.92 => wckTime=1.289 cpuTime=1.21 mem=35M535
3.47
3.47 search
3.47 run=7 nbConstraintChecks=1146679 nbValidityChecks=2310678 nbPropagations=41013 nbRevisions=462397
3.47 nbUselessRevisions=367582 nbAssignments=1303 nbFailedAssignments=695 nbBacktracks=494 nbVisitedNodes=2227
3.47 nbRestartNogoods=25 mapSize=416 nbInferences=0 nbTooLargeKeys=0
3.47 => wckTime=1.842 cpuTime=1.75 mem=35M535
4.55
4.55 search
4.55 run=8 nbConstraintChecks=1864109 nbValidityChecks=3758887 nbPropagations=64799 nbRevisions=730198
4.55 nbUselessRevisions=576600 nbAssignments=2030 nbFailedAssignments=1145 nbBacktracks=750 nbVisitedNodes=3575
4.55 nbRestartNogoods=35 mapSize=661 nbInferences=0 nbTooLargeKeys=0
4.55 => wckTime=2.922 cpuTime=2.8 mem=35M535
5.71
5.71 search
5.71 run=9 nbConstraintChecks=2708670 nbValidityChecks=5385168 nbPropagations=98404 nbRevisions=1116291
5.71 nbUselessRevisions=879346 nbAssignments=2855 nbFailedAssignments=1578 nbBacktracks=1137 nbVisitedNodes=5052
5.71 nbRestartNogoods=45 mapSize=984 nbInferences=0 nbTooLargeKeys=0
5.71 => wckTime=4.082 cpuTime=3.94 mem=35M535
5.95
5.95 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=35M535)
7.80
7.80 search
7.80 run=10 nbConstraintChecks=4149169 nbValidityChecks=8330973 nbPropagations=151428 nbRevisions=1722330
7.80 nbUselessRevisions=1352526 nbAssignments=4392 nbFailedAssignments=2531 nbBacktracks=1714 nbVisitedNodes=7961
7.80 nbRestartNogoods=49
7.80 => wckTime=6.169 cpuTime=6.01 mem=35M535
10.39
10.39 search
10.39 run=11 nbConstraintChecks=6071515 nbValidityChecks=12039003 nbPropagations=225855 nbRevisions=2584763
10.39 nbUselessRevisions=2028718 nbAssignments=6215 nbFailedAssignments=3482 nbBacktracks=2579 nbVisitedNodes=11253
10.39 nbRestartNogoods=59
10.39 => wckTime=8.76 cpuTime=8.57 mem=35M535
15.79
15.79 search
15.79 run=12 nbConstraintChecks=9894976 nbValidityChecks=19764791 nbPropagations=344016 nbRevisions=3939236
15.79 nbUselessRevisions=3086267 nbAssignments=9639 nbFailedAssignments=5601 nbBacktracks=3876 nbVisitedNodes=17724
15.79 nbRestartNogoods=66
15.79 => wckTime=14.164 cpuTime=13.93 mem=35M535
21.24
21.24 search
21.24 run=13 nbConstraintChecks=14066763 nbValidityChecks=27685673 nbPropagations=503695 nbRevisions=5788428
21.24 nbUselessRevisions=4539393 nbAssignments=13618 nbFailedAssignments=7577 nbBacktracks=5823 nbVisitedNodes=24704
21.24 nbRestartNogoods=75
21.24 => wckTime=19.615 cpuTime=19.32 mem=35M535
31.14
31.14 search
31.14 run=14 nbConstraintChecks=20986044 nbValidityChecks=42007110 nbPropagations=757109 nbRevisions=8723202
31.14 nbUselessRevisions=6843917 nbAssignments=21380 nbFailedAssignments=12412 nbBacktracks=8743 nbVisitedNodes=39224
31.14 nbRestartNogoods=83
31.14 => wckTime=29.507 cpuTime=29.12 mem=35M535
43.95
43.95 search
43.95 run=15 nbConstraintChecks=30418830 nbValidityChecks=60776116 nbPropagations=1125165 nbRevisions=13001774
43.95 nbUselessRevisions=10201709 nbAssignments=31501 nbFailedAssignments=18106 nbBacktracks=13122
43.95 nbVisitedNodes=57505 nbRestartNogoods=100
43.95 => wckTime=42.322 cpuTime=41.82 mem=35M535
68.19
68.19 search
68.19 run=16 nbConstraintChecks=47810784 nbValidityChecks=95704193 nbPropagations=1701478 nbRevisions=19726033
68.19 nbUselessRevisions=15486032 nbAssignments=47952 nbFailedAssignments=27983 nbBacktracks=19690
68.19 nbVisitedNodes=88509 nbRestartNogoods=106
68.19 => wckTime=66.558 cpuTime=65.83 mem=35M535
98.78
98.78 search
98.78 run=17 nbConstraintChecks=69872646 nbValidityChecks=140498025 nbPropagations=2557629 nbRevisions=29746447
98.78 nbUselessRevisions=23372998 nbAssignments=71413 nbFailedAssignments=41585 nbBacktracks=29542
98.78 nbVisitedNodes=132345 nbRestartNogoods=114
98.78 => wckTime=97.155 cpuTime=96.15 mem=35M535
147.01
147.01 search
147.01 run=18 nbConstraintChecks=107051860 nbValidityChecks=211366212 nbPropagations=3745642 nbRevisions=43798680
147.01 nbUselessRevisions=34502776 nbAssignments=104149 nbFailedAssignments=59522 nbBacktracks=44320
147.01 nbVisitedNodes=191792 nbRestartNogoods=133
147.01 => wckTime=145.38 cpuTime=143.94 mem=35M535
217.35
217.35 search
217.35 run=19 nbConstraintChecks=157201741 nbValidityChecks=312449154 nbPropagations=5539024 nbRevisions=64882918
217.35 nbUselessRevisions=51151457 nbAssignments=158172 nbFailedAssignments=91342 nbBacktracks=66488
217.35 nbVisitedNodes=291059 nbRestartNogoods=149
217.35 => wckTime=215.719 cpuTime=213.63 mem=35M535
320.29
320.29 search
320.29 run=20 nbConstraintChecks=230266286 nbValidityChecks=461926940 nbPropagations=8247404 nbRevisions=96634685
320.29 nbUselessRevisions=76193437 nbAssignments=240490 nbFailedAssignments=140392 nbBacktracks=99742
320.29 nbVisitedNodes=442281 nbRestartNogoods=162
320.29 => wckTime=318.66 cpuTime=315.63 mem=35M535
476.95
476.95 search
476.95 run=21 nbConstraintChecks=347018247 nbValidityChecks=689307953 nbPropagations=12252905 nbRevisions=143905279
476.95 nbUselessRevisions=113520168 nbAssignments=349131 nbFailedAssignments=199149 nbBacktracks=149620
476.95 nbVisitedNodes=640130 nbRestartNogoods=172
476.95 => wckTime=475.325 cpuTime=470.86 mem=35M535
479.76
479.76 search
479.76 run=22 nbConstraintChecks=349047029 nbValidityChecks=693411541 nbPropagations=16284466 nbRevisions=191488042
479.76 nbUselessRevisions=151095411 nbAssignments=351426 nbFailedAssignments=200480 nbBacktracks=150560
479.76 nbVisitedNodes=644373 nbRestartNogoods=189
479.76 => wckTime=478.128 cpuTime=473.64 mem=35M535
479.76
479.76 global
479.76 nbConstraintChecks=349080787 nbValidityChecks=693466176 nbPropagations=16284699 nbRevisions=191490149
479.76 nbUselessRevisions=151097248 nbRestartNogoods=189 solvingWckTime=478.129 solvingCpuTime=473.64 expiredTime=no
479.76 totalExploration=no nbFoundSolutions=1 globalCpuTime=474.71
479.76 => wckTime=479.435 cpuTime=474.66 mem=35M535
479.76
479.76 s SATISFIABLE
479.76 v 21 3 15 22 22 11 0 4 18 18 16 19 10 18 18 20 21 19 3 3 1 7 7 9
479.76 d NODES 351426
479.76 d CHECKS 349080787
479.76
479.76 totalWckTime=479.517 totalCpuTime=474.71
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-196143-1168119492 -o ROOT/results/node24/solver-196143-1168119492 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196143-1168119492/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.95 1.79 4/94 32666
/proc/meminfo: memFree=1739920/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=9948 CPUtime=0
/proc/32665/stat : 32665 (java) S 32663 32665 32081 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 160344473 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/32665/statm: 2955 510 421 14 0 1602 0
[startup+0.103604 s]
/proc/loadavg: 1.92 1.95 1.79 4/94 32666
/proc/meminfo: memFree=1739920/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=912760 CPUtime=0.08
/proc/32665/stat : 32665 (java) S 32663 32665 32081 0 -1 0 2788 0 1 0 7 1 0 0 17 0 8 0 160344473 934666240 2534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228190 2534 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912760
[startup+0.515648 s]
/proc/loadavg: 1.92 1.95 1.79 4/94 32666
/proc/meminfo: memFree=1739920/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915328 CPUtime=0.48
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 7376 0 1 0 43 5 0 0 18 0 8 0 160344473 937295872 7115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228832 7115 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33974 s]
/proc/loadavg: 1.92 1.95 1.79 3/101 32673
/proc/meminfo: memFree=1672856/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=1.29
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 19132 0 1 0 119 10 0 0 24 0 8 0 160344473 937385984 18869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 18869 2168 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.05
/proc/32665/task/32667/stat : 32667 (java) R 32663 32665 32081 0 -1 64 2645 0 0 0 5 0 0 0 16 0 8 0 160344478 937385984 18869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154045380 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 18869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 18869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 18869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.09
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 160344481 937385984 18869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 18869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 18869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915416
[startup+2.97792 s]
/proc/loadavg: 1.92 1.95 1.79 3/101 32673
/proc/meminfo: memFree=1656792/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=2.91
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 23479 0 1 0 279 12 0 0 25 0 8 0 160344473 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 23215 2531 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.16
/proc/32665/task/32667/stat : 32667 (java) S 32663 32665 32081 0 -1 64 6496 0 0 0 15 1 0 0 17 0 8 0 160344478 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160344478 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.2
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 373 0 0 0 19 1 0 0 15 0 8 0 160344481 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915416
[startup+6.26727 s]
/proc/loadavg: 1.93 1.95 1.80 3/101 32673
/proc/meminfo: memFree=1656600/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=6.18
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 23494 0 1 0 605 13 0 0 25 0 8 0 160344473 937385984 23228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 23228 2531 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.16
/proc/32665/task/32667/stat : 32667 (java) S 32663 32665 32081 0 -1 64 6496 0 0 0 15 1 0 0 16 0 8 0 160344478 937385984 23228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 23228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160344478 937385984 23228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 23228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.24
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 387 0 0 0 23 1 0 0 15 0 8 0 160344481 937385984 23228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 23228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 23228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915416
[startup+12.753 s]
/proc/loadavg: 1.93 1.95 1.80 3/101 32673
/proc/meminfo: memFree=1656672/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=12.6
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 23498 0 1 0 1247 13 0 0 25 0 8 0 160344473 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 23231 2531 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.16
/proc/32665/task/32667/stat : 32667 (java) S 32663 32665 32081 0 -1 64 6496 0 0 0 15 1 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.25
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915416
[startup+25.6314 s]
/proc/loadavg: 1.95 1.96 1.80 3/101 32673
/proc/meminfo: memFree=1656800/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=25.36
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 23498 0 1 0 2523 13 0 0 25 0 8 0 160344473 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799558 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 23231 2531 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.16
/proc/32665/task/32667/stat : 32667 (java) S 32663 32665 32081 0 -1 64 6496 0 0 0 15 1 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.25
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915416
[startup+51.2641 s]
/proc/loadavg: 1.96 1.96 1.80 3/101 32673
/proc/meminfo: memFree=1656864/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=50.75
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 23498 0 1 0 5062 13 0 0 25 0 8 0 160344473 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 23231 2531 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.16
/proc/32665/task/32667/stat : 32667 (java) S 32663 32665 32081 0 -1 64 6496 0 0 0 15 1 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.25
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915416
[startup+102.537 s]
/proc/loadavg: 1.98 1.96 1.81 3/101 32673
/proc/meminfo: memFree=1656864/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=101.55
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 23499 0 1 0 10141 14 0 0 25 0 8 0 160344473 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 23231 2531 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.16
/proc/32665/task/32667/stat : 32667 (java) S 32663 32665 32081 0 -1 64 6496 0 0 0 15 1 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.25
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915416
[startup+162.549 s]
/proc/loadavg: 1.99 1.97 1.82 5/101 32673
/proc/meminfo: memFree=1656864/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=161.02
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 23499 0 1 0 16087 15 0 0 25 0 8 0 160344473 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773699 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 23231 2531 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.16
/proc/32665/task/32667/stat : 32667 (java) S 32663 32665 32081 0 -1 64 6496 0 0 0 15 1 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.25
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 915416
[startup+222.559 s]
/proc/loadavg: 1.99 1.97 1.83 3/101 32673
/proc/meminfo: memFree=1656800/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=220.48
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 23499 0 1 0 22033 15 0 0 25 0 8 0 160344473 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 23231 2531 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.16
/proc/32665/task/32667/stat : 32667 (java) S 32663 32665 32081 0 -1 64 6496 0 0 0 15 1 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.25
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.48
Current children cumulated vsize (KiB) 915416
[startup+282.585 s]
/proc/loadavg: 1.99 1.97 1.83 3/101 32673
/proc/meminfo: memFree=1656736/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=279.96
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 23499 0 1 0 27981 15 0 0 25 0 8 0 160344473 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 23231 2531 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.16
/proc/32665/task/32667/stat : 32667 (java) S 32663 32665 32081 0 -1 64 6496 0 0 0 15 1 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.25
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.96
Current children cumulated vsize (KiB) 915416
[startup+342.598 s]
/proc/loadavg: 2.04 1.99 1.85 3/101 32673
/proc/meminfo: memFree=1656736/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=339.43
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 23499 0 1 0 33927 16 0 0 25 0 8 0 160344473 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 23231 2531 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.16
/proc/32665/task/32667/stat : 32667 (java) S 32663 32665 32081 0 -1 64 6496 0 0 0 15 1 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.25
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.43
Current children cumulated vsize (KiB) 915416
[startup+402.623 s]
/proc/loadavg: 2.01 1.99 1.85 3/101 32673
/proc/meminfo: memFree=1656608/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=398.9
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 23499 0 1 0 39874 16 0 0 25 0 8 0 160344473 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 23231 2531 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.16
/proc/32665/task/32667/stat : 32667 (java) S 32663 32665 32081 0 -1 64 6496 0 0 0 15 1 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.25
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.9
Current children cumulated vsize (KiB) 915416
[startup+462.638 s]
/proc/loadavg: 2.00 1.99 1.86 3/101 32673
/proc/meminfo: memFree=1656608/2055920 swapFree=4192812/4192956
[pid=32665] ppid=32663 vsize=915416 CPUtime=458.37
/proc/32665/stat : 32665 (java) R 32663 32665 32081 0 -1 0 23499 0 1 0 45820 17 0 0 25 0 8 0 160344473 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32665/statm: 228854 23231 2531 14 0 215324 0
[pid=32665/tid=32667] ppid=32663 vsize=915416 CPUtime=0.16
/proc/32665/task/32667/stat : 32667 (java) S 32663 32665 32081 0 -1 64 6496 0 0 0 15 1 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32668] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32668/stat : 32668 (java) S 32663 32665 32081 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32669] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32669/stat : 32669 (java) S 32663 32665 32081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160344478 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32670] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32670/stat : 32670 (java) S 32663 32665 32081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32671] ppid=32663 vsize=915416 CPUtime=0.25
/proc/32665/task/32671/stat : 32671 (java) S 32663 32665 32081 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160344481 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32672] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32672/stat : 32672 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32665/tid=32673] ppid=32663 vsize=915416 CPUtime=0
/proc/32665/task/32673/stat : 32673 (java) S 32663 32665 32081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160344482 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.37
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 479.795
CPU time (s): 475.366
CPU user time (s): 475.174
CPU system time (s): 0.19197
CPU usage (%): 99.0769
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 475.174
system time used= 0.19197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23508
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= 10827
involuntary context switches= 23872
runsolver used 0.486925 s user time and 1.66275 s system time
The end
Begin job on node24 on Sat Jan 6 21:38:12 UTC 2007
IDJOB= 196143
IDBENCH= 3329
FILE ID= node24/196143-1168119492
PBS_JOBID= 3477451
Free space on /tmp= 66460 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196143-1168119492/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-196143-1168119492 -o ROOT/results/node24/solver-196143-1168119492 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196143-1168119492/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 92fc3716141ae1692bf2309e27b5e9ed
RANDOM SEED= 754300914
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.234
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.234
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: 1740336 kB
Buffers: 34004 kB
Cached: 130692 kB
SwapCached: 0 kB
Active: 181984 kB
Inactive: 75784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1740336 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4536 kB
Writeback: 0 kB
Mapped: 119580 kB
Slab: 42300 kB
Committed_AS: 3205456 kB
PageTables: 2500 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= 66460 MiB
End job on node24 on Sat Jan 6 21:46:12 UTC 2007