0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/194433-1168101866/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.40 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.54
0.54 constraints being loaded...
0.67 nbConstraints=462 nbRelationTypes=462 nbExtensionStructures=462 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=462 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2291 maxDegree=25
0.67 maxArity=2
0.67 => wckTime=0.373 cpuTime=0.28 mem=17M827
0.72
0.72 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.571 cpuTime=0.4 mem=15M573
0.93
0.93 preprocessing
0.93 nbConstraintChecks=97913 nbPropagations=1107 nbRevisions=9333 nbUselessRevisions=7949 nbSingletonTests=58
0.93 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.056 cpuTime=0.04 mem=15M573
0.96
0.96 search
0.96 run=0 nbConstraintChecks=45034 nbPropagations=1663 nbRevisions=16027 nbUselessRevisions=13440 nbAssignments=26
0.96 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.085 cpuTime=0.06 mem=15M573
0.98
0.98 search
0.98 run=1 nbConstraintChecks=97739 nbPropagations=3981 nbRevisions=39967 nbUselessRevisions=33403 nbAssignments=62
0.98 nbFailedAssignments=12 nbBacktracks=27 nbVisitedNodes=89 nbRestartNogoods=2 mapSize=18 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.105 cpuTime=0.08 mem=15M573
0.99
0.99 search
0.99 run=2 nbConstraintChecks=165429 nbPropagations=7173 nbRevisions=74813 nbUselessRevisions=62349
0.99 nbAssignments=108 nbFailedAssignments=21 nbBacktracks=51 nbVisitedNodes=158 nbRestartNogoods=6 mapSize=34
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.12 cpuTime=0.09 mem=15M573
1.01
1.01 search
1.01 run=3 nbConstraintChecks=265776 nbPropagations=11630 nbRevisions=126672 nbUselessRevisions=105227
1.01 nbAssignments=182 nbFailedAssignments=51 nbBacktracks=84 nbVisitedNodes=276 nbRestartNogoods=10 mapSize=61
1.01 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.141 cpuTime=0.11 mem=15M573
1.05
1.05 search
1.05 run=4 nbConstraintChecks=441235 nbPropagations=18169 nbRevisions=205185 nbUselessRevisions=170130
1.05 nbAssignments=289 nbFailedAssignments=75 nbBacktracks=135 nbVisitedNodes=411 nbRestartNogoods=14 mapSize=98
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.173 cpuTime=0.14 mem=15M573
1.08
1.08 search
1.08 run=5 nbConstraintChecks=644816 nbPropagations=27068 nbRevisions=317737 nbUselessRevisions=262731
1.09 nbAssignments=414 nbFailedAssignments=113 nbBacktracks=215 nbVisitedNodes=619 nbRestartNogoods=16 mapSize=164
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.211 cpuTime=0.17 mem=15M573
1.14
1.14 search
1.14 run=6 nbConstraintChecks=903143 nbPropagations=39158 nbRevisions=478008 nbUselessRevisions=394799
1.14 nbAssignments=602 nbFailedAssignments=175 nbBacktracks=330 nbVisitedNodes=928 nbRestartNogoods=17 mapSize=256
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.263 cpuTime=0.22 mem=15M573
1.21
1.21 search
1.21 run=7 nbConstraintChecks=1353506 nbPropagations=56781 nbRevisions=716202 nbUselessRevisions=590370
1.21 nbAssignments=893 nbFailedAssignments=268 nbBacktracks=500 nbVisitedNodes=1382 nbRestartNogoods=22 mapSize=398
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.34 cpuTime=0.29 mem=15M573
1.35
1.35 search
1.35 run=8 nbConstraintChecks=2169044 nbPropagations=83381 nbRevisions=1094767 nbUselessRevisions=900183
1.35 nbAssignments=1351 nbFailedAssignments=457 nbBacktracks=762 nbVisitedNodes=2184 nbRestartNogoods=25
1.35 mapSize=624 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.474 cpuTime=0.42 mem=15M573
1.52
1.52 search
1.52 run=9 nbConstraintChecks=3175701 nbPropagations=121867 nbRevisions=1658724 nbUselessRevisions=1362085
1.52 nbAssignments=1959 nbFailedAssignments=670 nbBacktracks=1146 nbVisitedNodes=3214 nbRestartNogoods=27
1.52 mapSize=935 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.649 cpuTime=0.58 mem=15M573
1.57
1.57 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=15M573)
1.76
1.76 search
1.76 run=10 nbConstraintChecks=4742861 nbPropagations=178663 nbRevisions=2500090 nbUselessRevisions=2052019
1.76 nbAssignments=2919 nbFailedAssignments=1040 nbBacktracks=1723 nbVisitedNodes=4848 nbRestartNogoods=34
1.76 => wckTime=0.889 cpuTime=0.81 mem=15M573
2.08
2.08 search
2.08 run=11 nbConstraintChecks=6960135 nbPropagations=262219 nbRevisions=3739928 nbUselessRevisions=3067304
2.08 nbAssignments=4305 nbFailedAssignments=1531 nbBacktracks=2587 nbVisitedNodes=7150 nbRestartNogoods=43
2.08 => wckTime=1.211 cpuTime=1.13 mem=15M573
2.56
2.56 search
2.56 run=12 nbConstraintChecks=10310158 nbPropagations=385803 nbRevisions=5572258 nbUselessRevisions=4564073
2.56 nbAssignments=6362 nbFailedAssignments=2280 nbBacktracks=3887 nbVisitedNodes=10610 nbRestartNogoods=45
2.56 => wckTime=1.688 cpuTime=1.6 mem=15M573
3.27
3.27 search
3.27 run=13 nbConstraintChecks=15226557 nbPropagations=568973 nbRevisions=8342140 nbUselessRevisions=6834544
3.27 nbAssignments=9458 nbFailedAssignments=3419 nbBacktracks=5834 nbVisitedNodes=15891 nbRestartNogoods=54
3.27 => wckTime=2.4 cpuTime=2.31 mem=15M573
4.39
4.39 search
4.39 run=14 nbConstraintChecks=22994890 nbPropagations=843422 nbRevisions=12471119 nbUselessRevisions=10204112
4.39 nbAssignments=14159 nbFailedAssignments=5192 nbBacktracks=8753 nbVisitedNodes=23894 nbRestartNogoods=59
4.39 => wckTime=3.513 cpuTime=3.4 mem=15M573
6.01
6.01 search
6.01 run=15 nbConstraintChecks=34349897 nbPropagations=1251117 nbRevisions=18706744 nbUselessRevisions=15309161
6.01 nbAssignments=21017 nbFailedAssignments=7662 nbBacktracks=13137 nbVisitedNodes=35567 nbRestartNogoods=67
6.01 => wckTime=5.136 cpuTime=5.01 mem=16M548
8.47
8.47 search
8.47 run=16 nbConstraintChecks=51545028 nbPropagations=1867741 nbRevisions=28075048 nbUselessRevisions=22964248
8.47 nbAssignments=31700 nbFailedAssignments=11765 nbBacktracks=19707 nbVisitedNodes=53874 nbRestartNogoods=68
8.47 => wckTime=7.601 cpuTime=7.46 mem=16M548
11.99
11.99 search
11.99 run=17 nbConstraintChecks=76009427 nbPropagations=2780166 nbRevisions=42110783 nbUselessRevisions=34464948
11.99 nbAssignments=47266 nbFailedAssignments=17465 nbBacktracks=29566 nbVisitedNodes=80388 nbRestartNogoods=77
11.99 => wckTime=11.116 cpuTime=10.96 mem=16M548
17.64
17.64 search
17.64 run=18 nbConstraintChecks=117125196 nbPropagations=4163602 nbRevisions=63349250 nbUselessRevisions=51827708
17.64 nbAssignments=71011 nbFailedAssignments=26424 nbBacktracks=44345 nbVisitedNodes=121000 nbRestartNogoods=85
17.64 => wckTime=16.763 cpuTime=16.58 mem=16M548
25.34
25.34 search
25.34 run=19 nbConstraintChecks=169434292 nbPropagations=6209658 nbRevisions=94613866 nbUselessRevisions=77432013
25.34 nbAssignments=105843 nbFailedAssignments=39078 nbBacktracks=66514 nbVisitedNodes=179954 nbRestartNogoods=98
25.34 => wckTime=24.462 cpuTime=24.24 mem=16M548
38.19
38.19 search
38.19 run=20 nbConstraintChecks=263956175 nbPropagations=9311009 nbRevisions=142362390 nbUselessRevisions=116506976
38.19 nbAssignments=158963 nbFailedAssignments=58936 nbBacktracks=99767 nbVisitedNodes=270896 nbRestartNogoods=111
38.19 => wckTime=37.321 cpuTime=37.04 mem=16M548
55.69
55.69 search
55.69 run=21 nbConstraintChecks=383076124 nbPropagations=13922609 nbRevisions=212915513 nbUselessRevisions=174304050
55.69 nbAssignments=237569 nbFailedAssignments=87655 nbBacktracks=149645 nbVisitedNodes=404549 nbRestartNogoods=114
55.69 => wckTime=54.821 cpuTime=54.42 mem=16M548
85.22
85.22 search
85.22 run=22 nbConstraintChecks=601252541 nbPropagations=20937479 nbRevisions=321077678 nbUselessRevisions=262823021
85.22 nbAssignments=357681 nbFailedAssignments=132914 nbBacktracks=224469 nbVisitedNodes=609919 nbRestartNogoods=125
85.22 => wckTime=84.346 cpuTime=83.8 mem=16M548
125.32
125.32 search
125.32 run=23 nbConstraintChecks=882152157 nbPropagations=31371945 nbRevisions=480675490 nbUselessRevisions=393336432
125.32 nbAssignments=534933 nbFailedAssignments=197926 nbBacktracks=336699 nbVisitedNodes=909898 nbRestartNogoods=139
125.32 => wckTime=124.45 cpuTime=123.68 mem=16M548
184.47
184.48 search
184.48 run=24 nbConstraintChecks=1288912499 nbPropagations=46874690 nbRevisions=717647530 nbUselessRevisions=587465644
184.48 nbAssignments=799326 nbFailedAssignments=293948 nbBacktracks=505042 nbVisitedNodes=1358506 nbRestartNogoods=156
184.48 => wckTime=183.602 cpuTime=182.49 mem=16M548
284.33
284.33 search
284.33 run=25 nbConstraintChecks=2025696069 nbPropagations=70537982 nbRevisions=1081542088
284.33 nbUselessRevisions=885270655 nbAssignments=1204765 nbFailedAssignments=446865 nbBacktracks=757554
284.33 nbVisitedNodes=2053158 nbRestartNogoods=173
284.33 => wckTime=283.46 cpuTime=281.8 mem=16M548
419.27
419.27 search
419.27 run=26 nbConstraintChecks=2954480479 nbPropagations=105688658 nbRevisions=1622478789
419.27 nbUselessRevisions=1328837163 nbAssignments=1804152 nbFailedAssignments=667474 nbBacktracks=1136323
419.27 nbVisitedNodes=3070198 nbRestartNogoods=185
419.27 => wckTime=418.393 cpuTime=416.0 mem=16M548
493.23
493.23 search
493.23 run=27 nbConstraintChecks=3489422026 nbPropagations=147013590 nbRevisions=2256657863
493.23 nbUselessRevisions=1848169873 nbAssignments=2119569 nbFailedAssignments=783734 nbBacktracks=1335413
493.23 nbVisitedNodes=3606422 nbRestartNogoods=200
493.23 => wckTime=492.353 cpuTime=489.56 mem=16M548
493.23
493.23 global
493.23 nbConstraintChecks=3489519939 nbPropagations=147014697 nbRevisions=2256667196 nbUselessRevisions=1848177822
493.23 nbRestartNogoods=200 solvingWckTime=492.354 solvingCpuTime=489.56 expiredTime=no totalExploration=no
493.23 nbFoundSolutions=1 globalCpuTime=490.02
493.23 => wckTime=492.928 cpuTime=489.96 mem=16M548
493.23
493.23 s SATISFIABLE
493.23 v 12 19 21 7 15 17 7 8 20 3 7 10 21 6 19 4 15 8 20 5 8 19 5 0 7 5 14 4 14 21 19 4 15 0 13 10 7 1 12 21 18 9 22 14 1 11 21 5 11 0
493.23 d NODES 2119569
493.23 d CHECKS 3489519939
493.23
493.23 totalWckTime=493.005 totalCpuTime=490.03
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-194433-1168101866 -o ROOT/results/node25/solver-194433-1168101866 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194433-1168101866/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: 0.04 0.87 1.32 5/87 9118
/proc/meminfo: memFree=1581920/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=1784 CPUtime=0
/proc/9117/stat : 9117 (java) D 9111 9117 8474 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 158581749 1826816 140 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/9117/statm: 446 140 106 14 0 91 0
[startup+0.107052 s]
/proc/loadavg: 0.04 0.87 1.32 5/87 9118
/proc/meminfo: memFree=1581920/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=914988 CPUtime=0.08
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 3008 0 1 0 7 1 0 0 17 0 8 0 158581749 936947712 2754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228747 2755 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515121 s]
/proc/loadavg: 0.04 0.87 1.32 5/87 9118
/proc/meminfo: memFree=1581920/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915328 CPUtime=0.49
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 7189 0 1 0 44 5 0 0 19 0 8 0 158581749 937295872 6928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565086 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228832 6929 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33826 s]
/proc/loadavg: 0.04 0.87 1.32 3/101 9133
/proc/meminfo: memFree=1542832/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=1.3
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9618 0 1 0 123 7 0 0 25 0 8 0 158581749 937431040 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9356 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158581753 937431040 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.2
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 158581756 937431040 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98454 s]
/proc/loadavg: 0.04 0.87 1.32 3/101 9133
/proc/meminfo: memFree=1542704/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=2.94
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9635 0 1 0 287 7 0 0 25 0 8 0 158581749 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9371 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 17 0 8 0 158581753 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.23
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 398 0 0 0 22 1 0 0 15 0 8 0 158581756 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.27509 s]
/proc/loadavg: 0.20 0.89 1.32 4/101 9133
/proc/meminfo: memFree=1542640/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=6.2
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9635 0 1 0 612 8 0 0 25 0 8 0 158581749 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9371 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158581753 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.23
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 398 0 0 0 22 1 0 0 15 0 8 0 158581756 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460
[startup+12.7652 s]
/proc/loadavg: 0.34 0.91 1.32 3/101 9133
/proc/meminfo: memFree=1542640/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=12.65
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9637 0 1 0 1257 8 0 0 25 0 8 0 158581749 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811680 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9372 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.23
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915460
[startup+25.6134 s]
/proc/loadavg: 0.71 0.96 1.33 3/101 9133
/proc/meminfo: memFree=1542640/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=25.44
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9637 0 1 0 2536 8 0 0 25 0 8 0 158581749 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9372 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.23
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915460
[startup+51.2337 s]
/proc/loadavg: 1.15 1.04 1.35 3/101 9133
/proc/meminfo: memFree=1542640/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=50.91
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9637 0 1 0 5083 8 0 0 25 0 8 0 158581749 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828694 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9372 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.23
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 915460
[startup+102.465 s]
/proc/loadavg: 1.63 1.19 1.38 3/101 9133
/proc/meminfo: memFree=1542640/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=101.85
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9637 0 1 0 10177 8 0 0 25 0 8 0 158581749 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844720 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9372 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.23
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 915460
[startup+162.542 s]
/proc/loadavg: 1.94 1.36 1.43 3/101 9133
/proc/meminfo: memFree=1542576/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=161.61
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9637 0 1 0 16153 8 0 0 25 0 8 0 158581749 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9372 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.23
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.61
Current children cumulated vsize (KiB) 915460
[startup+222.628 s]
/proc/loadavg: 1.98 1.48 1.46 3/101 9133
/proc/meminfo: memFree=1542576/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=221.37
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9637 0 1 0 22129 8 0 0 25 0 8 0 158581749 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9372 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.23
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 915460
[startup+282.714 s]
/proc/loadavg: 1.99 1.57 1.49 4/101 9133
/proc/meminfo: memFree=1542640/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=281.12
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9637 0 1 0 28104 8 0 0 25 0 8 0 158581749 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832645 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9372 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.23
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.12
Current children cumulated vsize (KiB) 915460
[startup+342.792 s]
/proc/loadavg: 1.99 1.64 1.52 3/101 9133
/proc/meminfo: memFree=1542640/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=340.87
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9638 0 1 0 34079 8 0 0 25 0 8 0 158581749 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9373 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158581753 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.23
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 158581756 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.87
Current children cumulated vsize (KiB) 915460
[startup+402.867 s]
/proc/loadavg: 1.99 1.71 1.55 3/101 9133
/proc/meminfo: memFree=1542576/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=400.63
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9638 0 1 0 40054 9 0 0 25 0 8 0 158581749 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830953 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9373 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158581753 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.23
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 158581756 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.63
Current children cumulated vsize (KiB) 915460
[startup+462.954 s]
/proc/loadavg: 2.10 1.79 1.58 3/101 9133
/proc/meminfo: memFree=1542576/2055920 swapFree=4192812/4192956
[pid=9117] ppid=9111 vsize=915460 CPUtime=460.36
/proc/9117/stat : 9117 (java) R 9111 9117 8474 0 -1 0 9638 0 1 0 46027 9 0 0 25 0 8 0 158581749 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830945 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228865 9373 2524 14 0 215335 0
[pid=9117/tid=9121] ppid=9111 vsize=915460 CPUtime=0.03
/proc/9117/task/9121/stat : 9121 (java) S 9111 9117 8474 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158581753 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9111 9117 8474 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158581753 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9111 9117 8474 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158581753 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9127] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9127/stat : 9127 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158581756 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9129] ppid=9111 vsize=915460 CPUtime=0.23
/proc/9117/task/9129/stat : 9129 (java) S 9111 9117 8474 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 158581756 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9131] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9131/stat : 9131 (java) S 9111 9117 8474 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 158581756 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9133] ppid=9111 vsize=915460 CPUtime=0
/proc/9117/task/9133/stat : 9133 (java) S 9111 9117 8474 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158581756 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.36
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 493.25
CPU time (s): 490.513
CPU user time (s): 490.408
CPU system time (s): 0.104984
CPU usage (%): 99.4453
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 490.408
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9647
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= 11199
involuntary context switches= 15208
runsolver used 0.771882 s user time and 1.42378 s system time
The end
Begin job on node25 on Sat Jan 6 16:44:37 UTC 2007
IDJOB= 194433
IDBENCH= 3214
FILE ID= node25/194433-1168101866
PBS_JOBID= 3477214
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194433-1168101866/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-194433-1168101866 -o ROOT/results/node25/solver-194433-1168101866 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194433-1168101866/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 10e79bacb24ee1816b3f49175d912749
RANDOM SEED= 551808036
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.279
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.279
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: 1583272 kB
Buffers: 50188 kB
Cached: 302120 kB
SwapCached: 0 kB
Active: 126876 kB
Inactive: 274304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1583272 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2712 kB
Writeback: 0 kB
Mapped: 67872 kB
Slab: 56532 kB
Committed_AS: 3016112 kB
PageTables: 2172 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= 66549 MiB
End job on node25 on Sat Jan 6 16:53:07 UTC 2007