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/233820-1168328451/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=49 nbDomainTypes=49 minDomainSize=297 maxDomainSize=392
0.41 => wckTime=0.107 cpuTime=0.1 mem=7M879
0.41
0.41 predicates being loaded...
0.41
0.41 constraints being loaded...
10.14 nbConstraints=294 nbConvertedConstraints=294 nbConvertConstraintsChecks=34828896 nbExtensionStructures=294
10.14 nbSharedExtensionStructures=0 nbConflictsStructures=294 nbSharedConflictsStructures=0
10.14 nbSharedBinaryRepresentations=68634 maxDegree=12 maxArity=2
10.14 => wckTime=9.842 cpuTime=9.77 mem=34M297
10.23
10.23 solver IterativeSystematicSolver being built...
10.38 => wckTime=10.079 cpuTime=9.9 mem=26M24
10.45
10.45 preprocessing
10.45 nbConstraintChecks=1010410 nbPropagations=702 nbRevisions=1310 nbUselessRevisions=555 nbSingletonTests=54
10.45 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
10.45 => wckTime=0.063 cpuTime=0.05 mem=26M24
10.72
10.72 search
10.72 run=0 nbConstraintChecks=6974911 nbPropagations=3932 nbRevisions=22114 nbUselessRevisions=12936
10.72 nbAssignments=510 nbFailedAssignments=488 nbBacktracks=10 nbVisitedNodes=1008 nbRestartNogoods=0 mapSize=9
10.72 nbInferences=0 nbTooLargeKeys=0
10.72 => wckTime=0.332 cpuTime=0.3 mem=26M24
11.11
11.11 search
11.11 run=1 nbConstraintChecks=22403881 nbPropagations=11009 nbRevisions=62891 nbUselessRevisions=33944
11.11 nbAssignments=1414 nbFailedAssignments=1374 nbBacktracks=25 nbVisitedNodes=2813 nbRestartNogoods=5 mapSize=24
11.11 nbInferences=0 nbTooLargeKeys=0
11.11 => wckTime=0.729 cpuTime=0.68 mem=26M24
11.92
11.92 search
11.92 run=2 nbConstraintChecks=54748973 nbPropagations=29201 nbRevisions=148267 nbUselessRevisions=74327
11.92 nbAssignments=3118 nbFailedAssignments=3054 nbBacktracks=47 nbVisitedNodes=6219 nbRestartNogoods=19 mapSize=46
11.92 nbInferences=0 nbTooLargeKeys=0
11.92 => wckTime=1.533 cpuTime=1.47 mem=26M24
12.89
12.89 search
12.89 run=3 nbConstraintChecks=99388449 nbPropagations=58174 nbRevisions=283257 nbUselessRevisions=137005
12.89 nbAssignments=5162 nbFailedAssignments=5063 nbBacktracks=80 nbVisitedNodes=10305 nbRestartNogoods=41
12.89 mapSize=79 nbInferences=0 nbTooLargeKeys=0
12.89 => wckTime=2.508 cpuTime=2.44 mem=26M24
13.59
13.59 search
13.59 run=4 nbConstraintChecks=129322093 nbPropagations=94591 nbRevisions=455128 nbUselessRevisions=215407
13.59 nbAssignments=6816 nbFailedAssignments=6665 nbBacktracks=130 nbVisitedNodes=13611 nbRestartNogoods=74
13.59 mapSize=129 nbInferences=0 nbTooLargeKeys=0
13.59 => wckTime=3.201 cpuTime=3.13 mem=26M983
16.65
16.65 search
16.65 run=5 nbConstraintChecks=255317378 nbPropagations=173567 nbRevisions=807294 nbUselessRevisions=375945
16.65 nbAssignments=13746 nbFailedAssignments=13426 nbBacktracks=205 nbVisitedNodes=27285 nbRestartNogoods=147
16.65 mapSize=204 nbInferences=0 nbTooLargeKeys=0
16.65 => wckTime=6.266 cpuTime=6.19 mem=26M983
19.13
19.13 search
19.13 run=6 nbConstraintChecks=366958914 nbPropagations=291666 nbRevisions=1311060 nbUselessRevisions=603332
19.13 nbAssignments=19123 nbFailedAssignments=18688 nbBacktracks=318 nbVisitedNodes=38037 nbRestartNogoods=222
19.13 mapSize=317 nbInferences=0 nbTooLargeKeys=0
19.13 => wckTime=8.747 cpuTime=8.67 mem=26M983
22.54
22.54 search
22.54 run=7 nbConstraintChecks=500202742 nbPropagations=455594 nbRevisions=2016335 nbUselessRevisions=920710
22.54 nbAssignments=27178 nbFailedAssignments=26571 nbBacktracks=488 nbVisitedNodes=54144 nbRestartNogoods=253
22.54 mapSize=487 nbInferences=0 nbTooLargeKeys=0
22.54 => wckTime=12.152 cpuTime=12.08 mem=26M983
29.22
29.22 search
29.22 run=8 nbConstraintChecks=793981673 nbPropagations=730183 nbRevisions=3129474 nbUselessRevisions=1416192
29.22 nbAssignments=41535 nbFailedAssignments=40670 nbBacktracks=744 nbVisitedNodes=82856 nbRestartNogoods=303
29.22 mapSize=743 nbInferences=0 nbTooLargeKeys=0
29.22 => wckTime=18.833 cpuTime=18.75 mem=27M941
34.81
34.82 INFO : Stopping hyperNogood (mapSize=1048, nbTooLargekeys=0, mem=27M941)
35.83
35.83 search
35.83 run=9 nbConstraintChecks=1078482596 nbPropagations=1106057 nbRevisions=4640081 nbUselessRevisions=2087925
35.83 nbAssignments=56113 nbFailedAssignments=54862 nbBacktracks=1128 nbVisitedNodes=112009 nbRestartNogoods=355
35.83 => wckTime=25.442 cpuTime=25.36 mem=27M941
47.00
47.00 search
47.00 run=10 nbConstraintChecks=1537043573 nbPropagations=1673240 nbRevisions=6863469 nbUselessRevisions=3082503
47.00 nbAssignments=80443 nbFailedAssignments=78614 nbBacktracks=1704 nbVisitedNodes=160665 nbRestartNogoods=366
47.00 => wckTime=36.621 cpuTime=36.53 mem=27M941
59.05
59.05 search
59.05 run=11 nbConstraintChecks=2047404914 nbPropagations=2433440 nbRevisions=9816247 nbUselessRevisions=4396084
59.05 nbAssignments=106748 nbFailedAssignments=103973 nbBacktracks=2568 nbVisitedNodes=213112 nbRestartNogoods=492
59.05 => wckTime=48.666 cpuTime=48.57 mem=27M941
79.47
79.47 search
79.47 run=12 nbConstraintChecks=2967335069 nbPropagations=3547409 nbRevisions=14015723 nbUselessRevisions=6247967
79.47 nbAssignments=149418 nbFailedAssignments=145344 nbBacktracks=3865 nbVisitedNodes=298450 nbRestartNogoods=564
79.47 => wckTime=69.088 cpuTime=68.98 mem=27M941
98.77
98.77 search
98.77 run=13 nbConstraintChecks=3771417407 nbPropagations=4956049 nbRevisions=19358848 nbUselessRevisions=8602366
98.77 nbAssignments=192690 nbFailedAssignments=186412 nbBacktracks=5811 nbVisitedNodes=384466 nbRestartNogoods=754
98.77 => wckTime=88.384 cpuTime=88.28 mem=27M941
147.51
147.51 search
147.51 run=14 nbConstraintChecks=5709602519 nbPropagations=7137329 nbRevisions=27759689 nbUselessRevisions=12349167
147.51 nbAssignments=301528 nbFailedAssignments=292265 nbBacktracks=8730 nbVisitedNodes=602003 nbRestartNogoods=818
147.51 => wckTime=137.128 cpuTime=137.01 mem=27M941
193.51
193.51 search
193.51 run=15 nbConstraintChecks=7814808671 nbPropagations=10034119 nbRevisions=38944651 nbUselessRevisions=17314988
193.51 nbAssignments=405026 nbFailedAssignments=391259 nbBacktracks=13108 nbVisitedNodes=808739 nbRestartNogoods=985
193.51 => wckTime=183.128 cpuTime=183.0 mem=27M941
272.66
272.66 search
272.66 run=16 nbConstraintChecks=11233598089 nbPropagations=14261397 nbRevisions=55040840 nbUselessRevisions=24433532
272.66 nbAssignments=573668 nbFailedAssignments=553331 nbBacktracks=19676 nbVisitedNodes=1145976 nbRestartNogoods=1100
272.66 => wckTime=262.281 cpuTime=262.13 mem=27M941
362.09
362.09 search
362.09 run=17 nbConstraintChecks=15224042508 nbPropagations=19993075 nbRevisions=76602814 nbUselessRevisions=33882293
362.09 nbAssignments=770107 nbFailedAssignments=739916 nbBacktracks=29528 nbVisitedNodes=1538789 nbRestartNogoods=1156
362.09 => wckTime=351.704 cpuTime=351.54 mem=27M941
539.90
539.90 search
539.90 run=18 nbConstraintChecks=23477001309 nbPropagations=28637085 nbRevisions=109113563 nbUselessRevisions=48222406
539.90 nbAssignments=1142306 nbFailedAssignments=1097055 nbBacktracks=44306 nbVisitedNodes=2282539
539.90 nbRestartNogoods=1290
539.90 => wckTime=529.521 cpuTime=529.3 mem=27M941
806.04
806.04 search
806.04 run=19 nbConstraintChecks=34687645118 nbPropagations=41838536 nbRevisions=158766942 nbUselessRevisions=70169654
806.04 nbAssignments=1736529 nbFailedAssignments=1668872 nbBacktracks=66474 nbVisitedNodes=3470420
806.04 nbRestartNogoods=1437
806.04 => wckTime=795.656 cpuTime=795.36 mem=27M941
1174.79
1174.79 search
1174.79 run=20 nbConstraintChecks=50443603068 nbPropagations=61412293 nbRevisions=232240801
1174.79 nbUselessRevisions=102553213 nbAssignments=2585501 nbFailedAssignments=2484591 nbBacktracks=99726
1174.79 nbVisitedNodes=5168203 nbRestartNogoods=1737
1174.79 => wckTime=1164.402 cpuTime=1164.01 mem=27M941
1736.99
1736.99 search
1736.99 run=21 nbConstraintChecks=75400111123 nbPropagations=90421282 nbRevisions=341123359
1736.99 nbUselessRevisions=150736079 nbAssignments=3809236 nbFailedAssignments=3658446 nbBacktracks=149604
1736.99 nbVisitedNodes=7615415 nbRestartNogoods=1841
1736.99 => wckTime=1726.605 cpuTime=1725.97 mem=27M941
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-233820-1168328451 -o ROOT/results/node42/solver-233820-1168328451 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233820-1168328451/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.00 1.00 1.01 3/65 8133
/proc/meminfo: memFree=1554088/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=168 CPUtime=0
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 181244303 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 12407588 0 0 4096 0 0 0 0 17 0 0 0
/proc/8132/statm: 42 23 18 14 0 2 0
[startup+0.105744 s]
/proc/loadavg: 1.00 1.00 1.01 3/65 8133
/proc/meminfo: memFree=1554088/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=914988 CPUtime=0.07
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 2996 0 1 0 6 1 0 0 24 0 8 0 181244303 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8132/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.513784 s]
/proc/loadavg: 1.00 1.00 1.01 3/65 8133
/proc/meminfo: memFree=1554088/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=0.48
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 6845 0 1 0 44 4 0 0 16 0 8 0 181244303 937431040 6584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 6584 2160 14 0 215335 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915460
[startup+1.33387 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 8140
/proc/meminfo: memFree=1534512/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=1.3
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 7415 0 1 0 126 4 0 0 17 0 8 0 181244303 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 7153 2167 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 181244306 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 181244307 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 181244307 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.09
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 322 0 0 0 9 0 0 0 15 0 8 0 181244310 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97005 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 8140
/proc/meminfo: memFree=1531440/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=2.94
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 8411 0 1 0 289 5 0 0 17 0 8 0 181244303 937431040 8149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643666 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 8149 2167 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 181244306 937431040 8149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 181244307 937431040 8149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 181244307 937431040 8149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 8149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.09
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 181244310 937431040 8149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 8149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 8149 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.17341 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 8140
/proc/meminfo: memFree=1523192/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=6.14
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 10329 0 1 0 608 6 0 0 17 0 8 0 181244303 937431040 10067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073645540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 10067 2168 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 181244306 937431040 10067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 181244307 937431040 10067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 181244307 937431040 10067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 10067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.11
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 336 0 0 0 11 0 0 0 15 0 8 0 181244310 937431040 10067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 10067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 10067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915460
[startup+12.6351 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 8140
/proc/meminfo: memFree=1499720/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=12.6
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 16301 0 1 0 1250 10 0 0 17 0 8 0 181244303 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 16036 2542 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0.07
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 3010 0 0 0 6 1 0 0 16 0 8 0 181244306 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.22
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 181244310 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915460
[startup+25.4785 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 8140
/proc/meminfo: memFree=1499720/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=25.44
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 16307 0 1 0 2534 10 0 0 25 0 8 0 181244303 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 16039 2542 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0.07
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 3010 0 0 0 6 1 0 0 16 0 8 0 181244306 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.22
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 181244310 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915460
[startup+51.1564 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 8140
/proc/meminfo: memFree=1499720/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=51.11
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 16310 0 1 0 5101 10 0 0 25 0 8 0 181244303 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 16042 2542 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0.07
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 3010 0 0 0 6 1 0 0 16 0 8 0 181244306 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.23
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 181244310 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915460
[startup+102.406 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8140
/proc/meminfo: memFree=1499720/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=102.35
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 16311 0 1 0 10225 10 0 0 25 0 8 0 181244303 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820094 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 16043 2542 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0.07
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 3010 0 0 0 6 1 0 0 16 0 8 0 181244306 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.23
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 181244310 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 915460
[startup+162.487 s]
/proc/loadavg: 1.07 1.02 1.00 2/72 8140
/proc/meminfo: memFree=1499720/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=162.41
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 16311 0 1 0 16231 10 0 0 25 0 8 0 181244303 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833444 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.67
Current children cumulated vsize (KiB) 915460
[startup+1484.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8338
/proc/meminfo: memFree=1499336/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=1483.74
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 16316 0 1 0 148362 12 0 0 25 0 8 0 181244303 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 16046 2542 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0.07
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 3010 0 0 0 6 1 0 0 16 0 8 0 181244306 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.23
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.74
Current children cumulated vsize (KiB) 915460
[startup+1544.34 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8338
/proc/meminfo: memFree=1499336/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=1543.8
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 16316 0 1 0 154368 12 0 0 25 0 8 0 181244303 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 16046 2542 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0.07
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 3010 0 0 0 6 1 0 0 16 0 8 0 181244306 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.23
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.8
Current children cumulated vsize (KiB) 915460
[startup+1604.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8338
/proc/meminfo: memFree=1499464/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=1603.87
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 16316 0 1 0 160375 12 0 0 25 0 8 0 181244303 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 16046 2542 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0.07
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 3010 0 0 0 6 1 0 0 16 0 8 0 181244306 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.23
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.87
Current children cumulated vsize (KiB) 915460
[startup+1664.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8338
/proc/meminfo: memFree=1499400/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=1663.94
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 16316 0 1 0 166382 12 0 0 25 0 8 0 181244303 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 16046 2542 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0.07
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 3010 0 0 0 6 1 0 0 16 0 8 0 181244306 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.23
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.94
Current children cumulated vsize (KiB) 915460
[startup+1724.59 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8338
/proc/meminfo: memFree=1499464/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=1724.01
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 16316 0 1 0 172388 13 0 0 25 0 8 0 181244303 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847483 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 16046 2542 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0.07
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 3010 0 0 0 6 1 0 0 16 0 8 0 181244306 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.23
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1724.01
Current children cumulated vsize (KiB) 915460
[startup+1784.67 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8338
/proc/meminfo: memFree=1499464/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=1784.08
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 16316 0 1 0 178395 13 0 0 25 0 8 0 181244303 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 16046 2542 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0.07
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 3010 0 0 0 6 1 0 0 16 0 8 0 181244306 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.23
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1784.08
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.68 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8338
/proc/meminfo: memFree=1499464/2055920 swapFree=4191892/4192956
[pid=8132] ppid=8130 vsize=915460 CPUtime=1800.09
/proc/8132/stat : 8132 (java) R 8130 8132 7018 0 -1 0 16316 0 1 0 179996 13 0 0 25 0 8 0 181244303 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8132/statm: 228865 16046 2542 14 0 215335 0
[pid=8132/tid=8134] ppid=8130 vsize=915460 CPUtime=0.07
/proc/8132/task/8134/stat : 8134 (java) S 8130 8132 7018 0 -1 64 3010 0 0 0 6 1 0 0 16 0 8 0 181244306 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8132/tid=8135] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8135/stat : 8135 (java) S 8130 8132 7018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8136] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8136/stat : 8136 (java) S 8130 8132 7018 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181244307 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8137] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8137/stat : 8137 (java) S 8130 8132 7018 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8138] ppid=8130 vsize=915460 CPUtime=0.23
/proc/8132/task/8138/stat : 8138 (java) S 8130 8132 7018 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8139] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8139/stat : 8139 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8132/tid=8140] ppid=8130 vsize=915460 CPUtime=0
/proc/8132/task/8140/stat : 8140 (java) S 8130 8132 7018 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181244310 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.73
CPU time (s): 1800.15
CPU user time (s): 1800
CPU system time (s): 0.142978
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16333
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= 37346
involuntary context switches= 38051
runsolver used 1.75873 s user time and 4.6263 s system time
The end
Begin job on node42 on Tue Jan 9 07:40:51 UTC 2007
IDJOB= 233820
IDBENCH= 6640
FILE ID= node42/233820-1168328451
PBS_JOBID= 3502959
Free space on /tmp= 66563 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-95-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233820-1168328451/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-233820-1168328451 -o ROOT/results/node42/solver-233820-1168328451 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233820-1168328451/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 749743b0ffe967487adf96742b5fd099
RANDOM SEED= 99254402
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.229
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.229
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: 1554504 kB
Buffers: 58504 kB
Cached: 370132 kB
SwapCached: 376 kB
Active: 181560 kB
Inactive: 261936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1554504 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1684 kB
Writeback: 0 kB
Mapped: 23680 kB
Slab: 44028 kB
Committed_AS: 3911592 kB
PageTables: 1408 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= 66563 MiB
End job on node42 on Tue Jan 9 08:10:52 UTC 2007