0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/217797-1168248948/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=91 nbDomainTypes=2 minDomainSize=70 maxDomainSize=71
0.43 => wckTime=0.113 cpuTime=0.09 mem=6M951
0.43
0.43 predicates being loaded...
0.43
0.43 constraints being loaded...
1.03 nbConstraints=3159 nbConvertedConstraints=3081 nbConvertConstraintsChecks=9941 nbExtensionStructures=2
1.03 nbSharedExtensionStructures=3079 nbConflictsStructures=2 nbSharedConflictsStructures=3079
1.03 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=72 nbEvaluationManagers=1
1.03 nbSharedEvaluationManagers=77 maxDegree=78 maxArity=3
1.03 => wckTime=0.718 cpuTime=0.56 mem=18M654
1.09
1.09 solver IterativeSystematicSolver being built...
1.28 => wckTime=0.962 cpuTime=0.72 mem=17M8
46.00
46.00 INFO : Stopping ESAC
46.01
46.01 preprocessing
46.01 nbConstraintChecks=148892036 nbValidityChecks=2154351 nbPropagations=7809 nbRevisions=93389
46.01 nbUselessRevisions=63956 nbSingletonTests=113 nbEffectiveSingletonTests=3 nbESACBranches=37 nbRemovedValues=731
46.01 detectedInconsistency=no
46.01 => wckTime=44.725 cpuTime=44.27 mem=17M8
51.51
51.51 search
51.51 run=0 nbConstraintChecks=18173961 nbValidityChecks=631220 nbPropagations=12113 nbRevisions=141303
51.51 nbUselessRevisions=98743 nbAssignments=45 nbFailedAssignments=30 nbBacktracks=10 nbVisitedNodes=86
51.51 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
51.51 => wckTime=50.231 cpuTime=49.72 mem=17M8
71.57
71.57 search
71.57 run=1 nbConstraintChecks=85944555 nbValidityChecks=2082150 nbPropagations=31788 nbRevisions=361194
71.57 nbUselessRevisions=254641 nbAssignments=122 nbFailedAssignments=52 nbBacktracks=25 nbVisitedNodes=164
71.57 nbRestartNogoods=9 mapSize=25 nbInferences=0 nbTooLargeKeys=0
71.57 => wckTime=70.29 cpuTime=69.59 mem=17M8
77.13
77.13 search
77.14 run=2 nbConstraintChecks=104112020 nbValidityChecks=3040151 nbPropagations=58863 nbRevisions=660880
77.14 nbUselessRevisions=467739 nbAssignments=197 nbFailedAssignments=99 nbBacktracks=48 nbVisitedNodes=309
77.14 nbRestartNogoods=17 mapSize=48 nbInferences=0 nbTooLargeKeys=0
77.14 => wckTime=75.854 cpuTime=75.11 mem=17M8
97.40
97.40 search
97.40 run=3 nbConstraintChecks=170902674 nbValidityChecks=5550076 nbPropagations=111038 nbRevisions=1201975
97.40 nbUselessRevisions=852809 nbAssignments=448 nbFailedAssignments=287 nbBacktracks=83 nbVisitedNodes=754
97.40 nbRestartNogoods=28 mapSize=80 nbInferences=0 nbTooLargeKeys=0
97.40 => wckTime=96.122 cpuTime=95.18 mem=17M8
104.52
104.52 search
104.52 run=4 nbConstraintChecks=194731826 nbValidityChecks=6172513 nbPropagations=168204 nbRevisions=1784790
104.52 nbUselessRevisions=1266164 nbAssignments=543 nbFailedAssignments=321 nbBacktracks=135 nbVisitedNodes=889
104.52 nbRestartNogoods=32 mapSize=98 nbInferences=0 nbTooLargeKeys=0
104.52 => wckTime=103.238 cpuTime=102.23 mem=17M8
110.89
110.89 search
110.89 run=5 nbConstraintChecks=215937455 nbValidityChecks=7083470 nbPropagations=233478 nbRevisions=2449844
110.89 nbUselessRevisions=1733274 nbAssignments=675 nbFailedAssignments=374 nbBacktracks=210 nbVisitedNodes=1092
110.89 nbRestartNogoods=39 mapSize=125 nbInferences=0 nbTooLargeKeys=0
110.89 => wckTime=109.608 cpuTime=108.54 mem=17M983
120.00
120.00 search
120.00 run=6 nbConstraintChecks=245632307 nbValidityChecks=8396867 nbPropagations=315641 nbRevisions=3285436
120.00 nbUselessRevisions=2323847 nbAssignments=966 nbFailedAssignments=537 nbBacktracks=324 nbVisitedNodes=1601
120.00 nbRestartNogoods=46 mapSize=189 nbInferences=0 nbTooLargeKeys=0
120.00 => wckTime=118.719 cpuTime=117.56 mem=17M983
142.80
142.80 search
142.80 run=7 nbConstraintChecks=323694344 nbValidityChecks=10307816 nbPropagations=410796 nbRevisions=4242711
142.80 nbUselessRevisions=2998637 nbAssignments=1262 nbFailedAssignments=602 nbBacktracks=494 nbVisitedNodes=1944
142.80 nbRestartNogoods=59 mapSize=231 nbInferences=0 nbTooLargeKeys=0
142.80 => wckTime=141.519 cpuTime=140.15 mem=17M983
155.27
155.27 search
155.27 run=8 nbConstraintChecks=364462465 nbValidityChecks=11807495 nbPropagations=528412 nbRevisions=5383365
155.27 nbUselessRevisions=3798532 nbAssignments=1718 nbFailedAssignments=783 nbBacktracks=752 nbVisitedNodes=2653
155.27 nbRestartNogoods=74 mapSize=333 nbInferences=0 nbTooLargeKeys=0
155.27 => wckTime=153.991 cpuTime=152.49 mem=17M983
170.35
170.35 search
170.35 run=9 nbConstraintChecks=413723867 nbValidityChecks=13869265 nbPropagations=676563 nbRevisions=6822718
170.35 nbUselessRevisions=4802066 nbAssignments=2423 nbFailedAssignments=1076 nbBacktracks=1137 nbVisitedNodes=3763
170.35 nbRestartNogoods=95 mapSize=474 nbInferences=0 nbTooLargeKeys=0
170.35 => wckTime=169.069 cpuTime=167.43 mem=17M983
190.23
190.23 search
190.23 run=10 nbConstraintChecks=477588394 nbValidityChecks=16703033 nbPropagations=878502 nbRevisions=8724271
190.23 nbUselessRevisions=6128707 nbAssignments=3504 nbFailedAssignments=1555 nbBacktracks=1717 nbVisitedNodes=5501
190.23 nbRestartNogoods=116 mapSize=701 nbInferences=0 nbTooLargeKeys=0
190.23 => wckTime=188.946 cpuTime=187.1 mem=18M959
233.25
233.25 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=19M934)
248.84
248.84 search
248.84 run=11 nbConstraintChecks=675415283 nbValidityChecks=24011994 nbPropagations=1153934 nbRevisions=11402615
248.84 nbUselessRevisions=7956458 nbAssignments=4996 nbFailedAssignments=2164 nbBacktracks=2581 nbVisitedNodes=7975
248.84 nbRestartNogoods=139
248.84 => wckTime=247.564 cpuTime=245.18 mem=19M934
275.18
275.18 search
275.18 run=12 nbConstraintChecks=759758451 nbValidityChecks=28761560 nbPropagations=1532989 nbRevisions=14991615
275.18 nbUselessRevisions=10419341 nbAssignments=7149 nbFailedAssignments=3009 nbBacktracks=3884 nbVisitedNodes=11464
275.18 nbRestartNogoods=147
275.18 => wckTime=273.904 cpuTime=271.28 mem=19M934
330.55
330.55 search
330.55 run=13 nbConstraintChecks=942047377 nbValidityChecks=36350623 nbPropagations=2035625 nbRevisions=19692934
330.55 nbUselessRevisions=13597737 nbAssignments=10053 nbFailedAssignments=3960 nbBacktracks=5833 nbVisitedNodes=15859
330.55 nbRestartNogoods=159
330.55 => wckTime=329.271 cpuTime=326.03 mem=19M934
418.67
418.68 search
418.68 run=14 nbConstraintChecks=1233614478 nbValidityChecks=50593291 nbPropagations=2785802 nbRevisions=26814490
418.68 nbUselessRevisions=18347643 nbAssignments=14974 nbFailedAssignments=5957 nbBacktracks=8756 nbVisitedNodes=24016
418.68 nbRestartNogoods=164
418.68 => wckTime=417.395 cpuTime=413.34 mem=19M934
535.85
535.85 search
535.85 run=15 nbConstraintChecks=1622129266 nbValidityChecks=76206882 nbPropagations=4034075 nbRevisions=39843273
535.85 nbUselessRevisions=27123245 nbAssignments=24492 nbFailedAssignments=11093 nbBacktracks=13137
535.85 nbVisitedNodes=41319 nbRestartNogoods=164
535.85 => wckTime=534.57 cpuTime=529.37 mem=19M934
628.15
628.15 search
628.15 run=16 nbConstraintChecks=1895756995 nbValidityChecks=104769881 nbPropagations=6183427 nbRevisions=63692688
628.15 nbUselessRevisions=43769545 nbAssignments=41751 nbFailedAssignments=21776 nbBacktracks=19707
628.15 nbVisitedNodes=72996 nbRestartNogoods=167
628.15 => wckTime=626.869 cpuTime=620.81 mem=19M934
831.85
831.85 search
831.85 run=17 nbConstraintChecks=2563693602 nbValidityChecks=158382201 nbPropagations=9648382 nbRevisions=102912352
831.85 nbUselessRevisions=71268062 nbAssignments=65336 nbFailedAssignments=35501 nbBacktracks=29559
831.85 nbVisitedNodes=116531 nbRestartNogoods=186
831.85 => wckTime=830.567 cpuTime=822.56 mem=19M934
1080.08
1080.08 search
1080.08 run=18 nbConstraintChecks=3315088936 nbValidityChecks=232883499 nbPropagations=15382003 nbRevisions=168777617
1080.08 nbUselessRevisions=118320717 nbAssignments=105182 nbFailedAssignments=60556 nbBacktracks=44337
1080.08 nbVisitedNodes=191324 nbRestartNogoods=209
1080.08 => wckTime=1078.798 cpuTime=1068.6 mem=19M934
1429.02
1429.02 search
1429.02 run=19 nbConstraintChecks=4401335163 nbValidityChecks=337227174 nbPropagations=24262877 nbRevisions=271714546
1429.02 nbUselessRevisions=192248122 nbAssignments=161837 nbFailedAssignments=95036 nbBacktracks=66506
1429.02 nbVisitedNodes=296029 nbRestartNogoods=228
1429.02 => wckTime=1427.742 cpuTime=1415.9 mem=19M934
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-217797-1168248948 -o ROOT/results/node59/solver-217797-1168248948 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217797-1168248948/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.59 1.83 1.94 4/82 5985
/proc/meminfo: memFree=1696528/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=1784 CPUtime=0
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 173292706 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/5984/statm: 446 140 106 14 0 91 0
[startup+0.107987 s]
/proc/loadavg: 1.59 1.83 1.94 4/82 5985
/proc/meminfo: memFree=1696528/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=914988 CPUtime=0.08
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 3005 0 1 0 7 1 0 0 17 0 8 0 173292706 936947712 2751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155060390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228747 2751 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51603 s]
/proc/loadavg: 1.59 1.83 1.94 4/82 5985
/proc/meminfo: memFree=1696528/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915328 CPUtime=0.49
/proc/5984/stat : 5984 (java) S 5982 5984 5300 0 -1 0 6386 0 1 0 45 4 0 0 18 0 8 0 173292706 937295872 6125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228832 6125 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33712 s]
/proc/loadavg: 1.63 1.83 1.94 3/89 5992
/proc/meminfo: memFree=1667416/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1.3
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10089 0 1 0 111 19 0 0 20 0 8 0 173292706 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073966259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9827 2540 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 17 0 8 0 173292710 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.23
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 457 0 0 0 22 1 0 0 16 0 8 0 173292714 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9827 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) 915764
[startup+2.9743 s]
/proc/loadavg: 1.63 1.83 1.94 3/89 5992
/proc/meminfo: memFree=1667096/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=2.93
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10097 0 1 0 274 19 0 0 25 0 8 0 173292706 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073966180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9834 2540 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 17 0 8 0 173292710 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.24
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 464 0 0 0 23 1 0 0 16 0 8 0 173292714 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915764
[startup+6.26666 s]
/proc/loadavg: 1.63 1.83 1.94 3/89 5992
/proc/meminfo: memFree=1667040/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=6.2
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10101 0 1 0 600 20 0 0 25 0 8 0 173292706 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784416 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9838 2540 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 17 0 8 0 173292710 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.25
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 468 0 0 0 24 1 0 0 16 0 8 0 173292714 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9838 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) 915764
[startup+12.7414 s]
/proc/loadavg: 1.68 1.84 1.94 3/89 5992
/proc/meminfo: memFree=1667056/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=12.61
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10116 0 1 0 1241 20 0 0 25 0 8 0 173292706 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977277 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9847 2542 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 17 0 8 0 173292710 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.26
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 478 0 0 0 25 1 0 0 16 0 8 0 173292714 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915764
[startup+25.6128 s]
/proc/loadavg: 1.73 1.84 1.94 3/89 5992
/proc/meminfo: memFree=1667248/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=25.36
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10121 0 1 0 2516 20 0 0 25 0 8 0 173292706 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073970350 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9849 2542 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.27
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 479 0 0 0 26 1 0 0 16 0 8 0 173292714 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915764
[startup+51.2186 s]
/proc/loadavg: 1.84 1.86 1.94 3/89 5992
/proc/meminfo: memFree=1667312/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=50.74
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10128 0 1 0 5053 21 0 0 25 0 8 0 173292706 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9854 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.27
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 482 0 0 0 26 1 0 0 16 0 8 0 173292714 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915764
[startup+102.433 s]
/proc/loadavg: 1.93 1.88 1.94 3/89 5992
/proc/meminfo: memFree=1667248/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=101.48
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10137 0 1 0 10127 21 0 0 25 0 8 0 173292706 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9860 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.29
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 489 0 0 0 27 2 0 0 15 0 8 0 173292714 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915764
[startup+162.506 s]
/proc/loadavg: 2.13 1.94 1.95 3/89 5992
/proc/meminfo: memFree=1667120/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=161
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10155 0 1 0 16079 21 0 0 25 0 8 0 173292706 937742336 9871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074002599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1412.42
Current children cumulated vsize (KiB) 915764
[startup+1484.25 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 5992
/proc/meminfo: memFree=1606448/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1472.23
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 147198 25 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.23
Current children cumulated vsize (KiB) 915764
[startup+1544.26 s]
/proc/loadavg: 2.00 2.00 1.99 3/95 6108
/proc/meminfo: memFree=1604800/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1531.84
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 153159 25 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.84
Current children cumulated vsize (KiB) 915764
[startup+1604.29 s]
/proc/loadavg: 2.00 2.00 1.99 3/95 6168
/proc/meminfo: memFree=1604800/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1591.5
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 159125 25 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074001996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.5
Current children cumulated vsize (KiB) 915764
[startup+1664.39 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 6190
/proc/meminfo: memFree=1605808/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1651.3
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 165105 25 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.3
Current children cumulated vsize (KiB) 915764
[startup+1724.49 s]
/proc/loadavg: 2.03 2.01 1.99 3/89 6190
/proc/meminfo: memFree=1605808/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1711.12
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 171086 26 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.12
Current children cumulated vsize (KiB) 915764
[startup+1784.59 s]
/proc/loadavg: 2.11 2.04 2.00 3/89 6190
/proc/meminfo: memFree=1605808/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1770.94
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 177068 26 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073966195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.94
Current children cumulated vsize (KiB) 915764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.75 s]
/proc/loadavg: 2.07 2.03 2.00 3/88 6264
/proc/meminfo: memFree=1709064/2055920 swapFree=4192812/4192956
[pid=5984] ppid=5982 vsize=915764 CPUtime=1800.01
/proc/5984/stat : 5984 (java) R 5982 5984 5300 0 -1 0 10168 0 1 0 179973 28 0 0 25 0 8 0 173292706 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073968250 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5984/statm: 228941 9877 2543 14 0 215411 0
[pid=5984/tid=5986] ppid=5982 vsize=915764 CPUtime=0.04
/proc/5984/task/5986/stat : 5986 (java) S 5982 5984 5300 0 -1 64 523 0 0 0 4 0 0 0 16 0 8 0 173292710 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5987] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5987/stat : 5987 (java) S 5982 5984 5300 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5988] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5988/stat : 5988 (java) S 5982 5984 5300 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173292711 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5989] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5989/stat : 5989 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5990] ppid=5982 vsize=915764 CPUtime=0.34
/proc/5984/task/5990/stat : 5990 (java) S 5982 5984 5300 0 -1 64 507 0 0 0 32 2 0 0 16 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5991] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5991/stat : 5991 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5984/tid=5992] ppid=5982 vsize=915764 CPUtime=0
/proc/5984/task/5992/stat : 5992 (java) S 5982 5984 5300 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173292714 937742336 9877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1813.79
CPU time (s): 1800.04
CPU user time (s): 1799.75
CPU system time (s): 0.287956
CPU usage (%): 99.242
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.287956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10185
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= 37994
involuntary context switches= 80099
runsolver used 2.24766 s user time and 6.16306 s system time
The end
Begin job on node59 on Mon Jan 8 09:35:48 UTC 2007
IDJOB= 217797
IDBENCH= 5172
FILE ID= node59/217797-1168248948
PBS_JOBID= 3481908
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-70-13-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217797-1168248948/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-217797-1168248948 -o ROOT/results/node59/solver-217797-1168248948 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217797-1168248948/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 867e5ac3974f1355ea650434b3018815
RANDOM SEED= 231612802
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: 1697008 kB
Buffers: 30016 kB
Cached: 62872 kB
SwapCached: 0 kB
Active: 262464 kB
Inactive: 42604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1697008 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6328 kB
Writeback: 0 kB
Mapped: 231456 kB
Slab: 38608 kB
Committed_AS: 4292524 kB
PageTables: 2352 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= 66550 MiB
End job on node59 on Mon Jan 8 10:06:02 UTC 2007