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/202694-1168153552/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.64 nbConstraints=336 nbRelationTypes=336 nbExtensionStructures=336 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=336 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2861 maxDegree=22
0.64 maxArity=2
0.64 => wckTime=0.327 cpuTime=0.24 mem=12M803
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.529 cpuTime=0.37 mem=15M11
0.90
0.90 preprocessing
0.90 nbConstraintChecks=69410 nbPropagations=949 nbRevisions=7341 nbUselessRevisions=6068 nbSingletonTests=53
0.90 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.053 cpuTime=0.03 mem=15M11
0.92
0.92 search
0.92 run=0 nbConstraintChecks=29688 nbPropagations=1380 nbRevisions=12198 nbUselessRevisions=10021 nbAssignments=21
0.92 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.074 cpuTime=0.06 mem=15M11
0.95
0.95 search
0.95 run=1 nbConstraintChecks=69634 nbPropagations=3413 nbRevisions=31793 nbUselessRevisions=26021 nbAssignments=58
0.95 nbFailedAssignments=15 nbBacktracks=28 nbVisitedNodes=90 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.096 cpuTime=0.07 mem=15M11
0.96
0.96 search
0.96 run=2 nbConstraintChecks=121059 nbPropagations=6239 nbRevisions=61273 nbUselessRevisions=50059
0.96 nbAssignments=104 nbFailedAssignments=31 nbBacktracks=52 nbVisitedNodes=164 nbRestartNogoods=4 mapSize=45
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.112 cpuTime=0.08 mem=15M11
0.98
0.98 search
0.98 run=3 nbConstraintChecks=192408 nbPropagations=10117 nbRevisions=104506 nbUselessRevisions=85160
0.98 nbAssignments=167 nbFailedAssignments=52 nbBacktracks=85 nbVisitedNodes=268 nbRestartNogoods=6 mapSize=71
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.129 cpuTime=0.1 mem=15M11
1.00
1.00 search
1.00 run=4 nbConstraintChecks=305113 nbPropagations=15648 nbRevisions=169211 nbUselessRevisions=137557
1.00 nbAssignments=258 nbFailedAssignments=84 nbBacktracks=137 nbVisitedNodes=421 nbRestartNogoods=8 mapSize=115
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.154 cpuTime=0.12 mem=15M11
1.04
1.04 search
1.04 run=5 nbConstraintChecks=477417 nbPropagations=23760 nbRevisions=267683 nbUselessRevisions=217133
1.04 nbAssignments=394 nbFailedAssignments=137 nbBacktracks=213 nbVisitedNodes=658 nbRestartNogoods=12 mapSize=182
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.195 cpuTime=0.16 mem=15M11
1.09
1.09 search
1.09 run=6 nbConstraintChecks=715491 nbPropagations=35406 nbRevisions=412580 nbUselessRevisions=333982
1.09 nbAssignments=592 nbFailedAssignments=214 nbBacktracks=327 nbVisitedNodes=996 nbRestartNogoods=20 mapSize=278
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.243 cpuTime=0.21 mem=15M11
1.17
1.17 search
1.17 run=7 nbConstraintChecks=1074796 nbPropagations=51972 nbRevisions=624607 nbUselessRevisions=505011
1.17 nbAssignments=867 nbFailedAssignments=311 nbBacktracks=498 nbVisitedNodes=1459 nbRestartNogoods=24 mapSize=415
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.317 cpuTime=0.27 mem=15M11
1.28
1.28 search
1.28 run=8 nbConstraintChecks=1645609 nbPropagations=76634 nbRevisions=949536 nbUselessRevisions=767821
1.28 nbAssignments=1311 nbFailedAssignments=490 nbBacktracks=757 nbVisitedNodes=2221 nbRestartNogoods=31
1.28 mapSize=639 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.43 cpuTime=0.38 mem=15M11
1.43
1.43 search
1.43 run=9 nbConstraintChecks=2362055 nbPropagations=112197 nbRevisions=1420430 nbUselessRevisions=1148944
1.43 nbAssignments=1936 nbFailedAssignments=724 nbBacktracks=1141 nbVisitedNodes=3288 nbRestartNogoods=35
1.43 mapSize=949 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.581 cpuTime=0.51 mem=15M11
1.48
1.48 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=15M11)
1.67
1.67 search
1.67 run=10 nbConstraintChecks=3665941 nbPropagations=166332 nbRevisions=2149031 nbUselessRevisions=1737879
1.67 nbAssignments=2962 nbFailedAssignments=1164 nbBacktracks=1720 nbVisitedNodes=5098 nbRestartNogoods=40
1.67 => wckTime=0.819 cpuTime=0.73 mem=15M11
1.96
1.96 search
1.96 run=11 nbConstraintChecks=5438815 nbPropagations=246008 nbRevisions=3234489 nbUselessRevisions=2615846
1.97 nbAssignments=4404 nbFailedAssignments=1735 nbBacktracks=2584 nbVisitedNodes=7612 nbRestartNogoods=44
1.97 => wckTime=1.115 cpuTime=1.03 mem=15M11
2.43
2.43 search
2.43 run=12 nbConstraintChecks=8288151 nbPropagations=365516 nbRevisions=4876525 nbUselessRevisions=3943389
2.43 nbAssignments=6578 nbFailedAssignments=2606 nbBacktracks=3881 nbVisitedNodes=11377 nbRestartNogoods=55
2.43 => wckTime=1.582 cpuTime=1.49 mem=15M11
3.10
3.10 search
3.10 run=13 nbConstraintChecks=12300694 nbPropagations=542454 nbRevisions=7333449 nbUselessRevisions=5935475
3.10 nbAssignments=9824 nbFailedAssignments=3898 nbBacktracks=5827 nbVisitedNodes=17012 nbRestartNogoods=64
3.10 => wckTime=2.249 cpuTime=2.15 mem=15M11
4.06
4.06 search
4.06 run=14 nbConstraintChecks=18042578 nbPropagations=802762 nbRevisions=10923423 nbUselessRevisions=8841245
4.06 nbAssignments=14516 nbFailedAssignments=5662 nbBacktracks=8747 nbVisitedNodes=25038 nbRestartNogoods=75
4.06 => wckTime=3.206 cpuTime=3.1 mem=15M11
5.60
5.60 search
5.60 run=15 nbConstraintChecks=27435300 nbPropagations=1196807 nbRevisions=16423937 nbUselessRevisions=13304738
5.60 nbAssignments=21954 nbFailedAssignments=8714 nbBacktracks=13125 nbVisitedNodes=38150 nbRestartNogoods=82
5.60 => wckTime=4.755 cpuTime=4.64 mem=15M11
7.81
7.81 search
7.81 run=16 nbConstraintChecks=40745693 nbPropagations=1783245 nbRevisions=24542799 nbUselessRevisions=19881150
7.81 nbAssignments=32604 nbFailedAssignments=12779 nbBacktracks=19694 nbVisitedNodes=56526 nbRestartNogoods=91
7.81 => wckTime=6.956 cpuTime=6.81 mem=15M11
11.32
11.32 search
11.32 run=17 nbConstraintChecks=61842785 nbPropagations=2670373 nbRevisions=36976756 nbUselessRevisions=29983310
11.32 nbAssignments=49355 nbFailedAssignments=19669 nbBacktracks=29550 nbVisitedNodes=86025 nbRestartNogoods=99
11.32 => wckTime=10.469 cpuTime=10.29 mem=15M987
16.65
16.65 search
16.65 run=18 nbConstraintChecks=94454171 nbPropagations=4011905 nbRevisions=55805994 nbUselessRevisions=45270730
16.65 nbAssignments=74146 nbFailedAssignments=29674 nbBacktracks=44328 nbVisitedNodes=129292 nbRestartNogoods=110
16.65 => wckTime=15.799 cpuTime=15.58 mem=15M987
24.48
24.48 search
24.48 run=19 nbConstraintChecks=142082835 nbPropagations=6024803 nbRevisions=84258210 nbUselessRevisions=68411844
24.48 nbAssignments=111317 nbFailedAssignments=44659 nbBacktracks=66497 nbVisitedNodes=194257 nbRestartNogoods=123
24.48 => wckTime=23.628 cpuTime=23.34 mem=15M987
36.26
36.26 search
36.26 run=20 nbConstraintChecks=214194503 nbPropagations=9043251 nbRevisions=126827496 nbUselessRevisions=102983535
36.26 nbAssignments=166089 nbFailedAssignments=66171 nbBacktracks=99750 nbVisitedNodes=289472 nbRestartNogoods=130
36.26 => wckTime=35.408 cpuTime=35.01 mem=15M987
53.80
53.80 search
53.80 run=21 nbConstraintChecks=320463347 nbPropagations=13563964 nbRevisions=190906328 nbUselessRevisions=155097795
53.80 nbAssignments=249165 nbFailedAssignments=99363 nbBacktracks=149629 nbVisitedNodes=434529 nbRestartNogoods=142
53.80 => wckTime=52.949 cpuTime=52.39 mem=15M987
80.41
80.41 search
80.41 run=22 nbConstraintChecks=485144952 nbPropagations=20353273 nbRevisions=286926984 nbUselessRevisions=233109746
80.41 nbAssignments=372775 nbFailedAssignments=148149 nbBacktracks=224447 nbVisitedNodes=649591 nbRestartNogoods=153
80.41 => wckTime=79.558 cpuTime=78.77 mem=15M987
120.66
120.66 search
120.66 run=23 nbConstraintChecks=734197779 nbPropagations=30569606 nbRevisions=431196608 nbUselessRevisions=350193931
120.66 nbAssignments=558040 nbFailedAssignments=221183 nbBacktracks=336674 nbVisitedNodes=971826 nbRestartNogoods=165
120.66 => wckTime=119.813 cpuTime=118.67 mem=15M987
180.00
180.00 search
180.00 run=24 nbConstraintChecks=1099352269 nbPropagations=45849016 nbRevisions=646834403 nbUselessRevisions=525191413
180.00 nbAssignments=833726 nbFailedAssignments=328522 nbBacktracks=505016 nbVisitedNodes=1450069 nbRestartNogoods=172
180.00 => wckTime=179.152 cpuTime=177.48 mem=15M987
271.62
271.62 search
271.62 run=25 nbConstraintChecks=1663013752 nbPropagations=68907575 nbRevisions=974196950 nbUselessRevisions=791235676
271.62 nbAssignments=1255721 nbFailedAssignments=497999 nbBacktracks=757528 nbVisitedNodes=2188523
271.62 nbRestartNogoods=176
271.62 => wckTime=270.773 cpuTime=268.29 mem=15M987
317.14
317.14 search
317.14 run=26 nbConstraintChecks=1946917808 nbPropagations=95798099 nbRevisions=1356359903
317.14 nbUselessRevisions=1101745577 nbAssignments=1461042 nbFailedAssignments=580477 nbBacktracks=880372
317.14 nbVisitedNodes=2547605 nbRestartNogoods=189
317.14 => wckTime=316.294 cpuTime=313.42 mem=15M987
317.15
317.15 global
317.15 nbConstraintChecks=1946987218 nbPropagations=95799048 nbRevisions=1356367244 nbUselessRevisions=1101751645
317.15 nbRestartNogoods=189 solvingWckTime=316.296 solvingCpuTime=313.42 expiredTime=no totalExploration=yes
317.15 nbFoundSolutions=0 globalCpuTime=313.83
317.15 => wckTime=316.829 cpuTime=313.79 mem=15M987
317.15
317.15 s UNSATISFIABLE
317.15 d NODES 1461042
317.15 d CHECKS 1946987218
317.15
317.15 totalWckTime=316.91 totalCpuTime=313.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-202694-1168153552 -o ROOT/results/node16/solver-202694-1168153552 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202694-1168153552/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 2.00 2/88 15647
/proc/meminfo: memFree=1504136/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=18540 CPUtime=0
/proc/15646/stat : 15646 (runsolver) R 15644 15646 15067 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 163750089 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15646/statm: 4635 279 244 17 0 2626 0
[startup+0.102129 s]
/proc/loadavg: 2.00 2.00 2.00 2/88 15647
/proc/meminfo: memFree=1504136/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=913228 CPUtime=0.08
/proc/15646/stat : 15646 (java) D 15644 15646 15067 0 -1 0 2920 0 1 0 7 1 0 0 17 0 8 0 163750089 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15646/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.510053 s]
/proc/loadavg: 2.00 2.00 2.00 2/88 15647
/proc/meminfo: memFree=1504136/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=915328 CPUtime=0.47
/proc/15646/stat : 15646 (java) R 15644 15646 15067 0 -1 0 6730 0 1 0 44 3 0 0 18 0 8 0 163750089 937295872 6469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15646/statm: 228832 6469 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.3329 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 15654
/proc/meminfo: memFree=1480144/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=915456 CPUtime=1.29
/proc/15646/stat : 15646 (java) R 15644 15646 15067 0 -1 0 8733 0 1 0 122 7 0 0 24 0 8 0 163750089 937426944 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15646/statm: 228864 8471 2524 14 0 215334 0
[pid=15646/tid=15648] ppid=15644 vsize=915456 CPUtime=0.03
/proc/15646/task/15648/stat : 15648 (java) S 15644 15646 15067 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163750094 937426944 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15649] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15649/stat : 15649 (java) S 15644 15646 15067 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163750094 937426944 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15650] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15650/stat : 15650 (java) S 15644 15646 15067 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163750094 937426944 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15651] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15651/stat : 15651 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163750098 937426944 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15652] ppid=15644 vsize=915456 CPUtime=0.21
/proc/15646/task/15652/stat : 15652 (java) R 15644 15646 15067 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 163750098 937426944 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153151573 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15653] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15653/stat : 15653 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163750098 937426944 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15654] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15654/stat : 15654 (java) S 15644 15646 15067 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163750098 937426944 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.9856 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 15654
/proc/meminfo: memFree=1479888/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=915456 CPUtime=2.93
/proc/15646/stat : 15646 (java) R 15644 15646 15067 0 -1 0 8771 0 1 0 286 7 0 0 25 0 8 0 163750089 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15646/statm: 228864 8508 2524 14 0 215334 0
[pid=15646/tid=15648] ppid=15644 vsize=915456 CPUtime=0.03
/proc/15646/task/15648/stat : 15648 (java) S 15644 15646 15067 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163750094 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15649] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15649/stat : 15649 (java) S 15644 15646 15067 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163750094 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15650] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15650/stat : 15650 (java) S 15644 15646 15067 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163750094 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15651] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15651/stat : 15651 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163750098 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15652] ppid=15644 vsize=915456 CPUtime=0.23
/proc/15646/task/15652/stat : 15652 (java) S 15644 15646 15067 0 -1 64 394 0 0 0 22 1 0 0 15 0 8 0 163750098 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15653] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15653/stat : 15653 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163750098 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15654] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15654/stat : 15654 (java) S 15644 15646 15067 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163750098 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.274 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 15654
/proc/meminfo: memFree=1479760/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=915456 CPUtime=6.19
/proc/15646/stat : 15646 (java) R 15644 15646 15067 0 -1 0 8780 0 1 0 612 7 0 0 25 0 8 0 163750089 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15646/statm: 228864 8517 2524 14 0 215334 0
[pid=15646/tid=15648] ppid=15644 vsize=915456 CPUtime=0.03
/proc/15646/task/15648/stat : 15648 (java) S 15644 15646 15067 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163750094 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15649] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15649/stat : 15649 (java) S 15644 15646 15067 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163750094 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15650] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15650/stat : 15650 (java) S 15644 15646 15067 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163750094 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15651] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15651/stat : 15651 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163750098 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15652] ppid=15644 vsize=915456 CPUtime=0.24
/proc/15646/task/15652/stat : 15652 (java) S 15644 15646 15067 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163750098 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15653] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15653/stat : 15653 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163750098 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15654] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15654/stat : 15654 (java) S 15644 15646 15067 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163750098 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915456
[startup+12.7638 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 15654
/proc/meminfo: memFree=1479696/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=915456 CPUtime=12.62
/proc/15646/stat : 15646 (java) R 15644 15646 15067 0 -1 0 8786 0 1 0 1255 7 0 0 25 0 8 0 163750089 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15646/statm: 228864 8522 2524 14 0 215334 0
[pid=15646/tid=15648] ppid=15644 vsize=915456 CPUtime=0.03
/proc/15646/task/15648/stat : 15648 (java) S 15644 15646 15067 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163750094 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15649] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15649/stat : 15649 (java) S 15644 15646 15067 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163750094 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15650] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15650/stat : 15650 (java) S 15644 15646 15067 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163750094 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15651] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15651/stat : 15651 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163750098 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15652] ppid=15644 vsize=915456 CPUtime=0.24
/proc/15646/task/15652/stat : 15652 (java) S 15644 15646 15067 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163750098 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15653] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15653/stat : 15653 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163750098 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15654] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15654/stat : 15654 (java) S 15644 15646 15067 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163750098 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915456
[startup+25.5995 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 15654
/proc/meminfo: memFree=1479760/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=915456 CPUtime=25.34
/proc/15646/stat : 15646 (java) R 15644 15646 15067 0 -1 0 8790 0 1 0 2527 7 0 0 25 0 8 0 163750089 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15646/statm: 228864 8526 2524 14 0 215334 0
[pid=15646/tid=15648] ppid=15644 vsize=915456 CPUtime=0.03
/proc/15646/task/15648/stat : 15648 (java) S 15644 15646 15067 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163750094 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15649] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15649/stat : 15649 (java) S 15644 15646 15067 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163750094 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15650] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15650/stat : 15650 (java) S 15644 15646 15067 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163750094 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15651] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15651/stat : 15651 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163750098 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15652] ppid=15644 vsize=915456 CPUtime=0.24
/proc/15646/task/15652/stat : 15652 (java) S 15644 15646 15067 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163750098 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15653] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15653/stat : 15653 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163750098 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15654] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15654/stat : 15654 (java) S 15644 15646 15067 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163750098 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915456
[startup+51.2048 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 15654
/proc/meminfo: memFree=1479760/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=915456 CPUtime=50.72
/proc/15646/stat : 15646 (java) R 15644 15646 15067 0 -1 0 8793 0 1 0 5065 7 0 0 25 0 8 0 163750089 937426944 8529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15646/statm: 228864 8529 2524 14 0 215334 0
[pid=15646/tid=15648] ppid=15644 vsize=915456 CPUtime=0.03
/proc/15646/task/15648/stat : 15648 (java) S 15644 15646 15067 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163750094 937426944 8529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15649] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15649/stat : 15649 (java) S 15644 15646 15067 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163750094 937426944 8529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15650] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15650/stat : 15650 (java) S 15644 15646 15067 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163750094 937426944 8529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15651] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15651/stat : 15651 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163750098 937426944 8529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15652] ppid=15644 vsize=915456 CPUtime=0.24
/proc/15646/task/15652/stat : 15652 (java) S 15644 15646 15067 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163750098 937426944 8529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15653] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15653/stat : 15653 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163750098 937426944 8529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15654] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15654/stat : 15654 (java) S 15644 15646 15067 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163750098 937426944 8529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915456
[startup+102.411 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 15654
/proc/meminfo: memFree=1479696/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=915456 CPUtime=101.46
/proc/15646/stat : 15646 (java) R 15644 15646 15067 0 -1 0 8798 0 1 0 10139 7 0 0 25 0 8 0 163750089 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15646/statm: 228864 8534 2524 14 0 215334 0
[pid=15646/tid=15648] ppid=15644 vsize=915456 CPUtime=0.03
/proc/15646/task/15648/stat : 15648 (java) S 15644 15646 15067 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163750094 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15649] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15649/stat : 15649 (java) S 15644 15646 15067 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163750094 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15650] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15650/stat : 15650 (java) S 15644 15646 15067 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163750094 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15651] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15651/stat : 15651 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163750098 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15652] ppid=15644 vsize=915456 CPUtime=0.24
/proc/15646/task/15652/stat : 15652 (java) S 15644 15646 15067 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163750098 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15653] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15653/stat : 15653 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163750098 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15654] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15654/stat : 15654 (java) S 15644 15646 15067 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163750098 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915456
[startup+162.461 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 15654
/proc/meminfo: memFree=1479696/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=915456 CPUtime=160.99
/proc/15646/stat : 15646 (java) R 15644 15646 15067 0 -1 0 8800 0 1 0 16091 8 0 0 25 0 8 0 163750089 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15646/statm: 228864 8536 2524 14 0 215334 0
[pid=15646/tid=15648] ppid=15644 vsize=915456 CPUtime=0.03
/proc/15646/task/15648/stat : 15648 (java) S 15644 15646 15067 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163750094 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15649] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15649/stat : 15649 (java) S 15644 15646 15067 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163750094 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15650] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15650/stat : 15650 (java) S 15644 15646 15067 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163750094 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15651] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15651/stat : 15651 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163750098 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15652] ppid=15644 vsize=915456 CPUtime=0.24
/proc/15646/task/15652/stat : 15652 (java) S 15644 15646 15067 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163750098 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15653] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15653/stat : 15653 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163750098 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15654] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15654/stat : 15654 (java) S 15644 15646 15067 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163750098 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.99
Current children cumulated vsize (KiB) 915456
[startup+222.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 15654
/proc/meminfo: memFree=1479696/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=915456 CPUtime=220.52
/proc/15646/stat : 15646 (java) R 15644 15646 15067 0 -1 0 8803 0 1 0 22044 8 0 0 25 0 8 0 163750089 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15646/statm: 228864 8539 2524 14 0 215334 0
[pid=15646/tid=15648] ppid=15644 vsize=915456 CPUtime=0.03
/proc/15646/task/15648/stat : 15648 (java) S 15644 15646 15067 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163750094 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15649] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15649/stat : 15649 (java) S 15644 15646 15067 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163750094 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15650] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15650/stat : 15650 (java) S 15644 15646 15067 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163750094 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15651] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15651/stat : 15651 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163750098 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15652] ppid=15644 vsize=915456 CPUtime=0.24
/proc/15646/task/15652/stat : 15652 (java) S 15644 15646 15067 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163750098 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15653] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15653/stat : 15653 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163750098 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15654] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15654/stat : 15654 (java) S 15644 15646 15067 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163750098 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.52
Current children cumulated vsize (KiB) 915456
[startup+282.57 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 15654
/proc/meminfo: memFree=1479824/2055920 swapFree=4191880/4192956
[pid=15646] ppid=15644 vsize=915456 CPUtime=280.04
/proc/15646/stat : 15646 (java) R 15644 15646 15067 0 -1 0 8805 0 1 0 27995 9 0 0 25 0 8 0 163750089 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15646/statm: 228864 8541 2524 14 0 215334 0
[pid=15646/tid=15648] ppid=15644 vsize=915456 CPUtime=0.03
/proc/15646/task/15648/stat : 15648 (java) S 15644 15646 15067 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163750094 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15649] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15649/stat : 15649 (java) S 15644 15646 15067 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163750094 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15650] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15650/stat : 15650 (java) S 15644 15646 15067 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163750094 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15651] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15651/stat : 15651 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163750098 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15652] ppid=15644 vsize=915456 CPUtime=0.24
/proc/15646/task/15652/stat : 15652 (java) S 15644 15646 15067 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163750098 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15653] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15653/stat : 15653 (java) S 15644 15646 15067 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163750098 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15646/tid=15654] ppid=15644 vsize=915456 CPUtime=0
/proc/15646/task/15654/stat : 15654 (java) S 15644 15646 15067 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163750098 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.04
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 317.175
CPU time (s): 314.332
CPU user time (s): 314.226
CPU system time (s): 0.105983
CPU usage (%): 99.1038
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 314.226
system time used= 0.105983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8896
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= 7537
involuntary context switches= 17688
runsolver used 0.528919 s user time and 0.890864 s system time
The end
Begin job on node16 on Sun Jan 7 07:05:52 UTC 2007
IDJOB= 202694
IDBENCH= 3877
FILE ID= node16/202694-1168153552
PBS_JOBID= 3478235
Free space on /tmp= 66513 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202694-1168153552/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-202694-1168153552 -o ROOT/results/node16/solver-202694-1168153552 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202694-1168153552/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2d0f8068c31c1d1a3a58bd4398c614e9
RANDOM SEED= 821449098
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.220
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.220
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: 1504616 kB
Buffers: 43224 kB
Cached: 390440 kB
SwapCached: 448 kB
Active: 111512 kB
Inactive: 373972 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1504616 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1884 kB
Writeback: 0 kB
Mapped: 71624 kB
Slab: 50532 kB
Committed_AS: 4255692 kB
PageTables: 2384 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= 66513 MiB
End job on node16 on Sun Jan 7 07:11:10 UTC 2007