0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/207933-1168183862/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.44 nbVariables=76 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.44 => wckTime=0.115 cpuTime=0.1 mem=7M931
0.44
0.44 relations being loaded...
0.50
0.50 constraints being loaded...
0.67 nbConstraints=350 nbRelationTypes=28 nbSingletonDomainVariables=2 nbExtensionStructures=29
0.67 nbSharedExtensionStructures=321 nbConflictsStructures=29 nbSharedConflictsStructures=321
0.67 nbSharedBinaryRepresentations=25491 maxDegree=25 maxArity=3
0.67 => wckTime=0.347 cpuTime=0.25 mem=16M388
0.73
0.73 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.594 cpuTime=0.41 mem=19M257
2.77
2.77 preprocessing
2.77 nbConstraintChecks=3444351 nbValidityChecks=3509744 nbPropagations=21522 nbRevisions=51953
2.77 nbUselessRevisions=21725 nbSingletonTests=476 nbEffectiveSingletonTests=45 nbESACBranches=43
2.77 nbRemovedValues=26420 detectedInconsistency=no
2.77 => wckTime=1.839 cpuTime=1.78 mem=19M257
2.85
2.85 search
2.85 run=0 nbConstraintChecks=96121 nbValidityChecks=93382 nbPropagations=23349 nbRevisions=57016
2.85 nbUselessRevisions=24403 nbAssignments=25 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=40
2.85 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
2.85 => wckTime=1.919 cpuTime=1.85 mem=19M257
2.97
2.97 search
2.97 run=1 nbConstraintChecks=296160 nbValidityChecks=325285 nbPropagations=50060 nbRevisions=120865
2.97 nbUselessRevisions=51771 nbAssignments=73 nbFailedAssignments=18 nbBacktracks=28 nbVisitedNodes=87
2.97 nbRestartNogoods=4 mapSize=14 nbInferences=0 nbTooLargeKeys=0
2.97 => wckTime=2.04 cpuTime=1.97 mem=19M257
3.04
3.04 search
3.04 run=2 nbConstraintChecks=409412 nbValidityChecks=448551 nbPropagations=80070 nbRevisions=192660
3.04 nbUselessRevisions=82997 nbAssignments=118 nbFailedAssignments=33 nbBacktracks=50 nbVisitedNodes=155
3.04 nbRestartNogoods=7 mapSize=24 nbInferences=0 nbTooLargeKeys=0
3.04 => wckTime=2.112 cpuTime=2.04 mem=20M232
3.26
3.26 search
3.26 run=3 nbConstraintChecks=790580 nbValidityChecks=861405 nbPropagations=117702 nbRevisions=282955
3.26 nbUselessRevisions=123305 nbAssignments=215 nbFailedAssignments=69 nbBacktracks=83 nbVisitedNodes=280
3.26 nbRestartNogoods=11 mapSize=41 nbInferences=0 nbTooLargeKeys=0
3.26 => wckTime=2.333 cpuTime=2.26 mem=20M232
3.60
3.60 search
3.60 run=4 nbConstraintChecks=1388916 nbValidityChecks=1505742 nbPropagations=164161 nbRevisions=393591
3.60 nbUselessRevisions=173351 nbAssignments=338 nbFailedAssignments=97 nbBacktracks=139 nbVisitedNodes=409
3.60 nbRestartNogoods=22 mapSize=65 nbInferences=0 nbTooLargeKeys=0
3.60 => wckTime=2.668 cpuTime=2.59 mem=20M232
3.82
3.82 search
3.83 run=5 nbConstraintChecks=1764814 nbValidityChecks=1897606 nbPropagations=220792 nbRevisions=531374
3.83 nbUselessRevisions=238010 nbAssignments=475 nbFailedAssignments=148 nbBacktracks=216 nbVisitedNodes=620
3.83 nbRestartNogoods=25 mapSize=103 nbInferences=0 nbTooLargeKeys=0
3.83 => wckTime=2.899 cpuTime=2.82 mem=20M232
4.37
4.37 search
4.37 run=6 nbConstraintChecks=2697818 nbValidityChecks=2916025 nbPropagations=296487 nbRevisions=713796
4.37 nbUselessRevisions=324266 nbAssignments=731 nbFailedAssignments=240 nbBacktracks=329 nbVisitedNodes=975
4.37 nbRestartNogoods=37 mapSize=173 nbInferences=0 nbTooLargeKeys=0
4.37 => wckTime=3.444 cpuTime=3.36 mem=21M208
4.84
4.84 search
4.84 run=7 nbConstraintChecks=3443773 nbValidityChecks=3755522 nbPropagations=390012 nbRevisions=938511
4.84 nbUselessRevisions=431417 nbAssignments=1055 nbFailedAssignments=320 nbBacktracks=504 nbVisitedNodes=1379
4.84 nbRestartNogoods=46 mapSize=248 nbInferences=0 nbTooLargeKeys=0
4.84 => wckTime=3.917 cpuTime=3.82 mem=21M208
5.93
5.93 search
5.93 run=8 nbConstraintChecks=5247430 nbValidityChecks=5791972 nbPropagations=524445 nbRevisions=1263348
5.93 nbUselessRevisions=587830 nbAssignments=1633 nbFailedAssignments=511 nbBacktracks=762 nbVisitedNodes=2146
5.93 nbRestartNogoods=57 mapSize=393 nbInferences=0 nbTooLargeKeys=0
5.93 => wckTime=5.002 cpuTime=4.89 mem=23M158
7.37
7.37 search
7.37 run=9 nbConstraintChecks=7647336 nbValidityChecks=8638291 nbPropagations=712949 nbRevisions=1713288
7.37 nbUselessRevisions=805188 nbAssignments=2482 nbFailedAssignments=693 nbBacktracks=1146 nbVisitedNodes=3043
7.37 nbRestartNogoods=82 mapSize=573 nbInferences=0 nbTooLargeKeys=0
7.37 => wckTime=6.448 cpuTime=6.32 mem=24M133
8.70
8.70 search
8.70 run=10 nbConstraintChecks=9705898 nbValidityChecks=10980125 nbPropagations=960899 nbRevisions=2311668
8.70 nbUselessRevisions=1097416 nbAssignments=3409 nbFailedAssignments=981 nbBacktracks=1723 nbVisitedNodes=4410
8.70 nbRestartNogoods=95 mapSize=855 nbInferences=0 nbTooLargeKeys=0
8.70 => wckTime=7.772 cpuTime=7.63 mem=26M84
9.39
9.39 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=28M34)
10.02
10.02 search
10.02 run=11 nbConstraintChecks=11827251 nbValidityChecks=13297070 nbPropagations=1275125 nbRevisions=3082766
10.02 nbUselessRevisions=1481795 nbAssignments=4652 nbFailedAssignments=1290 nbBacktracks=2587 nbVisitedNodes=6149
10.02 nbRestartNogoods=108
10.02 => wckTime=9.096 cpuTime=8.94 mem=28M34
12.95
12.95 search
12.95 run=12 nbConstraintChecks=16780042 nbValidityChecks=18690668 nbPropagations=1729131 nbRevisions=4209950
12.95 nbUselessRevisions=2050209 nbAssignments=6613 nbFailedAssignments=1911 nbBacktracks=3884 nbVisitedNodes=9191
12.95 nbRestartNogoods=124
12.95 => wckTime=12.024 cpuTime=11.85 mem=28M34
16.71
16.71 search
16.71 run=13 nbConstraintChecks=22824564 nbValidityChecks=25576758 nbPropagations=2376148 nbRevisions=5806951
16.71 nbUselessRevisions=2851547 nbAssignments=9470 nbFailedAssignments=2760 nbBacktracks=5831 nbVisitedNodes=13677
16.71 nbRestartNogoods=138
16.71 => wckTime=15.783 cpuTime=15.59 mem=28M34
22.57
22.57 search
22.57 run=14 nbConstraintChecks=32503107 nbValidityChecks=36098911 nbPropagations=3328625 nbRevisions=8170717
22.57 nbUselessRevisions=4036219 nbAssignments=13874 nbFailedAssignments=4193 nbBacktracks=8751 nbVisitedNodes=20615
22.57 nbRestartNogoods=145
22.57 => wckTime=21.648 cpuTime=21.43 mem=28M34
28.99
28.99 search
28.99 run=15 nbConstraintChecks=42700925 nbValidityChecks=47935938 nbPropagations=4658517 nbRevisions=11486715
28.99 nbUselessRevisions=5710516 nbAssignments=20149 nbFailedAssignments=5916 nbBacktracks=13138 nbVisitedNodes=30138
28.99 nbRestartNogoods=172
28.99 => wckTime=28.065 cpuTime=27.82 mem=28M34
42.48
42.48 search
42.48 run=16 nbConstraintChecks=64383054 nbValidityChecks=72508648 nbPropagations=6694638 nbRevisions=16549186
42.48 nbUselessRevisions=8258181 nbAssignments=29706 nbFailedAssignments=8881 nbBacktracks=19706 nbVisitedNodes=45385
42.48 nbRestartNogoods=183
42.48 => wckTime=41.55 cpuTime=41.23 mem=28M34
58.62
58.62 search
58.62 run=17 nbConstraintChecks=90569964 nbValidityChecks=101601544 nbPropagations=9641546 nbRevisions=23947047
58.62 nbUselessRevisions=12026080 nbAssignments=43780 nbFailedAssignments=13086 nbBacktracks=29563
58.62 nbVisitedNodes=67260 nbRestartNogoods=193
58.62 => wckTime=57.699 cpuTime=57.32 mem=28M34
90.91
90.91 search
90.91 run=18 nbConstraintChecks=143859020 nbValidityChecks=159951892 nbPropagations=14219091 nbRevisions=35360782
90.91 nbUselessRevisions=17740693 nbAssignments=66907 nbFailedAssignments=21403 nbBacktracks=44345
90.91 nbVisitedNodes=104830 nbRestartNogoods=206
90.91 => wckTime=89.984 cpuTime=89.44 mem=28M34
127.67
127.67 search
127.67 run=19 nbConstraintChecks=208556746 nbValidityChecks=233931022 nbPropagations=20959814 nbRevisions=52006225
127.67 nbUselessRevisions=26028653 nbAssignments=98809 nbFailedAssignments=31123 nbBacktracks=66523
127.67 nbVisitedNodes=155969 nbRestartNogoods=230
127.67 => wckTime=126.741 cpuTime=126.15 mem=28M34
181.46
181.46 search
181.46 run=20 nbConstraintChecks=303412037 nbValidityChecks=341437734 nbPropagations=30939421 nbRevisions=76608822
181.46 nbUselessRevisions=38305563 nbAssignments=145854 nbFailedAssignments=44899 nbBacktracks=99779
181.46 nbVisitedNodes=230090 nbRestartNogoods=234
181.46 => wckTime=180.531 cpuTime=179.87 mem=28M34
270.90
270.90 search
270.90 run=21 nbConstraintChecks=464897458 nbValidityChecks=519469771 nbPropagations=46019538 nbRevisions=113610361
270.90 nbUselessRevisions=56604942 nbAssignments=219343 nbFailedAssignments=68474 nbBacktracks=149658
270.90 nbVisitedNodes=348481 nbRestartNogoods=273
270.90 => wckTime=269.974 cpuTime=269.22 mem=28M34
383.49
383.49 search
383.49 run=22 nbConstraintChecks=664327307 nbValidityChecks=743601431 nbPropagations=68048445 nbRevisions=167808062
383.49 nbUselessRevisions=83534204 nbAssignments=327192 nbFailedAssignments=101416 nbBacktracks=224480
383.49 nbVisitedNodes=519858 nbRestartNogoods=289
383.49 => wckTime=382.566 cpuTime=381.71 mem=28M34
491.88
491.88 search
491.88 run=23 nbConstraintChecks=856271000 nbValidityChecks=956492712 nbPropagations=96141873 nbRevisions=236570785
491.88 nbUselessRevisions=117419948 nbAssignments=425341 nbFailedAssignments=133241 nbBacktracks=290725
491.88 nbVisitedNodes=678441 nbRestartNogoods=309
491.88 => wckTime=490.959 cpuTime=490.0 mem=28M34
491.89
491.89 global
491.89 nbConstraintChecks=859715351 nbValidityChecks=960002456 nbPropagations=96163395 nbRevisions=236622738
491.89 nbUselessRevisions=117441673 nbRestartNogoods=309 solvingWckTime=490.961 solvingCpuTime=490.01 expiredTime=no
491.89 totalExploration=no nbFoundSolutions=1 globalCpuTime=490.48
491.89 => wckTime=491.56 cpuTime=490.42 mem=28M34
491.89
491.89 s SATISFIABLE
491.89 v 13 7 23 8 15 2 10 8 3 18 16 9 8 16 14 0 7 8 4 2 12 11 25 2 17 13 18 5 19 8 5 19 9 5 20 1 1 1 2 1 11 0 21 11 24 17 22 6 6 2 15 17 25 43 52 68 68 76 78 89 91 104 109 117 136 141 142 143 144 144 155 172 178 180 180 0
491.89 d NODES 425341
491.89 d CHECKS 859715351
491.89
491.89 totalWckTime=491.643 totalCpuTime=490.48
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-207933-1168183862 -o ROOT/results/node4/solver-207933-1168183862 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207933-1168183862/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.14 2.11 2.09 4/94 20948
/proc/meminfo: memFree=940728/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=1784 CPUtime=0
/proc/20947/stat : 20947 (java) D 20945 20947 20602 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 166781783 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/20947/statm: 446 136 102 14 0 91 0
[startup+0.107603 s]
/proc/loadavg: 2.14 2.11 2.09 4/94 20948
/proc/meminfo: memFree=940728/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=914988 CPUtime=0.08
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 2960 0 1 0 7 1 0 0 17 0 8 0 166781783 936947712 2706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154009427 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228747 2706 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515643 s]
/proc/loadavg: 2.14 2.11 2.09 4/94 20948
/proc/meminfo: memFree=940728/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915328 CPUtime=0.48
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 7014 0 1 0 44 4 0 0 18 0 8 0 166781783 937295872 6753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917372 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228832 6753 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33772 s]
/proc/loadavg: 2.14 2.11 2.09 3/101 20955
/proc/meminfo: memFree=912320/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=1.3
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 9807 0 1 0 123 7 0 0 24 0 8 0 166781783 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852476 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228865 9545 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.22
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 379 0 0 0 21 1 0 0 16 0 8 0 166781791 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97588 s]
/proc/loadavg: 2.13 2.11 2.09 3/101 20955
/proc/meminfo: memFree=912320/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=2.93
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 9820 0 1 0 285 8 0 0 25 0 8 0 166781783 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073694107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228865 9556 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 17 0 8 0 166781787 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.24
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 390 0 0 0 23 1 0 0 15 0 8 0 166781791 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.17918 s]
/proc/loadavg: 2.13 2.11 2.09 3/101 20955
/proc/meminfo: memFree=905344/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=6.12
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 10566 0 1 0 604 8 0 0 25 0 8 0 166781783 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228865 10300 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 17 0 8 0 166781787 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.26
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 398 0 0 0 25 1 0 0 15 0 8 0 166781791 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915460
[startup+12.6538 s]
/proc/loadavg: 2.11 2.10 2.09 3/101 20955
/proc/meminfo: memFree=897152/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=12.56
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11853 0 1 0 1247 9 0 0 25 0 8 0 166781783 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823274 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228865 11583 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 409 0 0 0 28 1 0 0 17 0 8 0 166781791 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915460
[startup+25.53 s]
/proc/loadavg: 2.09 2.10 2.09 3/101 20955
/proc/meminfo: memFree=897152/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=25.37
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11862 0 1 0 2528 9 0 0 25 0 8 0 166781783 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228865 11592 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 409 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915460
[startup+51.1495 s]
/proc/loadavg: 2.06 2.09 2.09 3/101 20955
/proc/meminfo: memFree=894720/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=50.87
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11869 0 1 0 5078 9 0 0 25 0 8 0 166781783 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228865 11598 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 410 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915460
[startup+102.39 s]
/proc/loadavg: 1.95 2.06 2.08 3/93 21028
/proc/meminfo: memFree=1618432/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=101.89
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11874 0 1 0 10178 11 0 0 25 0 8 0 166781783 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819998 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11603 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 410 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915460
[startup+162.447 s]
/proc/loadavg: 1.98 2.04 2.07 3/93 21028
/proc/meminfo: memFree=1618440/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=161.89
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11878 0 1 0 16178 11 0 0 25 0 8 0 166781783 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841268 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11607 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.89
Current children cumulated vsize (KiB) 915460
[startup+222.502 s]
/proc/loadavg: 1.99 2.03 2.06 3/93 21028
/proc/meminfo: memFree=1618440/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=221.9
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11882 0 1 0 22178 12 0 0 25 0 8 0 166781783 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11610 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.9
Current children cumulated vsize (KiB) 915460
[startup+282.557 s]
/proc/loadavg: 1.99 2.03 2.06 3/93 21028
/proc/meminfo: memFree=1618376/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=281.88
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11886 0 1 0 28176 12 0 0 25 0 8 0 166781783 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11613 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.88
Current children cumulated vsize (KiB) 915460
[startup+342.612 s]
/proc/loadavg: 1.99 2.02 2.05 3/93 21028
/proc/meminfo: memFree=1618376/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=341.88
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11886 0 1 0 34176 12 0 0 25 0 8 0 166781783 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073866948 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11613 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.88
Current children cumulated vsize (KiB) 915460
[startup+402.668 s]
/proc/loadavg: 1.99 2.01 2.05 3/93 21028
/proc/meminfo: memFree=1618312/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=401.88
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11889 0 1 0 40176 12 0 0 25 0 8 0 166781783 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11616 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.88
Current children cumulated vsize (KiB) 915460
[startup+462.676 s]
/proc/loadavg: 2.03 2.01 2.04 3/102 21102
/proc/meminfo: memFree=1542464/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=461.81
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11889 0 1 0 46168 13 0 0 25 0 8 0 166781783 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854820 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11616 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.81
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 491.943
CPU time (s): 491.037
CPU user time (s): 490.894
CPU system time (s): 0.142978
CPU usage (%): 99.8159
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 490.894
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11981
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= 11252
involuntary context switches= 11149
runsolver used 0.645901 s user time and 1.60076 s system time
The end
Begin job on node4 on Sun Jan 7 15:31:02 UTC 2007
IDJOB= 207933
IDBENCH= 4345
FILE ID= node4/207933-1168183862
PBS_JOBID= 3478945
Free space on /tmp= 66302 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-715_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207933-1168183862/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-207933-1168183862 -o ROOT/results/node4/solver-207933-1168183862 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207933-1168183862/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b560b2188dccf33930e15d7e9eea996b
RANDOM SEED= 953686146
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.223
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.223
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: 941208 kB
Buffers: 50800 kB
Cached: 256216 kB
SwapCached: 2520 kB
Active: 850356 kB
Inactive: 209368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 941208 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 771156 kB
Slab: 38120 kB
Committed_AS: 5078268 kB
PageTables: 3892 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= 66305 MiB
End job on node4 on Sun Jan 7 15:39:14 UTC 2007