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/218210-1168251748/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.094 cpuTime=0.07 mem=6M951
0.39
0.39 relations being loaded...
0.67
0.67 constraints being loaded...
0.83 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
0.83 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.83 => wckTime=0.531 cpuTime=0.48 mem=44M575
0.91
0.91 solver IterativeSystematicSolver being built...
1.07 => wckTime=0.769 cpuTime=0.61 mem=21M491
1.15
1.15 preprocessing
1.15 nbConstraintChecks=20884 nbValidityChecks=33862 nbPropagations=169 nbRevisions=1718 nbUselessRevisions=1456
1.15 nbSingletonTests=27 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.15 => wckTime=0.076 cpuTime=0.05 mem=21M491
1.20
1.20 search
1.20 run=0 nbConstraintChecks=22396 nbValidityChecks=43191 nbPropagations=467 nbRevisions=4927
1.20 nbUselessRevisions=3972 nbAssignments=29 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=50
1.20 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.125 cpuTime=0.08 mem=22M475
1.24
1.24 search
1.24 run=1 nbConstraintChecks=49201 nbValidityChecks=99224 nbPropagations=1339 nbRevisions=14413
1.24 nbUselessRevisions=11554 nbAssignments=66 nbFailedAssignments=28 nbBacktracks=25 nbVisitedNodes=115
1.24 nbRestartNogoods=4 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.167 cpuTime=0.12 mem=22M475
1.29
1.29 search
1.29 run=2 nbConstraintChecks=83657 nbValidityChecks=170265 nbPropagations=2762 nbRevisions=30166
1.29 nbUselessRevisions=24060 nbAssignments=120 nbFailedAssignments=54 nbBacktracks=48 nbVisitedNodes=209
1.29 nbRestartNogoods=9 mapSize=40 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.224 cpuTime=0.17 mem=22M475
1.41
1.41 search
1.41 run=3 nbConstraintChecks=163175 nbValidityChecks=334797 nbPropagations=5156 nbRevisions=57048
1.41 nbUselessRevisions=45222 nbAssignments=223 nbFailedAssignments=111 nbBacktracks=81 nbVisitedNodes=382
1.41 nbRestartNogoods=16 mapSize=71 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.337 cpuTime=0.27 mem=22M475
1.56
1.56 search
1.56 run=4 nbConstraintChecks=276901 nbValidityChecks=571423 nbPropagations=9121 nbRevisions=102823
1.56 nbUselessRevisions=81067 nbAssignments=368 nbFailedAssignments=202 nbBacktracks=131 nbVisitedNodes=656
1.56 nbRestartNogoods=23 mapSize=116 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.49 cpuTime=0.43 mem=22M475
1.74
1.74 search
1.74 run=5 nbConstraintChecks=417945 nbValidityChecks=856054 nbPropagations=15099 nbRevisions=172062
1.74 nbUselessRevisions=135397 nbAssignments=558 nbFailedAssignments=312 nbBacktracks=206 nbVisitedNodes=1005
1.74 nbRestartNogoods=27 mapSize=181 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.67 cpuTime=0.6 mem=22M475
2.08
2.08 search
2.08 run=6 nbConstraintChecks=686758 nbValidityChecks=1401846 nbPropagations=24272 nbRevisions=278092
2.08 nbUselessRevisions=218159 nbAssignments=866 nbFailedAssignments=503 nbBacktracks=319 nbVisitedNodes=1587
2.08 nbRestartNogoods=34 mapSize=286 nbInferences=0 nbTooLargeKeys=0
2.08 => wckTime=1.008 cpuTime=0.94 mem=22M475
2.41
2.41 search
2.41 run=7 nbConstraintChecks=953737 nbValidityChecks=1950154 nbPropagations=37311 nbRevisions=429160
2.41 nbUselessRevisions=336425 nbAssignments=1242 nbFailedAssignments=704 nbBacktracks=489 nbVisitedNodes=2266
2.41 nbRestartNogoods=38 mapSize=423 nbInferences=0 nbTooLargeKeys=0
2.41 => wckTime=1.34 cpuTime=1.26 mem=22M475
3.18
3.18 search
3.18 run=8 nbConstraintChecks=1568881 nbValidityChecks=3212867 nbPropagations=58340 nbRevisions=675182
3.18 nbUselessRevisions=528780 nbAssignments=1933 nbFailedAssignments=1133 nbBacktracks=745 nbVisitedNodes=3582
3.18 nbRestartNogoods=42 mapSize=668 nbInferences=0 nbTooLargeKeys=0
3.18 => wckTime=2.108 cpuTime=2.01 mem=22M475
4.18
4.18 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=22M475)
4.28
4.28 search
4.28 run=9 nbConstraintChecks=2514665 nbValidityChecks=5186592 nbPropagations=91419 nbRevisions=1061783
4.28 nbUselessRevisions=830733 nbAssignments=3134 nbFailedAssignments=1914 nbBacktracks=1129 nbVisitedNodes=5837
4.28 nbRestartNogoods=51
4.28 => wckTime=3.21 cpuTime=3.1 mem=22M475
5.74
5.74 search
5.74 run=10 nbConstraintChecks=3748834 nbValidityChecks=7710529 nbPropagations=141097 nbRevisions=1641893
5.74 nbUselessRevisions=1283436 nbAssignments=4575 nbFailedAssignments=2776 nbBacktracks=1705 nbVisitedNodes=8515
5.74 nbRestartNogoods=57
5.74 => wckTime=4.673 cpuTime=4.55 mem=22M475
7.25
7.25 search
7.25 run=11 nbConstraintChecks=5095297 nbValidityChecks=10524182 nbPropagations=211523 nbRevisions=2455257
7.25 nbUselessRevisions=1919310 nbAssignments=6574 nbFailedAssignments=3906 nbBacktracks=2572 nbVisitedNodes=12163
7.25 nbRestartNogoods=71
7.25 => wckTime=6.183 cpuTime=6.06 mem=22M475
9.88
9.88 search
9.88 run=12 nbConstraintChecks=7429346 nbValidityChecks=15453522 nbPropagations=316860 nbRevisions=3662125
9.88 nbUselessRevisions=2864228 nbAssignments=9877 nbFailedAssignments=5906 nbBacktracks=3871 nbVisitedNodes=18356
9.88 nbRestartNogoods=74
9.88 => wckTime=8.806 cpuTime=8.68 mem=22M475
13.63
13.63 search
13.63 run=13 nbConstraintChecks=10752961 nbValidityChecks=22404121 nbPropagations=471013 nbRevisions=5424458
13.63 nbUselessRevisions=4244762 nbAssignments=14433 nbFailedAssignments=8512 nbBacktracks=5817 nbVisitedNodes=26716
13.63 nbRestartNogoods=79
13.63 => wckTime=12.56 cpuTime=12.44 mem=22M475
19.87
19.87 search
19.87 run=14 nbConstraintChecks=16316135 nbValidityChecks=33824710 nbPropagations=701043 nbRevisions=8071904
19.87 nbUselessRevisions=6318992 nbAssignments=21278 nbFailedAssignments=12435 nbBacktracks=8736 nbVisitedNodes=39442
19.87 nbRestartNogoods=85
19.87 => wckTime=18.8 cpuTime=18.67 mem=22M475
28.60
28.60 search
28.60 run=15 nbConstraintChecks=24027237 nbValidityChecks=50063134 nbPropagations=1047537 nbRevisions=12026577
28.60 nbUselessRevisions=9416305 nbAssignments=31908 nbFailedAssignments=18683 nbBacktracks=13115
28.60 nbVisitedNodes=59167 nbRestartNogoods=93
28.60 => wckTime=27.528 cpuTime=27.4 mem=22M475
42.80
42.80 search
42.80 run=16 nbConstraintChecks=36590984 nbValidityChecks=75638675 nbPropagations=1560193 nbRevisions=17924885
42.80 nbUselessRevisions=14036960 nbAssignments=46638 nbFailedAssignments=26839 nbBacktracks=19684
42.80 nbVisitedNodes=86170 nbRestartNogoods=106
42.80 => wckTime=41.728 cpuTime=41.6 mem=22M475
61.46
61.46 search
61.46 run=17 nbConstraintChecks=53246720 nbValidityChecks=110486920 nbPropagations=2326279 nbRevisions=26692272
61.46 nbUselessRevisions=20905965 nbAssignments=69874 nbFailedAssignments=40187 nbBacktracks=29537
61.46 nbVisitedNodes=129138 nbRestartNogoods=130
61.46 => wckTime=60.386 cpuTime=60.25 mem=22M475
93.64
93.64 search
93.64 run=18 nbConstraintChecks=82101643 nbValidityChecks=169696410 nbPropagations=3480554 nbRevisions=39963399
93.64 nbUselessRevisions=31301011 nbAssignments=105527 nbFailedAssignments=61060 nbBacktracks=44315
93.64 nbVisitedNodes=195803 nbRestartNogoods=147
93.64 => wckTime=92.566 cpuTime=92.42 mem=22M475
140.73
140.73 search
140.73 run=19 nbConstraintChecks=123628173 nbValidityChecks=255248836 nbPropagations=5218905 nbRevisions=59910390
140.73 nbUselessRevisions=46923139 nbAssignments=157221 nbFailedAssignments=90580 nbBacktracks=66485
140.73 nbVisitedNodes=291438 nbRestartNogoods=166
140.73 => wckTime=139.658 cpuTime=139.5 mem=22M475
214.96
214.96 search
214.96 run=20 nbConstraintChecks=189484632 nbValidityChecks=389253214 nbPropagations=7808739 nbRevisions=89797653
214.96 nbUselessRevisions=70330448 nbAssignments=232579 nbFailedAssignments=132682 nbBacktracks=99737
214.96 nbVisitedNodes=430520 nbRestartNogoods=194
214.96 => wckTime=213.888 cpuTime=213.71 mem=22M475
324.56
324.56 search
324.56 run=21 nbConstraintChecks=286288803 nbValidityChecks=585243574 nbPropagations=11680380 nbRevisions=134639011
324.56 nbUselessRevisions=105449546 nbAssignments=344700 nbFailedAssignments=194922 nbBacktracks=149615
324.56 nbVisitedNodes=635739 nbRestartNogoods=217
324.56 => wckTime=323.489 cpuTime=323.28 mem=22M475
441.96
441.96 search
441.96 run=22 nbConstraintChecks=389879844 nbValidityChecks=793051400 nbPropagations=16835988 nbRevisions=194813895
441.96 nbUselessRevisions=152587997 nbAssignments=455192 nbFailedAssignments=257435 nbBacktracks=197595
441.96 nbVisitedNodes=839103 nbRestartNogoods=221
441.96 => wckTime=440.892 cpuTime=440.65 mem=22M475
441.96
441.96 global
441.96 nbConstraintChecks=389900728 nbValidityChecks=793085262 nbPropagations=16836157 nbRevisions=194815613
441.96 nbUselessRevisions=152589453 nbRestartNogoods=221 solvingWckTime=440.893 solvingCpuTime=440.65 expiredTime=no
441.96 totalExploration=yes nbFoundSolutions=0 globalCpuTime=441.33
441.96 => wckTime=441.665 cpuTime=441.27 mem=22M475
441.97
441.97 s UNSATISFIABLE
441.97 d NODES 455192
441.97 d CHECKS 389900728
441.97
441.97 totalWckTime=441.741 totalCpuTime=441.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-218210-1168251748 -o ROOT/results/node40/solver-218210-1168251748 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218210-1168251748/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.92 0.98 1.11 3/65 12042
/proc/meminfo: memFree=1648168/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=18540 CPUtime=0
/proc/12041/stat : 12041 (runsolver) R 12039 12041 10830 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 173574167 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12041/statm: 4635 279 244 17 0 2626 0
[startup+0.102675 s]
/proc/loadavg: 0.92 0.98 1.11 3/65 12042
/proc/meminfo: memFree=1648168/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=914988 CPUtime=0.08
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 2994 0 1 0 7 1 0 0 22 0 8 0 173574167 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072929335 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12041/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514724 s]
/proc/loadavg: 0.92 0.98 1.11 3/65 12042
/proc/meminfo: memFree=1648168/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915328 CPUtime=0.49
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 8031 0 1 0 45 4 0 0 16 0 8 0 173574167 937295872 7770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12041/statm: 228832 7771 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33803 s]
/proc/loadavg: 0.92 0.98 1.11 2/72 12049
/proc/meminfo: memFree=1588400/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915460 CPUtime=1.31
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 17685 0 1 0 123 8 0 0 17 0 8 0 173574167 937431040 17423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726747 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12041/statm: 228865 17423 2527 14 0 215335 0
[pid=12041/tid=12043] ppid=12039 vsize=915460 CPUtime=0.06
/proc/12041/task/12043/stat : 12043 (java) S 12039 12041 10830 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173574172 937431040 17423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12041/tid=12044] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12044/stat : 12044 (java) S 12039 12041 10830 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12045/stat : 12045 (java) S 12039 12041 10830 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12046/stat : 12046 (java) S 12039 12041 10830 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173574175 937431040 17423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=915460 CPUtime=0.16
/proc/12041/task/12047/stat : 12047 (java) S 12039 12041 10830 0 -1 64 360 0 0 0 15 1 0 0 15 0 8 0 173574175 937431040 17423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12048/stat : 12048 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173574175 937431040 17423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12049/stat : 12049 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173574175 937431040 17423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.97524 s]
/proc/loadavg: 0.92 0.98 1.11 2/72 12049
/proc/meminfo: memFree=1588208/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915460 CPUtime=2.94
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 17702 0 1 0 286 8 0 0 17 0 8 0 173574167 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613863 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12041/statm: 228865 17437 2527 14 0 215335 0
[pid=12041/tid=12043] ppid=12039 vsize=915460 CPUtime=0.06
/proc/12041/task/12043/stat : 12043 (java) S 12039 12041 10830 0 -1 64 1888 0 0 0 6 0 0 0 17 0 8 0 173574172 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12041/tid=12044] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12044/stat : 12044 (java) S 12039 12041 10830 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12045/stat : 12045 (java) S 12039 12041 10830 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12046/stat : 12046 (java) S 12039 12041 10830 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173574175 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=915460 CPUtime=0.19
/proc/12041/task/12047/stat : 12047 (java) S 12039 12041 10830 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 173574175 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12048/stat : 12048 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173574175 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12049/stat : 12049 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173574175 937431040 17437 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.27066 s]
/proc/loadavg: 0.93 0.98 1.10 2/72 12049
/proc/meminfo: memFree=1588016/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915460 CPUtime=6.23
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 17713 0 1 0 614 9 0 0 18 0 8 0 173574167 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609069 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12041/statm: 228865 17446 2527 14 0 215335 0
[pid=12041/tid=12043] ppid=12039 vsize=915460 CPUtime=0.06
/proc/12041/task/12043/stat : 12043 (java) S 12039 12041 10830 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12041/tid=12044] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12044/stat : 12044 (java) S 12039 12041 10830 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12045/stat : 12045 (java) S 12039 12041 10830 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12046/stat : 12046 (java) S 12039 12041 10830 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=915460 CPUtime=0.2
/proc/12041/task/12047/stat : 12047 (java) S 12039 12041 10830 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12048/stat : 12048 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12049/stat : 12049 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7375 s]
/proc/loadavg: 0.93 0.98 1.10 2/72 12049
/proc/meminfo: memFree=1588016/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915460 CPUtime=12.69
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 17713 0 1 0 1260 9 0 0 19 0 8 0 173574167 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12041/statm: 228865 17446 2527 14 0 215335 0
[pid=12041/tid=12043] ppid=12039 vsize=915460 CPUtime=0.06
/proc/12041/task/12043/stat : 12043 (java) S 12039 12041 10830 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12041/tid=12044] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12044/stat : 12044 (java) S 12039 12041 10830 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12045/stat : 12045 (java) S 12039 12041 10830 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12046/stat : 12046 (java) S 12039 12041 10830 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=915460 CPUtime=0.2
/proc/12041/task/12047/stat : 12047 (java) S 12039 12041 10830 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12048/stat : 12048 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12049/stat : 12049 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915460
[startup+25.5982 s]
/proc/loadavg: 0.95 0.98 1.10 2/72 12049
/proc/meminfo: memFree=1588144/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915460 CPUtime=25.55
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 17714 0 1 0 2546 9 0 0 25 0 8 0 173574167 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12041/statm: 228865 17446 2527 14 0 215335 0
[pid=12041/tid=12043] ppid=12039 vsize=915460 CPUtime=0.06
/proc/12041/task/12043/stat : 12043 (java) S 12039 12041 10830 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12041/tid=12044] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12044/stat : 12044 (java) S 12039 12041 10830 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12045/stat : 12045 (java) S 12039 12041 10830 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12046/stat : 12046 (java) S 12039 12041 10830 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=915460 CPUtime=0.2
/proc/12041/task/12047/stat : 12047 (java) S 12039 12041 10830 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12048/stat : 12048 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12049/stat : 12049 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915460
[startup+51.2885 s]
/proc/loadavg: 0.96 0.98 1.10 2/72 12049
/proc/meminfo: memFree=1588208/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915460 CPUtime=51.23
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 17714 0 1 0 5114 9 0 0 25 0 8 0 173574167 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12041/statm: 228865 17446 2527 14 0 215335 0
[pid=12041/tid=12043] ppid=12039 vsize=915460 CPUtime=0.06
/proc/12041/task/12043/stat : 12043 (java) S 12039 12041 10830 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12041/tid=12044] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12044/stat : 12044 (java) S 12039 12041 10830 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12045/stat : 12045 (java) S 12039 12041 10830 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12046/stat : 12046 (java) S 12039 12041 10830 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=915460 CPUtime=0.2
/proc/12041/task/12047/stat : 12047 (java) S 12039 12041 10830 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12048/stat : 12048 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12049/stat : 12049 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915460
[startup+102.564 s]
/proc/loadavg: 0.98 0.98 1.09 2/72 12049
/proc/meminfo: memFree=1588272/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915460 CPUtime=102.49
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 17714 0 1 0 10240 9 0 0 25 0 8 0 173574167 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12041/statm: 228865 17446 2527 14 0 215335 0
[pid=12041/tid=12043] ppid=12039 vsize=915460 CPUtime=0.06
/proc/12041/task/12043/stat : 12043 (java) S 12039 12041 10830 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12041/tid=12044] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12044/stat : 12044 (java) S 12039 12041 10830 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12045/stat : 12045 (java) S 12039 12041 10830 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12046/stat : 12046 (java) S 12039 12041 10830 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=915460 CPUtime=0.2
/proc/12041/task/12047/stat : 12047 (java) S 12039 12041 10830 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12048/stat : 12048 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12049/stat : 12049 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.49
Current children cumulated vsize (KiB) 915460
[startup+162.575 s]
/proc/loadavg: 0.99 0.98 1.08 3/72 12049
/proc/meminfo: memFree=1588272/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915460 CPUtime=162.49
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 17714 0 1 0 16240 9 0 0 25 0 8 0 173574167 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12041/statm: 228865 17446 2527 14 0 215335 0
[pid=12041/tid=12043] ppid=12039 vsize=915460 CPUtime=0.06
/proc/12041/task/12043/stat : 12043 (java) S 12039 12041 10830 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12041/tid=12044] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12044/stat : 12044 (java) S 12039 12041 10830 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12045/stat : 12045 (java) S 12039 12041 10830 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12046/stat : 12046 (java) S 12039 12041 10830 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=915460 CPUtime=0.2
/proc/12041/task/12047/stat : 12047 (java) S 12039 12041 10830 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12048/stat : 12048 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12049/stat : 12049 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.49
Current children cumulated vsize (KiB) 915460
[startup+222.584 s]
/proc/loadavg: 0.99 0.98 1.08 2/72 12049
/proc/meminfo: memFree=1588272/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915460 CPUtime=222.48
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 17714 0 1 0 22239 9 0 0 25 0 8 0 173574167 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12041/statm: 228865 17446 2527 14 0 215335 0
[pid=12041/tid=12043] ppid=12039 vsize=915460 CPUtime=0.06
/proc/12041/task/12043/stat : 12043 (java) S 12039 12041 10830 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12041/tid=12044] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12044/stat : 12044 (java) S 12039 12041 10830 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12045/stat : 12045 (java) S 12039 12041 10830 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12046/stat : 12046 (java) S 12039 12041 10830 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=915460 CPUtime=0.2
/proc/12041/task/12047/stat : 12047 (java) S 12039 12041 10830 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12048/stat : 12048 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12049/stat : 12049 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.48
Current children cumulated vsize (KiB) 915460
[startup+282.592 s]
/proc/loadavg: 0.99 0.98 1.07 2/72 12049
/proc/meminfo: memFree=1588208/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915460 CPUtime=282.47
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 17714 0 1 0 28238 9 0 0 25 0 8 0 173574167 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12041/statm: 228865 17446 2527 14 0 215335 0
[pid=12041/tid=12043] ppid=12039 vsize=915460 CPUtime=0.06
/proc/12041/task/12043/stat : 12043 (java) S 12039 12041 10830 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12041/tid=12044] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12044/stat : 12044 (java) S 12039 12041 10830 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12045/stat : 12045 (java) S 12039 12041 10830 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12046/stat : 12046 (java) S 12039 12041 10830 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=915460 CPUtime=0.2
/proc/12041/task/12047/stat : 12047 (java) S 12039 12041 10830 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12048/stat : 12048 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12049/stat : 12049 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.47
Current children cumulated vsize (KiB) 915460
[startup+342.607 s]
/proc/loadavg: 0.99 0.98 1.06 2/72 12049
/proc/meminfo: memFree=1588208/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915460 CPUtime=342.46
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 17714 0 1 0 34237 9 0 0 25 0 8 0 173574167 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730473 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12041/statm: 228865 17446 2527 14 0 215335 0
[pid=12041/tid=12043] ppid=12039 vsize=915460 CPUtime=0.06
/proc/12041/task/12043/stat : 12043 (java) S 12039 12041 10830 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12041/tid=12044] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12044/stat : 12044 (java) S 12039 12041 10830 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12045/stat : 12045 (java) S 12039 12041 10830 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12046/stat : 12046 (java) S 12039 12041 10830 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=915460 CPUtime=0.2
/proc/12041/task/12047/stat : 12047 (java) S 12039 12041 10830 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12048/stat : 12048 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12049/stat : 12049 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.46
Current children cumulated vsize (KiB) 915460
[startup+402.616 s]
/proc/loadavg: 0.99 0.98 1.06 2/72 12049
/proc/meminfo: memFree=1588144/2055920 swapFree=4192812/4192956
[pid=12041] ppid=12039 vsize=915460 CPUtime=402.45
/proc/12041/stat : 12041 (java) R 12039 12041 10830 0 -1 0 17714 0 1 0 40236 9 0 0 25 0 8 0 173574167 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073728095 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12041/statm: 228865 17446 2527 14 0 215335 0
[pid=12041/tid=12043] ppid=12039 vsize=915460 CPUtime=0.06
/proc/12041/task/12043/stat : 12043 (java) S 12039 12041 10830 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12041/tid=12044] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12044/stat : 12044 (java) S 12039 12041 10830 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12045/stat : 12045 (java) S 12039 12041 10830 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173574172 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12046/stat : 12046 (java) S 12039 12041 10830 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=915460 CPUtime=0.2
/proc/12041/task/12047/stat : 12047 (java) S 12039 12041 10830 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12048/stat : 12048 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=915460 CPUtime=0
/proc/12041/task/12049/stat : 12049 (java) S 12039 12041 10830 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173574175 937431040 17446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.45
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 442.037
CPU time (s): 441.821
CPU user time (s): 441.711
CPU system time (s): 0.109983
CPU usage (%): 99.9511
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 441.711
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17723
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= 9783
involuntary context switches= 1387
runsolver used 0.374943 s user time and 1.20482 s system time
The end
Begin job on node40 on Mon Jan 8 10:22:28 UTC 2007
IDJOB= 218210
IDBENCH= 5213
FILE ID= node40/218210-1168251748
PBS_JOBID= 3481862
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218210-1168251748/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-218210-1168251748 -o ROOT/results/node40/solver-218210-1168251748 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218210-1168251748/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 88f1fadd77f105b78bc8652c5b5edcb2
RANDOM SEED= 729446077
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.239
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.239
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: 1648584 kB
Buffers: 37028 kB
Cached: 281688 kB
SwapCached: 0 kB
Active: 120356 kB
Inactive: 214408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1648584 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2948 kB
Writeback: 0 kB
Mapped: 26172 kB
Slab: 58584 kB
Committed_AS: 3620156 kB
PageTables: 1412 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= 66552 MiB
End job on node40 on Mon Jan 8 10:29:51 UTC 2007